1
0
mirror of https://git.FreeBSD.org/ports.git synced 2025-01-15 07:56:36 +00:00
Commit Graph

6 Commits

Author SHA1 Message Date
Tilman Keskinoz
55a1165962 Unbreak on 5.x.
Set CFLAGS and LDFLAGS to use libgmp from LOCALBASE.

PR:		48678
Reported by:	Matthias Buelow <mkb@informatik.uni-wuerzburg.de>
2003-06-15 13:33:28 +00:00
Joseph Koshy
dd662d43e8 Make dynlibs/msocket/libmsocket.so work. Bump PORTREVISION. 2002-06-09 06:52:52 +00:00
Joseph Koshy
dcd902f846 Upgrade to v2.0.
Submitted by:	Johannes 5 Joemann <joemann@beefree.free.de>
2002-05-30 10:47:57 +00:00
Chuck Robey
8be69f435d Unbreak moscow_ml.
Obtained from:	partially, from Jens Gerlach Christensen (vepjan@image.dk)
2000-01-21 22:32:29 +00:00
Chuck Robey
555f6b44ac Update moscow_ml to version 1.43. This is a good version of ml if
you are limited in space.  If you have no space limitations, I'd really
recommend the new smlnj port instead.
1998-08-02 17:38:24 +00:00
Chuck Robey
5b2f4c2d0e Submitted by: chuckr
New version of the sml programming language, based upon caml.
1996-07-28 02:44:11 +00:00