Admin/build
changeset 43280 e5dd0ae1b054
parent 34876 b52e03f68cc3
child 43521 d477b92109b8
equal deleted inserted replaced
43279:6af741899bf6 43280:e5dd0ae1b054
    25 
    25 
    26     all             all modules below
    26     all             all modules below
    27     browser         graph browser (requires jdk)
    27     browser         graph browser (requires jdk)
    28     doc             documentation (requires latex and rail)
    28     doc             documentation (requires latex and rail)
    29     jars            Isabelle/Scala layer (requires Scala in \$SCALA_HOME)
    29     jars            Isabelle/Scala layer (requires Scala in \$SCALA_HOME)
       
    30     jars_fresh      fresh build of jars
    30 
    31 
    31 EOF
    32 EOF
    32   exit 1
    33   exit 1
    33 }
    34 }
    34 
    35 
    82 
    83 
    83 
    84 
    84 function build_jars ()
    85 function build_jars ()
    85 {
    86 {
    86   pushd "$ISABELLE_HOME/src/Pure" >/dev/null
    87   pushd "$ISABELLE_HOME/src/Pure" >/dev/null
    87   "$ISABELLE_TOOL" env ./build-jars || exit $?
    88   "$ISABELLE_TOOL" env ./build-jars "$@" || exit $?
    88   popd >/dev/null
    89   popd >/dev/null
    89 }
    90 }
    90 
    91 
    91 
    92 
    92 ## main
    93 ## main
    96   case $MODULE in
    97   case $MODULE in
    97     all) build_all;;
    98     all) build_all;;
    98     browser) build_browser;;
    99     browser) build_browser;;
    99     doc) build_doc;;
   100     doc) build_doc;;
   100     jars) build_jars;;
   101     jars) build_jars;;
       
   102     jars_fresh) build_jars -f;;
   101     *) fail "Bad module $MODULE"
   103     *) fail "Bad module $MODULE"
   102   esac
   104   esac
   103 done
   105 done