Project

General

Profile

Statistics
| Branch: | Revision:

cool / makestatic.sh @ master

History | View | Annotate | Download (942 Bytes)

1 02491e96 Thorsten Wißmann
#!/bin/bash -e
2 9066f726 Thorsten Wißmann
3
4
::() { echo ":: $*" ; "$@" ; }
5
die() { echo "$*" ; exit 1 ; }
6
7
[ -d .git ] || die "$0 only works in the git-repository!"
8
9 3e5fbf7e Thorsten Wißmann
dir=cool-$(uname -m)-$(date +%Y-%m-%d-%H-%M)
10 9066f726 Thorsten Wißmann
:: 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 1c4f2133 Thorsten Wißmann
  - distributed without benchmarks (to reduce file size)
51 9066f726 Thorsten Wißmann
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[@]}")