Port details |
- moscow_ml Lightweight implementation of Standard ML
- 2.01_7 lang
=6 2.01_7Version of this port present on the latest quarterly branch.
- RESTRICTED: Restrictions on for-profit distribution
- Maintainer: johans@FreeBSD.org
- 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
-
cgit ¦ GitHub ¦ GitHub ¦ GitLab ¦
- 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:
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- perl5>=5.20<5.21 : lang/perl5.20
- Runtime dependencies:
-
- perl5>=5.20<5.21 : lang/perl5.20
- Library dependencies:
-
- libgmp.so : math/gmp
- 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:
|
Commit History - (may be incomplete: for full details, see links to repositories near top of page) |
Commit | Credits | Log message |
2.01_7 11 May 2016 14:44:07 |
johans |
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 |
swills |
many ports: mark broken on powerpc64 |
2.01_7 01 Apr 2016 14:08:38 |
mat |
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 |
amdmi3 |
- 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 |
mat |
Remove $FreeBSD$ from patches files everywhere.
With hat: portmgr
Sponsored by: Absolight |
2.01_7 27 Oct 2014 15:23:31 |
bapt |
Cleanup plist |
2.01_7 29 Jul 2014 17:12:50 |
adamw |
Rename all patches that contain '::' as a path separator, and use
'__' instead. |
2.01_7 16 Jul 2014 02:29:34 |
adamw |
Add DOCS option where PORTDOCS appears in plist. |
2.01_7 23 Mar 2014 07:30:55 |
marino |
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 |
johans |
- Enable stage support
- Strip installed libraries |
2.01_5 20 Sep 2013 19:53:10 |
bapt |
Add NO_STAGE all over the place in preparation for the staging support (cat:
lang) |
2.01_5 11 Sep 2013 08:15:53 |
az |
- convert to the new perl5 framework
- trim Makefile header
Approved by: portmgr (bapt@, blanket) |
2.01_5 27 Jul 2013 08:34:48 |
danfe |
- 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 |
johans |
Old master site disappeared, set new location
Approved by: portmgr (miwi) |
2.01_5 17 Mar 2013 14:13:50 |
danfe |
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 |
amdmi3 |
- 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 |
gabor |
- Track dependencies after databases/gdbm update |
2.01_4 25 Jul 2011 19:40:47 |
johans |
- Respect $CC
- Fix build with clang |
2.01_4 03 Jul 2011 13:45:36 |
ohauer |
- remove MD5 |
2.01_4 19 Apr 2010 10:43:43 |
ale |
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 |
johans |
Update my mail address to @FreeBSD.org
Feature safe: yes |
2.01_3 13 May 2009 09:46:02 |
ale |
Chase libgmp and bump PORTREVISION. |
2.01_2 11 Oct 2007 13:46:13 |
johans |
- Fix compilation with gcc 4.2
- Grab maintainership |
2.01_2 27 May 2007 02:59:14 |
kris |
BROKEN with gcc 4.2 |
2.01_2 30 Jul 2006 20:51:59 |
miwi |
- 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 |
ale |
Chase gmp library and bump PORTREVISION. |
2.01_1 09 May 2006 20:52:24 |
edwin |
Remove USE_REINPLACE from the categories starting with L |
2.01_1 25 Nov 2005 00:33:45 |
pav |
- Add SHA256 |
2.01_1 03 Nov 2005 13:12:44 |
vs |
Support gdbm (bump PORTREVISION) |
2.01 03 Nov 2005 12:37:26 |
vs |
- Drop ineffective INSTALLS_SHLIB, set LD_RUN_PATH during compilation
instead.
- Use pkg-message.in |
2.01 01 Mar 2005 02:24:28 |
jkoshy |
Missed a directory in the pkg plist.
Found by: kris |
2.01 28 Feb 2005 06:28:48 |
kris |
Reset maintainer per his request. |
2.01 26 Feb 2005 06:41:44 |
jkoshy |
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 |
pav |
- 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 |
kris |
BROKEN on sparc64: Configure fails |
2.00_1 29 Jan 2004 07:24:56 |
trevor |
SIZEify. |
2.00_1 15 Jun 2003 13:33:28 |
arved |
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 |
kris |
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 |
kris |
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 |
kris |
BROKEN on 5.1: does not compile |
2.00_1 07 Mar 2003 06:05:38 |
ade |
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 |
edwin |
Ports needs gmp.h, port gets gmp.h
Noticed on: bento |
2.00_1 04 Nov 2002 01:48:34 |
edwin |
Port needs Perl
Noticed on: bento |
2.00_1 09 Jun 2002 06:52:52 |
jkoshy |
Make dynlibs/msocket/libmsocket.so work. Bump PORTREVISION. |
2.00 30 May 2002 10:47:57 |
jkoshy |
Upgrade to v2.0.
Submitted by: Johannes 5 Joemann <joemann@beefree.free.de> |
08 Oct 2000 04:17:26 |
asami |
Convert category lang to new layout. |