diff --git a/math/spot/Makefile b/math/spot/Makefile index 3a331ceb418d..49bab3f3215c 100644 --- a/math/spot/Makefile +++ b/math/spot/Makefile @@ -1,31 +1,29 @@ PORTNAME= spot DISTVERSION= 2.10.5 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++17-lang gmake libtool USE_LDCONFIG= yes GNU_CONFIGURE= yes CONFIGURE_ARGS= --disable-python --disable-static -CXXFLAGS+= -Drestrict= # fix build problem on 13.0, 12.3 and earlier systems because clang-11 and earlier don't understand the restrict keyword - INSTALL_TARGET= install-strip OPTIONS_DEFINE= DOCS PORTDOCS= tl.pdf TEST_TARGET= check post-install: @${STRIP_CMD} ${STAGEDIR}${PREFIX}/lib/*.so .include