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
===> 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
- 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
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.
- 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
- 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
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
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
