mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-28 01:06:17 +00:00
Code Issues Releases Activity
d6325c7320
freebsd-ports/lang/mlton
History
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