diff options
Diffstat (limited to 'math/yices/Makefile')
| -rw-r--r-- | math/yices/Makefile | 23 |
1 files changed, 13 insertions, 10 deletions
diff --git a/math/yices/Makefile b/math/yices/Makefile index 9014014872e7..3504a67f2473 100644 --- a/math/yices/Makefile +++ b/math/yices/Makefile @@ -1,31 +1,34 @@ PORTNAME= yices -DISTVERSION= 2.6.5 +DISTVERSIONPREFIX= ${PORTNAME}- +DISTVERSION= 2.7.0 +PORTREVISION= 2 CATEGORIES= math -MASTER_SITES= https://yices.csl.sri.com/releases/${DISTVERSION}/ -DISTNAME= ${PORTNAME}-${DISTVERSION}-src MAINTAINER= yuri@FreeBSD.org COMMENT= SMT solver -WWW= https://yices.csl.sri.com/ +WWW= https://yices.csl.sri.com/ \ + https://github.com/SRI-CSL/yices2/ -LICENSE= GPLv3 -LICENSE_FILE= ${WRKSRC}/LICENSE +LICENSE= GPLv3+ +LICENSE_FILE= ${WRKSRC}/LICENSE.txt BUILD_DEPENDS= gperf:devel/gperf LIB_DEPENDS= libgmp.so:math/gmp USES= autoreconf compiler:c11 gmake localbase +USE_GITHUB= yes +GH_ACCOUNT= SRI-CSL +GH_PROJECT= yices2 USE_LDCONFIG= yes GNU_CONFIGURE= yes CONFIGURE_ARGS= --with-pic-gmp=${LOCALBASE}/lib/libgmp.so MAKE_ARGS= YICES_MAKE_INCLUDE=configs/make.include.${CONFIGURE_TARGET} -CFLAGS+= -fPIC - -TEST_TARGET= test # tests fail to compile, see https://github.com/SRI-CSL/yices2/issues/523 +TEST_TARGET= test -WRKSRC= ${WRKDIR}/yices-${DISTVERSION} +CFLAGS+= -fPIC +PIE_UNSAFE= yes post-install: # strip binaries @${STRIP_CMD} ${STAGEDIR}${PREFIX}/bin/* |