home *** CD-ROM | disk | FTP | other *** search

---

/ BURKS 2 / BURKS_AUG97.ISO / BURKS / LANGUAGE / ML / MOSMLMAN / img36.gif

< prev

next >

Graphics Interchange Format  |  1997-07-31  |  6KB  |  456x626  |  1-bit (2 colors)

Labels: black | darkness
OCR: # Unix Makefile stub for separate compilation with Moscow ML. MOSMLHOME=$ { HOME } /mosml MOSMLTOOLS=camlromm $ (MOSMLHOME ) /tools MOSMLC=mosmlc -c MOSMLL =mosmlc MOSMLLEX =mosmllex MOSMLY ACC= mosmly ac . SUFFIXES : . SUFFIXES : . sig .sml .ni .no all: Evaluate. no Expr.no Reduce.no claen: rm -f *. ni Im -f *. no rm -f Makafila. bak sig.ni: $ (MOSMLC) $< .Eml. no: $ (MOSMLC) $< depand : rm -f Makefile. bak my Makefile Makefile. bak $ (MOSMLTOOLS)/cutdeps < Makefile. bak > Makefile $ (MOSMLTOOLS)/mosmldep >> Makefile ### DO NOT DELETE THIS LINE Evaluate.vi: Expr.no Evaluate.no: Evaluate.vi Expr.no Reduce.ni Reduce.no: Reduce.vi Expr.no Reduce.vi: Expr.no

---