INSTALLDIR = /usr/local/hamlet-succ

POLY_LIBDIR = /usr/local/lib/

ECHO = /bin/echo

EXT_alice = alc

EXT_mlkit = sml

EXT_mlton = sml

EXT_mosml = ui

EXT_poly = sml

EXT_smlnj = sml

EXT_smlsharp = sml

FIXES_alice =

FIXES_mlkit = String Real

FIXES_mlton =

FIXES_mosml = Large Word Char String Real ListPair TextIO OS

FIXES_poly =

FIXES_smlnj = Word Char String ListPair TextIO OS

FIXES_smlsharp = Word CommandLine

with-alice: SYSTEM = alice

with-alice+: SYSTEM = alice

with-mlkit: SYSTEM = mlkit

with-mlkit+: SYSTEM = mlkit

with-mlton: SYSTEM = mlton

with-mlton+: SYSTEM = mlton

with-mosml: SYSTEM = mosml

with-mosml+: SYSTEM = mosml

with-poly: SYSTEM = poly

with-poly+: SYSTEM = poly

with-smlnj: SYSTEM = smlnj

with-smlnj+: SYSTEM = smlnj

with-smlsharp: SYSTEM = smlsharp

with-smlsharp: SYSTEM = smlsharp

EXT = ${EXT_${SYSTEM}}

FIXES = ${FIXES_${SYSTEM}}

usage:

@${ECHO}

@${ECHO} "Please use one of the following targets to build HaMLet:"

@${ECHO} " make with-alice (for Alice ML 1.4+)"

@${ECHO} " make with-mlkit (for ML Kit 4.3+)"

@${ECHO} " make with-mlton (for MLton 20010706+)"

@${ECHO} " make with-mosml (for Moscow ML 2.0+)"

@${ECHO} " make with-poly (for Poly/ML 5.0+)"

@${ECHO} " make with-smlnj (for SML/NJ 110+)"

@${ECHO} " make with-smlsharp (for SML# 0.20+)"

@${ECHO}

@${ECHO} "For Moscow ML, you have to first run"

@${ECHO} " make mosmlize"

@${ECHO}

Makefile.depend: fix/Makefile.depend smlnj-lib/Makefile.depend syntax/Makefile.depend infrastructure/Makefile.depend parse/Makefile.depend elab/Makefile.depend eval/Makefile.depend exec/Makefile.depend lib/Makefile.depend main/Makefile.depend

${ECHO} "# DO NOT EDIT!" >$@

${ECHO} "# Generated from */Makefile.depend.in (${shell date -u})" >>$@

cat $^ >>$@

%/Makefile.depend: %/Makefile.depend.in

sed "s|^\([^#]\)|$*/\1|g;s| \([^.:]\)| $*/\1|g;s|[.][.]/||g" $< >$@

Makefile-%.depend: Makefile.depend

sed "s/[$$][(]EXT[)]/${EXT_$*}/g;s/[$$][(]SYSTEM[)]/$*/g" $< >>$@

FIXFILES = ${FIXES:%=fix/%-${SYSTEM}.sml}

LIBFILES := $(shell grep -h '[.]sml' smlnj-lib/smlnj-lib.cm smlnj-lib/ml-yacc-lib.cm | grep "^ ")

SRCFILES := $(shell grep -h '[.]sml' sources.cm | grep -v wrap- | grep -v fix/)

FILES = ${FIXFILES} ${LIBFILES:%=smlnj-lib/%} ${SRCFILES}

BOOTSTRAPFILES = ${filter-out main/Main.sml main/MAIN-sig.sml,${FILES}}

hamlet.sml: ${BOOTSTRAPFILES} sources.cm

@${ECHO} Generating $@

@${ECHO} "(* DO NOT EDIT! *)" >$@

@${ECHO} "(* Generated from sources.cm (${shell date}) *)" >>$@

@${ECHO} >>$@

@${ECHO} '${BOOTSTRAPFILES:%=|use "%";}' | tr "|" "\n" >>$@

hamlet.mlb:

@${ECHO} Generating $@

@${ECHO} "(* DO NOT EDIT! *)" >$@

