more accurate dependencies
authorhaftmann
Fri Jan 22 13:38:29 2010 +0100 (2010-01-22)
changeset 34945478f31081a78
parent 34944 970e1466028d
child 34946 aa5d27f1d9b9
more accurate dependencies
src/HOL/IsaMakefile
     1.1 --- a/src/HOL/IsaMakefile	Fri Jan 22 13:38:28 2010 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Fri Jan 22 13:38:29 2010 +0100
     1.3 @@ -109,6 +109,7 @@
     1.4    $(SRC)/Tools/Code/code_ml.ML \
     1.5    $(SRC)/Tools/Code/code_preproc.ML \
     1.6    $(SRC)/Tools/Code/code_printer.ML \
     1.7 +  $(SRC)/Tools/Code/code_scala.ML \
     1.8    $(SRC)/Tools/Code/code_target.ML \
     1.9    $(SRC)/Tools/Code/code_thingol.ML \
    1.10    $(SRC)/Tools/Code_Generator.thy \