diff options
| author | linimon <linimon@FreeBSD.org> | 2007-12-12 03:22:18 +0000 |
|---|---|---|
| committer | linimon <linimon@FreeBSD.org> | 2007-12-12 03:22:18 +0000 |
| commit | 712d447047726a2364748bbe7970354bc5e1c667 (patch) | |
| tree | 800e20f7caad48f1ba4b0401014ebf014880be1e /lang | |
| parent | 71bac21eb3905973915a4e8ba683ce7594bcd9f7 (diff) | |
| download | FreeBSD-ports-712d447047726a2364748bbe7970354bc5e1c667.zip FreeBSD-ports-712d447047726a2364748bbe7970354bc5e1c667.tar.gz | |
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 af3d8c2..ad3c38c 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 |
