summaryrefslogtreecommitdiff
path: root/lang/sml-nj-devel (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Unbreak build with GCC 3.3.1.Joseph Koshy2003-08-152-6/+4
| | | | | | | Submitted by: Johannes 5 Joemann <joemann@beefree.free.de> [MAINTAINER] Notes: svn path=/head/; revision=86977
* Update for compatibility with new bsd.port.mk patches.Joe Marcus Clarke2003-07-092-10/+34
| | | | | | | Submitted by: maintainer Notes: svn path=/head/; revision=84542
* - Unbreak for 5-CURRENTJoseph Koshy2003-03-305-12/+69
| | | | | | | | | | | - calm processor warnings for assembler code on 5-CURRENT - mark the Alpha as currently unsupported - update WWW: link. Submitted by: Johannes 5 Joemann <joemann@beefree.free.de> [MAINTAINER] Notes: svn path=/head/; revision=77709
* De-pkg-comment.Akinori MUSHA2003-02-212-1/+1
| | | | Notes: svn path=/head/; revision=76037
* Update to v110.42.Joseph Koshy2002-11-226-39/+39
| | | | | | | Submitted by: Johannes 5 Joemann <joemann@beefree.free.de> [MAINTAINER] Notes: svn path=/head/; revision=70740
* Update to v110.41.Joseph Koshy2002-07-192-18/+18
| | | | | | | Submitted by: Johannes 5 Joemann <joemann@beefree.free.de> [MAINTAINER] Notes: svn path=/head/; revision=63236
* Upgrade to v110.40.Joseph Koshy2002-06-098-137/+48
| | | | | | | Submitted by: Johannes 5 Joemann <joemann@beefree.free.de> [MAINTAINER] Notes: svn path=/head/; revision=60950
* Upgrade to v110.39. Compilation of this port is now controlled by threeJoseph Koshy2002-03-269-151/+285
| | | | | | | | | | | | | | | | knobs: - the default compiles the basic runtime, heap, libs, ml-yacc, ml-lex and smlnj-lib - WITH_EVERYTHING installs everything in the distribution, including sources - WITH_RECOMPILE recompiles the compiler, implies WITH_EVERYTHING - WITH_FLINT applies the patch to access FLINT, implies WITH_RECOMPILE Submitted by: Johannes 5 Joemann <joemann@beefree.free.de> (MAINTAINER) Notes: svn path=/head/; revision=56690
* Use ${ECHO_CMD} instead of ${ECHO} where you mean the echo command;Akinori MUSHA2002-01-291-4/+4
| | | | | | | | | | | the ECHO macro is set to "echo" by default, but it is set to "true" if make(1) is invoked with the -s option while ECHO_CMD is always set to the echo command. Use command macros where appropriate. Notes: svn path=/head/; revision=53957
* Change MAINTAINER to the capable hands of Johannes 5 JoemannJoseph Koshy2002-01-141-1/+1
| | | | | | | <joemann@beefree.free.de>. Notes: svn path=/head/; revision=53034
* Update to v110.37.Joseph Koshy2001-12-207-158/+187
| | | | | | | Submitted by: Johannes 5 Joemann <joemann@beefree.free.de> Notes: svn path=/head/; revision=51879
* Upgrade to SML/NJ v110.34. Add a number of nifty configurability options.Joseph Koshy2001-08-2411-186/+352
| | | | | | | | PR: ports/29656 Submitted by: Johannes 5 Joemann <joemann@beefree.free.de> Notes: svn path=/head/; revision=46771
* Upgrade to development version 110.33.Joseph Koshy2001-06-188-341/+379
| | | | Notes: svn path=/head/; revision=44162
* Rename ${FILISDER}/patch-* to ${FILESDIRA}/extra-patch-*. (These patchesSatoshi Asami2000-10-071-2/+2
| | | | | | | are applied from within the configure script, patched by patch-ab.) Notes: svn path=/head/; revision=33486
* `sml-nj-devel' will be tracking SML/NJ working snapshots. Set NO_LATEST_LINKJoseph Koshy2000-05-291-0/+2
| | | | | | | to prevent packaging. Notes: svn path=/head/; revision=28914
* Convert to the PORTNAME - PORTVERSION syntax.David E. O'Brien2000-04-121-23/+22
| | | | Notes: svn path=/head/; revision=27458
* Fix building of SML/NJ under 4-CURRENT after 1999/7/25.Joseph Koshy2000-01-282-3/+30
| | | | | | | | | | | | | The trap handler returns different information after this date for numeric error conditions. Since kern.osreldate is not a reliable indicator of when this change occurred, we revert to checking for the presence of a particular #define in <machine/trap.h> to decide if the SML/NJ runtime sources need to use the newer interface. Submitted by: Tom <tcrimi@andrew.cmu.edu> (in part) Notes: svn path=/head/; revision=25153
* Change Id->FreeBSD.David E. O'Brien1999-08-251-1/+1
| | | | Notes: svn path=/head/; revision=20952
* awk -> ${AWK}Michael Haro1999-08-221-2/+2
| | | | | | | | | | | basename -> ${BASENAME} cat -> ${CAT} cp -> ${CP} ldconfig -> ${LDCONFIG} mkdir -> ${MKDIR} Notes: svn path=/head/; revision=20898
* chmod -> ${CHMOD}Michael Haro1999-08-221-2/+2
| | | | | | | chown -> ${CHOWN} Notes: svn path=/head/; revision=20885
* Commit #3/4 to enforce caps, no period.Tim Vanderhoek1999-06-261-1/+1
| | | | | | | | | | | | | | | FWIW, checkout of these things took 5+hrs, staying on the local .freebsd.org net w/o hitting the 'net at all. As promised, $ time cvs ci real 67m51.701s user 0m1.250s sys 0m5.345s Notes: svn path=/head/; revision=19803
* Yet more WWW: additionsMichael Haro1999-05-031-1/+1
| | | | Notes: svn path=/head/; revision=18435
* Correct stale patch.Joseph Koshy1999-02-021-8/+8
| | | | | | | Found by: asami@freebsd.org Notes: svn path=/head/; revision=16484
* Forced commit to record unbreaking for ELF.Joseph Koshy1999-02-021-1/+1
| | | | Notes: svn path=/head/; revision=16481
* Add patch for ELF support.Joseph Koshy1999-02-021-0/+15
| | | | Notes: svn path=/head/; revision=16480
* Unbreak for ELF.Joseph Koshy1999-02-022-3/+15
| | | | Notes: svn path=/head/; revision=16479
* Clean up MASTER_SITES. Remove unneeded patch.Joseph Koshy1998-11-221-5/+9
| | | | Notes: svn path=/head/; revision=14753
* Upgrade to v110.9.1. Unbreak.Joseph Koshy1998-11-206-47/+281
| | | | Notes: svn path=/head/; revision=14713
* Refer people needed a lighter weight implementation of ML to Chuck Robey'sJoseph Koshy1998-08-031-0/+4
| | | | | | | Moscow ML port. Notes: svn path=/head/; revision=12259
* Mark port as BROKEN till issues on library source paths, usage of theJoseph Koshy1998-07-201-1/+3
| | | | | | | built in CM (Compilation Manager) etc. are understood and resolved. Notes: svn path=/head/; revision=12005
* A Standard ML implementation from Bell Labs.Joseph Koshy1998-07-155-0/+98
Notes: svn path=/head/; revision=11924
generated by cgit v1.2.3 (git 2.25.1) at 2024-10-28 17:09:33 +0000