src/Pure/IsaMakefile
changeset 3869 79b54692d806
parent 3864 e0ce3d4ec47d
child 3926 f5e499fda22c
equal deleted inserted replaced
3868:86981c4bffdb 3869:79b54692d806
    19         axclass.ML basis.ML data.ML deriv.ML display.ML drule.ML envir.ML goals.ML \
    19         axclass.ML basis.ML data.ML deriv.ML display.ML drule.ML envir.ML goals.ML \
    20 	install_pp.ML library.ML logic.ML net.ML name_space.ML pattern.ML \
    20 	install_pp.ML library.ML logic.ML net.ML name_space.ML pattern.ML \
    21 	search.ML section_utils.ML sequence.ML sign.ML sorts.ML symtab.ML tactic.ML \
    21 	search.ML section_utils.ML sequence.ML sign.ML sorts.ML symtab.ML tactic.ML \
    22 	tctical.ML term.ML theory.ML thm.ML type.ML type_infer.ML unify.ML
    22 	tctical.ML term.ML theory.ML thm.ML type.ML type_infer.ML unify.ML
    23 
    23 
    24 Pure: $(FILES)
    24 $(OUT)/Pure: $(FILES)
    25 	@./mk
    25 	@./mk
    26 
    26 
    27 RAW: $(FILES)
    27 $(OUT)/RAW: $(FILES)
    28 	@./mk -r
    28 	@./mk -r
    29 
    29 
    30 test: Pure
    30 test: Pure
    31 
    31 
    32 .PRECIOUS: $(OUT)/Pure
    32 .PRECIOUS: $(OUT)/Pure $(OUT)/RAW