blob: 3f436ff17fee268245636ecbe5e02f74790b6d16 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
|
--- Makefile.orig Fri Mar 30 23:37:57 2001
+++ Makefile Sun Jan 13 21:51:20 2008
@@ -28,19 +28,18 @@
## start of configuration section
##
-SMLTK_LIB = /home/cxl/src/sml_tk/lib
-SMLTK_TCL = /usr/local/X11/bin/wish
+SMLTK_LIB = ${WRKSRC}/lib
+SMLTK_TCL = ${WISH}
## SMLTK_LOGFILE not set, hence by default no logging
# Produce the following heap image:
-SMLTK_BINARY = /home/cxl/src/bin/sml_tk
-
+SMLTK_BINARY = ${WRKSRC}/bin/sml_tk
# SML compiler.
## SML/NJ
-COMP = njml
-COMP_BIN = sml-cm
-COMP_NAME = SML/NJ 110
+#COMP = njml
+#COMP_BIN = sml
+#COMP_NAME = SML/NJ 110
## PolyML
#COMP = poly
#COMP_BIN = /usr/local/PolyML/bin/polyml /home/wolff/ML_dbase
@@ -64,14 +63,29 @@
# Invoke the make in src with the right parameters set.
smltk:
+.if ${SMLNJDEVEL} == "yes"
cd src; \
$(MAKE) "SMLTK_BINARY=$(SMLTK_BINARY)" \
- "SMLTK_COMP=$(COMP_BIN)" \
- "SMLTK_ROOT=root_$(COMP).sml" \
- "SMLTK_BANNER=\"SmlTk 3.0 for $(COMP_NAME)\"" \
+ "SMLTK_COMP=sml" \
+ "SMLTK_ROOT=root_njml.sml" \
+ "SMLTK_BANNER=\"SmlTk 3.0 for SML/NJ 110 devel\"" \
+ "SMLTK_LIB=$(SMLTK_LIB)" \
+ "SMLTK_TCL=$(SMLTK_TCL)" \
+ "SMLTK_STABILIZE=$(STABILIZE)" \
+ all
+.endif
+.if ${POLYML} == "yes"
+ cd src; \
+ $(MAKE) "SMLTK_BINARY=$(SMLTK_BINARY).poly" \
+ "SMLTK_COMP=poly" \
+ "SMLTK_ROOT=root_poly.sml" \
+ "SMLTK_BANNER=\"SmlTk 3.0 for PolyML 5.1\"" \
"SMLTK_LIB=$(SMLTK_LIB)" \
"SMLTK_TCL=$(SMLTK_TCL)" \
+ "SMLTK_STABILIZE=no" \
all
+.endif
+
smltkI:
cd src; \
@@ -82,7 +96,6 @@
"SMLTK_LIB=$(SMLTK_LIB)" \
"SMLTK_TCL=$(SMLTK_TCL)" \
allI
-
# cleaning up:
|
