| author | wenzelm |
| Sat, 20 Feb 2021 13:42:37 +0100 | |
| changeset 73255 | 7e2a9a8c2b85 |
| parent 70092 | a19dd7006a3c |
| permissions | -rwxr-xr-x |
|
70092
a19dd7006a3c
more explicit way to re-generate ~~/src/HOL/Tools/Qelim/cooper_procedure.ML
haftmann
parents:
diff
changeset
|
1 |
#!/usr/bin/env bash |
|
a19dd7006a3c
more explicit way to re-generate ~~/src/HOL/Tools/Qelim/cooper_procedure.ML
haftmann
parents:
diff
changeset
|
2 |
# |
|
a19dd7006a3c
more explicit way to re-generate ~~/src/HOL/Tools/Qelim/cooper_procedure.ML
haftmann
parents:
diff
changeset
|
3 |
# Author: Florian Haftmann, TU Muenchen |
|
a19dd7006a3c
more explicit way to re-generate ~~/src/HOL/Tools/Qelim/cooper_procedure.ML
haftmann
parents:
diff
changeset
|
4 |
# |
|
a19dd7006a3c
more explicit way to re-generate ~~/src/HOL/Tools/Qelim/cooper_procedure.ML
haftmann
parents:
diff
changeset
|
5 |
# DESCRIPTION: regenerate ~~/src/HOL/Tools/Qelim/cooper_procedure.ML from ~~/src/HOL/Decision_Proc/Cooper.thy |
|
a19dd7006a3c
more explicit way to re-generate ~~/src/HOL/Tools/Qelim/cooper_procedure.ML
haftmann
parents:
diff
changeset
|
6 |
|
|
a19dd7006a3c
more explicit way to re-generate ~~/src/HOL/Tools/Qelim/cooper_procedure.ML
haftmann
parents:
diff
changeset
|
7 |
session=HOL-Decision_Procs |
|
a19dd7006a3c
more explicit way to re-generate ~~/src/HOL/Tools/Qelim/cooper_procedure.ML
haftmann
parents:
diff
changeset
|
8 |
src='HOL-Decision_Procs.Cooper:code/cooper_procedure.ML' |
|
a19dd7006a3c
more explicit way to re-generate ~~/src/HOL/Tools/Qelim/cooper_procedure.ML
haftmann
parents:
diff
changeset
|
9 |
dst='~~/src/HOL/Tools/Qelim/' |
|
a19dd7006a3c
more explicit way to re-generate ~~/src/HOL/Tools/Qelim/cooper_procedure.ML
haftmann
parents:
diff
changeset
|
10 |
|
|
a19dd7006a3c
more explicit way to re-generate ~~/src/HOL/Tools/Qelim/cooper_procedure.ML
haftmann
parents:
diff
changeset
|
11 |
"${ISABELLE_TOOL}" build "${session}"
|
|
a19dd7006a3c
more explicit way to re-generate ~~/src/HOL/Tools/Qelim/cooper_procedure.ML
haftmann
parents:
diff
changeset
|
12 |
"${ISABELLE_TOOL}" export -x "${src}" -p 2 -O "${dst}" "${session}"
|