src/Cube/IsaMakefile
changeset 4583 6d9be46ea566
parent 4518 74c01296e818
child 11260 b736de4cb913
equal deleted inserted replaced
4582:c5cfd00e4f28 4583:6d9be46ea566
    24 Cube: Pure $(OUT)/Cube
    24 Cube: Pure $(OUT)/Cube
    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 Cube.ML Cube.thy ROOT.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 \
       
    31   LPomega.thy Lomega.ML Lomega.thy ROOT.ML
    30 	@$(ISATOOL) usedir -b $(OUT)/Pure Cube
    32 	@$(ISATOOL) usedir -b $(OUT)/Pure Cube
    31 
    33 
    32 
    34 
    33 ## Cube-ex
    35 ## Cube-ex
    34 
    36 
    35 Cube-ex: Cube $(LOG)/Cube-ex.gz
    37 Cube-ex: Cube $(LOG)/Cube-ex.gz
    36 
    38 
    37 $(LOG)/Cube-ex.gz: $(OUT)/Cube ex/ex.ML ex/ROOT.ML
    39 $(LOG)/Cube-ex.gz: $(OUT)/Cube ex/ex.ML ex/ex.thy ex/ROOT.ML
    38 	@$(ISATOOL) usedir $(OUT)/Cube ex
    40 	@$(ISATOOL) usedir $(OUT)/Cube ex
    39 
    41 
    40 
    42 
    41 ## clean
    43 ## clean
    42 
    44