notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
Want a good monitor light? See my photosAll times are UTC
Ukraine
Port details
moscow_ml Lightweight implementation of Standard ML
2.01_7 lang Deleted on this many watch lists=6 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 2.01_7Version of this port present on the latest quarterly branch.
Restricted RESTRICTED: Restrictions on for-profit distribution
Maintainer: johans@FreeBSD.org search for ports maintained by this maintainer
Port Added: unknown
Last Update: 2016-05-11 14:44:07
SVN Revision: 414999
People watching this port, also watch:: docbook, gettext, openssl, aspell, m4
License: not specified in port
WWW:
http://www.itu.dk/~sestoft/mosml.html
Description:
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
Homepage    cgit ¦ GitHub ¦ GitHub ¦ GitLab ¦ SVNWeb - no subversion history for this port

Manual pages:
FreshPorts has no man page information for this port.
pkg-plist: as obtained via: make generate-plist
There is no configure plist information for this port.
Dependency lines:
  • moscow_ml>0:lang/moscow_ml
No installation instructions:
This port has been deleted.
PKGNAME: moscow_ml
Flavors: there is no flavor information for this port.
distinfo:
There is no distinfo for this port.

No package information for this port in our database
Sometimes this happens. Not all ports have packages. Perhaps there is a build error. Check the fallout link: pkg-fallout
Dependencies
NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
Build dependencies:
  1. perl5>=5.20<5.21 : lang/perl5.20
Runtime dependencies:
  1. perl5>=5.20<5.21 : lang/perl5.20
Library dependencies:
  1. libgmp.so : math/gmp
  2. libgdbm.so : databases/gdbm
There are no ports dependent upon this port

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
Options name:
N/A
USES:
compiler:features perl5
FreshPorts was unable to extract/find any pkg message
Master Sites:
Expand this list (2 items)
Collapse this list.
  1. http://distcache.FreeBSD.org/ports-distfiles/
  2. http://www.itu.dk/~sestoft/mosml/
Collapse this list.

Number of commits found: 46

Commit History - (may be incomplete: for full details, see links to repositories near top of page)
CommitCreditsLog message
2.01_7
11 May 2016 14:44:07
Revision:414999Original commit files touched by this commit
johans search for other commits by this committer
Moscow_ml has been renamed mosml
Update to version 2.10.1, now hosted on Github
See changelog on the new project website http://mosml.org/
2.01_7
21 Apr 2016 16:43:15
Revision:413746Original commit files touched by this commit
swills search for other commits by this committer
many ports: mark broken on powerpc64
2.01_7
01 Apr 2016 14:08:38
Revision:412347Original commit files touched by this commit
mat search for other commits by this committer
Remove ${PORTSDIR}/ from dependencies, categories h, i, j, k, and l.

With hat:	portmgr
Sponsored by:	Absolight
2.01_7
27 Jun 2015 00:35:26
Revision:390681Original commit files touched by this commit
amdmi3 search for other commits by this committer
- Fix build on 10.1: disable -fno-defer-pop flag which is not known by clang

Makefile says this flag is crucial for gcc to disable certain
optimization, but I assume clang doesn't have this optimization as
it doesn't support the flag. clang >= 3.6 handles unknown flags
with a mere warnings, so the modification is only needed for clang < 3.6

Submitted by:	pkg-fallout
Approved by:	portmgr blanket
2.01_7
22 May 2015 20:34:29
Revision:387082Original commit files touched by this commit
mat search for other commits by this committer
Remove $FreeBSD$ from patches files everywhere.

With hat:	portmgr
Sponsored by:	Absolight
2.01_7
27 Oct 2014 15:23:31
Revision:371587Original commit files touched by this commit
bapt search for other commits by this committer
Cleanup plist
2.01_7
29 Jul 2014 17:12:50
Revision:363362Original commit files touched by this commit
adamw search for other commits by this committer
Rename all patches that contain '::' as a path separator, and use
'__' instead.
2.01_7
16 Jul 2014 02:29:34
Revision:362018Original commit files touched by this commit
adamw search for other commits by this committer
Add DOCS option where PORTDOCS appears in plist.
2.01_7
23 Mar 2014 07:30:55
Revision:348840Original commit files touched by this commit
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.
2.01_6
05 Feb 2014 20:26:02
Revision:342841Original commit files touched by this commit
johans search for other commits by this committer
- Enable stage support
- Strip installed libraries
2.01_5
20 Sep 2013 19:53:10
Revision:327741Original commit files touched by this commit
bapt search for other commits by this committer
Add NO_STAGE all over the place in preparation for the staging support (cat:
lang)
2.01_5
11 Sep 2013 08:15:53
Revision:326954Original commit files touched by this commit
az search for other commits by this committer
- convert to the new perl5 framework
- trim Makefile header

