summaryrefslogtreecommitdiff
path: root/lang/smlnj
AgeCommit message (Expand)AuthorFilesLines
2006-10-19Give BOX a default value, so that "make fetch" at least works partiallywiz1-1/+5
2006-05-18Remove BROKEN_IN, builds in current 3.0 bulk builds.wiz1-3/+1
2006-03-28Apply patch from PR pkg/32722. Fixes building on i386.gavan3-6/+71
2006-02-05Recursive revision bump / recommended bump for gettext ABI change.joerg1-2/+2
2006-01-04Express these packages' brokenness with BROKEN_IN=pkgsrc-2005Q4schmonz1-3/+2
2005-12-26Mark packages for pkgsrc-2005Q4 that don't build on NetBSD/i386schmonz1-1/+4
2005-12-08Bumped the PKGREVISION of the packages that have been broken by the recentrillig1-1/+2
2005-12-08Fixed PLIST quoting issue introduced by the recent "pkglint --autofix"rillig1-2/+2
2005-12-05Fixed pkglint warnings. The warnings are mostly quoting issues, forrillig1-2/+2
2005-06-16Create directories before installing files into them.jlam1-1/+3
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
2005-02-24Add RMD160 digestsagc1-1/+17
2004-06-2280 chars per line.xtraeme1-2/+3
2004-06-06Revert to smlnj-110.42, as 110.45 is troublesome. While doing so, keep itsnj5-245/+248
2004-04-09Update to smlnj-110.45.snj5-243/+243
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
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
2003-03-21Reimport sml-nj as smlnj, which is the name commonly used by the community.wiz10-0/+764
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-02 07:02:17 +0000