abc8 FreshPorts -- lang/moscow_ml
FreshPorts -- The Place For Ports If you buy from Amazon USA, please support us by using this link.
Follow us
Blog
Twitter

Port details
moscow_ml 2.01_5 lang on this many watch lists=6 search for ports that depend on this port
Restricted RESTRICTED: Restrictions on for-profit distribution.
Moscow ML, a lightweight implementation of Standard ML
Maintained by: johans@FreeBSD.org search for ports maintained by this maintainer
Port Added: unknown
License: not specified in port


This is Moscow ML, a lightweight implementation of Standard ML:

The current version (v2.01) of Moscow ML
    * implements Standard ML, as revised 1997 (value polymorphism, 
      default overloading resolution, new types)
    * implements most of the new Standard ML Basis Library, including
      the most common input/output facilities in TextIO and BinIO.
    * implements separate compilation
    * can produce compact stand-alone executables (a la Caml Light)
    * supports quotations and antiquotations, useful for metaprogramming
    * includes several new libraries
    * includes several new libraries (sockets, regex, unix)
    * offers an easy-to-use foreign-function interface

WWW: http://www.itu.dk/~sestoft/mosml.html
SVNWeb : Main Web Site : Distfiles Availability : PortsMon

NOTE: FreshPorts displays only required dependencies information. Optional dependencies are not covered.

Required To Build:
  1. lang/perl5.14
Required To Run:
  1. lang/perl5.14
Required Libraries:
  1. math/gmp
  2. databases/gdbm
There are no ports dependent upon this port

To install the port: cd /usr/ports/lang/moscow_ml/ && make install clean

A package is not available for ports marked as: Forbidden / Broken / Ignore / Restricted


Configuration Options
     No options to configure

Master Sites:
  1. ftp://ftp.FreeBSD.org/pub/FreeBSD/ports/distfiles/
  2. http://www.itu.dk/~sestoft/mosml/

Number of commits found: 33

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
30 Mar 2013 10:11:19
Original commit files touched by this commit  2.01_5
johans search for other commits by this committer
Old master site disappeared, set new location

Approved by:	portmgr (miwi)
17 Mar 2013 14:13:50
Original commit files touched by this commit  2.01_5
danfe search for other commits by this committer
In categories starting with [h-m], remove empty lines from pkg-plist (and
purge one empty file).
23 Sep 2011 22:26:39
Original commit files touched by this commit  2.01_5
amdmi3 search for other commits by this committer
- Add LDFLAGS to CONFIGURE_ENV and MAKE_ENV (as it was done with LDFLAGS)
- Fix all ports that add {CPP,LD}FLAGS to *_ENV to modify flags instead

PR:             157936
Submitted by:   myself
Exp-runs by:    pav
Approved by:    pav
12 Sep 2011 23:17:33
Original commit files touched by this commit  2.01_5
gabor search for other commits by this committer
- Track dependencies after databases/gdbm update
25 Jul 2011 19:40:47
Original commit files touched by this commit  2.01_4
johans search for other commits by this committer
- Respect $CC
- Fix build with clang
03 Jul 2011 13:45:36
Original commit files touched by this commit  2.01_4
ohauer search for other commits by this committer
- remove MD5
19 Apr 2010 10:43:43
Original commit files touched by this commit  2.01_4
ale search for other commits by this committer
Switch to use newer GMP version.

PR:             ports/144487
Submitted by:   ale
Approved by:    portmgr (-exp run by erwin)
23 Feb 2010 18:06:02
Original commit files touched by this commit  2.01_3
johans search for other commits by this committer
Update my mail address to @FreeBSD.org

Feature safe:   yes
13 May 2009 09:46:02
Original commit files touched by this commit  2.01_3
ale search for other commits by this committer
Chase libgmp and bump PORTREVISION.
11 Oct 2007 13:46:13
Original commit files touched by this commit  2.01_2
johans search for other commits by this committer
- Fix compilation with gcc 4.2
- Grab maintainership
27 May 2007 02:59:14
Original commit files touched by this commit  2.01_2
kris search for other commits by this committer
BROKEN with gcc 4.2
30 Jul 2006 20:51:59
Original commit files touched by this commit  2.01_2
miwi search for other commits by this committer
- Fix file permissions
- Makefile cleanup

PR:             ports/100968
Submitted by:   Stanislav Sedov <ssedon(at)mbsd.msk.ru>
Approved by:    krion (mentor)
10 May 2006 14:46:48
Original commit files touched by this commit  2.01_2
ale search for other commits by this committer
Chase gmp library and bump PORTREVISION.
09 May 2006 20:52:24
Original commit files touched by this commit  2.01_1
edwin search for other commits by this committer
Remove USE_REINPLACE from the categories starting with L
25 Nov 2005 00:33:45
Original commit files touched by this commit  2.01_1
pav search for other commits by this committer
- Add SHA256
03 Nov 2005 13:12:44
Original commit files touched by this commit  2.01_1
vs search for other commits by this committer
Support gdbm (bump PORTREVISION)
03 Nov 2005 12:37:26
Original commit files touched by this commit  2.01
vs search for other commits by this committer
- Drop ineffective INSTALLS_SHLIB, set LD_RUN_PATH during compilation
  instead.
