Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2005-05-22 | Remove USE_GNU_TOOLS and replace with the correct USE_TOOLS definitions: | jlam | 1 | -2/+2 |
2005-04-11 | Remove USE_BUILDLINK3 and NO_BUILDLINK; these are no longer used. | tv | 1 | -2/+1 |
2004-06-06 | Revert to smlnj-110.42, as 110.45 is troublesome. While doing so, keep it | snj | 1 | -3/+4 |
2004-04-09 | Update to smlnj-110.45. | snj | 1 | -3/+3 |
2004-01-24 | replace deprecated USE_GMAKE with USE_GNU_TOOLS+=make. | grant | 1 | -2/+2 |
2004-01-20 | Move WRKSRC definition away from the first paragraph in a Makefile. | agc | 1 | -2/+2 |
2003-07-01 | Make this work on powerpc. | jtb | 1 | -1/+2 |
2003-03-29 | Place WRKSRC where it belongs, to make pkglint happy; ok'ed by wiz. | jmmv | 1 | -2/+2 |
2003-03-21 | Update to 110.42, from Christopher Richards in connection with PR 18678. | wiz | 1 | -37/+28 |
2003-03-21 | Reimport sml-nj as smlnj, which is the name commonly used by the community. | wiz | 1 | -0/+109 |