February 2016 - PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(master): Updated.
by Roberto Bagnara 10 Feb '16

10 Feb '16

Module: ppl/ppl Branch: master Commit: 60e4eab0b57ea0a0ea87832774003da66734b0c2 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=60e4eab0b57e… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Wed Feb 10 21:17:11 2016 +0100 Updated. --- config.guess | 31 ++++++++++++++++++++++--------- config.sub | 27 +++++++++++++++------------ 2 files changed, 37 insertions(+), 21 deletions(-) diff --git a/config.guess b/config.guess index f7eb141..3d2c450 100755 --- a/config.guess +++ b/config.guess @@ -1,8 +1,8 @@ #! /bin/sh # Attempt to guess a canonical system name. -# Copyright 1992-2015 Free Software Foundation, Inc. +# Copyright 1992-2016 Free Software Foundation, Inc. -timestamp='2015-03-04' +timestamp='2016-01-01' # This file is free software; you can redistribute it and/or modify it # under the terms of the GNU General Public License as published by @@ -27,7 +27,7 @@ timestamp='2015-03-04' # Originally written by Per Bothner; maintained since 2000 by Ben Elliston. # # You can get the latest version of this script from: -# http://git.savannah.gnu.org/gitweb/?p=config.git;a=blob_plain;f=config.gues… +# http://git.savannah.gnu.org/gitweb/?p=config.git;a=blob_plain;f=config.guess # # Please send patches to <config-patches(a)gnu.org>. @@ -50,7 +50,7 @@ version="\ GNU config.guess ($timestamp) Originally written by Per Bothner. -Copyright 1992-2015 Free Software Foundation, Inc. +Copyright 1992-2016 Free Software Foundation, Inc. This is free software; see the source for copying conditions. There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE." @@ -221,7 +221,7 @@ case "${UNAME_MACHINE}:${UNAME_SYSTEM}:${UNAME_RELEASE}:${UNAME_VERSION}" in release='-gnu' ;; *) - release=`echo ${UNAME_RELEASE}|sed -e 's/[-_].*/\./'` + release=`echo ${UNAME_RELEASE} | sed -e 's/[-_].*//' | cut -d. -f1,2` ;; esac # Since CPU_TYPE-MANUFACTURER-KERNEL-OPERATING_SYSTEM: @@ -237,6 +237,10 @@ case "${UNAME_MACHINE}:${UNAME_SYSTEM}:${UNAME_RELEASE}:${UNAME_VERSION}" in UNAME_MACHINE_ARCH=`arch | sed 's/OpenBSD.//'` echo ${UNAME_MACHINE_ARCH}-unknown-openbsd${UNAME_RELEASE} exit ;; + *:LibertyBSD:*:*) + UNAME_MACHINE_ARCH=`arch | sed 's/LibertyBSD.//'` + echo ${UNAME_MACHINE_ARCH}-unknown-libertybsd${UNAME_RELEASE} + exit ;; *:ekkoBSD:*:*) echo ${UNAME_MACHINE}-unknown-ekkobsd${UNAME_RELEASE} exit ;; @@ -249,6 +253,9 @@ case "${UNAME_MACHINE}:${UNAME_SYSTEM}:${UNAME_RELEASE}:${UNAME_VERSION}" in *:MirBSD:*:*) echo ${UNAME_MACHINE}-unknown-mirbsd${UNAME_RELEASE} exit ;; + *:Sortix:*:*) + echo ${UNAME_MACHINE}-unknown-sortix + exit ;; alpha:OSF1:*:*) case $UNAME_RELEASE in *4.0) @@ -962,6 +969,9 @@ EOF ia64:Linux:*:*) echo ${UNAME_MACHINE}-unknown-linux-${LIBC} exit ;; + k1om:Linux:*:*) + echo ${UNAME_MACHINE}-unknown-linux-${LIBC} + exit ;; m32r*:Linux:*:*) echo ${UNAME_MACHINE}-unknown-linux-${LIBC} exit ;; @@ -1038,7 +1048,7 @@ EOF echo ${UNAME_MACHINE}-dec-linux-${LIBC} exit ;; x86_64:Linux:*:*) - echo ${UNAME_MACHINE}-unknown-linux-${LIBC} + echo ${UNAME_MACHINE}-pc-linux-${LIBC} exit ;; xtensa*:Linux:*:*) echo ${UNAME_MACHINE}-unknown-linux-${LIBC} @@ -1117,7 +1127,7 @@ EOF # uname -m prints for DJGPP always 'pc', but it prints nothing about # the processor, so we play safe by assuming i586. # Note: whatever this is, it MUST be the same as what config.sub - # prints for the "djgpp" host, or else GDB configury will decide that + # prints for the "djgpp" host, or else GDB configure will decide that # this is a cross-build. echo i586-pc-msdosdjgpp exit ;; @@ -1387,6 +1397,9 @@ EOF x86_64:VMkernel:*:*) echo ${UNAME_MACHINE}-unknown-esx exit ;; + amd64:Isilon\ OneFS:*:*) + echo x86_64-unknown-onefs + exit ;; esac cat >&2 <<EOF @@ -1396,9 +1409,9 @@ This script, last modified $timestamp, has failed to recognize the operating system you are using. It is advised that you download the most up to date version of the config scripts from - http://git.savannah.gnu.org/gitweb/?p=config.git;a=blob_plain;f=config.gues… + http://git.savannah.gnu.org/gitweb/?p=config.git;a=blob_plain;f=config.guess and - http://git.savannah.gnu.org/gitweb/?p=config.git;a=blob_plain;f=config.sub;… + http://git.savannah.gnu.org/gitweb/?p=config.git;a=blob_plain;f=config.sub If the version you run ($0) is already up to date, please send the following data and any information you think might be diff --git a/config.sub b/config.sub index 8f1229c..6223dde 100755 --- a/config.sub +++ b/config.sub @@ -1,8 +1,8 @@ #! /bin/sh # Configuration validation subroutine script. -# Copyright 1992-2015 Free Software Foundation, Inc. +# Copyright 1992-2016 Free Software Foundation, Inc. -timestamp='2015-03-08' +timestamp='2016-01-01' # This file is free software; you can redistribute it and/or modify it # under the terms of the GNU General Public License as published by @@ -33,7 +33,7 @@ timestamp='2015-03-08' # Otherwise, we print the canonical config type on stdout and succeed. # You can get the latest version of this script from: -# http://git.savannah.gnu.org/gitweb/?p=config.git;a=blob_plain;f=config.sub;… +# http://git.savannah.gnu.org/gitweb/?p=config.git;a=blob_plain;f=config.sub # This file is supposed to be the same for all GNU packages # and recognize all the CPU types, system types and aliases @@ -53,8 +53,7 @@ timestamp='2015-03-08' me=`echo "$0" | sed -e 's,.*/,,'` usage="\ -Usage: $0 [OPTION] CPU-MFR-OPSYS - $0 [OPTION] ALIAS +Usage: $0 [OPTION] CPU-MFR-OPSYS or ALIAS Canonicalize a configuration name. @@ -68,7 +67,7 @@ Report bugs and patches to <config-patches(a)gnu.org>." version="\ GNU config.sub ($timestamp) -Copyright 1992-2015 Free Software Foundation, Inc. +Copyright 1992-2016 Free Software Foundation, Inc. This is free software; see the source for copying conditions. There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE." @@ -255,6 +254,7 @@ case $basic_machine in | arc | arceb \ | arm | arm[bl]e | arme[lb] | armv[2-8] | armv[3-8][lb] | armv7[arm] \ | avr | avr32 \ + | ba \ | be32 | be64 \ | bfin \ | c4x | c8051 | clipper \ @@ -305,7 +305,7 @@ case $basic_machine in | riscv32 | riscv64 \ | rl78 | rx \ | score \ - | sh | sh[1234] | sh[24]a | sh[24]aeb | sh[23]e | sh[34]eb | sheb | shbe | shle | sh[1234]le | sh3ele \ + | sh | sh[1234] | sh[24]a | sh[24]aeb | sh[23]e | sh[234]eb | sheb | shbe | shle | sh[1234]le | sh3ele \ | sh64 | sh64le \ | sparc | sparc64 | sparc64b | sparc64v | sparc86x | sparclet | sparclite \ | sparcv8 | sparcv9 | sparcv9b | sparcv9v \ @@ -376,6 +376,7 @@ case $basic_machine in | alphapca5[67]-* | alpha64pca5[67]-* | arc-* | arceb-* \ | arm-* | armbe-* | armle-* | armeb-* | armv*-* \ | avr-* | avr32-* \ + | ba-* \ | be32-* | be64-* \ | bfin-* | bs2000-* \ | c[123]* | c30-* | [cjt]90-* | c4x-* \ @@ -428,12 +429,13 @@ case $basic_machine in | pdp10-* | pdp11-* | pj-* | pjl-* | pn-* | power-* \ | powerpc-* | powerpc64-* | powerpc64le-* | powerpcle-* \ | pyramid-* \ + | riscv32-* | riscv64-* \ | rl78-* | romp-* | rs6000-* | rx-* \ | sh-* | sh[1234]-* | sh[24]a-* | sh[24]aeb-* | sh[23]e-* | sh[34]eb-* | sheb-* | shbe-* \ | shle-* | sh[1234]le-* | sh3ele-* | sh64-* | sh64le-* \ | sparc-* | sparc64-* | sparc64b-* | sparc64v-* | sparc86x-* | sparclet-* \ | sparclite-* \ - | sparcv8-* | sparcv9-* | sparcv9b-* | sparcv9v-* | sv1-* | sx?-* \ + | sparcv8-* | sparcv9-* | sparcv9b-* | sparcv9v-* | sv1-* | sx*-* \ | tahoe-* \ | tic30-* | tic4x-* | tic54x-* | tic55x-* | tic6x-* | tic80-* \ | tile*-* \ @@ -518,7 +520,7 @@ case $basic_machine in basic_machine=i386-pc os=-aros ;; - asmjs) + asmjs) basic_machine=asmjs-unknown ;; aux) @@ -1376,11 +1378,11 @@ case $os in | -hpux* | -unos* | -osf* | -luna* | -dgux* | -auroraux* | -solaris* \ | -sym* | -kopensolaris* | -plan9* \ | -amigaos* | -amigados* | -msdos* | -newsos* | -unicos* | -aof* \ - | -aos* | -aros* | -cloudabi* \ + | -aos* | -aros* | -cloudabi* | -sortix* \ | -nindy* | -vxsim* | -vxworks* | -ebmon* | -hms* | -mvs* \ | -clix* | -riscos* | -uniplus* | -iris* | -rtu* | -xenix* \ | -hiux* | -386bsd* | -knetbsd* | -mirbsd* | -netbsd* \ - | -bitrig* | -openbsd* | -solidbsd* \ + | -bitrig* | -openbsd* | -solidbsd* | -libertybsd* \ | -ekkobsd* | -kfreebsd* | -freebsd* | -riscix* | -lynxos* \ | -bosx* | -nextstep* | -cxux* | -aout* | -elf* | -oabi* \ | -ptx* | -coff* | -ecoff* | -winnt* | -domain* | -vsta* \ @@ -1396,7 +1398,8 @@ case $os in | -os2* | -vos* | -palmos* | -uclinux* | -nucleus* \ | -morphos* | -superux* | -rtmk* | -rtmk-nova* | -windiss* \ | -powermax* | -dnix* | -nx6 | -nx7 | -sei* | -dragonfly* \ - | -skyos* | -haiku* | -rdos* | -toppers* | -drops* | -es* | -tirtos*) + | -skyos* | -haiku* | -rdos* | -toppers* | -drops* | -es* \ + | -onefs* | -tirtos*) # Remember, each alternative MUST END IN *, to match a version number. ;; -qnx*)

