#!/bin/bash
-TROOT=/home/v-julsew/Oct19
+TROOT=/home/v-julsew/Feb24
-STGHUGSFLAGS=-P$TROOT/fpO/ghc/interpreter/lib
-NROOT=$TROOT/fpO/nofib
-HUGZ=$TROOT/fpO/ghc/interpreter
+STGHUGSFLAGS=-P$TROOT/fpt/ghc/interpreter/lib
+NROOT=$TROOT/fpt/nofib
+HUGZ=$TROOT/fpt/ghc/interpreter
LD_LIBRARY_PATH=$HUGZ:$LD_LIBRARY_PATH
-HSCPP=$TROOT/fpO/ghc/utils/hscpp
+HSCPP=$TROOT/fpt/ghc/utils/hscpp
echo
echo "==================== $1/$2 ===================="
if [ -f $NROOT/$1/$2/$2.stdin ]
then
-echo "$HUGZ/hugs +Q -P$NROOT/$1/$2 Main -- $3 $4 $5 $6 $7 $8 $9"
+echo "$HUGZ/hugs -Q -c -P$NROOT/$1/$2 Main -- $3 $4 $5 $6 $7 $8 $9"
echo " < $NROOT/$1/$2/$2.stdin 2> /dev/null"
echo " > $TMPFILE"
else
-echo "$HUGZ/hugs +Q -P$NROOT/$1/$2 Main -- $3 $4 $5 $6 $7 $8 $9"
+echo "$HUGZ/hugs -Q -c -P$NROOT/$1/$2 Main -- $3 $4 $5 $6 $7 $8 $9"
echo " < /dev/null 2> /dev/null"
echo " > $TMPFILE"
fi
if [ -f $NROOT/$1/$2/$2.stdin ]
then
-$HUGZ/hugs +Q -P$NROOT/$1/$2 Main -- $3 $4 $5 $6 $7 $8 $9 < $NROOT/$1/$2/$2.stdin 2> /dev/null > $TMPFILE
+$HUGZ/hugs -Q -c -P$NROOT/$1/$2 Main -- $3 $4 $5 $6 $7 $8 $9 < $NROOT/$1/$2/$2.stdin 2> /dev/null > $TMPFILE
else
-$HUGZ/hugs +Q -P$NROOT/$1/$2 Main -- $3 $4 $5 $6 $7 $8 $9 < /dev/null 2> /dev/null > $TMPFILE
+$HUGZ/hugs -Q -c -P$NROOT/$1/$2 Main -- $3 $4 $5 $6 $7 $8 $9 < /dev/null 2> /dev/null > $TMPFILE
fi
if [ $? -ne 0 ]; then