diff options
Diffstat (limited to 'devel/sml_tk/files/patch-Makefile')
| -rw-r--r-- | devel/sml_tk/files/patch-Makefile | 69 |
1 files changed, 69 insertions, 0 deletions
diff --git a/devel/sml_tk/files/patch-Makefile b/devel/sml_tk/files/patch-Makefile new file mode 100644 index 000000000000..3f436ff17fee --- /dev/null +++ b/devel/sml_tk/files/patch-Makefile @@ -0,0 +1,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: + |