src/Cube/IsaMakefile
changeset 11260 b736de4cb913
parent 4583 6d9be46ea566
child 17252 e352f65d5893
equal deleted inserted replaced
11259:27f0f16f8003 11260:b736de4cb913
    25 
    25 
    26 Pure:
    26 Pure:
    27 	@cd $(SRC)/Pure; $(ISATOOL) make Pure
    27 	@cd $(SRC)/Pure; $(ISATOOL) make Pure
    28 
    28 
    29 $(OUT)/Cube: $(OUT)/Pure Base.ML Base.thy CC.ML CC.thy Cube.thy L2.ML \
    29 $(OUT)/Cube: $(OUT)/Pure Base.ML Base.thy CC.ML CC.thy Cube.thy L2.ML \
    30   L2.thy LOmega.ML LOmega.thy LP.ML LP.thy LP2.ML LP2.thy LPomega.ML \
    30   L2.thy Lomega2.ML Lomega2.thy LP.ML LP.thy LP2.ML LP2.thy LPomega.ML \
    31   LPomega.thy Lomega.ML Lomega.thy ROOT.ML
    31   LPomega.thy Lomega.ML Lomega.thy ROOT.ML
    32 	@$(ISATOOL) usedir -b $(OUT)/Pure Cube
    32 	@$(ISATOOL) usedir -b $(OUT)/Pure Cube
    33 
    33 
    34 
    34 
    35 ## Cube-ex
    35 ## Cube-ex