- Use pkg-message.in
01 Mar 2005 02:24:28
Original commit files touched by this commit  2.01
jkoshy search for other commits by this committer
Missed a directory in the pkg plist.

Found by:       kris
28 Feb 2005 06:28:48
Original commit files touched by this commit  2.01
kris search for other commits by this committer
Reset maintainer per his request.
26 Feb 2005 06:41:44
Original commit files touched by this commit  2.01
jkoshy search for other commits by this committer
Update to v201:
  - Add RESTRICTED (licensing issues).
  - Install stuff in standard places.
  - Install examples.
  - Install readmes/licenses.
  - Respect NOPORTDOCS.
  - New MAINTAINER.

PR:             ports/62704
Submitted by:   debios@diku.dk
30 Jan 2005 13:30:53
Original commit files touched by this commit  2.00_1
pav search for other commits by this committer
- Fix build on sparc64: rework endianness autodetection

PR:             ports/76828
Submitted by:   Johan van Selst <johans@stack.nl>
06 Mar 2004 23:32:13
Original commit files touched by this commit  2.00_1
kris search for other commits by this committer
BROKEN on sparc64: Configure fails
29 Jan 2004 07:24:56
Original commit files touched by this commit  2.00_1
trevor search for other commits by this committer
SIZEify.
15 Jun 2003 13:33:28
Original commit files touched by this commit  2.00_1
arved search for other commits by this committer
Unbreak on 5.x.
Set CFLAGS and LDFLAGS to use libgmp from LOCALBASE.

PR:             48678
Reported by:    Matthias Buelow <mkb@informatik.uni-wuerzburg.de>
08 Jun 2003 00:30:49
Original commit files touched by this commit  2.00_1
kris search for other commits by this committer
Remove chuckr as maintainer of his ports.  He has not committed since
09/2000 and has been unresponsive to mail about his ports for at least
2 years.

Approved by:    portmgr
04 Jun 2003 22:43:38
Original commit files touched by this commit  2.00_1
kris search for other commits by this committer
Move inclusion of bsd.port.pre.mk later in the file for conditional BROKEN
tag.  Early inclusion caused problems for some ports, so to be safe I'm
updating all of them.

Pointy hat to:  kris
18 May 2003 11:40:58
Original commit files touched by this commit  2.00_1
kris search for other commits by this committer
BROKEN on 5.1: does not compile
07 Mar 2003 06:05:38
Original commit files touched by this commit  2.00_1
ade search for other commits by this committer
Clear moonlight beckons.
Requiem mors pacem pkg-comment,
And be calm ports tree.

E Nomini Patri, E Fili, E Spiritu Sancti.
19 Dec 2002 07:15:35
Original commit files touched by this commit  2.00_1
edwin search for other commits by this committer
Ports needs gmp.h, port gets gmp.h
Noticed on: bento
04 Nov 2002 01:48:34
Original commit files touched by this commit  2.00_1
edwin search for other commits by this committer
Port needs Perl
Noticed on: bento
09 Jun 2002 06:52:52
Original commit files touched by this commit  2.00_1
jkoshy search for other commits by this committer
Make dynlibs/msocket/libmsocket.so work.  Bump PORTREVISION.
30 May 2002 10:47:57
Original commit files touched by this commit  2.00
jkoshy search for other commits by this committer
Upgrade to v2.0.

Submitted by:   Johannes 5 Joemann <joemann@beefree.free.de>
08 Oct 2000 04:17:26
files touched by this commit
asami search for other commits by this committer
Convert category lang to new layout.  

Number of commits found: 33

2832
Login
User Login
Create account

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
plibMay 19
plibMay 19
linux-f10-flashplugin10May 16
linux-f10-flashplugin11May 16
nginx*May 16
nginx-devel*May 16
firefoxMay 15
firefox-develMay 15
firefox-esrMay 15
firefox10May 15
firefox15May 15
firefox3May 15
firefox3-develMay 15
firefox35May 15
firefox36May 15

5 vulnerabilities affecting 20 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds


Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 24526
Broken 217
Deprecated 473
Ignore 636
Forbidden 3
Restricted 292
No CDROM 109
Vulnerable 27
Expired 132
Set to expire 511
Interactive 33
new 24 hours 4
new 48 hours11
new 7 days27
new fortnight58
new month212

This site
What is FreshPorts?
About the Authors
FAQ
How big is it?
The latest upgrade!
Privacy
Forums
Blog
Contact
8e7

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD
Valid HTML, CSS, and RSS.
Copyright © 2000-2013 DVL Software Limited. All rights reserved.
0