diff --git a/ghc/interpreter/runallnofib b/ghc/interpreter/runallnofib index 754e30a31889ca2b990c537817d8338a6524f1ab..38ea3bfd6be6de7341b32c8fd879d65ae06c4590 100644 --- a/ghc/interpreter/runallnofib +++ b/ghc/interpreter/runallnofib @@ -5,7 +5,7 @@ echo "runallnofib: Can't cd to nofibtmp" exit fi -TROOT=/home/v-julsew/Mar09 +TROOT=/home/v-julsew/Oct11 NROOT=$TROOT/fpO/nofib cd nofibtmp diff --git a/ghc/interpreter/runnofib b/ghc/interpreter/runnofib index 7fe123f6ae57864a9c8a846e6e4546c1aeb14c88..316770240571ff58bc275b1ae6fbdae2f4ce1ec3 100644 --- a/ghc/interpreter/runnofib +++ b/ghc/interpreter/runnofib @@ -1,6 +1,6 @@ #!/bin/bash -TROOT=/home/v-julsew/Mar09 +TROOT=/home/v-julsew/Oct11 STGHUGSFLAGS=-P$TROOT/fpO/ghc/interpreter/lib NROOT=$TROOT/fpO/nofib @@ -19,20 +19,20 @@ fi if [ -f $NROOT/$1/$2/$2.stdin ] then -echo "$HUGZ/hugs +Q $NROOT/$1/$2/Main*hs -- $3 $4 $5 $6 $7 $8 $9" +echo "$HUGZ/hugs +Q -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 $NROOT/$1/$2/Main*hs -- $3 $4 $5 $6 $7 $8 $9" +echo "$HUGZ/hugs +Q -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 $NROOT/$1/$2/Main*hs -- $3 $4 $5 $6 $7 $8 $9 < $NROOT/$1/$2/$2.stdin 2> /dev/null > $TMPFILE +$HUGZ/hugs +Q -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 $NROOT/$1/$2/Main*hs -- $3 $4 $5 $6 $7 $8 $9 < /dev/null 2> /dev/null > $TMPFILE +$HUGZ/hugs +Q -P$NROOT/$1/$2 Main -- $3 $4 $5 $6 $7 $8 $9 < /dev/null 2> /dev/null > $TMPFILE fi if [ $? -ne 0 ]; then