diff options
| author | antoine <antoine@FreeBSD.org> | 2014-09-19 04:44:32 +0800 |
|---|---|---|
| committer | antoine <antoine@FreeBSD.org> | 2014-09-19 04:44:32 +0800 |
| commit | 2d57d2ba2aa0d687ba29769b07cd8bc185c91c03 (patch) | |
| tree | 0b7ea5c5544dc39a676458e24ee78a39880afc75 /lang/dlv | |
| parent | 2c9453cc9449467d7df8de3b41321d6edda306c4 (diff) | |
| download | freebsd-ports-gnome-2d57d2ba2aa0d687ba29769b07cd8bc185c91c03.tar.gz freebsd-ports-gnome-2d57d2ba2aa0d687ba29769b07cd8bc185c91c03.tar.zst freebsd-ports-gnome-2d57d2ba2aa0d687ba29769b07cd8bc185c91c03.zip | |
Allow staging as a regular user
Diffstat (limited to 'lang/dlv')
| -rw-r--r-- | lang/dlv/Makefile | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/lang/dlv/Makefile b/lang/dlv/Makefile index dae2ff2a273e..ee4843533086 100644 --- a/lang/dlv/Makefile +++ b/lang/dlv/Makefile @@ -11,17 +11,18 @@ EXTRACT_SUFX= MAINTAINER= ports@FreeBSD.org COMMENT= Disjunctive Datalog System -NO_BUILD= yes +NO_WRKSUBDIR= yes +EXTRACT_CMD= ${CP} +EXTRACT_BEFORE_ARGS= +EXTRACT_AFTER_ARGS= ${WRKSRC} PLIST_FILES= bin/dlv ONLY_FOR_ARCHS= i386 amd64 RESTRICTED= Not sure if we can redistribute it -do-extract: - ${RM} -rf ${WRKDIR} - ${MKDIR} ${WRKDIR} +do-build: + ${BRANDELF} -t Linux ${WRKSRC}/${DISTNAME} do-install: - ${INSTALL_SCRIPT} ${DISTDIR}/${DISTNAME} ${STAGEDIR}${PREFIX}/bin/dlv - ${BRANDELF} -t Linux ${STAGEDIR}${PREFIX}/bin/dlv + ${INSTALL_SCRIPT} ${WRKSRC}/${DISTNAME} ${STAGEDIR}${PREFIX}/bin/dlv .include <bsd.port.mk> |