diff options
| -rw-r--r-- | configure.ac | 2 | ||||
| m--------- | piplib | 0 |
2 files changed, 1 insertions, 1 deletions
diff --git a/configure.ac b/configure.ac index 11fa2b82..dabcedb2 100644 --- a/configure.ac +++ b/configure.ac @@ -145,7 +145,7 @@ AC_SUBST(PIPLIB_LIBS) case "$with_piplib" in bundled) PIPLIB_CPPFLAGS="-I$srcdir/piplib/include" - isl_configure_args="$isl_configure_args --enable-mp-version" + isl_configure_args="$isl_configure_args --with-bits=gmp" ;; build) PIPLIB_CPPFLAGS="-I$piplib_srcdir/include" diff --git a/piplib b/piplib -Subproject f4fd1118b9031049d0ced306b6914517c5ac6f1 +Subproject 9d2659986737e1155f7e316d7bfe9ad9a1173b8 |