equal
deleted
inserted
replaced
50 ## modules |
50 ## modules |
51 |
51 |
52 function build_all () |
52 function build_all () |
53 { |
53 { |
54 build_browser |
54 build_browser |
55 build_jars |
55 build_setup build |
56 } |
56 } |
57 |
57 |
58 |
58 |
59 function build_browser () |
59 function build_browser () |
60 { |
60 { |
62 "$ISABELLE_TOOL" env ./build || exit $? |
62 "$ISABELLE_TOOL" env ./build || exit $? |
63 popd >/dev/null |
63 popd >/dev/null |
64 } |
64 } |
65 |
65 |
66 |
66 |
67 function build_jars () |
67 function build_setup () |
68 { |
68 { |
69 pushd "$ISABELLE_HOME" >/dev/null |
69 rm -rf \ |
70 "$ISABELLE_TOOL" env src/Pure/build-jars "$@" || exit $? |
70 "$ISABELLE_HOME/lib/classes/Pure.jar" \ |
71 popd >/dev/null |
71 "$ISABELLE_HOME/lib/classes/Pure.shasum" \ |
|
72 "$ISABELLE_HOME/src/Tools/jEdit/dist" |
|
73 "$ISABELLE_TOOL" java isabelle.setup.Setup "$@" |
72 } |
74 } |
73 |
75 |
74 |
76 |
75 ## main |
77 ## main |
76 |
|
77 #FIXME workarounds for scalac 2.11.0 |
|
78 export CYGWIN="nodosfilewarning" |
|
79 function stty() { :; } |
|
80 export -f stty |
|
81 |
78 |
82 for MODULE in $MODULES |
79 for MODULE in $MODULES |
83 do |
80 do |
84 case $MODULE in |
81 case $MODULE in |
85 all) build_all;; |
82 all) build_all;; |
86 browser) build_browser;; |
83 browser) build_browser;; |
87 jars) build_jars;; |
84 jars) build_setup build;; |
88 jars_fresh) build_jars -f;; |
85 jars_fresh) build_setup build_fresh;; |
89 *) fail "Bad module $MODULE" |
86 *) fail "Bad module $MODULE" |
90 esac |
87 esac |
91 done |
88 done |