diff options
| -rw-r--r-- | math/barvinok/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/math/barvinok/Makefile b/math/barvinok/Makefile index 35c636f0cf31..ddf28c45037d 100644 --- a/math/barvinok/Makefile +++ b/math/barvinok/Makefile @@ -16,7 +16,7 @@ LIB_DEPENDS= libglpk.so:math/glpk \ libntl.so:math/ntl \ libpolylibgmp.so:math/polylib -USES= gmake libtool localbase:ldflags pkgconfig +USES= compiler:c11 gmake libtool localbase:ldflags pkgconfig GNU_CONFIGURE= yes CONFIGURE_ARGS= --disable-static --enable-shared --enable-shared-barvinok \ --with-gmp=system --with-polylib=system --with-isl=system |