source:
examples/example_scripts/java/run_test
@
d0efdec
Last change on this file since d0efdec was 2e9455f, checked in by , 11 years ago | |
---|---|
|
|
File size: 1.2 KB |
Rev | Line | |
---|---|---|
[0cc535e] | 1 | #!/bin/sh |
[46df1bc] | 2 | |
[2e9455f] | 3 | if [ "$LD_LIBRARY_PATH" = "" ] ; then |
4 | export LD_LIBRARY_PATH=.:/usr/local/lib | |
5 | else | |
6 | export LD_LIBRARY_PATH=.:$LD_LIBRARY_PATH | |
7 | fi | |
8 | ||
[0cc535e] | 9 | |
10 | if [ "$JAVA_HOME" = "" ] ; then | |
11 | if [ -d "/usr/lib/jvm/java-6-openjdk" ]; then | |
[446b3ce] | 12 | export JAVA_HOME=/usr/lib/jvm/java-6-openjdk |
[0cc535e] | 13 | elif [ -d "/usr/local/openjdk6" ]; then |
[446b3ce] | 14 | export JAVA_HOME=/usr/local/openjdk6 |
15 | fi | |
[b349898] | 16 | fi |
[97a6a36] | 17 | |
[2e9455f] | 18 | make setup 1>/dev/null 2>&1 |
[97a6a36] | 19 | |
[eb6693c] | 20 | using_java=`grep "^JAVA=" ../../../config.log|sed 's/JAVA=//'` |
[0cc535e] | 21 | if [ "$using_java" = "''" -o "$using_java" = "" ]; then |
[46df1bc] | 22 | ## Could not test without java, but return pass to make check goes through |
23 | echo '---running (java) attr script' | |
24 | echo " PASSED" | |
25 | echo '---running (java) prover script' | |
26 | echo " PASSED" | |
27 | exit 0 | |
28 | fi | |
29 | ||
[97a6a36] | 30 | echo '---running (java) attr script' |
[2e9455f] | 31 | ./run_attr >attr.log 2>&1 |
32 | #make run_attr 1>/dev/null 2>& 1 | |
[97a6a36] | 33 | result=`grep "prover success" attr.log 2>/dev/null` |
[0cc535e] | 34 | if [ "$result" = "" ]; then |
[97a6a36] | 35 | echo " ERROR" |
36 | else | |
37 | echo " PASSED" | |
38 | fi | |
39 | ||
40 | echo '---running (java) prover script' | |
[2e9455f] | 41 | ./run_prover 1> prover.log 2>&1 |
42 | #make run_prove 1>/dev/null 2>& 1 | |
[97a6a36] | 43 | result=`grep "prover success" prover.log 2>/dev/null` |
[0cc535e] | 44 | if [ "$result" = "" ]; then |
[97a6a36] | 45 | echo " ERROR" |
46 | else | |
47 | echo " PASSED" | |
48 | fi | |
49 |
Note: See TracBrowser
for help on using the repository browser.