mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-23 04:23:08 +00:00
28 lines
562 B
Makefile
28 lines
562 B
Makefile
# $FreeBSD$
|
|
|
|
PORTNAME= spot
|
|
DISTVERSION= 2.6.3
|
|
CATEGORIES= math
|
|
MASTER_SITES= http://www.lrde.epita.fr/dload/${PORTNAME}/
|
|
|
|
MAINTAINER= yuri@FreeBSD.org
|
|
COMMENT= Library for omega automata manipulation and model checking
|
|
|
|
LICENSE= GPLv3
|
|
LICENSE_FILE= ${WRKSRC}/COPYING
|
|
|
|
USES= charsetfix compiler:c++14-lang gmake libtool
|
|
GNU_CONFIGURE= yes
|
|
CONFIGURE_ARGS= --disable-python --disable-static
|
|
INSTALL_TARGET= install-strip
|
|
USE_LDCONFIG= yes
|
|
|
|
OPTIONS_DEFINE= DOCS
|
|
|
|
PORTDOCS= tl.pdf
|
|
|
|
post-install:
|
|
@${STRIP_CMD} ${STAGEDIR}${PREFIX}/lib/*.so
|
|
|
|
.include <bsd.port.mk>
|