--- 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: