diff options
| author | kris <kris@FreeBSD.org> | 2004-10-11 08:14:10 +0800 |
|---|---|---|
| committer | kris <kris@FreeBSD.org> | 2004-10-11 08:14:10 +0800 |
| commit | deea1bb15d57e5d228cd0935cb1a85739295ba75 (patch) | |
| tree | c9afc072e2b87780c58206612b7bc1d9bb87cca0 /lang | |
| parent | 1d438794cd589815951c0c44c4cdb7de47be8e33 (diff) | |
| download | freebsd-ports-gnome-deea1bb15d57e5d228cd0935cb1a85739295ba75.tar.gz freebsd-ports-gnome-deea1bb15d57e5d228cd0935cb1a85739295ba75.tar.zst freebsd-ports-gnome-deea1bb15d57e5d228cd0935cb1a85739295ba75.zip | |
This port includes a 5.x binary that links to libm.so.2, which is part
of the compiler bootstrap. Drop it back to use the 4.x binary version
with compat4x instead so it will run on 5.3.
Approved by: portmgr
Diffstat (limited to 'lang')
| -rw-r--r-- | lang/mlton/Makefile | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/lang/mlton/Makefile b/lang/mlton/Makefile index a4d00f38a8fe..69eea5c49316 100644 --- a/lang/mlton/Makefile +++ b/lang/mlton/Makefile @@ -49,14 +49,11 @@ PORTDIR= usr/ports/lang/mlton .include <bsd.port.pre.mk> -.if ${OSVERSION} < 500000 BOOT_EXTRACT= --gzip BOOT_SUF= tgz BOOT_VER= 20040429 -.else -BOOT_EXTRACT= --bzip -BOOT_SUF= tbz -BOOT_VER= 20040623 +.if ${OSVERSION} >= 500000 +LIB_DEPENDS+= c.4:${PORTSDIR}/misc/compat4x .endif post-extract: |