aboutsummaryrefslogtreecommitdiff
path: root/lang/twelf
diff options
context:
space:
mode:
authorBaptiste Daroussin <bapt@FreeBSD.org>2013-09-20 19:53:09 +0000
committerBaptiste Daroussin <bapt@FreeBSD.org>2013-09-20 19:53:09 +0000
commit888ab73a81ce0010b6a141740f5b26e92a5ec6a8 (patch)
tree1373440d0f3681e50dd86fe77aff964fd6e1aeb8 /lang/twelf
parente280255b603b3a9113f771a6eb4215c94cb1fb1a (diff)
downloadports-888ab73a81ce0010b6a141740f5b26e92a5ec6a8.tar.gz
ports-888ab73a81ce0010b6a141740f5b26e92a5ec6a8.zip
Notes
Diffstat (limited to 'lang/twelf')
-rw-r--r--lang/twelf/Makefile7
1 files changed, 2 insertions, 5 deletions
diff --git a/lang/twelf/Makefile b/lang/twelf/Makefile
index 51f0328f0e9f..7554b8188ae7 100644
--- a/lang/twelf/Makefile
+++ b/lang/twelf/Makefile
@@ -1,9 +1,5 @@
-# Ports collection makefile for: twelf
-# Date created: 7/8/5
-# Whom: andrewb@cs.cmu.edu
-#
+# Created by: andrewb@cs.cmu.edu
# $FreeBSD$
-#
PORTNAME= twelf
PORTVERSION= 1.5R1
@@ -39,6 +35,7 @@ INFO= twelf
RESTRICTED= License is currently indeterminate (expected to be GPL)
+NO_STAGE= yes
post-patch:
@${REINPLACE_CMD} -e "s|%%PREFIX%%|${PREFIX}|g" ${WRKSRC}/Makefile