diff options
Diffstat (limited to 'lang/twelf')
| -rw-r--r-- | lang/twelf/Makefile | 7 |
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 |