Skip to content
Snippets Groups Projects
Commit 62ff3ab5 authored by Julian Seward's avatar Julian Seward
Browse files

[project @ 1999-10-11 12:16:16 by sewardj]

Minor library handling mods to make nofib work again.
parent b33e4ffd
No related merge requests found
......@@ -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
......
#!/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
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment