Date: Sat, 18 Apr 2020 01:54:25 +0000 (UTC) From: Piotr Kubaj <pkubaj@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r531990 - head/math/yices Message-ID: <202004180154.03I1sPo0013989@repo.freebsd.org>
next in thread | raw e-mail | index | archive | help
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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202004180154.03I1sPo0013989>