From 1978e2152c282d2bb0fcfd0f2c470dad43004d22 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Fri, 1 Jan 2010 18:32:58 +0100 Subject: [PATCH] update piplib for change in configure options --- configure.in | 2 +- piplib | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/configure.in b/configure.in index bc9e476..ff900cf 100644 --- a/configure.in +++ b/configure.in @@ -87,7 +87,7 @@ else bv_configure_args="$bv_configure_args --with-libgmp --with-gmp" else bv_configure_args="$bv_configure_args --with-libgmp=$gmp_package" - bv_configure_args="$bv_configure_args --with-gmp=$gmp_package" + bv_configure_args="$bv_configure_args --with-gmp-prefix=$gmp_package" GMP_DIR=$gmp_package if test ! -d "$GMP_DIR"; then AC_ERROR(Directory given for GMP Distribution is not a directory) diff --git a/piplib b/piplib index 9d26599..0132fd9 160000 --- a/piplib +++ b/piplib @@ -1 +1 @@ -Subproject commit 9d2659986737e1155f7e316d7bfe9ad9a1173b8e +Subproject commit 0132fd99e8122e145c525814854f8a951daacee8 -- 2.11.4.GIT