src/HOL/IsaMakefile
changeset 27694 31a8e0908b9f
parent 27679 6392b92c3536
child 27697 bcf941cc3324
equal deleted inserted replaced
27693:73253a4e3ee2 27694:31a8e0908b9f
    66 
    66 
    67 HOL-Plain: Pure $(OUT)/HOL-Plain
    67 HOL-Plain: Pure $(OUT)/HOL-Plain
    68 
    68 
    69 Pure:
    69 Pure:
    70 	@cd $(SRC)/Pure; $(ISATOOL) make Pure
    70 	@cd $(SRC)/Pure; $(ISATOOL) make Pure
       
    71 
       
    72 $(OUT)/Pure: Pure
    71 
    73 
    72 $(OUT)/HOL-Plain: $(OUT)/Pure \
    74 $(OUT)/HOL-Plain: $(OUT)/Pure \
    73   plain.ML \
    75   plain.ML \
    74   Code_Setup.thy \
    76   Code_Setup.thy \
    75   Datatype.thy \
    77   Datatype.thy \