freebsd-ports/lang/moscow_ml/files/patch-Makefile
Joseph Koshy 3fc071f075 Update to v201:
- Add RESTRICTED (licensing issues).
  - Install stuff in standard places.
  - Install examples.
  - Install readmes/licenses.
  - Respect NOPORTDOCS.
  - New MAINTAINER.

PR:		ports/62704
Submitted by:	debios@diku.dk
2005-02-26 06:41:44 +00:00

36 lines
821 B
Text

--- Makefile.orig Tue Jul 18 16:16:44 2000
+++ Makefile Fri Feb 6 14:41:12 2004
@@ -17,6 +17,8 @@
world:
cd config; sh autoconf $(CC)
+ ln -fs ../config/m.h runtime/m.h
+ ln -fs ../config/s.h runtime/s.h
cd runtime; make all
cp runtime/camlrunm$(EXE) .
cd mosmlyac; make all
@@ -25,6 +27,7 @@
cd toolssrc; make all
cd lex; make all
cd launch; make all
+ cd dynlibs; make all
uptodate:
cd runtime; make all
@@ -35,6 +38,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,7 +62,7 @@
cd compiler; make install
cd toolssrc; make install
cd lex; make install
- (cd $(INCDIR)/..; rm -f config; ln -s include config)
+ cd dynlibs; make install
cd doc; make install
# Remove all generated files