SCM Repository
Diff of /trunk/rtest/scripts/run_sh.in
Parent Directory
| 
Revision Log
| 
Patch
| revision 1184, Wed May 11 12:59:41 2011 UTC | revision 1185, Wed May 11 13:20:27 2011 UTC | |
|---|---|---|
| # | Line 4 | Line 4 |
| 4 | # | # |
| 5 | # @configure_input@ | # @configure_input@ |
| 6 | # | # |
| # TODO: | ||
| # pick version of diderotc compiler to test | ||
| # pass command-line arguments to the compiler | ||
| # | ||
| 7 | ||
| 8 | # set up the path so that we can find diderotc and unu | # set up the path so that we can find diderotc and unu |
| 9 | # | # |
| # | Line 21 | Line 17 |
| 17 | exit 1 | exit 1 |
| 18 | fi | fi |
| 19 | ||
| 20 | # process command-line arguments | |
| 21 | # | |
| 22 | DIDEROTC="@DIDEROT_BINDIR@/diderotc" | |
| 23 | DIDEROTC_FLAGS="" | |
| 24 | while [ $# -ne 0 ] ; do | |
| 25 | case $1 in | |
| 26 | -*) DIDEROTC_FLAGS="$DIDEROTC_FLAGS $1" ;; | |
| 27 | *) if [ -x $1 ] ; then | |
| 28 | DIDEROTC=$1 | |
| 29 | else | |
| 30 | echo "unrecognized argument" | |
| 31 | exit 1 | |
| 32 | fi | |
| 33 | ;; | |
| 34 | esac | |
| 35 | shift | |
| 36 | done | |
| 37 | ||
| 38 | # get a list of all of the tests (one per directory) | # get a list of all of the tests (one per directory) |
| 39 | # | # |
| 40 | TESTS=$(cd tests; ls) | TESTS=$(cd tests; ls) |
| # | Line 29 | Line 43 |
| 43 | LOG=$HERE/log.$DATE | LOG=$HERE/log.$DATE |
| 44 | REPORT=$HERE/report.$DATE | REPORT=$HERE/report.$DATE |
| 45 | ||
| 46 | echo "testing $DIDEROTC" > $REPORT | |
| 47 | for t in $TESTS ; do | for t in $TESTS ; do |
| 48 | ( cd tests/$t; | ( cd tests/$t; |
| 49 | echo "********** $t **********" >> $LOG | echo "********** $t **********" >> $LOG |
| 50 | echo -n "checking $t ... " >> $REPORT | echo -n "checking $t ... " >> $REPORT |
| 51 | echo "diderotc $t.diderot" >> $LOG | echo "$DIDEROTC $DIDEROTC_FLAGS $t.diderot" >> $LOG |
| 52 | diderotc $t.diderot 2>> $LOG 1>> $LOG | $DIDEROTC $DIDEROTC_FLAGS $t.diderot 2>> $LOG 1>> $LOG |
| 53 | if [ "$?" -eq "0" ] ; then | if [ "$?" -eq "0" ] ; then |
| 54 | echo -n "compile succeeded ... " >> $REPORT | echo -n "compile succeeded ... " >> $REPORT |
| 55 | echo "./$t" >> $LOG | echo "./$t" >> $LOG |
|
||||||||
| root@smlnj-gforge.cs.uchicago.edu | ViewVC Help |
| Powered by ViewVC 1.0.0 |
