Christian Wiese
12 years ago
2 changed files with 196 additions and 2 deletions
@ -0,0 +1,190 @@ |
|||||||
|
# --- SDE-COPYRIGHT-NOTE-BEGIN ---
|
||||||
|
# This copyright note is auto-generated by ./scripts/Create-CopyPatch.
|
||||||
|
#
|
||||||
|
# Filename: package/.../ppl/ppl-0.11.2-update-ac_check_gmp.m4.patch
|
||||||
|
# Copyright (C) 2012 The OpenSDE Project
|
||||||
|
#
|
||||||
|
# More information can be found in the files COPYING and README.
|
||||||
|
#
|
||||||
|
# This patch file is dual-licensed. It is available under the license the
|
||||||
|
# patched project is licensed under, as long as it is an OpenSource license
|
||||||
|
# as defined at http://www.opensource.org/ (e.g. BSD, X11) or under the terms
|
||||||
|
# of the GNU General Public License as published by the Free Software
|
||||||
|
# Foundation; either version 2 of the License, or (at your option) any later
|
||||||
|
# version.
|
||||||
|
# --- SDE-COPYRIGHT-NOTE-END ---
|
||||||
|
|
||||||
|
get a more decent way to specify gmp libdir and includedir
|
||||||
|
|
||||||
|
--- ppl-0.11.2/m4/ac_check_gmp.m4 2011-02-27 10:07:47.000000000 +0100
|
||||||
|
+++ ppl-1.0/m4/ac_check_gmp.m4 2012-06-28 12:50:33.000000000 +0200
|
||||||
|
@@ -1,6 +1,6 @@
|
||||||
|
dnl A function to check for the existence and usability of GMP.
|
||||||
|
dnl Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it>
|
||||||
|
-dnl Copyright (C) 2010-2011 BUGSENG srl (http://bugseng.com)
|
||||||
|
+dnl Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com)
|
||||||
|
dnl
|
||||||
|
dnl This file is part of the Parma Polyhedra Library (PPL).
|
||||||
|
dnl
|
||||||
|
@@ -19,45 +19,72 @@
|
||||||
|
dnl Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA.
|
||||||
|
dnl
|
||||||
|
dnl For the most up-to-date information see the Parma Polyhedra Library
|
||||||
|
-dnl site: http://www.cs.unipr.it/ppl/ .
|
||||||
|
+dnl site: http://bugseng.com/products/ppl/ .
|
||||||
|
|
||||||
|
AC_DEFUN([AC_CHECK_GMP],
|
||||||
|
[
|
||||||
|
-dnl Since libgmp and libgmpxx are usually installed in the same location,
|
||||||
|
-dnl let the prefixes default from each other.
|
||||||
|
-if test -n "$with_libgmpxx_prefix" && test -z "$with_libgmp_prefix"; then
|
||||||
|
- with_libgmp_prefix="$with_libgmpxx_prefix"
|
||||||
|
-else
|
||||||
|
- if test -n "$with_libgmp_prefix" && test -z "$with_libgmpxx_prefix"; then
|
||||||
|
- with_libgmpxx_prefix="$with_libgmp_prefix"
|
||||||
|
- fi
|
||||||
|
+AC_ARG_WITH(gmp,
|
||||||
|
+ AS_HELP_STRING([--with-gmp=DIR],
|
||||||
|
+ [search for libgmp/libgmpxx in DIR/include and DIR/lib]))
|
||||||
|
+
|
||||||
|
+AC_ARG_WITH(gmp-include,
|
||||||
|
+ AS_HELP_STRING([--with-gmp-include=DIR],
|
||||||
|
+ [search for libgmp/libgmpxx headers in DIR]))
|
||||||
|
+
|
||||||
|
+AC_ARG_WITH(gmp-lib,
|
||||||
|
+ AS_HELP_STRING([--with-gmp-lib=DIR],
|
||||||
|
+ [search for libgmp/libgmpxx library objects in DIR]))
|
||||||
|
+
|
||||||
|
+if test -n "$with_gmp"
|
||||||
|
+then
|
||||||
|
+ gmp_include_options="-I$with_gmp/include"
|
||||||
|
+ gmp_library_paths="$with_gmp/lib"
|
||||||
|
+ gmp_library_options="-L$gmp_library_paths"
|
||||||
|
+fi
|
||||||
|
+
|
||||||
|
+if test -n "$with_gmp_include"
|
||||||
|
+then
|
||||||
|
+ gmp_include_options="-I$with_gmp_include"
|
||||||
|
+fi
|
||||||
|
+
|
||||||
|
+if test -n "$with_gmp_lib"
|
||||||
|
+then
|
||||||
|
+ gmp_library_paths="$with_gmp_lib"
|
||||||
|
+ gmp_library_options="-L$gmp_library_paths"
|
||||||
|
fi
|
||||||
|
|
||||||
|
+gmp_libs="-lgmpxx -lgmp"
|
||||||
|
+
|
||||||
|
AC_ARG_WITH(gmp-build,
|
||||||
|
AS_HELP_STRING([--with-gmp-build=DIR],
|
||||||
|
[use a non-installed build of GMP in DIR]),
|
||||||
|
gmp_build_dir=$with_gmp_build
|
||||||
|
- if test -z "$with_libgmp_prefix"
|
||||||
|
+ if test -n "$with_gmp" \
|
||||||
|
+ || test -n "$with_gmp_include" || test -n "$with_gmp_lib"
|
||||||
|
then
|
||||||
|
- CPPFLAGS="$CPPFLAGS -I$gmp_build_dir -I$gmp_build_dir/tune"
|
||||||
|
- LDFLAGS="$LDFLAGS -L$gmp_build_dir -L$gmp_build_dir/.libs"
|
||||||
|
- LDFLAGS="$LDFLAGS -L$gmp_build_dir/tune"
|
||||||
|
+ AC_MSG_ERROR([cannot use --with-gmp-build and other --with-gmp* options together])
|
||||||
|
else
|
||||||
|
- AC_MSG_ERROR([cannot use --with-gmp-build and --with-gmp-prefix together])
|
||||||
|
+ gmp_srcdir=`echo @abs_srcdir@ | $gmp_build_dir/config.status --file=-`
|
||||||
|
+ gmp_include_options="-I$gmp_build_dir -I$gmp_build_dir/tune -I$gmp_srcdir"
|
||||||
|
+ gmp_libs="$gmp_build_dir/libgmp.la $gmp_build_dir/libgmpxx.la"
|
||||||
|
fi)
|
||||||
|
|
||||||
|
-dnl Both libgmp and libbmpxx come from the gmp package.
|
||||||
|
-AC_LIB_FROMPACKAGE([gmp], [gmp])
|
||||||
|
-AC_LIB_FROMPACKAGE([gmpxx], [gmp])
|
||||||
|
+gmp_library_options="$gmp_library_options $gmp_libs"
|
||||||
|
|
||||||
|
-dnl Check how to link with libgmp.
|
||||||
|
-AC_LIB_LINKFLAGS([gmp])
|
||||||
|
-
|
||||||
|
-dnl Check how to link with libgmpxx.
|
||||||
|
-AC_LIB_LINKFLAGS([gmpxx], [gmp])
|
||||||
|
+if test -n "$with_gmp_build"
|
||||||
|
+then
|
||||||
|
+ ac_save_CXX="$CXX"
|
||||||
|
+ CXX="libtool --mode=link --tag=CXX $CXX"
|
||||||
|
+fi
|
||||||
|
|
||||||
|
+ac_save_CPPFLAGS="$CPPFLAGS"
|
||||||
|
+CPPFLAGS="$CPPFLAGS $gmp_include_options"
|
||||||
|
ac_save_LIBS="$LIBS"
|
||||||
|
-LIBS="$LIBS $LIBGMPXX"
|
||||||
|
+LIBS="$LIBS $gmp_library_options"
|
||||||
|
+eval ac_save_shared_library_path="\$$shared_library_path_env_var"
|
||||||
|
+eval $shared_library_path_env_var=\"$gmp_library_paths:$ac_save_shared_library_path\"
|
||||||
|
+export $shared_library_path_env_var
|
||||||
|
+
|
||||||
|
AC_LANG_PUSH(C++)
|
||||||
|
|
||||||
|
AC_MSG_CHECKING([for the GMP library version 4.1.3 or above])
|
||||||
|
@@ -96,7 +123,7 @@
|
||||||
|
|
||||||
|
if (header_version != library_version) {
|
||||||
|
std::cerr
|
||||||
|
- << "GMP header (gmp.h) and library (ligmp.*) version mismatch:\n"
|
||||||
|
+ << "GMP header (gmpxx.h) and library (ligmpxx.*) version mismatch:\n"
|
||||||
|
<< "header gives " << header_version << ";\n"
|
||||||
|
<< "library gives " << library_version << "." << std::endl;
|
||||||
|
return 1;
|
||||||
|
@@ -105,7 +132,7 @@
|
||||||
|
if (sizeof(mp_limb_t)*CHAR_BIT != BITS_PER_MP_LIMB
|
||||||
|
|| BITS_PER_MP_LIMB != mp_bits_per_limb) {
|
||||||
|
std::cerr
|
||||||
|
- << "GMP header (gmp.h) and library (ligmp.*) bits-per-limb mismatch:\n"
|
||||||
|
+ << "GMP header (gmpxx.h) and library (ligmpxx.*) bits-per-limb mismatch:\n"
|
||||||
|
<< "header gives " << BITS_PER_MP_LIMB << ";\n"
|
||||||
|
<< "library gives " << mp_bits_per_limb << ".\n"
|
||||||
|
<< "This probably means you are on a bi-arch system and\n"
|
||||||
|
@@ -197,8 +224,12 @@
|
||||||
|
fi
|
||||||
|
|
||||||
|
AC_LANG_POP(C++)
|
||||||
|
+eval $shared_library_path_env_var=\"$ac_save_shared_library_path\"
|
||||||
|
LIBS="$ac_save_LIBS"
|
||||||
|
+CPPFLAGS="$ac_save_CPPFLAGS"
|
||||||
|
|
||||||
|
-dnl We use libtool, therefore we take $LTLIBGMPXX, not $LIBGMPXX.
|
||||||
|
-gmp_library_option="$LTLIBGMPXX"
|
||||||
|
+if test -n "$with_gmp_build"
|
||||||
|
+then
|
||||||
|
+ CXX="$ac_save_CXX"
|
||||||
|
+fi
|
||||||
|
])
|
||||||
|
--- ppl-0.11.2/m4/lib-prefix.m4.orig 2012-08-07 16:08:22.686543774 +0200
|
||||||
|
+++ ppl-0.11.2/m4/lib-prefix.m4 2012-08-07 16:09:39.651742841 +0200
|
||||||
|
@@ -199,7 +199,7 @@
|
||||||
|
fi
|
||||||
|
;;
|
||||||
|
*)
|
||||||
|
- searchpath=`(LC_ALL=C $CC -print-search-dirs) 2>/dev/null | sed -n -e 's,^libraries: ,,p' | sed -e 's,^=,,'`
|
||||||
|
+ # searchpath=`(LC_ALL=C $CC -print-search-dirs) 2>/dev/null | sed -n -e 's,^libraries: ,,p' | sed -e 's,^=,,'`
|
||||||
|
if test -n "$searchpath"; then
|
||||||
|
acl_save_IFS="${IFS= }"; IFS=":"
|
||||||
|
for searchdir in $searchpath; do
|
||||||
|
--- ppl-0.11.2/configure.ac.orig 2012-08-07 14:44:02.350070691 +0200
|
||||||
|
+++ ppl-0.11.2/configure.ac 2012-08-07 14:45:50.050986072 +0200
|
||||||
|
@@ -777,8 +777,8 @@
|
||||||
|
*** Please report this to ppl-devel@cs.unipr.it.])
|
||||||
|
fi
|
||||||
|
|
||||||
|
-extra_includes="${extra_includes}${extra_includes:+ }${gmp_includes_option}"
|
||||||
|
-extra_libraries="${extra_libraries}${extra_libraries:+ }${gmp_library_option}"
|
||||||
|
+extra_includes="${extra_includes}${extra_includes:+ }${gmp_includes_options}"
|
||||||
|
+extra_libraries="${extra_libraries}${extra_libraries:+ }${gmp_library_options}"
|
||||||
|
|
||||||
|
enableval=yes
|
||||||
|
AC_MSG_CHECKING([whether to build the Parma Watchdog Library])
|
||||||
|
@@ -1291,7 +1291,7 @@
|
||||||
|
required_instantiations=`echo "${enableval}" | sed -e 's/[[ ]][[ ]]*/ /g' -e 's/[[ ]]*\([[@<>,]]\)/\1/g' -e 's/\([[@<>,]]\)[[ ]]*/\1/g' -e 's/>>/> >/g' -e 's/^[[ ]]//g' -e 's/[[ ]]$//g'`
|
||||||
|
# Check the specified instantiations for validity.
|
||||||
|
ac_save_CPPFLAGS="$CPPFLAGS"
|
||||||
|
- CPPFLAGS="$CPPFLAGS -I${srcdir}"
|
||||||
|
+ CPPFLAGS="$CPPFLAGS -I${srcdir} ${gmp_include_options}"
|
||||||
|
old_IFS="${IFS}"
|
||||||
|
IFS=@
|
||||||
|
set -- ${required_instantiations}
|
||||||
Loading…
Reference in new issue