diff options
| author | Baptiste Daroussin <bapt@FreeBSD.org> | 2013-09-20 19:53:09 +0000 |
|---|---|---|
| committer | Baptiste Daroussin <bapt@FreeBSD.org> | 2013-09-20 19:53:09 +0000 |
| commit | 888ab73a81ce0010b6a141740f5b26e92a5ec6a8 (patch) | |
| tree | 1373440d0f3681e50dd86fe77aff964fd6e1aeb8 /lang/twelf | |
| parent | e280255b603b3a9113f771a6eb4215c94cb1fb1a (diff) | |
Notes
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 |