src/HOL/IsaMakefile
changeset 28637 7aabaf1ba263
parent 28612 a024b0cef522
child 28652 659d64d59f16
     1.1 --- a/src/HOL/IsaMakefile	Fri Oct 17 10:21:03 2008 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Fri Oct 17 10:39:39 2008 +0200
     1.3 @@ -27,6 +27,7 @@
     1.4    HOL-Isar_examples \
     1.5    HOL-Lambda \
     1.6    HOL-Lattice \
     1.7 +  HOL-Matrix \
     1.8    HOL-MetisExamples \
     1.9    HOL-MicroJava \
    1.10    HOL-Modelcheck \
    1.11 @@ -831,9 +832,9 @@
    1.12  
    1.13  ## HOL-Matrix
    1.14  
    1.15 -HOL-Matrix: HOL $(OUT)/HOL-Matrix
    1.16 +HOL-Matrix: HOL $(LOG)/HOL-Matrix.gz
    1.17  
    1.18 -$(OUT)/HOL-Matrix: $(OUT)/HOL				\
    1.19 +$(LOG)/HOL-Matrix.gz: $(OUT)/HOL				\
    1.20    $(SRC)/Tools/Compute_Oracle/Compute_Oracle.thy			\
    1.21    $(SRC)/Tools/Compute_Oracle/am_compiler.ML				\
    1.22    $(SRC)/Tools/Compute_Oracle/am_interpreter.ML				\