2
|
1 #
|
|
2 # Copyright (C) 1991, Shinji Kono, Sony Computer Science Laboratory, Inc.
|
|
3 # The University, Newcastle upton Tyne
|
|
4 #
|
|
5 # Everyone is permitted to copy and distribute verbatim copies
|
|
6 # of this license, but changing it is not allowed. You can also
|
|
7 # use this wording to make the terms for other programs.
|
|
8 #
|
|
9 # send your comments to kono@csl.sony.co.jp
|
|
10
|
|
11 PROLOG = sicstus
|
|
12 PROLOG_TYPE = SICSTUS
|
|
13
|
|
14 # PROLOG = sbprolog
|
|
15 # PROLOG_TYPE = SBPROLOG
|
|
16
|
|
17 # PROLOG = cprolog
|
|
18 # PROLOG_TYPE = CPROLOG
|
|
19
|
|
20 # PROLOG = xsb
|
|
21 # PROLOG_TYPE = XSB
|
|
22
|
|
23 # last resort
|
|
24 # PROLOG = prolog
|
|
25 # PROLOG_TYPE = PROLOG
|
|
26
|
|
27
|
|
28 # SICSTUS for SICStus Prolog
|
|
29 # SICSTUS218 patch for v2.1 #8
|
|
30 # SBPROLOG for SB Prolog
|
|
31 # QUINTUS for Quintus Prolog
|
|
32 # CPROLOG for CPROLOG ver 1.2
|
|
33 # CPROLOG15 for CPROLOG15 ver 1.5
|
|
34 # see cp.pl.c
|
|
35
|
|
36 all: $(PROLOG_TYPE)
|
|
37
|
10
|
38 SICSTUS: cp.pl
|
2
|
39 echo '[initm],save(lite).' | $(PROLOG)
|
|
40 CPROLOG: cp.pl
|
|
41 echo '[init],save(lite).' | $(PROLOG)
|
|
42
|
|
43 PROLOG: cp.pl
|
|
44 echo 'start ' $(PROLOG) ' and run [init]'
|
|
45
|
|
46 SB_START_FILE = /usr/local/lib/sbprolog/modlib/\$$readloop
|
|
47 SBPROLOG: cp.pl
|
|
48 echo "['op.pl']." > .tmpb
|
|
49 make M=$(M) $(OBJ)
|
|
50 cat .tmpb | $(PROLOG)
|
|
51 cat $(SB_START_FILE) $(OBJ) > lite
|
|
52
|
|
53 XSB: cp.pl
|
|
54 echo '[init].' | $(PROLOG)
|
|
55 echo 'start ' $(PROLOG) ' and run [init]'
|
|
56
|
|
57
|
|
58 cp.pl : cppl.c
|
|
59 cc -E -D$(PROLOG_TYPE) cppl.c | sed -e '/^#/d' > cp.pl
|
|
60
|
|
61 .SUFFIXES: .pl .ql
|
|
62 .SILENT:
|
10
|
63 OBJ = op.ql ndcomp.ql dvcomp.ql bdtstd.ql rstd.ql chop.ql diag.ql kiss.ql ex.ql cp.ql infinite.ql
|
2
|
64 # kiss_ex.ql
|
|
65 WORK = .tmpl .tmpc .tmpa .tmpb
|
|
66 # M = lite:
|
|
67
|
|
68 tmpa:
|
|
69 rm -f $(WORK)
|
|
70 touch $(WORK)
|
|
71 make M=$(M) $(OBJ)
|
|
72 echo '?-load($(M)['$(OBJ)']).' | \
|
|
73 sed -e 's/\.ql//g' -e 's/ *$$//' -e 's/ /,/g' > .tmpa
|
|
74
|
|
75 .pl.ql:
|
|
76 echo '?-fcompile('$(M)$*').' >> .tmpc
|
|
77 echo '?-load('$(M)$*').' >> .tmpl
|
|
78 echo "compile('$<','$@')." >> .tmpb
|
|
79
|
|
80 cp.ql : cp.pl
|
|
81
|
|
82 clean:
|
|
83 rm -f lite *.ql $(WORK) cp.pl *.O *.P
|
|
84
|
|
85 pack:
|
|
86 tar cvf - read.me \
|
|
87 `echo $(OBJ) $(BDD) display.pl | sed -e 's/\.ql/\.pl/g' ` \
|
|
88 Makefile init* bddi | compress |\
|
|
89 uuencode itlve.tar.Z > itlve.tar.Z.uu
|
|
90
|
|
91 lharc:
|
|
92 lharc u itl.lhz read.me \
|
|
93 `echo $(OBJ) display.pl | sed -e 's/\.ql/\.pl/g' ` \
|
|
94 Makefile init demoi
|
|
95
|
|
96 BDD = chop.ql diag.ql bdditl.ql bddcomp.ql ex.ql cp.ql
|
|
97 bdd:
|
|
98 rm -f $(WORK)
|
|
99 touch $(WORK)
|
|
100 make M=$(M) $(BDD)
|
|
101 echo '?-load($(M)['$(BDD)']).' | \
|
|
102 sed -e 's/\.ql//g' -e 's/ *$$//' -e 's/ /,/g' > .tmpa
|
|
103
|
|
104 DISPLAY = display.ql
|
|
105 display:
|
|
106 rm -f $(WORK)
|
|
107 touch $(WORK)
|
|
108 make M=$(M) $(DISPLAY)
|
|
109 echo '?-load($(M)['$(DISPLAY)']).' | \
|
|
110 sed -e 's/\.ql//g' -e 's/ *$$//' -e 's/ /,/g' > .tmpa
|