freebsd-ports/lang/mlton/pkg-descr

This is a port of MLton, the whole-program optimizing Standard ML
Compiler.  MLton runs on a variety of platforms, generates excellent
code, has a fast C FFI, profiling, and many useful libraries,
including an interface to the GNU multiprecision library.  For more
information, go to the MLton home page.

WWW: http://mlton.org/
RESURRECT PORT: lang/mlton Although Stephen Weeks was the original maintainer of this port and still should be (unless he'd prefer not to be, in which case I volunteer), I made the first push to get this port included and will commit to resolving any problems that crop up from here on out. I think it's important to have MLton in the ports tree as it is a great ML compiler. The new lang/twelf port would also benefit, as it is a good bit faster when compiled with MLton :) PR: ports/89684 Submitted by: Geoffrey Mainland <mainland@apeiron.net> 2005-12-01 02:56:43 +01:00			`This is a port of MLton, the whole-program optimizing Standard ML`
			`Compiler. MLton runs on a variety of platforms, generates excellent`
			`code, has a fast C FFI, profiling, and many useful libraries,`
			`including an interface to the GNU multiprecision library. For more`
			`information, go to the MLton home page.`

- fix build with newer math/gmp in ports tree. Newer versions of gmp do not define __gmp_const. This patch addresses the compile time errors with an ifndef. while here: - trim Makefile header - remove indefinite article from COMMENT - remove deprecated attribution from pkg-descr and make tab -> space change in WWW field PR: 176229 Submitted by: Timothy Beyer <beyert@cs.ucr.edu> Approved by: maintainer (implicit, because the port was broken) 2013-02-18 19:22:10 +01:00			`WWW: http://mlton.org/`