1 0

[GIT] ppl/ppl(master): Version number bumped.
by Roberto Bagnara 10 Feb '16

10 Feb '16

Module: ppl/ppl Branch: master Commit: 037cb8aab52c03c16793f56131088a62ad9f8eb3 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=037cb8aab52c… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Wed Feb 10 21:12:38 2016 +0100 Version number bumped. --- configure.ac | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/configure.ac b/configure.ac index 576f378..dd9361a 100644 --- a/configure.ac +++ b/configure.ac @@ -24,7 +24,7 @@ # Process this file with Autoconf to produce a configure script. # Every other copy of the package version number gets its value from here. -AC_INIT([the Parma Polyhedra Library], [1.2pre6], [ppl-devel(a)cs.unipr.it], [ppl]) +AC_INIT([the Parma Polyhedra Library], [1.2pre7], [ppl-devel(a)cs.unipr.it], [ppl]) # Minimum Autoconf version required. AC_PREREQ(2.61)

1 0

[GIT] ppl/ppl(master): Merge branch 'master' into devel.
by Roberto Bagnara 10 Feb '16

10 Feb '16

Module: ppl/ppl Branch: master Commit: 73e389a07b894ba9404083af4c63060b23b40cb6 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=73e389a07b89… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Wed Feb 10 21:10:26 2016 +0100 Merge branch 'master' into devel. ---

