notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
Ukraine
FreshPorts needs to find a new hosting provide willing to take a 2U chassis and host it free of charge. This is part of the FreshPorts project. Preferably in the Austin area. This is not a primary server, but it used for development.
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
Description:
SVNWeb : git : Homepage
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.

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:
Options name:

USES:

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.
Port Moves
  • port moved to lang/mosml on 2016-05-11
    REASON: Project renamed

Number of commits found: 46

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
11 May 2016 14:44:07
Original commit files touched by this commit Revision:414999  2.01_7
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/
21 Apr 2016 16:43:15
Original commit files touched by this commit Revision:413746  2.01_7
swills search for other commits by this committer
many ports: mark broken on powerpc64
01 Apr 2016 14:08:38
Original commit files touched by this commit Revision:412347  2.01_7
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
27 Jun 2015 00:35:26
Original commit files touched by this commit Revision:390681  2.01_7
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
22 May 2015 20:34:29
Original commit files touched by this commit Revision:387082  2.01_7
mat search for other commits by this committer
Remove $FreeBSD$ from patches files everywhere.

With hat:	portmgr
Sponsored by:	Absolight
27 Oct 2014 15:23:31
Original commit files touched by this commit Revision:371587  2.01_7
bapt search for other commits by this committer
Cleanup plist
29 Jul 2014 17:12:50
Original commit files touched by this commit Revision:363362  2.01_7
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 Revision:362018  2.01_7
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 Revision:348840  2.01_7
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 Revision:342841  2.01_6
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 Revision:327741  2.01_5
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 Revision:326954  2.01_5
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 Revision:323775  2.01_5
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 Revision:315604  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 Revision:314442  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 commit hash:fp1.4779@dev.null.freshports.org
asami search for other commits by this committer
Convert category lang to new layout.  

Number of commits found: 46