aboutsummaryrefslogtreecommitdiffstats
path: root/lang/sml-nj
Commit message (Expand)AuthorAgeFilesLines
* Add SIZE information.jkoshy2004-03-221-0/+11
* Bump PORTREVISION on all ports that depend on gettext to aid with upgrading.marcus2004-02-041-0/+1
* Add MASTER_SITES, update WWW.jkoshy2003-12-062-3/+5
* Use the FIND and XARGS macros introduced in bsd.port.mk 1.391.trevor2003-11-131-1/+1
* Fix build breakage with the GCC 3.3.1.jkoshy2003-08-152-1/+16
* Make this port build on 5-CURRENT.jkoshy2003-03-302-3/+40
* Clear moonlight beckons.ade2003-03-072-1/+1
* Mark this port as only for the i386 architecture.jkoshy2002-07-011-0/+2
* Install with the correct user:group.jkoshy2001-12-241-0/+2
* Update to v110.0.7.jkoshy2000-10-273-22/+28
* Fix a patch failure that affects non-ELF systems, for v110.0.6.jkoshy2000-10-111-4/+4
* Rename ${FILISDER}/patch-* to ${FILESDIRA}/extra-patch-*. (These patchesasami2000-10-081-2/+2
* Downgrade the sml-nj port to the current `release' version v110.0.6. Thejkoshy2000-06-143-87/+548
* Convert to the PORTNAME - PORTVERSION syntax.obrien2000-04-121-23/+22
* Fix building of SML/NJ under 4-CURRENT after 1999/7/25.jkoshy2000-01-282-3/+30
* Change Id->FreeBSD.obrien1999-08-251-1/+1
* awk -> ${AWK}mharo1999-08-231-2/+2
* chmod -> ${CHMOD}mharo1999-08-231-2/+2
* Commit #3/4 to enforce caps, no period.hoek1999-06-271-1/+1
* Yet more WWW: additionsmharo1999-05-031-1/+1
* Correct stale patch.jkoshy1999-02-021-8/+8
* Forced commit to record unbreaking for ELF.jkoshy1999-02-021-1/+1
* Add patch for ELF support.jkoshy1999-02-021-0/+15
* Unbreak for ELF.jkoshy1999-02-022-3/+15
* Clean up MASTER_SITES. Remove unneeded patch.jkoshy1998-11-221-5/+9
* Upgrade to v110.9.1. Unbreak.jkoshy1998-11-206-47/+281
* Refer people needed a lighter weight implementation of ML to Chuck Robey'sjkoshy1998-08-031-0/+4
* Mark port as BROKEN till issues on library source paths, usage of thejkoshy1998-07-201-1/+3
* A Standard ML implementation from Bell Labs.jkoshy1998-07-155-0/+98
generated by cgit (git 2.34.1) at 2024-11-29 13:02:01 +0800