33 lines · 559 B · Makefile
RawDownload
# 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: Parsercomb.uo 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 LINEParsercomb.uo: Parsercomb.ui