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
|
#!/bin/sh
case $1 in
*.java)
b=`basename $1 .java`
krakatoa $1 || exit 1
echo "krakatoa on $b.java done"
d=`dirname $1`
echo "cd $d"
cd $d
jessie -locs $b.jloc -why-opt -split-user-conj $b.jc || exit 2
echo "jessie done"
make -f $b.makefile gui
;;
*.c)
frama-c -jessie -jessie-why-opt="-split-user-conj" $1 || exit 1
;;
*.jc)
b=`basename $1 .jc`
jessie -why-opt -split-user-conj $b.jc || exit 1
make -f $b.makefile gui
;;
*.mlw|*.why)
gwhy-bin -split-user-conj $1
;;
*)
echo "don't know what to do with $1"
esac
|
