diff options
| author | Mark Linimon <linimon@FreeBSD.org> | 2007-12-12 11:22:18 +0800 |
|---|---|---|
| committer | Mark Linimon <linimon@FreeBSD.org> | 2007-12-12 11:22:18 +0800 |
| commit | eb1d275d753c7e575f907dc86df12cc974127185 (patch) | |
| tree | 301fe1a8ee2086a3f96e9ab9f67493f6a37c81e0 /lang | |
| parent | dee0d8abc8f01c76e8bd2f66115e53ec4695dff3 (diff) | |
| download | freebsd-ports-gnome-eb1d275d753c7e575f907dc86df12cc974127185.tar.gz freebsd-ports-gnome-eb1d275d753c7e575f907dc86df12cc974127185.tar.zst freebsd-ports-gnome-eb1d275d753c7e575f907dc86df12cc974127185.zip | |
Hand maintainership over to jlouis@mongers.org. While here, pet portlint.
Requested by: old maintainer
Diffstat (limited to 'lang')
| -rw-r--r-- | lang/mlton/Makefile | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/lang/mlton/Makefile b/lang/mlton/Makefile index af3d8c26271f..ad3c38cb7bf9 100644 --- a/lang/mlton/Makefile +++ b/lang/mlton/Makefile @@ -16,13 +16,11 @@ PORTREVISION= 3 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 +# Other maintainer is Geoffrey Mainland (mainland@apeiron.net) +MAINTAINER= jlouis@mongers.org COMMENT= An optimizing Standard ML compiler BUILD_DEPENDS= bash:${PORTSDIR}/shells/bash @@ -121,7 +119,7 @@ build-package: ${MAKE} install ${MAKE} package ${MAKE} deinstall - pkg_add ${PORTNAME}-${PORTVERSION}_1.tbz + ${PKG_ADD} ${PORTNAME}-${PORTVERSION}_1.tbz ${MAKE} deinstall ${MAKE} reinstall ${MAKE} package |