Approved by:	portmgr (bapt@, blanket)
2.01_5
27 Jul 2013 08:34:48
Revision:323775Original commit files touched by this commit
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
2.01_5
30 Mar 2013 10:11:19
Revision:315604Original commit files touched by this commit
johans search for other commits by this committer
Old master site disappeared, set new location

Approved by:	portmgr (miwi)
2.01_5
17 Mar 2013 14:13:50
Revision:314442Original commit files touched by this commit
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).
2.01_5
23 Sep 2011 22:26:39
Original commit files touched by this commit
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
2.01_5
12 Sep 2011 23:17:33
Original commit files touched by this commit
gabor search for other commits by this committer
- Track dependencies after databases/gdbm update
2.01_4
25 Jul 2011 19:40:47
Original commit files touched by this commit
johans search for other commits by this committer
- Respect $CC
- Fix build with clang
2.01_4
03 Jul 2011 13:45:36
Original commit files touched by this commit
ohauer search for other commits by this committer
- remove MD5
2.01_4
19 Apr 2010 10:43:43
Original commit files touched by this commit
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)
2.01_3
23 Feb 2010 18:06:02
Original commit files touched by this commit
johans search for other commits by this committer
Update my mail address to @FreeBSD.org

Feature safe:   yes
2.01_3
13 May 2009 09:46:02
Original commit files touched by this commit
ale search for other commits by this committer
Chase libgmp and bump PORTREVISION.
2.01_2
11 Oct 2007 13:46:13
Original commit files touched by this commit
johans search for other commits by this committer
- Fix compilation with gcc 4.2
- Grab maintainership
2.01_2
27 May 2007 02:59:14
Original commit files touched by this commit
kris search for other commits by this committer
BROKEN with gcc 4.2
2.01_2
30 Jul 2006 20:51:59
Original commit files touched by this commit
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)
2.01_2
10 May 2006 14:46:48
Original commit files touched by this commit
ale search for other commits by this committer
Chase gmp library and bump PORTREVISION.
2.01_1
09 May 2006 20:52:24
Original commit files touched by this commit
edwin search for other commits by this committer
Remove USE_REINPLACE from the categories starting with L
2.01_1
25 Nov 2005 00:33:45
Original commit files touched by this commit
pav search for other commits by this committer
- Add SHA256
2.01_1
03 Nov 2005 13:12:44
Original commit files touched by this commit
vs search for other commits by this committer
Support gdbm (bump PORTREVISION)
2.01
03 Nov 2005 12:37:26
Original commit files touched by this commit
vs search for other commits by this committer
- Drop ineffective INSTALLS_SHLIB, set LD_RUN_PATH during compilation
  instead.
- Use pkg-message.in
2.01
01 Mar 2005 02:24:28
Original commit files touched by this commit
jkoshy search for other commits by this committer
Missed a directory in the pkg plist.

Found by:       kris
2.01
28 Feb 2005 06:28:48
Original commit files touched by this commit
kris search for other commits by this committer
Reset maintainer per his request.
2.01
26 Feb 2005 06:41:44
Original commit files touched by this commit
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
2.00_1
30 Jan 2005 13:30:53
Original commit files touched by this commit
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>
2.00_1
06 Mar 2004 23:32:13
Original commit files touched by this commit
kris search for other commits by this committer
BROKEN on sparc64: Configure fails
2.00_1
29 Jan 2004 07:24:56
Original commit files touched by this commit
trevor search for other commits by this committer
SIZEify.
2.00_1
15 Jun 2003 13:33:28
Original commit files touched by this commit
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>
2.00_1
08 Jun 2003 00:30:49
Original commit files touched by this commit
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
2.00_1
04 Jun 2003 22:43:38
Original commit files touched by this commit
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
2.00_1
18 May 2003 11:40:58
Original commit files touched by this commit
kris search for other commits by this committer
BROKEN on 5.1: does not compile
2.00_1
07 Mar 2003 06:05:38
Original commit files touched by this commit
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.
2.00_1
19 Dec 2002 07:15:35
Original commit files touched by this commit
edwin search for other commits by this committer
Ports needs gmp.h, port gets gmp.h
Noticed on: bento
2.00_1
04 Nov 2002 01:48:34
Original commit files touched by this commit
edwin search for other commits by this committer
Port needs Perl
Noticed on: bento
2.00_1
09 Jun 2002 06:52:52
Original commit files touched by this commit
jkoshy search for other commits by this committer
Make dynlibs/msocket/libmsocket.so work.  Bump PORTREVISION.
2.00
30 May 2002 10:47:57
Original commit files touched by this commit
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
commit hash: fp1.4779@dev.null.freshports.orgcommit hash: fp1.4779@dev.null.freshports.orgcommit hash: fp1.4779@dev.null.freshports.orgcommit hash: fp1.4779@dev.null.freshports.org files touched by this commit
asami search for other commits by this committer
Convert category lang to new layout.  

Number of commits found: 46