more precise dependencies, notably for HOL-Multivariate_Analysis;
authorwenzelm
Mon Oct 26 11:30:08 2009 +0100 (2009-10-26)
changeset 3317870522979c7be
parent 33176 d6936fd7cda8
child 33179 f35905921049
more precise dependencies, notably for HOL-Multivariate_Analysis;
src/HOL/IsaMakefile
     1.1 --- a/src/HOL/IsaMakefile	Mon Oct 26 09:03:57 2009 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Mon Oct 26 11:30:08 2009 +0100
     1.3 @@ -33,6 +33,7 @@
     1.4    HOL-MicroJava \
     1.5    HOL-Mirabelle \
     1.6    HOL-Modelcheck \
     1.7 +  HOL-Multivariate_Analysis \
     1.8    HOL-NanoJava \
     1.9    HOL-Nominal-Examples \
    1.10    HOL-Number_Theory \
    1.11 @@ -323,20 +324,17 @@
    1.12  
    1.13  $(LOG)/HOL-Library.gz: $(OUT)/HOL Library/SetsAndFunctions.thy		\
    1.14    Library/Abstract_Rat.thy Library/BigO.thy Library/ContNotDenum.thy	\
    1.15 -  Library/Efficient_Nat.thy 			 			\
    1.16 -  Library/Sum_Of_Squares.thy Library/Sum_Of_Squares/sos_wrapper.ML	\
    1.17 +  Library/Efficient_Nat.thy Library/Sum_Of_Squares.thy			\
    1.18 +  Library/Sum_Of_Squares/sos_wrapper.ML					\
    1.19    Library/Sum_Of_Squares/sum_of_squares.ML Library/Fset.thy		\
    1.20 -  Library/Glbs.thy							\
    1.21 -  Library/normarith.ML Library/Executable_Set.thy			\
    1.22 +  Library/Glbs.thy Library/normarith.ML Library/Executable_Set.thy	\
    1.23    Library/Infinite_Set.thy Library/FuncSet.thy				\
    1.24 -  Library/Permutations.thy Library/Bit.thy				\
    1.25 -  Library/FrechetDeriv.thy		\
    1.26 +  Library/Permutations.thy Library/Bit.thy Library/FrechetDeriv.thy	\
    1.27    Library/Fraction_Field.thy Library/Fundamental_Theorem_Algebra.thy	\
    1.28    Library/Inner_Product.thy Library/Kleene_Algebra.thy			\
    1.29 -  Library/Lattice_Syntax.thy			\
    1.30 -  Library/Library.thy Library/List_Prefix.thy Library/List_Set.thy	\
    1.31 -  Library/State_Monad.thy Library/Nat_Int_Bij.thy Library/Multiset.thy	\
    1.32 -  Library/Permutation.thy	\
    1.33 +  Library/Lattice_Syntax.thy Library/Library.thy			\
    1.34 +  Library/List_Prefix.thy Library/List_Set.thy Library/State_Monad.thy	\
    1.35 +  Library/Nat_Int_Bij.thy Library/Multiset.thy Library/Permutation.thy	\
    1.36    Library/Quotient.thy Library/Quicksort.thy Library/Nat_Infinity.thy	\
    1.37    Library/Word.thy Library/README.html Library/Continuity.thy		\
    1.38    Library/Order_Relation.thy Library/Nested_Environment.thy		\
    1.39 @@ -1326,6 +1324,7 @@
    1.40  		$(LOG)/HOL-UNITY.gz $(LOG)/HOL-Modelcheck.gz		\
    1.41  		$(LOG)/HOL-Lambda.gz $(LOG)/HOL-Bali.gz			\
    1.42  		$(LOG)/HOL-MicroJava.gz $(LOG)/HOL-NanoJava.gz		\
    1.43 +		$(OUT)/HOL-Multivariate_Analysis			\
    1.44  		$(LOG)/HOL-Nominal-Examples.gz $(LOG)/HOL-IOA.gz	\
    1.45  		$(LOG)/HOL-Lattice $(LOG)/HOL-Matrix			\
    1.46  		$(LOG)/HOL-Hahn_Banach.gz $(LOG)/HOL-SET_Protocol.gz	\
    1.47 @@ -1333,7 +1332,7 @@
    1.48  		$(LOG)/TLA-Memory.gz $(LOG)/HOL-Library.gz		\
    1.49  		$(LOG)/HOL-Unix.gz $(OUT)/HOL-Word $(LOG)/HOL-Word.gz	\
    1.50  		$(LOG)/HOL-Word-Examples.gz $(OUT)/HOL-NSA		\
    1.51 -		$(LOG)/HOL-NSA.gz $(LOG)/HOL-NSA-Examples.gz            \
    1.52 -                $(LOG)/HOL-Mirabelle.gz $(LOG)/HOL-SMT.gz               \
    1.53 -                $(LOG)/HOL-SMT-Examples.gz
    1.54 +		$(LOG)/HOL-NSA.gz $(LOG)/HOL-NSA-Examples.gz		\
    1.55 +		$(LOG)/HOL-Mirabelle.gz $(OUT)/HOL-SMT			\
    1.56 +		$(LOG)/HOL-SMT.gz $(LOG)/HOL-SMT-Examples.gz
    1.57