src/HOLCF/Makefile
changeset 2640 ee4dfce170a0
parent 2571 b9f641195b48
child 2679 3eac428cdd1b
     1.1 --- a/src/HOLCF/Makefile	Sat Feb 15 18:24:05 1997 +0100
     1.2 +++ b/src/HOLCF/Makefile	Mon Feb 17 10:57:11 1997 +0100
     1.3 @@ -21,16 +21,19 @@
     1.4  
     1.5  BIN = $(ISABELLEBIN)
     1.6  COMP = $(ISABELLECOMP)
     1.7 -THYS = Void.thy Porder.thy Pcpo.thy \
     1.8 +THYS = Porder.thy Porder0.thy Pcpo.thy \
     1.9         Fun1.thy Fun2.thy Fun3.thy \
    1.10         Cfun1.thy Cfun2.thy Cfun3.thy Cont.thy \
    1.11         Cprod1.thy Cprod2.thy Cprod3.thy \
    1.12         Sprod0.thy Sprod1.thy Sprod2.thy Sprod3.thy \
    1.13         Ssum0.thy Ssum1.thy Ssum2.thy Ssum3.thy \
    1.14 -       Up1.thy Up2.thy Up3.thy Fix.thy ccc1.thy One.thy \
    1.15 -       Tr1.thy Tr2.thy Lift1.thy Lift2.thy Lift2.thy HOLCF.thy 
    1.16 +       Up1.thy Up2.thy Up3.thy Fix.thy ccc1.thy \
    1.17 +       One.thy Tr.thy \
    1.18 +       Lift1.thy Lift2.thy Lift3.thy HOLCF.thy 
    1.19  
    1.20 -FILES = ROOT.ML Porder0.thy  $(THYS) $(THYS:.thy=.ML)
    1.21 +ONLYTHYS = Lift.thy
    1.22 +
    1.23 +FILES = ROOT.ML $(THYS) $(ONLYTHYS) $(THYS:.thy=.ML)
    1.24  
    1.25  #Uses cp rather than make_database because Poly/ML allows only 3 levels
    1.26  $(BIN)/HOLCF:	$(BIN)/HOL  $(FILES)