--- a/src/HOL/IsaMakefile Tue Jul 24 08:12:15 2012 +0200
+++ b/src/HOL/IsaMakefile Tue Jul 24 12:36:59 2012 +0200
@@ -82,6 +82,7 @@
benchmark: \
HOL-Datatype_Benchmark \
+ HOL-Quickcheck_Benchmark \
HOL-Record_Benchmark
images-no-smlnj: \
@@ -1509,8 +1510,8 @@
HOL-Quickcheck_Examples: HOL $(LOG)/HOL-Quickcheck_Examples.gz
$(LOG)/HOL-Quickcheck_Examples.gz: $(OUT)/HOL \
+ Quickcheck_Examples/ROOT.ML \
Quickcheck_Examples/Completeness.thy \
- Quickcheck_Examples/Find_Unused_Assms_Examples.thy \
Quickcheck_Examples/Hotel_Example.thy \
Quickcheck_Examples/Needham_Schroeder_Base.thy \
Quickcheck_Examples/Needham_Schroeder_No_Attacker_Example.thy \
@@ -1816,6 +1817,15 @@
@$(ISABELLE_TOOL) usedir $(OUT)/HOL Record_Benchmark
+## HOL-Quickcheck_Benchmark
+
+HOL-Quickcheck_Benchmark: HOL $(LOG)/HOL-Quickcheck_Benchmark.gz
+
+$(LOG)/HOL-Quickcheck_Benchmark.gz: $(OUT)/HOL \
+ Quickcheck_Benchmark/ROOT.ML \
+ Quickcheck_Benchmark/Find_Unused_Assms_Examples.thy
+ @$(ISABELLE_TOOL) usedir $(OUT)/HOL Quickcheck_Benchmark
+
## clean