summaryrefslogtreecommitdiff
path: root/lang/smlnj/Makefile
AgeCommit message (Expand)AuthorFilesLines
2005-05-22Remove USE_GNU_TOOLS and replace with the correct USE_TOOLS definitions:jlam1-2/+2
2005-04-11Remove USE_BUILDLINK3 and NO_BUILDLINK; these are no longer used.tv1-2/+1
2004-06-06Revert to smlnj-110.42, as 110.45 is troublesome. While doing so, keep itsnj1-3/+4
2004-04-09Update to smlnj-110.45.snj1-3/+3
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-07-01Make this work on powerpc.jtb1-1/+2
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.wiz1-37/+28
2003-03-21Reimport sml-nj as smlnj, which is the name commonly used by the community.wiz1-0/+109