diff options
author | Piotr Kubaj <pkubaj@FreeBSD.org> | 2020-04-18 01:54:24 +0000 |
---|---|---|
committer | Piotr Kubaj <pkubaj@FreeBSD.org> | 2020-04-18 01:54:24 +0000 |
commit | 47066d7954ab9e8896f477bdb035e377872b77ba (patch) | |
tree | 027170ab6a36b5182d0b5ab1e0da7dde9384f6a0 /math/yices | |
parent | 418dc0add91b8afe02295c03a1fa67a83c131e95 (diff) | |
download | ports-47066d7954ab9e8896f477bdb035e377872b77ba.tar.gz ports-47066d7954ab9e8896f477bdb035e377872b77ba.zip |
Notes
Diffstat (limited to 'math/yices')
-rw-r--r-- | math/yices/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/math/yices/Makefile b/math/yices/Makefile index db43393b84ae..91f950f3f06e 100644 --- a/math/yices/Makefile +++ b/math/yices/Makefile @@ -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 |