This is a port of MLton, the whole-program optimizing Standard ML
Compiler. MLton runs on a variety of platforms, generates excellent
code, has a fast C FFI, profiling, and many useful libraries,
including an interface to the GNU multiprecision library. For more
information, go to the MLton home page.
===> The following configuration options are available for mlton-20210816_1:
DOCS=on: Build and/or install documentation
EXAMPLES=on: Build and/or install examples
====> Options available for the single BOOTSTRAP: you have to select exactly one of them
MLTON=on: Bootstrap with MLton (ideal if supported)
POLYML=off: Bootstrap with PolyML
SMLNJ=off: Bootstrap with SML/NJ (can take many hours)
====> Options available for the single TARGET: you have to select exactly one of them
NATIVE=on: Use default target for given architecture
===> Use 'make config' to modify these settings
*/*: Sunset 12.4-RELEASE/12-STABLE from ports tree
- Remove all references to defunct ARCH arm
- Remove all references to defunct ARCH sparc64
- Remove x11-drivers/xf86-video-sunffb which requires defunct sparc64
ARCH
- Remove sysutils/afbinit requires defunct sparc64 ARCH
- Remove all references to bktr driver
- Remove all references to defunct FreeBSD_12
- Remove all references to OSVERSION/OSREL corresponding to 12
- Remove conditionals in Mk/Uses/cabal.mk
- Remove sparc reference from Mk/Uses/qt-dist.mk
- Remove BROKEN_sparc64/NOT_FOR_ARCH=sparc64
- Remove BROKEN_FreeBSD_12* from:
- Remove OpenSSL patches from:
- Remove conditional flags for OSVERSION >= 1300000 to fixed flags.
Also move conditional flags for non sparc64/arm ARCH to fixed flags.
Reviewed by: brooks, jbeich, rene, salvadore
Differential Revision: https://reviews.freebsd.org/D42068
lang/mlton: Refactor
- Remove previously maintained by as these are informations are no longer
allowed in Makefile
- Remove FreeBSD 11 related bootstrap files as FreeBSD 11 is no longer a
supported version in the tree
- Remove non-default OPTION WINE and MINGW32 as mingw32* has been
removed from the tree
Approved by: portmgr (blanket)
lang/mlton: Fix BUILD
- Memory usage has been so extreme that building on i386 build servers
often fails due to slightly imperfect conditions. This is like
because the zone pass was intended to be disabled on modern versions,
but was unintentionally? hardcoded to a specific older version
(corrected).
- Simple fix where bootstrap images for FreeBSD versions >= 13 were
unavailable (if compat13x is needed, then I will add it to
dependencies, but it shouldn't be necessary), so it should build on
FreeBSD 14.x with this change
- While I(bofh) am here pet portclippy/portfmt
- Utilize OPTIONSNG as best as possible
PR: 261820
Approved by: MAINTAINER
Mk/**tex.mk: Convert bsd.tex.mk to USES=tex
- Update all the consumers to use USES=tex
- USE_TEX=yes is the old way of writing USES=tex which has been removed
and replaced in all ports
- Almost all of the USE_TEX features remains unchanged
- Some consumers had the same variables defined both in the mk
infrastructure and also in the ports which have been removed from the
ports as those are redundant.
In case any of the consumers are failing to build please make sure that
the nexessary USES=tex is there. Unlike previous USE_TEX=yes will no
longer load the required VARS for tex and related dependencies.
Reviewed by: portmgr
Approved by: portmgr (blanket)
Remove WWW entries moved into port Makefiles
Commit b7f05445c00f has added WWW entries to port Makefiles based on
WWW: lines in pkg-descr files.
This commit removes the WWW: lines of moved-over URLs from these
pkg-descr files.
Approved by: portmgr (tcberner)
Add WWW entries to port Makefiles
It has been common practice to have one or more URLs at the end of the
ports' pkg-descr files, one per line and prefixed with "WWW:". These
URLs should point at a project website or other relevant resources.
Access to these URLs required processing of the pkg-descr files, and
they have often become stale over time. If more than one such URL was
present in a pkg-descr file, only the first one was tarnsfered into
the port INDEX, but for many ports only the last line did contain the
port specific URL to further information.
There have been several proposals to make a project URL available as
a macro in the ports' Makefiles, over time.
(Only the first 15 lines of the commit message are shown above )
lang: remove 'Created by' lines
A big Thank You to the original contributors of these ports:
* Aaron Dalton <aaron@FreeBSD.org>
* Adam Weinberger <adamw@FreeBSD.org>
* Akinori MUSHA aka knu <knu@idaemons.org>
* Alex Dupre <ale@FreeBSD.org>
* Alexey Dokuchaev <danfe@FreeBSD.org>
* Alonso Cardenas Marquez <acm@FreeBSD.org>
* Andreas Klemm <andreas@klemm.gtn.com>
* Andrew Pantyukhin <infofarmer@FreeBSD.org>
* Andrey Zakhvatov
* Anton Berezin <tobez@FreeBSD.org>
* Anton Berezin <tobez@tobez.org>
(Only the first 15 lines of the commit message are shown above )
*/*: Replace USE_GCC=any with USE_GCC=yes
USE_GCC=any has been equivalent to USE_GCC=yes in most cases (such
as i386 and amd64 since 12.x and depending on configuration 11.x,
most newer installations on other platforms, and 13.x across the
board).
Since commit 96c17633d90386b5bcf8 Mk/bsd.gcc.mk is treating them as
different spellings of the same, so continue the deorbiting of the
USE_GCC=any form and simply replace it with USE_GCC=yes.
This should not make any functional difference at all.
Discussed with: mat, linimon, pkubaj
Bump PORTREVISION for ports depending on the canonical version of GCC
as defined in Mk/bsd.default-versions.mk which has moved from GCC 8.3
to GCC 9.1 under most circumstances now after revision 507371.
This includes ports
- with USE_GCC=yes or USE_GCC=any,
- with USES=fortran,
- using Mk/bsd.octave.mk which in turn features USES=fortran, and
- with USES=compiler specifying openmp, nestedfct, c11, c++0x, c++11-lang,
c++11-lib, c++14-lang, c++17-lang, or gcc-c++11-lib
plus, everything INDEX-11 shows with a dependency on lang/gcc9 now.
PR: 238330
Switch to -fstack-protector-strong and enable on more architectures
PR: 237273
Exp-run by: antoine
Approved by: portmgr (antoine)
Differential Revision: https://reviews.freebsd.org/D19907
Bump PORTREVISION for ports depending on the canonical version of GCC
defined via Mk/bsd.default-versions.mk which has moved from GCC 7.4 t
GCC 8.2 under most circumstances.
This includes ports
- with USE_GCC=yes or USE_GCC=any,
- with USES=fortran,
- using Mk/bsd.octave.mk which in turn features USES=fortran, and
- with USES=compiler specifying openmp, nestedfct, c11, c++0x, c++11-lang,
c++11-lib, c++14-lang, c++17-lang, or gcc-c++11-lib
plus, as a double check, everything INDEX-11 showed depending on lang/gcc7.
PR: 231590
Bump PORTREVISION for ports depending on the canonical version of GCC
in the ports tree (via Mk/bsd.default-versions.mk and lang/gcc) which
has now moved from GCC 6 to GCC 7 by default.
This includes ports
- featuring USE_GCC=yes or USE_GCC=any,
- featuring USES=fortran,
- using Mk/bsd.octave.mk which in turn features USES=fortran, and those
- with USES=compiler specifying one of openmp, nestedfct, c11, c++0x,
c++11-lib, c++11-lang, c++14-lang, c++17-lang, or gcc-c++11-lib.
PR: 222542
Bump PORTREVISION for ports depending on the canonical version of GCC
(via Mk/bsd.default-versions.mk and lang/gcc) which has moved from
GCC 5.4 to GCC 6.4 under most circumstances.
This includes ports
- with USE_GCC=yes or USE_GCC=any,
- with USES=fortran,
- using Mk/bsd.octave.mk which in turn features USES=fortran, and
- with USES=compiler specifying openmp, nestedfct, c++11-lib, c++11-lang,
c++14-lang, c++0x, c11, or gcc-c++11-lib.
PR: 219275
Bump PORTREVISIONs for ports depending on the canonical version of GCC and
lang/gcc which have moved from GCC 4.9.4 to GCC 5.4 (at least under some
circumstances such as versions of FreeBSD or platforms).
This includes ports
- with USE_GCC=yes or USE_GCC=any,
- with USES=fortran,
- using using Mk/bsd.octave.mk which in turn has USES=fortran, and
- with USES=compiler specifying openmp, nestedfct, c++11-lib, c++14-lang,
c++11-lang, c++0x, c11, or gcc-c++11-lib.
PR: 216707
Bump PORTREVISIONS for ports depending on the canonical version of GCC and
lang/gcc which have moved from GCC 4.8.5 to GCC 4.9.4 (at least under some
circumstances such as versions of FreeBSD or platforms).
In particular that is ports with USE_GCC=yes, USE_GCC=any, or one of
gcc-c++11-lib, openmp, nestedfct, c++11-lib as well as c++14-lang,
c++11-lang, c++0x, c11 requested via USES=compiler.
Add DOCS to OPTIONS_DEFINE to ports that check for PORT_OPTIONS:MDOCS.
I'm not touching ruby19/ruby20/ruby21, but they also check for :MDOCS
without defining it in OPTIONS_DEFINE.
Bring lang/mlton back into shape.
From the PR submitter:
- Update to 20100608
- Support amd64 natively
- Update DISTFILES location to use Sourceforge
- Add LICENSE_FILE
- Ensure add-local-cross script is executable
- Clean up old patches, replace trivial patches by REINPLACE_CMD
- Mark SMLNJ option as broken for now.
- Mark jobs unsafe.
From myself:
- Unexpire.
- Add stage support
- Add USE_GCC=any
- Convert to USES
- New LIB_DEPENDS format
- Remove pre-FreeBSD 7.0 compatibility
- Pass maintainership to submitter
PR: ports/177406
Submitted by: Timothy Beyer <beyert@cs.ucr.edu>
Approved by: previous maintainer timeout (11 months)
Rectify USE_TEX to support both of teTeX and TeXLive.
TEX_DEFAULT:
A knob to choose teTeX or TeXLive. One can specify in /etc/make.conf.
USE_TEX:
A knob for port developers. Valid keywords are listed in
bsd.tex.mk.
- fix build with newer math/gmp in ports tree. Newer versions of gmp do not
define __gmp_const. This patch addresses the compile time errors with an
ifndef.
while here:
- trim Makefile header
- remove indefinite article from COMMENT
- remove deprecated attribution from pkg-descr and make tab -> space change
in WWW field
PR: 176229
Submitted by: Timothy Beyer <beyert@cs.ucr.edu>
Approved by: maintainer (implicit, because the port was broken)
This patch adds three features to the lang/mlton port:
* Support for FreeBSD 6.x
* Support for compilation with SML/NJ
* Cross-compilation with mingw32
PR: 124061
Submitted by: Timothy Bourke <timbob@bigpond.com>
Approved by: maintainer
Bump portrevision due to upgrade of devel/gettext.
The affected ports are the ones with gettext as a run-dependency
according to ports/INDEX-7 (5007 of them) and the ones with USE_GETTEXT
in Makefile (29 of them).
PR: ports/124340
Submitted by: edwin@
Approved by: portmgr (pav)
RESURRECT PORT: lang/mlton
Although Stephen Weeks was the original maintainer of this
port and still should be (unless he'd prefer not to be, in
which case I volunteer), I made the first push to get this
port included and will commit to resolving any problems
that crop up from here on out. I think it's important to
have MLton in the ports tree as it is a great ML compiler.
The new lang/twelf port would also benefit, as it is a good
bit faster when compiled with MLton :)
PR: ports/89684
Submitted by: Geoffrey Mainland <mainland@apeiron.net>
This port includes a 5.x binary that links to libm.so.2, which is part
of the compiler bootstrap. Drop it back to use the 4.x binary version
with compat4x instead so it will run on 5.3.
Approved by: portmgr
