# HG changeset patch
# User berghofe
# Date 1295095318 -3600
# Node ID 98f59921c420aa800ce23905a6f9c0a9c0a0ed0e
# Parent  a6304284b5ef817cf0c9b504a19101758186a0ef
Also added SPARK to test and clean targets.

diff -r a6304284b5ef -r 98f59921c420 src/HOL/IsaMakefile
--- 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	\