blob: bad089dff5af4ca6cdad1f4e0c23498b789c03ed (
plain) (
tree)
|
|
# Created by: b.f. <bf@FreeBSD.org>
# $FreeBSD$
PORTNAME= ltl2ba
PORTVERSION= 1.1
CATEGORIES= math
MASTER_SITES= http://www.lsv.ens-cachan.fr/~gastin/ltl2ba/ LOCAL/bf
MAINTAINER= ports@FreeBSD.org
COMMENT= Fast translation from LTL formulae to Buechi automata
LICENSE= GPLv2
ALL_TARGET= ltl2ba
CFLAGS+= -DNXT
PLIST_FILES= bin/ltl2ba
post-patch:
${REINPLACE_CMD} -e '/^CC=/d' -e '/^CFLAGS=/d' ${WRKSRC}/Makefile
do-install:
${INSTALL_PROGRAM} ${WRKSRC}/ltl2ba ${STAGEDIR}${PREFIX}/bin
.include <bsd.port.mk>
|
