mei_rt2mei_rt2_fix_1
|
Last change
on this file since 20eaefe was
46df1bc,
checked in by Mei <mei@…>, 12 years ago
|
|
1) get ready for release 0.2.3
2) add forward function declaration in abac_pl_yap.c for
abac_credential_dup
3) tested against freebsd82 and freebsd91
|
-
Property mode set to
100755
|
|
File size:
837 bytes
|
| Rev | Line | |
|---|
| [46df1bc] | 1 | #!/usr/bin/env bash |
|---|
| 2 | |
|---|
| 3 | export LD_LIBRARY_PATH=/usr/local/lib |
|---|
| 4 | export JAVA_HOME=/usr/lib/jvm/java-6-openjdk |
|---|
| [97a6a36] | 5 | |
|---|
| 6 | make -s clean |
|---|
| 7 | |
|---|
| [46df1bc] | 8 | using_java=`grep "JAVA=" ../../../config.log|sed 's/JAVA=//'` |
|---|
| 9 | if ( test "$using_java" = "''" ); then |
|---|
| 10 | ## Could not test without java, but return pass to make check goes through |
|---|
| 11 | echo '---running (java) attr script' |
|---|
| 12 | echo " PASSED" |
|---|
| 13 | echo '---running (java) prover script' |
|---|
| 14 | echo " PASSED" |
|---|
| 15 | exit 0 |
|---|
| 16 | fi |
|---|
| 17 | |
|---|
| [97a6a36] | 18 | echo '---running (java) attr script' |
|---|
| 19 | make run_attr 1>/dev/null 2>& 1 |
|---|
| 20 | result=`grep "prover success" attr.log 2>/dev/null` |
|---|
| 21 | if [ "$result" = "" ]; then |
|---|
| 22 | echo " ERROR" |
|---|
| 23 | else |
|---|
| 24 | echo " PASSED" |
|---|
| 25 | fi |
|---|
| 26 | |
|---|
| 27 | echo '---running (java) prover script' |
|---|
| 28 | make run_prove 1>/dev/null 2>& 1 |
|---|
| 29 | result=`grep "prover success" prover.log 2>/dev/null` |
|---|
| 30 | if [ "$result" = "" ]; then |
|---|
| 31 | echo " ERROR" |
|---|
| 32 | else |
|---|
| 33 | echo " PASSED" |
|---|
| 34 | fi |
|---|
| 35 | |
|---|
Note: See
TracBrowser
for help on using the repository browser.
