summaryrefslogtreecommitdiff
path: root/lang/smlnj
AgeCommit message (Collapse)AuthorFilesLines
2004-01-24replace deprecated USE_GMAKE with USE_GNU_TOOLS+=make.grant1-2/+2
2004-01-20Move WRKSRC definition away from the first paragraph in a Makefile.agc1-2/+2
2003-08-01This works on Linux, too. At least under i386.jschauma1-3/+3
2003-07-02Add checksum and size info for boot.sparc-unix.tgz distfile.jtb1-1/+3
2003-07-02Come back boot.x86-unix.tgz in distinfo.taca1-1/+3
P.S. Should "make mdi" fetch and process all ARCH (or MACHINE_ARCH)'s distfiles?
2003-07-01Wrong version of patch-af.jtb8-14/+10
2003-07-01Make this work on powerpc.jtb12-36/+168
2003-03-29Place WRKSRC where it belongs, to make pkglint happy; ok'ed by wiz.jmmv1-2/+2
2003-03-21Update to 110.42, from Christopher Richards in connection with PR 18678.wiz12-97/+191
Changes: A number of small, but important bug fixes.
2003-03-21Reimport sml-nj as smlnj, which is the name commonly used by the community.wiz10-0/+764
Suggested by Christopher Richards in connection with PR 18678.