@${ECHO} "(* Generated from sources.cm (${shell date}) *)" >>$@

@${ECHO} >>$@

@${ECHO} '$$(SML_LIB)/basis/basis.mlb${FILES:%=|%}|main/wrap-${SYSTEM}.sml' | tr "|" "\n" >>$@

.PHONY: hamlet-monolith.sml-init

hamlet-monolith.sml: hamlet-monolith.sml-init main/wrap-generic.dummy

hamlet-monolith.sml-init:

${ECHO} "(* DO NOT EDIT! *)" >hamlet-monolith.sml

${ECHO} "(* Generated from sources.cm (${shell date}) *)" >>hamlet-monolith.sml

%.dummy: %.sml

cat $< >>hamlet-monolith.sml

Makefile-dummy.depend: Makefile.depend

${ECHO} "# DO NOT EDIT!" >$@

${ECHO} "# Generated from sources.cm (${shell date})" >>$@

sed "s/[$$][(]EXT[)]/dummy/g;s/[$$][(]SYSTEM[)]/generic/g" $< >>$@

-include Makefile-dummy.depend

.PHONY: with-alice with-alice-rec with-alice+ with-alice-all clean-alice

with-alice: with-alice-rec with-alice+

with-alice-rec: ${FILES} Makefile-alice.depend

alicec --no-warn-conventions --no-warn-unused-imports --dependency-file Makefile-alice.depend --recursive-compilation -c main/wrap-alice.sml -o main/wrap-alice.alc

with-alice+: Makefile-alice.depend main/wrap-alice.alc hamlet-alice${BAT}

alicelink --include ${PWD} main/wrap-alice -o hamlet.alc

ln -f hamlet-alice${BAT} hamlet${BAT}

with-alice-all: hamlet-all.sml hamlet-alice${BAT}

alicec --no-warn-conventions -c $< -o hamlet.alc

ln -f hamlet-alice${BAT} hamlet${BAT}

hamlet-alice${BAT}: sh/hamlet-alice.sh${BAT}

${ECHO} "# DO NOT EDIT!" >$@

${ECHO} "# Generated from $< (${shell date})" >>$@

cat $< >>$@

chmod +x $@

%.alc: %.sml

alicec --no-warn-conventions --no-warn-unused-imports --dependency-file Makefile-alice.depend -c $< -o $@

-include Makefile-alice.depend

clean-alice:

rm -f hamlet-alice

rm -f *.alc */*.alc

rm -f *.ozf */*.ozf

.PHONY: with-mlkit with-mlkit+ clean-mlkit

with-mlkit: hamlet-mlkit${EXE}

ln -f hamlet-mlkit${EXE} hamlet${EXE}

with-mlkit+: with-mlkit

hamlet-mlkit${EXE}: ${FIXES_mlkit:%=fix/%-mlkit.sml} ${FILES} main/wrap-mlkit.sml hamlet.mlb

mlkit hamlet.mlb

mv run hamlet-mlkit${EXE}

fix/%-mlkit.sml: fix/%.sml

${ECHO} "(* DO NOT EDIT! *)" >$@

${ECHO} "(* Generated from $< (${shell date}) *)" >>$@

cat $< >>$@

clean-mlkit:

rm -f hamlet-mlkit

rm -f hamlet.mlb

rm -rf MLB */MLB

.PHONY: with-mlton with-mlton+ clean-mlton

with-mlton: hamlet-mlton${EXE}

ln -f hamlet-mlton${EXE} hamlet${EXE}

with-mlton+: with-mlton

hamlet-mlton${EXE}: main/wrap-mlton.sml ${FILES}

mlton -output hamlet-mlton${EXE} sources.cm

clean-mlton:

rm -f hamlet-mlton

.PHONY: with-mosml with-mosml+ clean-mosml

with-mosml: hamlet-mosml${EXE}

ln -f hamlet-mosml${EXE} hamlet${EXE}

with-mosml+: Makefile-mosml.depend main/wrap-mosml.ui

mosmlc ${FILES:%.sml=%.uo} main/wrap-mosml.uo -o hamlet-mosml${EXE}

ln -f hamlet-mosml${EXE} hamlet${EXE}

