1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-19 00:13:33 +00:00
freebsd-ports/lang/mlton
Timothy Beyer 1ad4dbd771 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
2023-03-20 11:34:41 -05:00
..
files
distinfo
Makefile
pkg-descr
pkg-plist