Project

General

Profile

Statistics
| Branch: | Revision:

cool / makestatic.sh @ master

History | View | Annotate | Download (942 Bytes)

1
#!/bin/bash -e
2

    
3

    
4
::() { echo ":: $*" ; "$@" ; }
5
die() { echo "$*" ; exit 1 ; }
6

    
7
[ -d .git ] || die "$0 only works in the git-repository!"
8

    
9
dir=cool-$(uname -m)-$(date +%Y-%m-%d-%H-%M)
10
:: mkdir -p $dir
11
:: pushd $dir
12
:: git --git-dir=.git pull || :: git clone .. .
13

    
14
make clean
15
oasis setup
16
ocaml setup.ml -configure --enable-static
17
ocaml setup.ml -build
18

    
19
files=(
20
)
21

    
22
binary() {
23
    files+=( "$1" )
24
    cp $1.native $1
25
}
26

    
27
binary coalg
28
binary cool-testsuite
29
binary coalgcompare
30
binary cool-owl
31

    
32
files+=(
33
    *.sh
34
    BUGS
35
    INSTALL
36
    VERSION
37
    _oasis
38
    testbench/
39
    cool2tatl
40
    setup.ml
41
    src/
42
)
43

    
44
cat >VERSION <<EOF
45
COOL Static Linux-Binaries
46
==========================
47
This version of COOL was...
48
  - build on $(date).
49
  - build for the architecture $(uname -m).
50
  - distributed without benchmarks (to reduce file size)
51

    
52

    
53
Last commit
54
-----------
55
$(git log HEAD~1..)
56

    
57
EOF
58

    
59
popd
60

    
61
zip -r "$dir.zip" $(printf "$dir/%s\n" "${files[@]}")
62