lib/scripts/run-smlnj

 
 ## version specific stuff
 
 EXIT=""
 COMMIT=""
-FIXNAME=""
+SUFFIX=""
 
 case "$ML_SYSTEM" in
   smlnj-1.0[678]*)
     EXIT="val exit = System.Unix.exit;"
     COMMIT="fun commit () = not (exportML\"$OUTFILE\");"

     ;;
   smlnj-1.09*)
     EXIT="fun exit 0 : unit = OS.Process.exit OS.Process.success | exit _ = OS.Process.exit OS.Process.failure;"
     COMMIT="fun commit () = not (SMLofNJ.exportML\"$OUTFILE\");"
     COMMIT_RO='fun commit () = (TextIO.output (TextIO.stdErr, "Error - Database is not opened for writing.\\n"); false);'
-    FIXNAME=true
+    eval $($ML_HOME/.arch-n-opsys)
+    SUFFIX=".$ARCH-$OPSYS"
     ;;
 esac
 
 
 ## prepare databases

 if [ -n "$DB" ]; then
   DB="@SMLload=$INFILE"
   EXIT=""
 fi
 
-if [ -z "$OUTFILE" ]; then
-  COMMIT="$COMMIT_RO"
-elif [ -n "$INFILE" -a ! "$INFILE" -ef "$OUTFILE" ]; then
-  [ -f "$OUTFILE" ] && { rm -f "$OUTFILE" || fail_out; }
-  cp "$INFILE" "$OUTFILE" || fail_out
-fi
-
+[ -z "$OUTFILE" ] && COMMIT="$COMMIT_RO"
 [ -n "$OUTFILE" -a -f "$OUTFILE" ] && { chmod +w "$OUTFILE" || fail_out; }
 
 MLTEXT="$EXIT $COMMIT $MLTEXT"
 MLEXIT="commit ();"
 

 ## run it!
 
 START_SML="$ML_HOME/sml $ML_OPTIONS $DB"
 
 if [ -n "$TERMINATE" ]; then
-  echo "$MLTEXT" "$MLEXIT" | $START_SML
+  sh -c "echo '$MLTEXT' '$MLEXIT' | $START_SML"
   RC=$?
 elif [ -z "$MLTEXT" ]; then
   sh -c "{ $ISABELLE_HOME/lib/scripts/ucat; echo '$MLEXIT'; } | $START_SML"
   RC=$?
 else
   sh -c "{ echo '$MLTEXT'; $ISABELLE_HOME/lib/scripts/ucat; echo '$MLEXIT'; } | $START_SML"
   RC=$?
 fi
 
 #fix heap file name
-if [ -n "$OUTFILE" -a -n "$FIXNAME" ]; then
-  eval $($ML_HOME/.arch-n-opsys)
-  SUFFIX=$ARCH-$OPSYS
-  [ -f $OUTFILE.$SUFFIX ] && mv $OUTFILE.$SUFFIX $OUTFILE
-fi
+[ -n "$OUTFILE" -a -n "$SUFFIX" -a -f "$OUTFILE$SUFFIX" ] \
+  && mv "$OUTFILE$SUFFIX" "$OUTFILE"
 
 exit $RC