option -C;
authorwenzelm
Thu Sep 28 14:40:38 2000 +0200 (2000-09-28)
changeset 10104cf49932f3c42
parent 10103 4e446f8cef3e
child 10105 f9be78009930
option -C;
bin/isabelle
     1.1 --- a/bin/isabelle	Thu Sep 28 14:36:20 2000 +0200
     1.2 +++ b/bin/isabelle	Thu Sep 28 14:40:38 2000 +0200
     1.3 @@ -24,6 +24,7 @@
     1.4    echo "Usage: $PRG [OPTIONS] [INPUT] [OUTPUT]"
     1.5    echo
     1.6    echo "  Options are:"
     1.7 +  echo "    -C           tell ML system to copy output image"
     1.8    echo "    -I           startup Isar interaction mode"
     1.9    echo "    -P           startup Proof General interaction mode"
    1.10    echo "    -c           tell ML system to compress output image"
    1.11 @@ -53,6 +54,7 @@
    1.12  
    1.13  # options
    1.14  
    1.15 +COPYDB=""
    1.16  ISAR=false
    1.17  PROOFGENERAL=""
    1.18  COMPRESS=""
    1.19 @@ -62,9 +64,12 @@
    1.20  READONLY=""
    1.21  NOWRITE=""
    1.22  
    1.23 -while getopts "IPce:m:qruw" OPT
    1.24 +while getopts "CIPce:m:qruw" OPT
    1.25  do
    1.26    case "$OPT" in
    1.27 +    C)
    1.28 +      COPYDB=true
    1.29 +      ;;
    1.30      I)
    1.31        ISAR=true
    1.32        ;;
    1.33 @@ -199,7 +204,7 @@
    1.34    MLTEXT="$MLTEXT; Isar.main();"
    1.35  fi
    1.36  
    1.37 -export INFILE OUTFILE COMPRESS MLTEXT TERMINATE NOWRITE ISABELLE_TMP
    1.38 +export INFILE OUTFILE COPYDB COMPRESS MLTEXT TERMINATE NOWRITE ISABELLE_TMP
    1.39  
    1.40  if [ -f "$ISABELLE_HOME/lib/scripts/run-$ML_SYSTEM" ]; then
    1.41    "$ISABELLE_HOME/lib/scripts/run-$ML_SYSTEM"