--- a/src/Pure/mk Thu Sep 28 14:35:42 2000 +0200
+++ b/src/Pure/mk Thu Sep 28 14:36:02 2000 +0200
@@ -6,7 +6,7 @@
#
# mk - build Pure Isabelle.
#
-# Assumes to be called via Isabelle make utility (cf. IsaMakefile).
+# Requires proper Isabelle settings environment (cf. IsaMakefile).
## diagnostics
@@ -18,7 +18,8 @@
echo
echo " Make Pure Isabelle."
echo
- echo " -r just prepare RAW image"
+ echo " -C tell ML system to copy output image"
+ echo " -r prepare RAW image only"
echo
exit 1
}
@@ -34,11 +35,15 @@
# options
+COPY=""
RAW=""
-while getopts "r" OPT
+while getopts "Cr" OPT
do
case "$OPT" in
+ C)
+ COPY="-C"
+ ;;
r)
RAW=true
;;
@@ -85,7 +90,7 @@
echo "Building $ITEM ..."
LOG="$LOGDIR/$ITEM"
- "$ISABELLE" \
+ "$ISABELLE" $COPY \
-e "val ml_system = \"$ML_SYSTEM\";" \
-e "(use\"$COMPAT\"; use\"ROOT.ML\") handle _ => exit 1;" \
-c -q -w RAW_ML_SYSTEM Pure > "$LOG" 2>&1
@@ -95,7 +100,7 @@
echo "Building $ITEM ..."
LOG="$LOGDIR/$ITEM"
- "$ISABELLE" \
+ "$ISABELLE" $COPY \
-e "val ml_system = \"$ML_SYSTEM\";" \
-e "use\"$COMPAT\" handle _ => exit 1;;" \
-q -w RAW_ML_SYSTEM RAW > "$LOG" 2>&1