src/Tools/jEdit/lib/Tools/jedit
changeset 66987 352b23c97ac8
parent 66977 fa79f18eadc7
child 66988 7f8c1dd7576a
     1.1 --- a/src/Tools/jEdit/lib/Tools/jedit	Wed Nov 01 22:13:38 2017 +0100
     1.2 +++ b/src/Tools/jEdit/lib/Tools/jedit	Thu Nov 02 10:16:22 2017 +0100
     1.3 @@ -98,11 +98,13 @@
     1.4    echo
     1.5    echo "  Options are:"
     1.6    echo "    -B           use base session image, with theories from other sessions"
     1.7 +  echo "    -F           focus on selected logic session: ignore unrelated theories"
     1.8    echo "    -D NAME=X    set JVM system property"
     1.9    echo "    -J OPTION    add JVM runtime option"
    1.10    echo "                 (default $JEDIT_JAVA_SYSTEM_OPTIONS $JEDIT_JAVA_OPTIONS)"
    1.11    echo "    -P           use parent session image"
    1.12    echo "    -R           open ROOT entry of logic session"
    1.13 +  echo "    -S NAME      edit specified logic session, same as abbreviates -B -F -R -l NAME"
    1.14    echo "    -b           build only"
    1.15    echo "    -d DIR       include session directory"
    1.16    echo "    -f           fresh build"
    1.17 @@ -140,6 +142,7 @@
    1.18  BUILD_JARS="jars"
    1.19  ML_PROCESS_POLICY=""
    1.20  JEDIT_LOGIC_BASE=""
    1.21 +JEDIT_LOGIC_FOCUS=""
    1.22  JEDIT_SESSION_DIRS=""
    1.23  JEDIT_LOGIC_ROOT=""
    1.24  JEDIT_LOGIC_PARENT=""
    1.25 @@ -150,7 +153,7 @@
    1.26  function getoptions()
    1.27  {
    1.28    OPTIND=1
    1.29 -  while getopts "BD:J:PRbd:fj:l:m:np:s" OPT
    1.30 +  while getopts "BFD:J:PRS:bd:fj:l:m:np:s" OPT
    1.31    do
    1.32      case "$OPT" in
    1.33        B)
    1.34 @@ -160,6 +163,9 @@
    1.35        D)
    1.36          JAVA_ARGS["${#JAVA_ARGS[@]}"]="-D$OPTARG"
    1.37          ;;
    1.38 +      F)
    1.39 +        JEDIT_LOGIC_FOCUS="true"
    1.40 +        ;;
    1.41        J)
    1.42          JAVA_ARGS["${#JAVA_ARGS[@]}"]="$OPTARG"
    1.43          ;;
    1.44 @@ -170,6 +176,13 @@
    1.45        R)
    1.46          JEDIT_LOGIC_ROOT="true"
    1.47          ;;
    1.48 +      S)
    1.49 +        JEDIT_LOGIC="$OPTARG"
    1.50 +        JEDIT_LOGIC_BASE="true"
    1.51 +        JEDIT_LOGIC_PARENT=""
    1.52 +        JEDIT_LOGIC_FOCUS="true"
    1.53 +        JEDIT_LOGIC_ROOT="true"
    1.54 +        ;;
    1.55        b)
    1.56          BUILD_ONLY=true
    1.57          ;;
    1.58 @@ -411,8 +424,8 @@
    1.59  
    1.60  if [ "$BUILD_ONLY" = false ]
    1.61  then
    1.62 -  export JEDIT_SESSION_DIRS JEDIT_LOGIC JEDIT_LOGIC_BASE JEDIT_LOGIC_PARENT \
    1.63 -    JEDIT_LOGIC_ROOT JEDIT_PRINT_MODE JEDIT_BUILD_MODE
    1.64 +  export JEDIT_SESSION_DIRS JEDIT_LOGIC JEDIT_LOGIC_BASE JEDIT_LOGIC_FOCUS \
    1.65 +    JEDIT_LOGIC_PARENT JEDIT_LOGIC_ROOT JEDIT_PRINT_MODE JEDIT_BUILD_MODE
    1.66    export JEDIT_ML_PROCESS_POLICY="$ML_PROCESS_POLICY"
    1.67    classpath "$JEDIT_HOME/dist/jedit.jar"
    1.68    exec isabelle java "${JAVA_ARGS[@]}" isabelle.Main "${ARGS[@]}"