blob: 03bda7785beeda1843806a6077f89ef1df564890 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
# New ports collection makefile for: ltl2ba
# Date created: 25 May 2011
# Whom: 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= 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 ${PREFIX}/bin/
.include <bsd.port.mk>
|
