mirror of
https://git.FreeBSD.org/ports.git
synced 2024-11-15 23:50:44 +00:00
555f6b44ac
you are limited in space. If you have no space limitations, I'd really recommend the new smlnj port instead.
21 lines
481 B
Plaintext
21 lines
481 B
Plaintext
--- Makefile.inc.orig Tue Jul 28 21:49:22 1998
|
|
+++ Makefile.inc Tue Jul 28 21:51:36 1998
|
|
@@ -2,7 +2,7 @@
|
|
|
|
# Where to install stuff
|
|
|
|
-MOSMLHOME=${HOME}/mosml
|
|
+#MOSMLHOME=${HOME}/mosml
|
|
|
|
# To compile the runtime system camlrunm with support for
|
|
# dynamically loadable libraries (DDLs), uncomment these:
|
|
@@ -13,7 +13,7 @@
|
|
# ADDCFLAGS=-rdynamic
|
|
|
|
# For Linux, use:
|
|
-CPP=/lib/cpp -P -traditional -Dunix -Umsdos
|
|
+CPP=/usr/bin/cpp -P -traditional
|
|
STRIP=strip
|
|
DYNLD=ld -shared
|
|
|