polyml
Dave Matthews's polyml
is my implementation of choice for Standard ML (my language of choice).
The latest release (version 5.1) compiles on Leopard. The download should be unpacked automatically by Stuffit Expander—otherwise use gtar xvzf polyml.5.1.tar.gz
.
cd polyml.5.1 ./configure make sudo make install
You should get the message:
Libraries have been installed in: /usr/local/lib If you ever happen to want to link against installed libraries in a given directory, LIBDIR, you must either use libtool, and specify the full pathname of the library, or use the `-LLIBDIR' flag during linking and do at least one of the following: - add LIBDIR to the `DYLD_LIBRARY_PATH' environment variable during execution See any operating system documentation about shared libraries for more information, such as the ld(1) and ld.so(8) manual pages.
You can also download later development versions of the source from the cvs repository on sourceforge:
cvs -d:pserver:anonymous@polyml.cvs.sourceforge.net:/cvsroot/polyml co polyml cd polyml cvs update -Pd chmod +x install-sh ./configure make sudo make install