1 0

[GIT] ppl/ppl(master): Mentioned the improvement in the polyhedra conversion algorithm.
by Enea Zaffanella 10 Feb '16

10 Feb '16

Module: ppl/ppl Branch: master Commit: e1d8ae6dff428bd849b8fe3b0adc7d40e9e0891f URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e1d8ae6dff42… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Feb 10 09:49:57 2016 +0100 Mentioned the improvement in the polyhedra conversion algorithm. --- NEWS | 5 ++++- 1 files changed, 4 insertions(+), 1 deletions(-) diff --git a/NEWS b/NEWS index bee0c90..49ff56f 100644 --- a/NEWS +++ b/NEWS @@ -15,8 +15,11 @@ NEWS for version 1.2 (released date to be decided) New and Changed Features ======================== -o TO BE WRITTEN +o Improved the efficiency of the conversion procedure for polyhedra + by adding a quick adjacency check. +o In the Java language interface, throw an exception when trying + to build a disequality Constraint. Bugfixes

1 0

[GIT] ppl/ppl(master): Be more consistent in the usage of PPL_DIRTY_TEMP macros.
by Enea Zaffanella 10 Feb '16

10 Feb '16

Module: ppl/ppl Branch: master Commit: 6b995ed0383990716171272238c550a02889fc13 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6b995ed03839… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Feb 10 09:47:40 2016 +0100 Be more consistent in the usage of PPL_DIRTY_TEMP macros. Got rid of a couple of FIXME's. --- src/BD_Shape_templates.hh | 8 ++-- src/Box_defs.hh | 3 +- src/Box_templates.hh | 70 +++++++++++++++++++------------------- src/Octagonal_Shape_templates.hh | 8 ++-- src/Polyhedron_nonpublic.cc | 11 +----- src/Polyhedron_public.cc | 11 +----- src/Polyhedron_templates.hh | 4 +- 7 files changed, 51 insertions(+), 64 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=6b995ed0…

