47066d7954
Use C11 compiler: ./api/yices_api_lock_free.h:34: error: previous declaration of 'lp_algebraic_number_t' was here
33 lines
831 B
Makefile
33 lines
831 B
Makefile
# $FreeBSD$
|
|
|
|
PORTNAME= yices
|
|
DISTVERSION= 2.6.2
|
|
CATEGORIES= math
|
|
MASTER_SITES= https://yices.csl.sri.com/releases/${DISTVERSION}/
|
|
DISTNAME= ${PORTNAME}-${DISTVERSION}-src
|
|
|
|
MAINTAINER= yuri@FreeBSD.org
|
|
COMMENT= SMT solver
|
|
|
|
LICENSE= GPLv3
|
|
LICENSE_FILE= ${WRKSRC}/LICENSE
|
|
|
|
BUILD_DEPENDS= gperf:devel/gperf
|
|
LIB_DEPENDS= libgmp.so:math/gmp
|
|
|
|
USES= compiler:c11 gmake localbase
|
|
GNU_CONFIGURE= yes
|
|
CONFIGURE_ARGS= --with-pic-gmp=${LOCALBASE}/lib/libgmp.so
|
|
USE_LDCONFIG= yes
|
|
|
|
MAKE_ARGS= YICES_MAKE_INCLUDE=configs/make.include.${CONFIGURE_TARGET}
|
|
CFLAGS+= -fPIC
|
|
|
|
WRKSRC= ${WRKDIR}/${PORTNAME}-${DISTVERSION}
|
|
|
|
post-install:
|
|
@${STRIP_CMD} ${STAGEDIR}${PREFIX}/bin/*
|
|
@${RM} ${STAGEDIR}${PREFIX}/lib/*.a
|
|
@cd ${STAGEDIR}${PREFIX}/lib && ${LN} -s libyices.so.2.6 libyices.so && ${LN} -s libyices.so.2.6 libyices.so.2
|
|
|
|
.include <bsd.port.mk>
|