# Created by: b.f. # $FreeBSD: head/math/ltl2ba/Makefile 345360 2014-02-21 10:26:27Z ehaupt $ PORTNAME= ltl2ba PORTVERSION= 1.1 CATEGORIES= math MASTER_SITES= http://www.lsv.ens-cachan.fr/~gastin/ltl2ba/ LOCAL/bf MAINTAINER= bf@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