1 0

[GIT] ppl/ppl(devel): Merge branch 'master' into devel.
by Roberto Bagnara 10 Feb '16

10 Feb '16

Module: ppl/ppl Branch: devel Commit: 73e389a07b894ba9404083af4c63060b23b40cb6 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=73e389a07b89… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Wed Feb 10 21:10:26 2016 +0100 Merge branch 'master' into devel. ---

1 0

[GIT] ppl/ppl(devel): Avoid overriding LD_LIBRARY_PATH; use libtool instead .
by Roberto Bagnara 10 Feb '16

10 Feb '16

Module: ppl/ppl Branch: devel Commit: 11f5d7fc82d6f92d135506f02e0ddc5536cbabb0 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=11f5d7fc82d6… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Fri Feb 5 17:11:25 2016 +0100 Avoid overriding LD_LIBRARY_PATH; use libtool instead. --- configure.ac | 17 +++++++++++------ m4/Makefile.am | 1 + m4/ac_check_gmp.m4 | 4 ---- m4/ac_use_libtool.m4 | 27 +++++++++++++++++++++++++++ 4 files changed, 39 insertions(+), 10 deletions(-) diff --git a/configure.ac b/configure.ac index 23f227b..576f378 100644 --- a/configure.ac +++ b/configure.ac @@ -851,6 +851,17 @@ AC_CHECK_TYPES([int_fast16_t,int_fast32_t,int_fast64_t,uint_fast16_t,uint_fast32 AC_TYPE_UINTPTR_T +# Libtool. +LT_PREREQ([1.5.24]) +LT_INIT([dlopen,win32-dll]) +AM_CONDITIONAL(ENABLE_SHARED, test x"$enable_shared" = xyes) +AM_CONDITIONAL(ENABLE_STATIC, test x"$enable_static" = xyes) + + +# Make sure libtool is used for linking. +AC_USE_LIBTOOL + + # Checks on the GMP library. AC_CHECK_GMP @@ -1490,12 +1501,6 @@ quick) esac AM_CONDITIONAL(THOROUGH_MAKE_CHECK, test x"$enableval" = xthorough) -# Libtool. -LT_PREREQ([1.5.24]) -LT_INIT([dlopen,win32-dll]) -AM_CONDITIONAL(ENABLE_SHARED, test x"$enable_shared" = xyes) -AM_CONDITIONAL(ENABLE_STATIC, test x"$enable_static" = xyes) - # Checks for md5sum. AC_CHECK_PROG(MD5SUM, md5sum, md5sum) AM_CONDITIONAL(HAVE_MD5SUM, test x$MD5SUM = xmd5sum) diff --git a/m4/Makefile.am b/m4/Makefile.am index 2c955b0..ac17ea7 100644 --- a/m4/Makefile.am +++ b/m4/Makefile.am @@ -50,6 +50,7 @@ ac_prog_java.m4 \ ac_prog_javac.m4 \ ac_prog_javah.m4 \ ac_text_md5sum.m4 \ +ac_use_libtool.m4 \ libtool.m4 \ ltoptions.m4 \ ltsugar.m4 \ diff --git a/m4/ac_check_gmp.m4 b/m4/ac_check_gmp.m4 index 7e5e005..a424532 100644 --- a/m4/ac_check_gmp.m4 +++ b/m4/ac_check_gmp.m4 @@ -81,9 +81,6 @@ ac_save_CPPFLAGS="$CPPFLAGS" CPPFLAGS="$CPPFLAGS $gmp_include_options" ac_save_LIBS="$LIBS" 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++) @@ -224,7 +221,6 @@ AC_DEFINE_UNQUOTED(PPL_GMP_SUPPORTS_EXCEPTIONS, $value, fi AC_LANG_POP(C++) -eval $shared_library_path_env_var=\"$ac_save_shared_library_path\" LIBS="$ac_save_LIBS" CPPFLAGS="$ac_save_CPPFLAGS" diff --git a/m4/ac_use_libtool.m4 b/m4/ac_use_libtool.m4 new file mode 100644 index 0000000..bc13e24 --- /dev/null +++ b/m4/ac_use_libtool.m4 @@ -0,0 +1,27 @@ +# Public macros for the TeX Live (TL) tree. +# Copyright (C) 1995-2009 Karl Berry <tex-live(a)tug.org> +# Copyright (C) 2009-2012 Peter Breitenlohner <tex-live(a)tug.org> +# +# This file is free software; the copyright holders +# give unlimited permission to copy and/or distribute it, +# with or without modifications, as long as this notice is preserved. + + +# Use libtool for linking. This allows testing properties of libraries +# that can be either (1) uninstalled libtool libraries already built +# when this configure runs, or (2) installed libraries -- libtool or not. + +AC_DEFUN([AC_USE_LIBTOOL], +[## $0: Generate a libtool script for use in configure tests +AC_PROVIDE_IFELSE([LT_INIT], , + [m4_fatal([$0: requires libtool])])[]dnl +LT_OUTPUT +m4_append([AC_LANG(C)], +[ac_link="./libtool --mode=link --tag=CC $ac_link" +])[]dnl +AC_PROVIDE_IFELSE([AC_PROG_CXX], +[m4_append([AC_LANG(C++)], +[ac_link="./libtool --mode=link --tag=CXX $ac_link" +])])[]dnl +AC_LANG(_AC_LANG)[]dnl +]) # AC_USE_LIBTOOL

1 0

[GIT] ppl/ppl(devel): Mentioned the improvement in the polyhedra conversion algorithm.
by Enea Zaffanella 10 Feb '16

10 Feb '16

Module: ppl/ppl Branch: devel Commit: e1d8ae6dff428bd849b8fe3b0adc7d40e9e0891f URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e1d8ae6dff42… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Feb 10 09:49:57 2016 +0100 Mentioned the improvement in the polyhedra conversion algorithm. --- NEWS | 5 ++++- 1 files changed, 4 insertions(+), 1 deletions(-) diff --git a/NEWS b/NEWS index bee0c90..49ff56f 100644 --- a/NEWS +++ b/NEWS @@ -15,8 +15,11 @@ NEWS for version 1.2 (released date to be decided) New and Changed Features ======================== -o TO BE WRITTEN +o Improved the efficiency of the conversion procedure for polyhedra + by adding a quick adjacency check. +o In the Java language interface, throw an exception when trying + to build a disequality Constraint. Bugfixes

1 0

[GIT] ppl/ppl(devel): Be more consistent in the usage of PPL_DIRTY_TEMP macros.
by Enea Zaffanella 10 Feb '16

10 Feb '16

Module: ppl/ppl Branch: devel Commit: 6b995ed0383990716171272238c550a02889fc13 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6b995ed03839… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Feb 10 09:47:40 2016 +0100 Be more consistent in the usage of PPL_DIRTY_TEMP macros. Got rid of a couple of FIXME's. --- src/BD_Shape_templates.hh | 8 ++-- src/Box_defs.hh | 3 +- src/Box_templates.hh | 70 +++++++++++++++++++------------------- src/Octagonal_Shape_templates.hh | 8 ++-- src/Polyhedron_nonpublic.cc | 11 +----- src/Polyhedron_public.cc | 11 +----- src/Polyhedron_templates.hh | 4 +- 7 files changed, 51 insertions(+), 64 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=6b995ed0…

1 0

[GIT] ppl/ppl(master): Avoid overriding LD_LIBRARY_PATH; use libtool instead.
by Roberto Bagnara 05 Feb '16

05 Feb '16

Module: ppl/ppl Branch: master Commit: 11f5d7fc82d6f92d135506f02e0ddc5536cbabb0 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=11f5d7fc82d6… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Fri Feb 5 17:11:25 2016 +0100 Avoid overriding LD_LIBRARY_PATH; use libtool instead. --- configure.ac | 17 +++++++++++------ m4/Makefile.am | 1 + m4/ac_check_gmp.m4 | 4 ---- m4/ac_use_libtool.m4 | 27 +++++++++++++++++++++++++++ 4 files changed, 39 insertions(+), 10 deletions(-) diff --git a/configure.ac b/configure.ac index 23f227b..576f378 100644 --- a/configure.ac +++ b/configure.ac @@ -851,6 +851,17 @@ AC_CHECK_TYPES([int_fast16_t,int_fast32_t,int_fast64_t,uint_fast16_t,uint_fast32 AC_TYPE_UINTPTR_T +# Libtool. +LT_PREREQ([1.5.24]) +LT_INIT([dlopen,win32-dll]) +AM_CONDITIONAL(ENABLE_SHARED, test x"$enable_shared" = xyes) +AM_CONDITIONAL(ENABLE_STATIC, test x"$enable_static" = xyes) + + +# Make sure libtool is used for linking. +AC_USE_LIBTOOL + + # Checks on the GMP library. AC_CHECK_GMP @@ -1490,12 +1501,6 @@ quick) esac AM_CONDITIONAL(THOROUGH_MAKE_CHECK, test x"$enableval" = xthorough) -# Libtool. -LT_PREREQ([1.5.24]) -LT_INIT([dlopen,win32-dll]) -AM_CONDITIONAL(ENABLE_SHARED, test x"$enable_shared" = xyes) -AM_CONDITIONAL(ENABLE_STATIC, test x"$enable_static" = xyes) - # Checks for md5sum. AC_CHECK_PROG(MD5SUM, md5sum, md5sum) AM_CONDITIONAL(HAVE_MD5SUM, test x$MD5SUM = xmd5sum) diff --git a/m4/Makefile.am b/m4/Makefile.am index 2c955b0..ac17ea7 100644 --- a/m4/Makefile.am +++ b/m4/Makefile.am @@ -50,6 +50,7 @@ ac_prog_java.m4 \ ac_prog_javac.m4 \ ac_prog_javah.m4 \ ac_text_md5sum.m4 \ +ac_use_libtool.m4 \ libtool.m4 \ ltoptions.m4 \ ltsugar.m4 \ diff --git a/m4/ac_check_gmp.m4 b/m4/ac_check_gmp.m4 index 7e5e005..a424532 100644 --- a/m4/ac_check_gmp.m4 +++ b/m4/ac_check_gmp.m4 @@ -81,9 +81,6 @@ ac_save_CPPFLAGS="$CPPFLAGS" CPPFLAGS="$CPPFLAGS $gmp_include_options" ac_save_LIBS="$LIBS" 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++) @@ -224,7 +221,6 @@ AC_DEFINE_UNQUOTED(PPL_GMP_SUPPORTS_EXCEPTIONS, $value, fi AC_LANG_POP(C++) -eval $shared_library_path_env_var=\"$ac_save_shared_library_path\" LIBS="$ac_save_LIBS" CPPFLAGS="$ac_save_CPPFLAGS" diff --git a/m4/ac_use_libtool.m4 b/m4/ac_use_libtool.m4 new file mode 100644 index 0000000..bc13e24 --- /dev/null +++ b/m4/ac_use_libtool.m4 @@ -0,0 +1,27 @@ +# Public macros for the TeX Live (TL) tree. +# Copyright (C) 1995-2009 Karl Berry <tex-live(a)tug.org> +# Copyright (C) 2009-2012 Peter Breitenlohner <tex-live(a)tug.org> +# +# This file is free software; the copyright holders +# give unlimited permission to copy and/or distribute it, +# with or without modifications, as long as this notice is preserved. + + +# Use libtool for linking. This allows testing properties of libraries +# that can be either (1) uninstalled libtool libraries already built +# when this configure runs, or (2) installed libraries -- libtool or not. + +AC_DEFUN([AC_USE_LIBTOOL], +[## $0: Generate a libtool script for use in configure tests +AC_PROVIDE_IFELSE([LT_INIT], , + [m4_fatal([$0: requires libtool])])[]dnl +LT_OUTPUT +m4_append([AC_LANG(C)], +[ac_link="./libtool --mode=link --tag=CC $ac_link" +])[]dnl +AC_PROVIDE_IFELSE([AC_PROG_CXX], +[m4_append([AC_LANG(C++)], +[ac_link="./libtool --mode=link --tag=CXX $ac_link" +])])[]dnl +AC_LANG(_AC_LANG)[]dnl +]) # AC_USE_LIBTOOL

1 0