# Created by: b.f. <bf@FreeBSD.org>
# $FreeBSD$

PORTNAME=	ltl2ba
PORTVERSION=	1.2
CATEGORIES=	math
MASTER_SITES=	http://www.lsv.ens-cachan.fr/~gastin/ltl2ba/

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>