[MLton] Updated http://mlton.org/RunningOnFreeBSD with a gotcha

Jesper Louis Andersen jesper.louis.andersen at gmail.com
Wed Apr 4 15:20:41 PDT 2007


Dear MLton developers:

I found a gotcha on FreeBSD. By default on FreeBSD versions 5.x, 6.x
and 7.xa single
process can never have more than 512M of memory unless you tune kernel
parameters.
I've documented it on the page http://mlton.org/RunningOnFreeBSD.

Usually such kernel tuning are only needed for system administration of
bigger
RDBMS systems, Web caches and daemons like these, but MLton is the exception
since it usually uses a lot more than that.

My compiles went from heavy swapping and 35 minutes for a complete bootstrap
to
about 8-10 minutes for a complete bootstrap with almost no swapping at all!

While here, I propose the change of the FreeBSD default install prefix to
/usr/local

diff --git a/Makefile b/Makefile
index f2f6042..7839816 100644
--- a/Makefile
+++ b/Makefile
@@ -366,6 +366,9 @@ endif
 ifeq ($(TARGET_OS), darwin)
 PREFIX := /usr/local
 endif
+ifeq ($(TARGET_OS), freebsd)
+PREFIX := /usr/local
+endif
 ifeq ($(TARGET_OS), mingw)
 PREFIX := /mingw
 endif
diff --git a/basis-library/primitive/basis-ffi.smlb/basis-library/primitive/basis-
ffi.sml

in order to make it more on par with FreeBSDs hier(7) man-page.

J.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mlton.org/pipermail/mlton/attachments/20070405/0577a606/attachment.html


More information about the MLton mailing list