svn commit: r531990 - head/math/yices
Piotr Kubaj
pkubaj at FreeBSD.org
Sat Apr 18 01:54:25 UTC 2020
Author: pkubaj
Date: Sat Apr 18 01:54:24 2020
New Revision: 531990
URL: https://svnweb.freebsd.org/changeset/ports/531990
Log:
math/yices: fix build on GCC architectures
Use C11 compiler:
./api/yices_api_lock_free.h:34: error: previous declaration of 'lp_algebraic_number_t' was here
Modified:
head/math/yices/Makefile
Modified: head/math/yices/Makefile
==============================================================================
--- head/math/yices/Makefile Sat Apr 18 01:41:30 2020 (r531989)
+++ head/math/yices/Makefile Sat Apr 18 01:54:24 2020 (r531990)
@@ -15,7 +15,7 @@ LICENSE_FILE= ${WRKSRC}/LICENSE
BUILD_DEPENDS= gperf:devel/gperf
LIB_DEPENDS= libgmp.so:math/gmp
-USES= gmake localbase
+USES= compiler:c11 gmake localbase
GNU_CONFIGURE= yes
CONFIGURE_ARGS= --with-pic-gmp=${LOCALBASE}/lib/libgmp.so
USE_LDCONFIG= yes
More information about the svn-ports-head
mailing list