freebsd-ports/lang/moscow_ml/files/patch-Makefile
Joseph Koshy dcd902f846 Upgrade to v2.0.
Submitted by:	Johannes 5 Joemann <joemann@beefree.free.de>
2002-05-30 10:47:57 +00:00

27 lines
585 B
Plaintext

--- Makefile.orig Tue Jul 18 16:16:44 2000
+++ Makefile Fri Apr 12 00:37:51 2002
@@ -25,6 +25,7 @@
cd toolssrc; make all
cd lex; make all
cd launch; make all
+ cd dynlibs; make all
uptodate:
cd runtime; make all
@@ -35,6 +36,7 @@
cd toolssrc; make all
cd lex; make all
cd launch; make all
+ cd dynlibs; make all
# Recompile all Mosml code from scratch
again:
@@ -58,6 +60,7 @@
cd compiler; make install
cd toolssrc; make install
cd lex; make install
+ cd dynlibs; make install
(cd $(INCDIR)/..; rm -f config; ln -s include config)
cd doc; make install