*/*: 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/D42068bbab7f59e9
Port details
lang/mlton20210816_1
Optimizing Standard ML compiler
- Maintainer
- beyert@cs.ucr.edu
- Packages
- mlton 20210816_1
- Upstream
- Higher version available: 20241230
- CPE
- none, CVEs only via VuXML
- WWW
- http://mlton.org/
- Links
- cgit · VuXML
Unaddressed (0) · The CVE record lists this version as affected, no VuXML entry names the CVE
None. There is no CVE without a VuXML entry for this version.
VuXML only (0) · listed, port not fixed yet
None.
pkg audit reports nothing for this version.Fixed (0)
No VuXML entries for this package.
Commits (66)
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)43a7f4dccc
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: MAINTAINER1ad4dbd771
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)721e5776c9
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)fb16dfecae
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. This commit implements such a proposal and moves one of the WWW: entries of each pkg-descr file into the respective port's Makefile. A heuristic attempts to identify the most relevant URL in case there is more than one WWW: entry in some pkg-descr file. URLs that are not moved into the Makefile are prefixed with "See also:" instead of "WWW:" in the pkg-descr files in order to preserve them. There are 1256 ports that had no WWW: entries in pkg-descr files. These ports will not be touched in this commit. The portlint port has been adjusted to expect a WWW entry in each port Makefile, and to flag any remaining "WWW:" lines in pkg-descr files as deprecated. Approved by: portmgr (tcberner)b7f05445c0
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> * Anton Shterenlikht * Ashish SHUKLA <ashish@FreeBSD.org> * Bob Eager <bob@eager.cx> * Bruce M Simpson * Bruce M. Simpson * Christoph Mallon <christoph.mallon@gmx.de> * Christopher Elkins <chrise@scardini.com> * Christopher Key <cjk32@cam.ac.uk> * Chuck Robey <chuckr@FreeBSD.org> * Cyrille Lefevre <clefevre@citeweb.net> * Dan Rench <citric@cubicone.tmetic.com> * Danilo Egea Gondolfo <danilogondolfo@gmail.com> * Dario Freni <saturnero@gufi.org> * David Kalliecharan <dave@dal.ca> * David Naylor <dbn@FreeBSD.org> * David Naylor <dbn@dragon.local> * David O'Brien (obrien@NUXI.com) * David O'Brien (obrien@NUXI.org) * David O'Brien <obrien@NUXI.org> * David O'Brien <obrien@cs.ucdavis.edu> * Dereckson <dereckson@gmail.com> * Devon H. O'Dell <devon.odell@gmail.com> * Dmitry Sivachenko <demon@FreeBSD.org> * Don Croyle <croyle@gelemna.org> * Douglas Anestad <yotta@dougdidit.com> * Edwin Groothuis (edwin@mavetju.org) * Edwin Groothuis <edwin@mavetju.org> * Eugene Ossintsev * Frank Fischer * Frank Gruender <elwood@mc5sys.in-berlin.de> * Frederic Cambus * Gea-Suan Lin <gslin@gslin.org> * Gerald Pfeifer <gerald@FreeBSD.org> * Giuseppe Pilichi aka Jacula Modyun <jacula@gmail.com> * GreenDog <fiziologus@gmail.com> * Gustau Perez i Querol <gustau.perez@gmail.com> * Guy Antony Halse <guy@rucus.ru.za.za> * Herve Quiroz <hq@FreeBSD.org> * Hye-Shik Chang * Hye-Shik Chang <perky@fallin.lv> * Hye-Shik Chang <perky@python.or.kr> * Iblis Lin <iblis@hs.ntnu.edu.tw> * James Bailie <jimmy@mammothcheese.ca> * James FitzGibbon <jfitz@FreeBSD.org> * Jean-Sébastien Pédron <dumbbell@FreeBSD.org> * Jean-Yves Lefort <jylefort@FreeBSD.org> * Jeff Brown <jabrown@caida.org> * Jeremy Norris <ishmael27@home.com> * Jing-Tang Keith Jang <keith@FreeBSD.org> * John Hein <jhein@symmetricom.com> * John Marino <marino@FreeBSD.org> * John Merryweather Cooper * John Merryweather Cooper <coop9211@uidaho.edu> * John Merryweather Cooper et al * Joseph Koshy <jkoshy@FreeBSD.org> * Josh Elsasser <jre@vineyard.net> * Josh Gilliam <josh@quick.net> * Julian H. Stacey <jhs@FreeBSD.org> * Julian Stecklina * Jyun-Yan You <jyyou@cs.nctu.edu.tw> * Katsuji ISHIKAWA <katsuji.ishikawa@gmail.com> * Kimura Fuyuki <fuyuki@hadaly.org> * Kimura Fuyuki <fuyuki@mj.0038.net> * Kimura Fuyuki <fuyuki@nigredo.org> * Kiriyama Kazuhiko <kiri@kiri.toba-cmt.ac.jp> * Kubilay Kocak <koobs@FreeBSD.org> * Lars Thegler <lth@FreeBSD.org> * Lev Walkin <vlm@lionet.info> * Li-Wen Hsu <lwhsu@FreeBSD.org> * Mahdi Mokhtari <mokhi64@gmail.com> * Marcin Cieslak <saper@SYSTEM.PL> * Martin Matuska <mm@FreeBSD.org> * Matthew Hunt <mph@FreeBSD.org> * Michael Butschky <butsch@computi.erols.com> * Michael Johnson <ahze@FreeBSD.org> * Mitsuru YOSHIDA <mitsuru@riken.jp> * Muhammad Moinur Rahman <5u623l20@gmail.com> * Neal Nelson <ports@nicandneal.net> * Nicola Vitale <nivit@FreeBSD.org> * Nils M Holm <nmh@t3x.org> * Oliver Braun <obraun@informatik.unibw-muenchen.de> * Oliver Breuninger <ob@seicom.NET> * Patrick Li <pat@databits.net> * Pawel Worach <pawel.worach@gmail.com> * Pedro F. Giffuni <giffunip@asme.org> * Pedro Giffuni * Pedro Giffuni <giffunip@asme.org> * Pete French <pete@twisted.org.uk> * Peter Schuller <peter.schuller@infidyne.com> * Peter van Heusden <pvh@egenetics.com> * Phillip Neumann <pneumann@gmail.com> * Piotr Kubaj <pkubaj@anongoth.pl> * Po-Chuan Hsieh <sunpoet@FreeBSD.org> * Pontus Stenetorp <ninjin@kth.se> * Ralf S. Engelschall <rse@engelschall.com> * Rick van der Zwet <rick@wzoeterwoude.net> * Rob Zinkov * Roland Jesse <roland.jesse@gmx.net> * Romain Tartiere <romain@blogreen.org> * Ryan Steinmetz <zi@FreeBSD.org> * Sahil Tandon <sahil@tandon.net> * Sergei Kolobov <sergei@kolobov.com> * Sergey A. Osokin <osa@FreeBSD.org> * Sergey Skvortsov <skv@protey.ru> * Simon Marlow <simonmar@microsoft.com> * Simun Mikecin <numisemis@yahoo.com> * Stanislav Sedov <ssedov@mbsd.msk.ru> * Stephen Weeks <sweeks@sweeks.com> * Steven G. Kargl * Sunpoet Po-Chuan Hsieh <sunpoet@FreeBSD.org> * Sylvio Cesar <sylvio@FreeBSD.org> * Thomas Gellekum <tg@FreeBSD.org> * Timothy Beyer <beyert@cs.ucr.edu> * Timothy Bourke <timbob@bigpond.com> * Tom Judge <tj@FreeBSD.org> * Veniamin Gvozdikov <vg@FreeBSD.org> * Vitaly Magerya <vmagerya@gmail.com> * Wen Heping <wenheping@gmail.com> * Wen Heping <wenhping@gmail.com> * Wes Peters <wes@softweyr.com> * Ying-Chieh Liao <ijliao@FreeBSD.org> * Yukihiro Nakai <Nakai@technologist.com> * Yukihiro Nakai <nakai@FreeBSD.org> * Zach Garner <zach@neurosoft.org> * aaron@FreeBSD.org * andrewb@cs.cmu.edu * arved * chinsan * chuckr * dd * erik@smluc.org * gahr * gahr@FreeBSD.org * gpalmer * hsu * ijliao * jasone * jkh * jkoshy * jmacd * jmacd@FreeBSD.org * jmz * js@jeannot.org * jseger@FreeBSD.org * kappa@FreeBSD.org.ua * kbyanc * msmith@gsoft.com.au * mutoh@openedu.org * netchild@FreeBSD.org * patrick * pst * rene@FreeBSD.org * ruslan@shevchenko.kiev.ua * stas * tobez With hat: portmgrf98ae56653
lang/mlton: Update to 20210816 and fix build for FreeBSD 12 and 13. PR: 259261042847b1b4
*/*: 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, pkubajd09ed096c4
Remove # $FreeBSD$ from Makefiles.305f148f48
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: 238330ea8c8ec7da
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/D1990732daaae72c
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: 231590a9f015d155
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: 22254209f9633cb6
Bump PORTREVISIONs of all users of math/mpc that we just updated to version 1.1.0 (via revision 464079).c2a92a1aea
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: 219275e59c88cece
Un-forbid on i386, vm bug was fixed in base r320843 and merged to stable/11 and releng/11.1 MFH: 2017Q381cd787d75
Forbid on i386 With hat: portmgr MFH: 2017Q3665f9d2f92
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: 21670704d6f52202
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.89f8b05214
Remove ${PORTSDIR}/ from dependencies, categories h, i, j, k, and l.
With hat: portmgr
Sponsored by: Absolighta9dcad2fff- Fix shebangs - Switch to options helpers - Silenct patching Approved by: portmgr blanket4950be369f
Avoid useless @exec4f6290bfcc
Cleanup plist77cba41a62
Attempt to unbreak INDEX No idea if this builds (it didn't) With hat: portmgr73da6665ed
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.d7ecdbf615
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)79a9ce0553
Deprecate ports broken for more than 6 month53f5bbb2ba
Add NO_STAGE all over the place in preparation for the staging support (cat: lang)888ab73a81
Mark as broken: 'Shared object "libgmp.so.7" not found, required by "mlton-compile" Reported by: pointyhat and pkg-falloutfedb872b37
Convert to new options frameworka4336b798b
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.4e09def2d4
Remove *_DEPENDS from ports which depend on teTeX and add USE_TEX=tetex instead to make migration to TeXLive easier.7dadfc8a88
- Fix all new cases of 'No newline at end of file' in the ports tree Approved by: portmgr (bapt)5282fd8451
- 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)e8ac1da70e
- update png to 1.5.102b74a89bc8
- Chase math/mingw32-libgmp4 moving to math/mingw32-libgmp. - Bump portrevision. PR: ports/163187 and ports/163520 Submitted by: Naram Qashat <cyberbotx@cyberbotx.com>de9f171392
- remove MD527de467a2b
Bump PORTREVISION after open-mofit update630ca2285f
- Unbreak build - Update master sites - Prevent building documentation when NOPORTDOCS defined - Fix dependency on math/mingw32-libgmp4 - Adapt boostrap to the recent GMP update - Respect LOCALBASE (added by pgj) PR: ports/147278 Submitted by: Vitaly Magerya <vmagerya@gmail.com> Approved by: maintainer Feature safe: yes65850e4e40
Switch to use newer GMP version. PR: ports/144487 Submitted by: ale Approved by: portmgr (-exp run by erwin)bf330a57d4
- update to 1.4.1 Reviewed by: exp8 run on pointyhat Supported by: miwide78af3ac5
- update to jpeg-8ca9c60461c
This port has been broken for 3+ months, thus - Mark DEPRECATED and schedule for expiration in one month With hat: portmgr0eca88d377
- bump all port that indirectly depends on libjpeg and have not yet been bumped or updated Requested by: edwineca78ec61b
Mark BROKEN: does not build.71d6cf085e
Chase libgmp and bump PORTREVISION.523a16e2bd
- Remove conditional checks for FreeBSD 5.x and older41d8c3385c
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: maintainer776ae1fb28
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)090059a210