update piplib for change in configure arguments

diff --git a/configure.ac b/configure.ac
index 11fa2b8..dabcedb 100644 (file)
--- 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
index f4fd111..9d26599 160000 (submodule)
--- a/piplib
+++ b/piplib
@@ -1 +1 @@
-Subproject commit f4fd1118b9031049d0ced306b6914517c5ac6f18
+Subproject commit 9d2659986737e1155f7e316d7bfe9ad9a1173b8e