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

I am looking for an LTO tape library. Do you have one to spare?
Port details
moscow_ml Lightweight implementation of Standard ML
2.01_7 lang on this many watch lists=6 search for ports that depend on this port
Restricted RESTRICTED: Restrictions on for-profit distribution
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 information on required and default dependencies. Optional dependencies are not covered.

Required To Build:
  1. lang/perl5.16
Required To Run:
  1. lang/perl5.16
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
===> The following configuration options are available for moscow_ml-2.01_7:
     DOCS=on: Build and/or install documentation
     EXAMPLES=on: Build and/or install examples
===> Use 'make config' to modify these settings

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

Number of commits found: 41

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
27 Oct 2014 15:23:31
Original commit files touched by this commit  2.01_7
Revision:371587
bapt search for other commits by this committer
Cleanup plist
29 Jul 2014 17:12:50
Original commit files touched by this commit  2.01_7
Revision:363362
adamw search for other commits by this committer
Rename all patches that contain '::' as a path separator, and use
'__' instead.
16 Jul 2014 02:29:34
Original commit files touched by this commit  2.01_7
Revision:362018
adamw search for other commits by this committer
Add DOCS option where PORTDOCS appears in plist.
23 Mar 2014 07:30:55
Original commit files touched by this commit  2.01_7
Revision:348840
marino search for other commits by this committer
lang/moscow_ml: Really add stage support this time

Only files installed in the post-install target were being placed in
stage directory.  All the files installed in the install target were
being put at ${PREFIX}, and this is most of them.  Strangely, portsmon
never complained about this.
05 Feb 2014 20:26:02
Original commit files touched by this commit  2.01_6
Revision:342841
johans search for other commits by this committer
- Enable stage support
- Strip installed libraries
20 Sep 2013 19:53:10
Original commit files touched by this commit  2.01_5
Revision:327741
bapt search for other commits by this committer
Add NO_STAGE all over the place in preparation for the staging support (cat:
lang)
11 Sep 2013 08:15:53
Original commit files touched by this commit  2.01_5
Revision:326954
az search for other commits by this committer
- convert to the new perl5 framework
- trim Makefile header

Approved by:	portmgr (bapt@, blanket)
27 Jul 2013 08:34:48
Original commit files touched by this commit  2.01_5
Revision:323775
danfe search for other commits by this committer
- Fix Makefile header, normalize COMMENT text
- Drop explicit shlib ABI versions from LIB_DEPENDS
- Do not redefine PKGMESSAGE, adding it to SUB_FILES does it automagically
- Do not terminate RESTRICTED message with a dot
- Add a comment about possible abuse of USE_PERL5
- Mute post-patch target to match default ports' behavior closely
- Do not abuse ALL_TARGET to pass variables to downstream make(1), use
  MAKE_ARGS properly instead (merge together with MAKE_ENV)
- Fix inner makefiles and configure script to make port jobs (-jX) safe
- Pad the output of PKGMESSAGE to be consistent with the package

Reported by:	pointyhat-west
30 Mar 2013 10:11:19
Original commit files touched by this commit  2.01_5
Revision:315604
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
Revision:314442
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: 41

Login
User Login
Create account

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

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

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
jenkinsOct 31
jenkins-ltsOct 31
twikiOct 31
libsshOct 29
libpurpleOct 24
pidginOct 24
phpmyadminOct 22
asterisk11Oct 21
libxml2Oct 18
drupal7Oct 16
firefox*Oct 16
firefox-esr*Oct 16
libxul*Oct 16
linux-firefox*Oct 16
linux-seamonkey*Oct 16

7 vulnerabilities affecting 10 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 24275
Broken 98
Deprecated 42
Ignore 356
Forbidden 2
Restricted 206
No CDROM 93
Vulnerable 18
Expired 0
Set to expire 38
Interactive 0
new 24 hours 5
new 48 hours5
new 7 days14
new fortnight36
new month136

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD
Valid HTML, CSS, and RSS.
Copyright © 2000-2014 Dan Langille. All rights reserved.