hamlet-mosml${EXE}: ${FIXES_mosml:%=fix/%-mosml.sml} ${FILES} main/wrap-mosml.sml

mosmlc -toplevel ${FILES} main/wrap-mosml.sml -o hamlet-mosml${EXE}

fix/%-mosml.sml: fix/%.sml

${ECHO} "(* DO NOT EDIT! *)" >$@

${ECHO} "(* Generated from $< (${shell date}) *)" >>$@

cat $< >>$@

fix/%.ui: fix/%.sml Makefile-mosml.depend

DEPENDS=`grep "^$@ :" Makefile-mosml.depend` ;\

mosmlc -toplevel $${DEPENDS/* [:]/} -c $<

%.ui: %.sml ${FIXES_mosml:%=fix/%-mosml.ui} Makefile-mosml.depend

DEPENDS=`grep "^$@ :" Makefile-mosml.depend` ;\

mosmlc -toplevel ${FIXFILES:%.sml=%.ui} $${DEPENDS/* [:]/} -c $<

-include Makefile-mosml.depend

clean-mosml:

rm -f hamlet-mosml

rm -f *.u[oi] */*u[oi]

.PHONY: mosmlize unmosmlize

mosmlize:

@for FILE in ${FILES:%.sml=%} ;\

do \

if grep -q "[(][*][*][)]where type" $$FILE.sml ;\

then \

PATCHED=1; \

${ECHO} Patching $$FILE.sml; \

sed "s/[(][*][*][)]where type/(**)and type/g" \

$$FILE.sml >$$FILE.mosml ;\

mv -f $$FILE.mosml $$FILE.sml ;\

fi ;\

done ;\

if [ ! $$PATCHED ] ;\

then \

${ECHO} Nothing to patch ;\

fi

unmosmlize:

@for FILE in ${FILES:%.sml=%} ;\

do \

if grep -q "[(][*][*][)]and type" $$FILE.sml ;\

then \

PATCHED=1 ;\

${ECHO} Unpatching $$FILE.sml ;\

sed "s/[(][*][*][)]and type/(**)where type/g" \

$$FILE.sml >$$FILE.unmosml ;\

mv -f $$FILE.unmosml $$FILE.sml ;\

fi ;\

done ;\

if [ ! $$PATCHED ] ;\

then \

${ECHO} Nothing to patch ;\

fi

.PHONY: with-poly with-poly+ clean-poly

with-poly: hamlet-poly${EXE}

ln -f hamlet-poly${EXE} hamlet${EXE}

with-poly+: with-poly

hamlet-poly${EXE}: main/wrap-poly.sml hamlet.sml ${FILES}

poly <main/wrap-poly.sml

polyc -o $@ hamlet.o -lpolymain -lpolyml -lstdc++

clean-poly:

rm -f hamlet-poly

rm -f hamlet.o

.PHONY: with-smlnj with-smlnj+ clean-smlnj

with-smlnj: hamlet-smlnj${BAT}

ln -f hamlet-smlnj${BAT} hamlet${BAT}

with-smlnj+: with-smlnj

hamlet-smlnj${BAT}: sh/hamlet-smlnj.sh${BAT} main/wrap-smlnj.sml ${FILES}

sml${BAT} <main/wrap-smlnj.sml && \

${ECHO} "# DO NOT EDIT!" >$@ && \

${ECHO} "# Generated from $< (${shell date})" >>$@ && \

cat $< >>$@

chmod +x $@

clean-smlnj:

rm -f hamlet-smlnj

rm -rf CM */CM

rm -rf .cm */.cm

.PHONY: with-smlsharp with-smlsharp+ clean-smlsharp

with-smlsharp: hamlet-smlsharp${EXE}

ln -f hamlet-smlsharp${EXE} hamlet${EXE}

with-smlsharp+: with-smlsharp

hamlet-smlsharp${EXE}: main/wrap-smlsharp.sml hamlet.sml ${FIXES_smlsharp:%=fix/%-smlsharp.sml} ${FILES}

smlsharp2exe.sh --xVMHeapSize=10240000 -I ${PWD} main/wrap-smlsharp.sml -o $@

fix/%-smlsharp.sml: fix/%.sml

${ECHO} "(* DO NOT EDIT! *)" >$@

${ECHO} "(* Generated from $< (${shell date}) *)" >>$@

cat $< >>$@

clean-smlsharp:

rm -f hamlet-smlsharp

rm -f *.sme

.PHONY: install

install:

mkdir -p ${INSTALLDIR}

mkdir -p ${INSTALLDIR}/basis

install -m 444 basis/*.sml ${INSTALLDIR}/basis

if ls hamlet-image.* ;\

then \

install -m 444 hamlet-image.* ${INSTALLDIR} ;\

fi

install -m 555 hamlet ${INSTALLDIR}/hamlet-succ

.PHONY: clean distclean

clean: clean-alice clean-mlkit clean-mlton clean-mosml clean-poly clean-smlnj clean-smlsharp

rm -f Makefile.depend */Makefile.depend

rm -f Makefile-*.depend

rm -f make.bat.*

for FILE in `ls fix/*-*.sml` ;\

do \

if [ -f `${ECHO} $$FILE | sed 's/-.*/.sml/'` ] ;\

then \

rm -f $${FILE} ;\

fi ;\

done

distclean: clean

rm -f hamlet hamlet-image.* hamlet.bat *.exe

rm -f hamlet.sml hamlet-monolith.sml

rm -f make.bat

make.bat: sh/make.bat.in make.bat.alice make.bat.mlkit make.bat.mlton make.bat.mosml make.bat.poly make.bat.smlnj

${ECHO} "rem DO NOT EDIT!" >$@

${ECHO} "rem Generated from $< (${shell date})" >>$@

cat $< >>$@

mv $@ [email protected]

${ECHO} ${FILES} \

| tr " " "\n" \

| sed "s/^/@set files=%files% /g" >[email protected]

sed '/^set files/r [email protected]' [email protected] >$@

mv $@ [email protected]

sed '/^:alice/r [email protected]' [email protected] >$@

mv $@ [email protected]

sed '/^:mlkit/r [email protected]' [email protected] >$@

mv $@ [email protected]

sed '/^:mlton/r [email protected]' [email protected] >$@

mv $@ [email protected]

sed '/^:mosml/r [email protected]' [email protected] >$@

mv $@ [email protected]

sed '/^:poly/r [email protected]' [email protected] >$@

mv $@ [email protected]

sed '/^:smlnj/r [email protected]' [email protected] >$@

rm $@.*

make.bat.%:

${ECHO} "@set fixfiles=" >$@

${ECHO} ${FIXES_$*:%=fix/%-$*.sml} \

| tr " " "\n" \

| sed "s/^/@set fixfiles=%fixfiles% /g" >>$@

${ECHO} "@set files=%fixfiles% %files%" >>$@

for FILE in ${FIXES_$*:%=fix/%.sml} ;\

do \

if [ -f $${FILE} ] ;\

then \

${ECHO} "copy $${FILE} $${FILE/.sml/-$*.sml}" >>$@ ;\

fi ;\

done

parse/Parser-sig.sml: parse/Parser.grm.sig

(cat $< ; ${ECHO} ';') \

| sed -e '/structure Tokens : Parser_TOKENS/{x; N; G;}' >$@

parse/Parser.sml: parse/Parser.grm.sml

(cat $< ; ${ECHO} ';') >$@

parse/Lexer.sml: parse/Lexer.lex.sml

(cat $< ; ${ECHO} ';') >$@.tmp

if [ "${SYSTEM}" == "mlton" ] ;\

then \

sed -e 's/val yygone0:int= ~1/val yygone0:int=1/g' $@.tmp >$@ ;\

rm $@.tmp ;\

else \

mv $@.tmp $@ ;\

fi

parse/Parser.grm.sig: parse/Parser.grm

ml-yacc${BAT} $<

parse/Parser.grm.sml: parse/Parser.grm

ml-yacc${BAT} $<

parse/Lexer.lex.sml: parse/Lexer.lex

ml-lex${BAT} $<

sed "s/Unsafe[.]//g" $@ >$@.tmp

mv -f $@.tmp $@