diff options
| author | daichi <daichi@FreeBSD.org> | 2006-06-29 23:09:44 +0800 |
|---|---|---|
| committer | daichi <daichi@FreeBSD.org> | 2006-06-29 23:09:44 +0800 |
| commit | e0ae8819ad88ec3eb889a88e0c4b7dad6972662e (patch) | |
| tree | 433ad2deef46d30f60c3a84f2459faceca7ab644 /lang | |
| parent | 97a51831b0bf14274cf9dfd883a0c3b85c064645 (diff) | |
| download | freebsd-ports-gnome-e0ae8819ad88ec3eb889a88e0c4b7dad6972662e.tar.gz freebsd-ports-gnome-e0ae8819ad88ec3eb889a88e0c4b7dad6972662e.tar.zst freebsd-ports-gnome-e0ae8819ad88ec3eb889a88e0c4b7dad6972662e.zip | |
lang/mlton: removing BROKEN
PR: ports/99584
Submitted by: Jesper Louis Andersen <jlouis@mongers.org>
Approved by: Stephen Weeks <sweeks@sweeks.com> (maintainer)
Diffstat (limited to 'lang')
| -rw-r--r-- | lang/mlton/Makefile | 22 | ||||
| -rw-r--r-- | lang/mlton/distinfo | 6 |
2 files changed, 15 insertions, 13 deletions
diff --git a/lang/mlton/Makefile b/lang/mlton/Makefile index 712742dc3006..dc4dec85131c 100644 --- a/lang/mlton/Makefile +++ b/lang/mlton/Makefile @@ -12,13 +12,16 @@ PORTNAME= mlton PORTVERSION= 20051202 -PORTREVISION= 1 +PORTREVISION= 2 CATEGORIES= lang MASTER_SITES= http://mlton.org/pages/Download/attachments/ \ http://mlton.org/pages/Experimental/attachments/ + DISTFILES= ${BOOT_DIST} ${SRC_DIST} EXTRACT_ONLY= ${SRC_DIST} +# Other maintainers are Geoffrey Mainland (mainland@apeiron.net) +# and Jesper Louis Andersen (jlouis@mongers.org) MAINTAINER= sweeks@sweeks.com COMMENT= An optimizing Standard ML compiler @@ -31,10 +34,8 @@ BUILD_DEPENDS+= gsed:${PORTSDIR}/textproc/gsed \ LIB_DEPENDS= gmp.7:${PORTSDIR}/math/libgmp4 RUN_DEPENDS= bash:${PORTSDIR}/shells/bash -BROKEN= Prebuilt binary depends on old version of libgmp - SRC_DIST= ${DISTNAME}-1.freebsd.src.tgz -BOOT_DIST= ${PORTNAME}-${BOOT_VER}-1.${MACHINE_ARCH}-freebsd.${BOOT_SUF} +BOOT_DIST= ${PORTNAME}-${BOOT_VER}-1-1.${MACHINE_ARCH}-freebsd.${BOOT_SUF} ONLY_FOR_ARCHS= i386 @@ -106,6 +107,7 @@ post-install: .if defined(MAINTAINER_MODE) RELEASE ?= 1 +PORTSLEVEL ?= 1 PKGORIGIN=${PKGCATEGORY}/${PORTNAME} @@ -118,15 +120,15 @@ build-package: ${MAKE} install ${MAKE} package ${MAKE} deinstall - pkg_add ${PORTNAME}-${PORTVERSION}.tbz + pkg_add ${PORTNAME}-${PORTVERSION}_1.tbz ${MAKE} deinstall ${MAKE} reinstall ${MAKE} package - ${CP} ${PORTNAME}-${PORTVERSION}.tbz \ - ${DISTDIR}/${PORTNAME}-${PORTVERSION}-${RELEASE}.i386-freebsd.tbz - ${TAR} -cpf - Makefile distinfo pkg-descr pkg-plist | \ - ( ${MKDIR} ${PORTDIR} && cd ${PORTDIR} && ${TAR} -xpf - ) - shar `find ${PORTDIR}` >/tmp/mlton-${PORTVERSION}-portdir.shar + ${CP} ${PORTNAME}-${PORTVERSION}_1.tbz \ + ${DISTDIR}/${PORTNAME}-${PORTVERSION}-${RELEASE}-${PORTSLEVEL}.i386-freebsd.tbz +# ${TAR} -cpf - Makefile distinfo pkg-descr pkg-plist | \ +# ( ${MKDIR} ${PORTDIR} && cd ${PORTDIR} && ${TAR} -xpf - ) +# shar `find ${PORTDIR}` >/tmp/mlton-${PORTVERSION}-portdir.shar TMP_PLIST= tmp-pkg-plist PLIST= ${.CURDIR}/pkg-plist diff --git a/lang/mlton/distinfo b/lang/mlton/distinfo index 329dce6633d6..2255613f916b 100644 --- a/lang/mlton/distinfo +++ b/lang/mlton/distinfo @@ -1,6 +1,6 @@ -MD5 (mlton-20051202-1.i386-freebsd.tbz) = 5058087a5036383a6fe0aa26be179756 -SHA256 (mlton-20051202-1.i386-freebsd.tbz) = 541a7e5831009163171a71d39d01de68f349ff57391cf5f93f7cfdfb7dbc4ce4 -SIZE (mlton-20051202-1.i386-freebsd.tbz) = 5535885 +MD5 (mlton-20051202-1-1.i386-freebsd.tbz) = 7f036a63fc9aa8f4a7db1c609fc1b320 +SHA256 (mlton-20051202-1-1.i386-freebsd.tbz) = 0fc7838d502db43b4cb0cfb3652601688103ef528c4871aa4a6d39fa696e8d87 +SIZE (mlton-20051202-1-1.i386-freebsd.tbz) = 5535886 MD5 (mlton-20051202-1.freebsd.src.tgz) = dbbc599dfea273367d4de8dce7cb5ff6 SHA256 (mlton-20051202-1.freebsd.src.tgz) = 6590325e93853ee82f74bc6072eb40c5e08cdb181da2cdccedab518e5ffc2bfd SIZE (mlton-20051202-1.freebsd.src.tgz) = 4310991 |