1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-05 01:55:52 +00:00
freebsd-ports/lang/mlton
Gabor Pali 65850e4e40 - 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:	yes
2010-06-22 22:08:57 +00:00
..
files - Unbreak build 2010-06-22 22:08:57 +00:00
distinfo
Makefile - Unbreak build 2010-06-22 22:08:57 +00:00
pkg-descr
pkg-plist