ghc/interpreter/runnofib

   1 #!/bin/bash
   2
   3 TROOT=/home/v-julsew/Nov25
   4
   5 STGHUGSFLAGS=-P$TROOT/fpt/ghc/interpreter/lib
   6 NROOT=$TROOT/fpt/nofib
   7 HUGZ=$TROOT/fpt/ghc/interpreter
   8 LD_LIBRARY_PATH=$HUGZ:$LD_LIBRARY_PATH
   9 HSCPP=$TROOT/fpt/ghc/utils/hscpp
  10
  11 echo
  12 echo "==================== $1/$2 ===================="
  13
  14 TMPFILE=`mktemp /tmp/nofibXXXXXX`
  15 if [ $? -ne 0 ]; then
  16    echo "$0: Can't create temp file"
  17    exit 1
  18 fi
  19
  20 if [ -f $NROOT/$1/$2/$2.stdin ]
  21 then
  22 echo "$HUGZ/hugs -Q -P$NROOT/$1/$2 Main -- $3 $4 $5 $6 $7 $8 $9"
  23 echo "     < $NROOT/$1/$2/$2.stdin 2> /dev/null"
  24 echo "     > $TMPFILE"
  25 else
  26 echo "$HUGZ/hugs -Q -P$NROOT/$1/$2 Main -- $3 $4 $5 $6 $7 $8 $9"
  27 echo "     < /dev/null 2> /dev/null"
  28 echo "     > $TMPFILE"
  29 fi
  30
  31 if [ -f $NROOT/$1/$2/$2.stdin ]
  32 then
  33 $HUGZ/hugs -Q -P$NROOT/$1/$2 Main -- $3 $4 $5 $6 $7 $8 $9 < $NROOT/$1/$2/$2.stdin 2> /dev/null > $TMPFILE
  34 else
  35 $HUGZ/hugs -Q -P$NROOT/$1/$2 Main -- $3 $4 $5 $6 $7 $8 $9 < /dev/null  2> /dev/null > $TMPFILE
  36 fi
  37
  38 if [ $? -ne 0 ]; then
  39    echo "=== FAIL (no execution)"
  40    rm -f $TMPFILE
  41    exit 0
  42 fi
  43
  44 cmp -s $TMPFILE $NROOT/$1/$2/$2.stdout
  45 if [ $? -ne 0 ]; then
  46    echo "=== FAIL (wrong results)"
  47 else
  48    echo "=== Correct"
  49 fi
  50
  51 rm -f $TMPFILE