# Unix Makefile stub for separate compilation with Moscow ML.   MOSMLHOME=${HOME}/mosmlMOSMLTOOLS=camlrunm $(MOSMLHOME)/toolsMOSMLC=mosmlc -cMOSMLL=mosmlcMOSMLLEX=mosmllexMOSMLYACC=mosmlyac .SUFFIXES :.SUFFIXES : .sig .sml .ui .uo all: echoserver minimalserver mosmlserver echoserver: echoserver.uo 	mosmlc -o echoserver echoserver.uo  minimalserver: minimalserver.uo 	mosmlc -o minimalserver minimalserver.uo  mosmlserver: mosmlserver.uo 	mosmlc -o mosmlserver mosmlserver.uo  clean:	rm -f *.ui	rm -f *.uo	rm -f echoserver minimalserver mosmlserver	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