Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Also added SPARK to test and clean targets.
authorberghofe
Sat, 15 Jan 2011 13:41:58 +0100
changeset 41569 98f59921c420
parent 41568 a6304284b5ef
child 41570 80c7622a7ff3
Also added SPARK to test and clean targets.
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/src/HOL/IsaMakefile	Sat Jan 15 13:19:16 2011 +0100
+++ b/src/HOL/IsaMakefile	Sat Jan 15 13:41:58 2011 +0100
@@ -73,6 +73,7 @@
   HOL-Proofs-Extraction \
   HOL-Proofs-Lambda \
   HOL-SET_Protocol \
+  HOL-SPARK-Examples \
   HOL-Word-SMT_Examples \
   HOL-Statespace \
   HOL-Subst \
@@ -1714,6 +1715,7 @@
 		$(LOG)/HOL-Proofs-Extraction.gz				\
 		$(LOG)/HOL-Proofs-Lambda.gz $(LOG)/HOL-SET_Protocol.gz	\
 		$(LOG)/HOL-Word-SMT_Examples.gz				\
+		$(LOG)/HOL-SPARK.gz $(LOG)/HOL-SPARK-Examples.gz	\
 		$(LOG)/HOL-Statespace.gz $(LOG)/HOL-Subst.gz		\
 		$(LOG)/HOL-UNITY.gz $(LOG)/HOL-Unix.gz			\
 		$(LOG)/HOL-Word-Examples.gz $(LOG)/HOL-Word.gz		\
@@ -1724,6 +1726,7 @@
 		$(OUT)/HOL-Main $(OUT)/HOL-Multivariate_Analysis	\
 		$(OUT)/HOL-NSA $(OUT)/HOL-Nominal $(OUT)/HOL-Plain	\
 		$(OUT)/HOL-Probability $(OUT)/HOL-Proofs		\
+		$(OUT)/HOL-SPARK					\
 		$(OUT)/HOL-Word $(OUT)/HOL4 $(OUT)/TLA			\
 		$(OUT)/HOLCF $(LOG)/HOLCF.gz $(LOG)/HOLCF-IMP.gz	\
 		$(LOG)/HOLCF-ex.gz $(LOG)/HOLCF-FOCUS.gz $(OUT)/IOA	\
isabelle