changeset 3118 | 24dae6222579 |
parent 3056 | 200565f7592a |
child 3505 | 1cb4ea47d967 |
3117:74c1b51c1cd9 | 3118:24dae6222579 |
---|---|
30 $ISABELLE \ |
30 $ISABELLE \ |
31 -e "val ml_system = \"$ML_SYSTEM\";" \ |
31 -e "val ml_system = \"$ML_SYSTEM\";" \ |
32 -e "use\"$COMPAT\"; use\"ROOT.ML\" handle _ => exit 1;" \ |
32 -e "use\"$COMPAT\"; use\"ROOT.ML\" handle _ => exit 1;" \ |
33 -q RAW_ML_SYSTEM Pure |
33 -q RAW_ML_SYSTEM Pure |
34 |
34 |
35 chmod -w $ISABELLE_OUTPUT_DIR/Pure |
35 chmod -w $ISABELLE_OUTPUT/Pure |