# Unix Makefile for mosml/examples/weak all: mosml hashcons.sml clean: rm -f *.ui rm -f *.uo rm -f Makefile.bak .sig.ui: $(MOSMLC) $< .sml.uo: $(MOSMLC) $< depend: rm -f Makefile.bak mv Makefile Makefile.bak $(MOSMLTOOLS)/cutdeps < Makefile.bak > Makefile $(MOSMLTOOLS)/mosmldep >> Makefile ### DO NOT DELETE THIS LINE
# Unix Makefile for mosml/examples/weak
all:
mosml hashcons.sml
clean:
rm -f *.ui
rm -f *.uo
rm -f Makefile.bak
.sig.ui:
$(MOSMLC) $<
.sml.uo:
$(MOSMLC) $<
depend:
rm -f Makefile.bak
mv Makefile Makefile.bak
$(MOSMLTOOLS)/cutdeps < Makefile.bak > Makefile
$(MOSMLTOOLS)/mosmldep >> Makefile
### DO NOT DELETE THIS LINE