For a long time now lang/mlton failed to build, and is already marked
as BROKEN, DEPRECATED and EXPIRED.
This happens because the precompiled mlton distribution used for
bootstrapping (mlton-20070826-1.i386-freebsd.tbz) is linked against
libgmp.so.7, while current math/gmp installs libgmp.so.10.
There is also a problem with NOPORTDOCS: when it's defined, the port
does not try to install docs, but still tries to build them.
Finally, the last master site has relocated and needs updating.
Fix: The attached patch:
1. Updates the last master site.
2. Sets LD_LIBMAP to redirect libgmp.so.7 to libgmp.so.10.
3. Changes ALL_TARGET when running with NOPORTDOCS to prevent docs
4. Replaces the non-existant devel/mingw32-libgmp4 dependency with
I only tested with NOPORTDOCS, as the build already takes a lot of time.
I hope the committer has more patience than I have.
I did not test SMLNJ and MINGW32 options.
Patch attached with submission follows:
Maintainer of lang/mlton,
Please note that PR ports/147278 has just been submitted.
If it contains a patch for an upgrade, an enhancement or a bug fix
you agree on, reply to this email stating that you approve the patch
and a committer will take care of it.
The full text of the PR can be found at:
Edwin Groothuis via the GNATS Auto Assign Tool
Awaiting maintainers feedback (via the GNATS Auto Assign Tool)
On Tue, Jun 1, 2010 at 2:22 PM, Edwin Groothuis <email@example.com> wrote:
> Maintainer of lang/mlton,
> Please note that PR ports/147278 has just been submitted.
> If it contains a patch for an upgrade, an enhancement or a bug fix
> you agree on, reply to this email stating that you approve the patch
> and a committer will take care of it.
> The full text of the PR can be found at:
> =C2=A0 =C2=A0http://www.freebsd.org/cgi/query-pr.cgi?pr=3Dports/147278
Long time since I've last had a FreeBSD machine, sorry. With my now
severely limited knowledge it looks ok though.
I will take it.
The maintainer has already approved it.
pgj 2010-06-22 22:08:57 UTC
FreeBSD ports repository
- 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)
Submitted by: Vitaly Magerya <firstname.lastname@example.org>
Approved by: maintainer
Feature safe: yes
Revision Changes Path
1.27 +30 -18 ports/lang/mlton/Makefile
1.1 +11 -0 ports/lang/mlton/files/patch-..-mlton-bootstrap-lib-mlton-include-cenv.h (new)
email@example.com mailing list
To unsubscribe, send any mail to "firstname.lastname@example.org"
The patch has been committed with some modifications. Thank you for
your submission! :)