Newer
Older
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
#!/usr/bin/env bash
set -euo pipefail
usage() {
echo "No command specified. Available commands:"
for i in $(echo $commands | sed "s/,/ /g")
do
echo " $i"
done
}
commands="help,build,clean,list,modulepar,rebuild,run,version"
if [ $# == 0 ]; then
usage
exit 1
fi
if [ $# == 2 ]; then
if [ "$2" != "" ]; then
export ATS=Ats$2
cli="${GEN_DIR}/bin/$ATS"
echo "cli: $cli"
fi
fi
case "$1" in
build)
cd ${GEN_DIR} && make
;;
clean)
cd ${GEN_DIR} && make clean
;;
list)
${cli} -l
;;
modulepar)
${cli} -p
;;
rebuild)
cd ${GEN_DIR} && rm -fr ./bin ./build ; make
;;
run)
cd ${GEN_DIR}/scripts && ./run_all.bash
;;
version)
compiler -v
;;
*)
usage
exit 1
;;
esac
unset ATS
exit 0