diff options
| author | Baptiste Daroussin <bapt@FreeBSD.org> | 2013-09-20 20:55:04 +0000 |
|---|---|---|
| committer | Baptiste Daroussin <bapt@FreeBSD.org> | 2013-09-20 20:55:04 +0000 |
| commit | ce5e4570204c37f4ac986a2a6bc076aa911167d6 (patch) | |
| tree | 1c069c3c993156dc583330fa958afbe99bb4966e /math/ltl2ba | |
| parent | 8ac99398e2b62e1b10333d4c88ae273f4f0ed365 (diff) | |
Notes
Diffstat (limited to 'math/ltl2ba')
| -rw-r--r-- | math/ltl2ba/Makefile | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/math/ltl2ba/Makefile b/math/ltl2ba/Makefile index 03bda7785bee..237b7a831804 100644 --- a/math/ltl2ba/Makefile +++ b/math/ltl2ba/Makefile @@ -1,9 +1,5 @@ -# New ports collection makefile for: ltl2ba -# Date created: 25 May 2011 -# Whom: b.f. <bf@FreeBSD.org> -# +# Created by: b.f. <bf@FreeBSD.org> # $FreeBSD$ -# PORTNAME= ltl2ba PORTVERSION= 1.1 @@ -19,6 +15,7 @@ ALL_TARGET= ltl2ba CFLAGS+= -DNXT PLIST_FILES= bin/ltl2ba +NO_STAGE= yes post-patch: ${REINPLACE_CMD} -e '/^CC=/d' -e '/^CFLAGS=/d' ${WRKSRC}/Makefile |