Commit graph

10 commits

Author SHA1 Message Date
Joseph Koshy
6007d881a6 Upgrade to v110.40.
Submitted by: 	Johannes 5 Joemann <joemann@beefree.free.de> [MAINTAINER]
2002-06-09 07:00:08 +00:00
Joseph Koshy
58a69e664e Upgrade to v110.39. Compilation of this port is now controlled by three
knobs:
	- the default compiles the basic runtime, heap, libs, ml-yacc,
	  ml-lex and smlnj-lib
	- WITH_EVERYTHING installs everything in the distribution,
	  including sources
	- WITH_RECOMPILE recompiles the compiler, implies WITH_EVERYTHING
	- WITH_FLINT applies the patch to access FLINT, implies
	  WITH_RECOMPILE

Submitted by:	Johannes 5 Joemann <joemann@beefree.free.de> (MAINTAINER)
2002-03-26 08:58:34 +00:00
Joseph Koshy
660116cd7a Update to v110.37.
Submitted by:	Johannes 5 Joemann <joemann@beefree.free.de>
2001-12-20 08:56:38 +00:00
Joseph Koshy
924e43a646 Upgrade to SML/NJ v110.34. Add a number of nifty configurability options.
PR:		ports/29656
Submitted by:	Johannes 5 Joemann <joemann@beefree.free.de>
2001-08-24 09:12:43 +00:00
Joseph Koshy
7bd4daf996 Upgrade to development version 110.33. 2001-06-18 10:34:13 +00:00
Satoshi Asami
45088c8848 Rename ${FILISDER}/patch-* to ${FILESDIRA}/extra-patch-*. (These patches
are applied from within the configure script, patched by patch-ab.)
2000-10-07 22:28:28 +00:00
Joseph Koshy
1353f66bf5 Fix building of SML/NJ under 4-CURRENT after 1999/7/25.
The trap handler returns different information after this date for
numeric error conditions.  Since kern.osreldate is not a reliable
indicator of when this change occurred, we revert to checking for
the presence of a particular #define in <machine/trap.h> to decide
if the SML/NJ runtime sources need to use the newer interface.

Submitted by:	 Tom <tcrimi@andrew.cmu.edu> (in part)
2000-01-28 06:36:13 +00:00
Joseph Koshy
d461f3d40c Correct stale patch.
Found by:	asami@freebsd.org
1999-02-02 07:29:00 +00:00
Joseph Koshy
f5b19c099d Add patch for ELF support. 1999-02-02 04:00:12 +00:00
Joseph Koshy
7fbdc4d299 Unbreak for ELF. 1999-02-02 03:52:32 +00:00