lib/Tools/scala_build
author paulson <lp15@cam.ac.uk>
Sun, 12 Feb 2023 20:49:31 +0000
changeset 77234 61fba09a3456
parent 76343 6a6f650cc5a2
child 78591 b1e0fb71435d
permissions -rwxr-xr-x
Simplification of proofs

#!/usr/bin/env bash
#
# Author: Makarius
#
# DESCRIPTION: build Isabelle/Scala/Java components

## diagnostics

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

function usage()
{
  echo
  echo "Usage: isabelle $PRG [OPTIONS]"
  echo
  echo "  Options are:"
  echo "    -f           force fresh build"
  echo "    -q           quiet mode: suppress stdout/stderr"
  echo
  echo "  Build Isabelle/Scala/Java modules of all registered components"
  echo "  (if required)."
  echo
  exit 1
}


## process command line

COMMAND="build"
QUIET=""

while getopts "fq" OPT
do
  case "$OPT" in
    f)
      COMMAND="build_fresh"
      ;;
    q)
      QUIET="true"
      ;;
    \?)
      usage
      ;;
  esac
done

shift $(($OPTIND - 1))

[ "$#" -ne 0 ] && usage


## main

#remove historic material
rm -rf \
  "$ISABELLE_HOME/lib/classes/Pure.jar" \
  "$ISABELLE_HOME/lib/classes/Pure.shasum" \
  "$ISABELLE_HOME/src/Tools/jEdit/dist"

classpath "$CLASSPATH"; export CLASSPATH=""

eval "declare -a JAVA_ARGS=($ISABELLE_TOOL_JAVA_OPTIONS)"

JAVA_ARGS["${#JAVA_ARGS[@]}"]="-classpath"
JAVA_ARGS["${#JAVA_ARGS[@]}"]="$(platform_path "$ISABELLE_CLASSPATH")"
JAVA_ARGS["${#JAVA_ARGS[@]}"]="isabelle.setup.Setup"
JAVA_ARGS["${#JAVA_ARGS[@]}"]="$COMMAND"

if [ -z "$QUIET" ]; then
  isabelle_java java "${JAVA_ARGS[@]}"
else
  isabelle_java java "${JAVA_ARGS[@]}" > /dev/null 2> /dev/null
fi