Admin/build
author wenzelm
Fri Jun 29 20:32:24 2018 +0200 (17 months ago)
changeset 68546 34d732a83767
parent 64370 865b39487b5d
permissions -rwxr-xr-x
VSCode extension for official Isabelle release;
wenzelm@27628
     1
#!/usr/bin/env bash
wenzelm@27628
     2
#
wenzelm@27629
     3
# Administrative build for Isabelle source distribution.
wenzelm@27628
     4
wenzelm@27628
     5
## directory layout
wenzelm@27628
     6
wenzelm@34282
     7
if [ -z "$ISABELLE_HOME" ]; then
wenzelm@34282
     8
  ISABELLE_HOME="$(cd "$(dirname "$0")"; cd "$(pwd -P)"; cd ..; pwd)"
wenzelm@34282
     9
  ISABELLE_TOOL="$ISABELLE_HOME/bin/isabelle"
wenzelm@34282
    10
fi
wenzelm@27628
    11
wenzelm@27628
    12
wenzelm@27628
    13
## diagnostics
wenzelm@27628
    14
wenzelm@27628
    15
PRG="$(basename "$0")"
wenzelm@27628
    16
wenzelm@27628
    17
function usage()
wenzelm@27628
    18
{
wenzelm@27628
    19
  cat <<EOF
wenzelm@27628
    20
wenzelm@27628
    21
Usage: $PRG [MODULES]
wenzelm@27628
    22
wenzelm@27628
    23
  Produce Isabelle distribution modules from current repository sources.
wenzelm@27628
    24
  The MODULES list may contain any of the following:
wenzelm@27628
    25
wenzelm@48691
    26
    all             all modules below
wenzelm@58791
    27
    browser         graph browser
wenzelm@58791
    28
    jars            Isabelle/Scala
wenzelm@43280
    29
    jars_fresh      fresh build of jars
wenzelm@27628
    30
wenzelm@27628
    31
EOF
wenzelm@27628
    32
  exit 1
wenzelm@27628
    33
}
wenzelm@27628
    34
wenzelm@27628
    35
function fail()
wenzelm@27628
    36
{
wenzelm@27628
    37
  echo "$1" >&2
wenzelm@27628
    38
  exit 2
wenzelm@27628
    39
}
wenzelm@27628
    40
wenzelm@27628
    41
wenzelm@27628
    42
## process command line
wenzelm@27628
    43
wenzelm@27628
    44
[ "$#" -eq 0 ] && usage
wenzelm@27628
    45
wenzelm@27628
    46
MODULES="$@"; shift "$#"
wenzelm@27628
    47
wenzelm@27628
    48
wenzelm@27628
    49
## modules
wenzelm@27628
    50
wenzelm@27628
    51
function build_all ()
wenzelm@27628
    52
{
wenzelm@27628
    53
  build_browser
wenzelm@27628
    54
  build_jars
wenzelm@27628
    55
}
wenzelm@27628
    56
wenzelm@27628
    57
wenzelm@27628
    58
function build_browser ()
wenzelm@27628
    59
{
wenzelm@34283
    60
  pushd "$ISABELLE_HOME/lib/browser" >/dev/null
wenzelm@34297
    61
  "$ISABELLE_TOOL" env ./build || exit $?
wenzelm@34283
    62
  popd >/dev/null
wenzelm@27628
    63
}
wenzelm@27628
    64
wenzelm@27628
    65
wenzelm@27628
    66
function build_jars ()
wenzelm@27628
    67
{
wenzelm@28956
    68
  pushd "$ISABELLE_HOME/src/Pure" >/dev/null
wenzelm@43280
    69
  "$ISABELLE_TOOL" env ./build-jars "$@" || exit $?
wenzelm@27904
    70
  popd >/dev/null
wenzelm@27628
    71
}
wenzelm@27628
    72
wenzelm@27628
    73
wenzelm@27628
    74
## main
wenzelm@27628
    75
wenzelm@57618
    76
#FIXME workarounds for scalac 2.11.0
wenzelm@57618
    77
export CYGWIN="nodosfilewarning"
wenzelm@53450
    78
function stty() { :; }
wenzelm@53450
    79
export -f stty
wenzelm@53450
    80
wenzelm@27628
    81
for MODULE in $MODULES
wenzelm@27628
    82
do
wenzelm@27628
    83
  case $MODULE in
wenzelm@27628
    84
    all) build_all;;
wenzelm@27628
    85
    browser) build_browser;;
wenzelm@27628
    86
    jars) build_jars;;
wenzelm@43280
    87
    jars_fresh) build_jars -f;;
wenzelm@27628
    88
    *) fail "Bad module $MODULE"
wenzelm@27628
    89
  esac
wenzelm@27628
    90
done