wneuper/isa: src/Tools/jEdit/lib/Tools/jedit@838d9e058a1a

     1 #!/usr/bin/env bash

2 #

     3 # Author: Makarius

4 #

     5 # DESCRIPTION: Isabelle/jEdit interface wrapper

     8 ## sources

    10 declare -a SOURCES=(

    11   "src/active.scala"

    12   "src/completion_popup.scala"

    13   "src/dockable.scala"

    14   "src/document_model.scala"

    15   "src/document_view.scala"

    16   "src/documentation_dockable.scala"

    17   "src/find_dockable.scala"

    18   "src/fold_handling.scala"

    19   "src/graphview_dockable.scala"

    20   "src/html_panel.scala"

    21   "src/info_dockable.scala"

    22   "src/isabelle.scala"

    23   "src/isabelle_encoding.scala"

    24   "src/isabelle_logic.scala"

    25   "src/isabelle_options.scala"

    26   "src/isabelle_sidekick.scala"

    27   "src/jedit_editor.scala"

    28   "src/jedit_lib.scala"

    29   "src/jedit_options.scala"

    30   "src/jedit_thy_load.scala"

    31   "src/monitor_dockable.scala"

    32   "src/osx_adapter.scala"

    33   "src/output_dockable.scala"

    34   "src/plugin.scala"

    35   "src/popup.scala"

    36   "src/pretty_text_area.scala"

    37   "src/pretty_tooltip.scala"

    38   "src/process_indicator.scala"

    39   "src/protocol_dockable.scala"

    40   "src/raw_output_dockable.scala"

    41   "src/readme_dockable.scala"

    42   "src/rendering.scala"

    43   "src/rich_text_area.scala"

    44   "src/scala_console.scala"

    45   "src/sledgehammer_dockable.scala"

    46   "src/symbols_dockable.scala"

    47   "src/syslog_dockable.scala"

    48   "src/text_overview.scala"

    49   "src/theories_dockable.scala"

    50   "src/timing_dockable.scala"

    51   "src/token_markup.scala"

    52 )

    54 declare -a RESOURCES=(

    55   "src/actions.xml"

    56   "src/dockables.xml"

    57   "src/Isabelle.props"

    58   "src/jEdit.props"

    59   "src/services.xml"

    60   "src/modes/isabelle-news.xml"

    61   "src/modes/isabelle-options.xml"

    62   "src/modes/isabelle-root.xml"

    63   "src/modes/isabelle.xml"

    64 )

    67 ## diagnostics

    69 PRG="$(basename "$0")"

    71 function usage()

    72 {

    73   echo

    74   echo "Usage: isabelle $PRG [OPTIONS] [FILES ...]"

    75   echo

    76   echo "  Options are:"

    77   echo "    -J OPTION    add JVM runtime option"

    78   echo "                 (default JEDIT_JAVA_OPTIONS=$JEDIT_JAVA_OPTIONS)"

    79   echo "    -b           build only"

    80   echo "    -d DIR       include session directory"

    81   echo "    -f           fresh build"

    82   echo "    -j OPTION    add jEdit runtime option"

    83   echo "                 (default JEDIT_OPTIONS=$JEDIT_OPTIONS)"

    84   echo "    -l NAME      logic session name"

    85   echo "    -m MODE      add print mode for output"

    86   echo "    -n           no build dialog for session image on startup"

    87   echo "    -s           system build mode for session image"

    88   echo

    89   echo "Start jEdit with Isabelle plugin setup and open theory FILES"

    90   echo "(default \"$USER_HOME/Scratch.thy\")."

    91   echo

    92   exit 1

    93 }

    95 function fail()

    96 {

    97   echo "$1" >&2

    98   exit 2

    99 }

   101 function failed()

   102 {

   103   fail "Failed!"

   104 }

   107 ## process command line

   109 # options

   111 BUILD_ONLY=false

   112 BUILD_JARS="jars"

   113 JEDIT_SESSION_DIRS=""

   114 JEDIT_LOGIC=""

   115 JEDIT_PRINT_MODE=""

   116 JEDIT_BUILD_MODE="normal"

   118 function getoptions()

   119 {

   120   OPTIND=1

   121   while getopts "J:bd:fj:l:m:ns" OPT

   122   do

   123     case "$OPT" in

   124       J)

   125         JAVA_ARGS["${#JAVA_ARGS[@]}"]="$OPTARG"

   126         ;;

   127       b)

   128         BUILD_ONLY=true

   129         ;;

   130       d)

   131         if [ -z "$JEDIT_SESSION_DIRS" ]; then

   132           JEDIT_SESSION_DIRS="$OPTARG"

   133         else

   134           JEDIT_SESSION_DIRS="$JEDIT_SESSION_DIRS:$OPTARG"

   135         fi

   136         ;;

   137       f)

   138         BUILD_JARS="jars_fresh"

   139         ;;

   140       j)

   141         ARGS["${#ARGS[@]}"]="$OPTARG"

   142         ;;

   143       l)

   144         JEDIT_LOGIC="$OPTARG"

   145         ;;

   146       m)

   147         if [ -z "$JEDIT_PRINT_MODE" ]; then

   148           JEDIT_PRINT_MODE="$OPTARG"

   149         else

   150           JEDIT_PRINT_MODE="$JEDIT_PRINT_MODE,$OPTARG"

   151         fi

   152         ;;

   153       n)

   154         JEDIT_BUILD_MODE="none"

   155         ;;

   156       s)

   157         JEDIT_BUILD_MODE="system"

   158         ;;

   159       \?)

   160         usage

   161         ;;

   162     esac

   163   done

   164 }

   166 declare -a JAVA_ARGS; eval "JAVA_ARGS=($JEDIT_JAVA_OPTIONS $JEDIT_SYSTEM_OPTIONS)"

   168 declare -a ARGS=()

   170 declare -a OPTIONS; eval "OPTIONS=($ISABELLE_JEDIT_OPTIONS)"

   171 getoptions "${OPTIONS[@]}"

   173 getoptions "$@"

   174 shift $(($OPTIND - 1))

   177 # args

   179 if [ "$#" -eq 0 ]; then

   180   ARGS["${#ARGS[@]}"]="$(jvmpath "$USER_HOME/Scratch.thy")"

   181 else

   182   while [ "$#" -gt 0 ]; do

   183     ARGS["${#ARGS[@]}"]="$(jvmpath "$1")"

   184     shift

   185   done

   186 fi

   189 ## dependencies

   191 if [ -e "$ISABELLE_HOME/Admin/build" ]; then

   192   "$ISABELLE_TOOL" browser -b || exit $?

   193   if [ "$BUILD_JARS" = jars_fresh ]; then

   194     "$ISABELLE_TOOL" graphview -b -f || exit $?

   195   else

   196     "$ISABELLE_HOME/Admin/build" "$BUILD_JARS" || exit $?

   197     "$ISABELLE_TOOL" graphview -b || exit $?

   198   fi

   199 fi

   201 PURE_JAR="$ISABELLE_HOME/lib/classes/Pure.jar"

   202 GRAPHVIEW_JAR="$ISABELLE_HOME/lib/classes/Graphview.jar"

   204 pushd "$JEDIT_HOME" >/dev/null || failed

   206 JEDIT_JAR="$ISABELLE_JEDIT_BUILD_HOME/contrib/$ISABELLE_JEDIT_BUILD_VERSION/jedit.jar"

   208 JEDIT_JARS=(

   209   "$ISABELLE_JEDIT_BUILD_HOME/contrib/Console.jar"

   210   "$ISABELLE_JEDIT_BUILD_HOME/contrib/ErrorList.jar"

   211   "$ISABELLE_JEDIT_BUILD_HOME/contrib/Highlight.jar"

   212   "$ISABELLE_JEDIT_BUILD_HOME/contrib/SideKick.jar"

   213   "$ISABELLE_JEDIT_BUILD_HOME/contrib/cobra.jar"

   214   "$ISABELLE_JEDIT_BUILD_HOME/contrib/js.jar"

   215   "$ISABELLE_JEDIT_BUILD_HOME/contrib/idea-icons.jar"

   216   "$ISABELLE_JEDIT_BUILD_HOME/contrib/jsr305-2.0.0.jar"

   217 )

   220 # target

   222 TARGET="dist/jars/Isabelle-jEdit.jar"

   224 declare -a UPDATED=()

   226 if [ "$BUILD_JARS" = jars_fresh ]; then

   227   OUTDATED=true

   228 else

   229   OUTDATED=false

   230   if [ ! -e "$TARGET" ]; then

   231     OUTDATED=true

   232   else

   233     if [ -n "$ISABELLE_JEDIT_BUILD_HOME" ]; then

   234       declare -a DEPS=(

   235         "$JEDIT_JAR" "${JEDIT_JARS[@]}" "$PURE_JAR" "$GRAPHVIEW_JAR"

   236         "${SOURCES[@]}" "${RESOURCES[@]}"

   237       )

   238     elif [ -e "$ISABELLE_HOME/Admin/build" ]; then

   239       declare -a DEPS=("$PURE_JAR" "$GRAPHVIEW_JAR" "${SOURCES[@]}" "${RESOURCES[@]}")

   240     else

   241       declare -a DEPS=()

   242     fi

   243     for DEP in "${DEPS[@]}"

   244     do

   245       [ ! -e "$DEP" ] && fail "Missing file: $DEP"

   246       [ "$DEP" -nt "$TARGET" ] && {

   247         OUTDATED=true

   248         UPDATED["${#UPDATED[@]}"]="$DEP"

   249       }

   250     done

   251   fi

   252 fi

   255 # build

   257 if [ "$OUTDATED" = true ]

   258 then

   259   echo "### Building Isabelle/jEdit ..."

   261   [ "${#UPDATED[@]}" -gt 0 ] && {

   262     echo "Changed files:"

   263     for FILE in "${UPDATED[@]}"

   264     do

   265       echo "  $FILE"

   266     done

   267   }

   269   [ -z "$ISABELLE_JEDIT_BUILD_HOME" ] && \

   270     fail "Unknown ISABELLE_JEDIT_BUILD_HOME -- missing auxiliary component"

   272   rm -rf dist || failed

   273   mkdir -p dist dist/classes || failed

   275   cp -p -R -f "$ISABELLE_JEDIT_BUILD_HOME/contrib/$ISABELLE_JEDIT_BUILD_VERSION/." dist/.

   276   cp -p -R -f "${RESOURCES[@]}" dist/classes/.

   277   cp src/jEdit.props dist/properties/.

   278   cp -p -R -f src/modes/. dist/modes/.

   280   perl -i -e 'while (<>) {

   281     if (m/NAME="javacc"/) {

   282       print qq,<MODE NAME="isabelle" FILE="isabelle.xml" FILE_NAME_GLOB="*.thy"/>\n\n,;

   283       print qq,<MODE NAME="isabelle-news" FILE="isabelle-news.xml"/>\n\n,;

   284       print qq,<MODE NAME="isabelle-options" FILE="isabelle-options.xml"/>\n\n,;

   285       print qq,<MODE NAME="isabelle-root" FILE="isabelle-root.xml" FILE_NAME_GLOB="ROOT"/>\n\n,; }

   286     print; }' dist/modes/catalog

   288   cp -p -R -f "${JEDIT_JARS[@]}" dist/jars/. || failed

   289   (

   290     #workaround for scalac 2.10.2

   291     function stty() { :; }

   292     export -f stty

   294     for JAR in "$JEDIT_JAR" "${JEDIT_JARS[@]}" "$PURE_JAR" "$GRAPHVIEW_JAR"

   295     do

   296       classpath "$JAR"

   297     done

   298     export CLASSPATH="$(jvmpath "$ISABELLE_CLASSPATH")"

   299     exec "$SCALA_HOME/bin/scalac" $ISABELLE_SCALA_BUILD_OPTIONS -d dist/classes "${SOURCES[@]}"

   300   ) || fail "Failed to compile sources"

   302   cd dist/classes

   303   isabelle_jdk jar cf "../jars/Isabelle-jEdit.jar" * || failed

   304   cd ../..

   305   rm -rf dist/classes

   306 fi

   308 popd >/dev/null

   311 ## main

   313 if [ "$BUILD_ONLY" = false ]

   314 then

   315   export JEDIT_SESSION_DIRS JEDIT_LOGIC JEDIT_PRINT_MODE JEDIT_BUILD_MODE

   316   classpath "$JEDIT_HOME/dist/jedit.jar"

   317   exec "$ISABELLE_TOOL" java "${JAVA_ARGS[@]}" isabelle.Main "${ARGS[@]}"

   318 fi

author	wenzelm
	Thu, 12 Sep 2013 14:06:08 +0200
changeset 54715	838d9e058a1a
parent 54714	d033bc00b762
child 54909	30de372ca56f
permissions	-rwxr-xr-x