PPL-devel
Threads by month
- ----- 2025 -----
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2024 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2023 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2022 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2021 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2020 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2019 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2018 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2017 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2016 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2015 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2014 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2013 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2012 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2011 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2010 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2009 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2008 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2007 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2006 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2005 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2004 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2003 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2002 -----
- December
- November
- October
- September
- August
- July
- June
- May
- April
- March
- February
- January
- ----- 2001 -----
- December
- November
- October
- September
- August
- July
- June
- 17661 discussions
Module: ppl/ppl
Branch: master
Commit: 794459a3b6a2cb42f9a8a8817be449700805b2b8
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=794459a3b6a2…
Author: Roberto Bagnara <bagnara(a)cs.unipr.it>
Date: Fri May 18 13:41:02 2012 +0200
Links fixed.
---
CREDITS | 4 ++--
1 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/CREDITS b/CREDITS
index 12fe199..1e735b2 100644
--- a/CREDITS
+++ b/CREDITS
@@ -388,8 +388,8 @@ projects and organizations:
[19] http://www.haible.de/bruno/
[20] http://www.irisa.fr/prive/Bertrand.Jeannet/
[21] http://www.irisa.fr/prive/Bertrand.Jeannet/newpolka.html
-[22] http://bugseng.com/products/ppl/Documentation/chernikova.c
-[23] http://bugseng.com/products/ppl/Documentation/bibliography#LeVerge92
+[22] http://bugseng.com/products/ppl/documentation/chernikova.c
+[23] http://bugseng.com/products/ppl/documentation/bibliography#LeVerge92
[24] http://research.microsoft.com/~logozzo/
[25] http://homepages.inf.ed.ac.uk/kwxm/
[26] http://www.math.unipr.it/~medori/
1
0
[GIT] ppl/ppl(master): Mention a recently fixed bug in the PIP solver.
by Enea Zaffanella 18 May '12
by Enea Zaffanella 18 May '12
18 May '12
Module: ppl/ppl
Branch: master
Commit: 597ea89c8c669695cf02ecabb842721b2febff53
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=597ea89c8c66…
Author: Enea Zaffanella <zaffanella(a)cs.unipr.it>
Date: Fri May 18 09:08:02 2012 +0200
Mention a recently fixed bug in the PIP solver.
---
NEWS | 23 +++++++++++++++++++++++
1 files changed, 23 insertions(+), 0 deletions(-)
diff --git a/NEWS b/NEWS
index ff1c636..8c2be8d 100644
--- a/NEWS
+++ b/NEWS
@@ -8,6 +8,29 @@ in any medium, provided this notice is preserved.
Parma Polyhedra Library NEWS -- history of user-visible changes
===============================================================
+--------------------------------------------------------------------------
+NEWS for version 0.13 (release date TBD)
+--------------------------------------------------------------------------
+
+New and Changed Features
+========================
+
+o Added a generic interface for sequences of coefficients enabling a
+ seamless switch between the dense or the sparse row representation.
+ The implementation of many library entities (linear expressions,
+ constraints, generators, congruences, and their systems) can now be
+ tailored to the specific usage context, sometimes leading to significant
+ memory space savings (e.g., for constraint systems describing weakly
+ relational abstractions such as boxes and octagonal shapes).
+
+
+Bugfixes
+========
+
+o Fixed a bug affecting the PIP solver whereby a wrong result could have
+ been obtained if the input constraint system contained multiple linear
+ equality constraints.
+
--------------------------------------------------------------------------
NEWS for version 0.12.1 (released on April 16, 2012)
1
0
[GIT] ppl/ppl(master): Properly match #endif's directives using comments.
by Enea Zaffanella 18 May '12
by Enea Zaffanella 18 May '12
18 May '12
Module: ppl/ppl
Branch: master
Commit: 300c3a4bea8c72fdd218dba212553ae74779c116
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=300c3a4bea8c…
Author: Enea Zaffanella <zaffanella(a)cs.unipr.it>
Date: Fri May 18 09:03:50 2012 +0200
Properly match #endif's directives using comments.
---
tests/ppl_test.hh | 6 +++---
1 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/tests/ppl_test.hh b/tests/ppl_test.hh
index b91361c..1eacfa6 100644
--- a/tests/ppl_test.hh
+++ b/tests/ppl_test.hh
@@ -371,7 +371,7 @@ check_noisy(const char*
return true;
#endif
return false;
-#endif
+#endif // !PPL_HAVE_DECL_GETENV
}
template<typename CharT, typename Traits = std::char_traits<CharT> >
@@ -493,8 +493,8 @@ typedef BD_Shape<ANALYZER_FP_FORMAT> FP_BD_Shape;
floating point computations.
*/
typedef Octagonal_Shape<ANALYZER_FP_FORMAT> FP_Octagonal_Shape;
-#endif
-#endif
+#endif // ANALYZED_FP_FORMAT
+#endif // ANALYZER_FP_FORMAT
template <typename Shape>
inline bool
1
0
When building ppl-0.12.1 on OS X,
tests failed: test04 test05
FAIL: polyhedron1
tests failed: test04 test05
FAIL: polyhedron2
======================================
2 of 10 tests failed
Please report to ppl-devel(a)cs.unipr.it
======================================
make[5]: *** [check-TESTS] Error 1
make[4]: *** [check-am] Error 2
make[3]: *** [run_tests.stamp] Error 1
make[2]: *** [check-am] Error 2
make[1]: *** [check-recursive] Error 1
make: *** [check-recursive] Error 1
3
4
-------- Original Message --------
Subject: Re: [PPL-devel] Need your help on building ppl~
Date: Sun, 6 May 2012 14:09:49 +0800
From: Xikui Wang <idleft(a)gmail.com>
To: Roberto Bagnara <bagnara(a)cs.unipr.it>
Hi Roberto:
The newer version did solved my problem~ Thank you very much!
Xikui
2012/5/5 Roberto Bagnara <bagnara(a)cs.unipr.it <mailto:bagnara@cs.unipr.it>>
On 05/05/12 05:03, Xikui Wang wrote:
Hi guys:
I met a problem when building ppl, and I can't figure out why this happened. After a rough search on google and review on documentation,
I still can't find a solution. So, could someone help me with this? Thanks a lot~
Hi Xikui,
can you please try the PPL 0.12.2 snapshot available
at
http://bugseng.com/products/__ppl/download/ftp/snapshots/ <http://bugseng.com/products/ppl/download/ftp/snapshots/>
Please let us know if that solves the problem you
discovered.
Thanks,
Roberto
--
Prof. Roberto Bagnara
Applied Formal Methods Laboratory
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~__bagnara/ <http://www.cs.unipr.it/~bagnara/>
mailto:bagnara@cs.unipr.it <mailto:bagnara@cs.unipr.it>
1
0
Module: ppl/ppl
Branch: ppl-0_12-branch
Commit: 6c885858519880d09b1649c17bd6024d642cc05d
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6c8858585198…
Author: Roberto Bagnara <bagnara(a)cs.unipr.it>
Date: Sat May 5 16:02:16 2012 +0200
Version number bumped.
---
configure.ac | 2 +-
1 files changed, 1 insertions(+), 1 deletions(-)
diff --git a/configure.ac b/configure.ac
index a19ca2f..3d150eb 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], [0.12.2pre1], [ppl-devel(a)cs.unipr.it], [ppl])
+AC_INIT([the Parma Polyhedra Library], [0.12.2pre2], [ppl-devel(a)cs.unipr.it], [ppl])
# Minimum Autoconf version required.
AC_PREREQ(2.61)
1
0
[GIT] ppl/ppl(ppl-0_12-branch): Avoid use C++ library for exact conversion from floating point numbers to string : the library is free to ignore requested precision.
by Abramo Bagnara 05 May '12
by Abramo Bagnara 05 May '12
05 May '12
Module: ppl/ppl
Branch: ppl-0_12-branch
Commit: a3bd8dd6849b1ccb6a2a3a7e7eac51fb49381810
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a3bd8dd6849b…
Author: Abramo Bagnara <abramo.bagnara(a)gmail.com>
Date: Thu May 3 17:26:43 2012 +0200
Avoid use C++ library for exact conversion from floating point numbers to string: the library is free to ignore requested precision.
---
README | 3 -
m4/Makefile.am | 3 -
m4/ac_cxx_double_binary_format.m4 | 4 +-
m4/ac_cxx_double_exact_output.m4 | 141 ------------------
m4/ac_cxx_float_binary_format.m4 | 4 +-
m4/ac_cxx_float_exact_output.m4 | 137 -----------------
m4/ac_cxx_long_double_binary_format.m4 | 4 +-
m4/ac_cxx_long_double_exact_output.m4 | 254 --------------------------------
src/checked.cc | 33 ++++
src/checked.defs.hh | 2 +
src/checked_float.inlines.hh | 54 ++++++-
src/checked_mpq.inlines.hh | 20 +---
12 files changed, 86 insertions(+), 573 deletions(-)
Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=a3bd8dd6…
1
0
Hi guys:
I met a problem when building ppl, and I can't figure out why this
happened. After a rough search on google and review on documentation,
I still can't find a solution. So, could someone help me with this? Thanks
a lot~
1. command I executed:
../configure --with-gmp=/usr/local/ --prefix=/usr/local/ppl-0.12.1
I made a sub-directory in source directory, and the GMP lib is installed in
/usr/local/gmp-5.0.4
2. The error message:
make all-recursive
make[1]: Entering directory `/home/wangxing/devPackage/ppl-0.12.1/release'
Making all in .
make[2]: Entering directory `/home/wangxing/devPackage/ppl-0.12.1/release'
make[2]: Nothing to be done for `all-am'.
make[2]: Leaving directory `/home/wangxing/devPackage/ppl-0.12.1/release'
Making all in utils
make[2]: Entering directory
`/home/wangxing/devPackage/ppl-0.12.1/release/utils'
make[2]: Nothing to be done for `all'.
make[2]: Leaving directory
`/home/wangxing/devPackage/ppl-0.12.1/release/utils'
Making all in src
make[2]: Entering directory
`/home/wangxing/devPackage/ppl-0.12.1/release/src'
make all-am
make[3]: Entering directory
`/home/wangxing/devPackage/ppl-0.12.1/release/src'
/bin/sh ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I.
-I../../src -I.. -I.. -I../../src -I/usr/local//include -g -O2
-frounding-math -W -Wall -MT Float.lo -MD -MP -MF .deps/Float.Tpo -c -o
Float.lo ../../src/Float.cc
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I../../src -I.. -I..
-I../../src -I/usr/local//include -g -O2 -frounding-math -W -Wall -MT
Float.lo -MD -MP -MF .deps/Float.Tpo -c ../../src/Float.cc -fPIC -DPIC -o
.libs/Float.o
../../src/globals.inlines.hh: In static member function 'static long long
unsigned int
Parma_Polyhedra_Library::Weightwatch_Traits::compute_delta(long unsigned
int, unsigned int)':
../../src/globals.inlines.hh:59: error: 'invalid_argument' is not a member
of 'std'
make[3]: *** [Float.lo] Error 1
make[3]: Leaving directory
`/home/wangxing/devPackage/ppl-0.12.1/release/src'
make[2]: *** [all] Error 2
make[2]: Leaving directory
`/home/wangxing/devPackage/ppl-0.12.1/release/src'
make[1]: *** [all-recursive] Error 1
make[1]: Leaving directory `/home/wangxing/devPackage/ppl-0.12.1/release'
make: *** [all] Error 2
3. Config.log
This file contains any messages produced by compilers while
running configure, to aid debugging if configure makes a mistake.
It was created by the Parma Polyhedra Library configure 0.12.1, which was
generated by GNU Autoconf 2.68. Invocation command line was
$ ../configure --with-gmp=/usr/local/ --prefix=/usr/local/ppl-0.12.1
## --------- ##
## Platform. ##
## --------- ##
hostname = dcd234
uname -m = x86_64
uname -r = 2.6.18-194.el5
uname -s = Linux
uname -v = #1 SMP Fri Apr 2 14:58:14 EDT 2010
/usr/bin/uname -p = unknown
/bin/uname -X = unknown
/bin/arch = x86_64
/usr/bin/arch -k = unknown
/usr/convex/getsysinfo = unknown
/usr/bin/hostinfo = unknown
/bin/machine = unknown
/usr/bin/oslevel = unknown
/bin/universe = unknown
PATH: /usr/kerberos/bin
PATH: /usr/local/bin
PATH: /bin
PATH: /usr/bin
PATH: /usr/sbin/
PATH: /home/wangxing/bin
PATH: /usr/local/MATLAB/R2011b/bin
PATH: /usr/local/
## ----------- ##
## Core tests. ##
## ----------- ##
configure:3292: checking build system type
configure:3306: result: x86_64-unknown-linux-gnu
configure:3326: checking host system type
configure:3339: result: x86_64-unknown-linux-gnu
configure:3377: checking for a BSD-compatible install
configure:3445: result: /usr/bin/install -c
configure:3456: checking whether build environment is sane
configure:3506: result: yes
configure:3647: checking for a thread-safe mkdir -p
configure:3686: result: /bin/mkdir -p
configure:3699: checking for gawk
configure:3715: found /bin/gawk
configure:3726: result: gawk
configure:3737: checking whether make sets $(MAKE)
configure:3759: result: yes
configure:3788: checking whether make supports nested variables
configure:3805: result: yes
configure:3864: checking how to create a ustar tar archive
configure:3877: tar --version
tar (GNU tar) 1.15.1
configure:3880: $? = 0
configure:3920: tardir=conftest.dir && eval tar --format=ustar -chf -
"$tardir" >conftest.tar
configure:3923: $? = 0
configure:3927: tar -xf - <conftest.tar
configure:3930: $? = 0
configure:3943: result: gnutar
configure:4067: checking for gcc
configure:4083: found /usr/bin/gcc
configure:4094: result: gcc
configure:4323: checking for C compiler version
configure:4332: gcc --version >&5
gcc (GCC) 4.1.2 20080704 (Red Hat 4.1.2-52)
Copyright (C) 2006 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.
configure:4343: $? = 0
configure:4332: gcc -v >&5
Using built-in specs.
Target: x86_64-redhat-linux
Configured with: ../configure --prefix=/usr --mandir=/usr/share/man
--infodir=/usr/share/info --enable-shared --enable-threads=posix
--enable-checking=release --with-system-zlib --enable-__cxa_atexit
--disable-libunwind-exceptions --enable-libgcj-multifile
--enable-languages=c,c++,objc,obj-c++,java,fortran,ada
--enable-java-awt=gtk --disable-dssi --disable-plugin
--with-java-home=/usr/lib/jvm/java-1.4.2-gcj-1.4.2.0/jre --with-cpu=generic
--host=x86_64-redhat-linux
Thread model: posix
gcc version 4.1.2 20080704 (Red Hat 4.1.2-52)
configure:4343: $? = 0
configure:4332: gcc -V >&5
gcc: '-V' option must have argument
configure:4343: $? = 1
configure:4332: gcc -qversion >&5
gcc: unrecognized option '-qversion'
gcc: no input files
configure:4343: $? = 1
configure:4363: checking whether the C compiler works
configure:4385: gcc conftest.c >&5
configure:4389: $? = 0
configure:4437: result: yes
configure:4440: checking for C compiler default output file name
configure:4442: result: a.out
configure:4448: checking for suffix of executables
configure:4455: gcc -o conftest conftest.c >&5
configure:4459: $? = 0
configure:4481: result:
configure:4503: checking whether we are cross compiling
configure:4511: gcc -o conftest conftest.c >&5
configure:4515: $? = 0
configure:4522: ./conftest
configure:4526: $? = 0
configure:4541: result: no
configure:4546: checking for suffix of object files
configure:4568: gcc -c conftest.c >&5
configure:4572: $? = 0
configure:4593: result: o
configure:4597: checking whether we are using the GNU C compiler
configure:4616: gcc -c conftest.c >&5
configure:4616: $? = 0
configure:4625: result: yes
configure:4634: checking whether gcc accepts -g
configure:4654: gcc -c -g conftest.c >&5
configure:4654: $? = 0
configure:4695: result: yes
configure:4712: checking for gcc option to accept ISO C89
configure:4776: gcc -c -g -O2 conftest.c >&5
configure:4776: $? = 0
configure:4789: result: none needed
configure:4820: checking for style of include used by make
configure:4848: result: GNU
configure:4874: checking dependency style of gcc
configure:4985: result: gcc3
configure:5014: checking whether we are actually using the Intel C compiler
configure:5031: gcc -c conftest.c >&5
conftest.c:12: error: expected '=', ',', ';', 'asm' or '__attribute__'
before 'me'
configure:5031: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.12.1"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.12.1"
| #define PACKAGE_BUGREPORT "ppl-devel(a)cs.unipr.it"
| #define PACKAGE_URL ""
| #define PPL_CONFIGURE_OPTIONS " '--with-gmp=/usr/local/'
'--prefix=/usr/local/ppl-0.12.1'"
| /* end confdefs.h. */
|
| #ifndef __INTEL_COMPILER
| choke me
| #endif
|
configure:5036: result: no
configure:5061: checking whether we are actually using Clang
configure:5077: gcc -c conftest.c >&5
conftest.c:12: error: expected '=', ',', ';', 'asm' or '__attribute__'
before 'me'
configure:5077: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.12.1"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.12.1"
| #define PACKAGE_BUGREPORT "ppl-devel(a)cs.unipr.it"
| #define PACKAGE_URL ""
| #define PPL_CONFIGURE_OPTIONS " '--with-gmp=/usr/local/'
'--prefix=/usr/local/ppl-0.12.1'"
| /* end confdefs.h. */
|
| #ifndef __clang__
| choke me
| #endif
|
configure:5082: result: no
configure:5154: checking for g++
configure:5170: found /usr/bin/g++
configure:5181: result: g++
configure:5208: checking for C++ compiler version
configure:5217: g++ --version >&5
g++ (GCC) 4.1.2 20080704 (Red Hat 4.1.2-52)
Copyright (C) 2006 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.
configure:5228: $? = 0
configure:5217: g++ -v >&5
Using built-in specs.
Target: x86_64-redhat-linux
Configured with: ../configure --prefix=/usr --mandir=/usr/share/man
--infodir=/usr/share/info --enable-shared --enable-threads=posix
--enable-checking=release --with-system-zlib --enable-__cxa_atexit
--disable-libunwind-exceptions --enable-libgcj-multifile
--enable-languages=c,c++,objc,obj-c++,java,fortran,ada
--enable-java-awt=gtk --disable-dssi --disable-plugin
--with-java-home=/usr/lib/jvm/java-1.4.2-gcj-1.4.2.0/jre --with-cpu=generic
--host=x86_64-redhat-linux
Thread model: posix
gcc version 4.1.2 20080704 (Red Hat 4.1.2-52)
configure:5228: $? = 0
configure:5217: g++ -V >&5
g++: '-V' option must have argument
configure:5228: $? = 1
configure:5217: g++ -qversion >&5
g++: unrecognized option '-qversion'
g++: no input files
configure:5228: $? = 1
configure:5232: checking whether we are using the GNU C++ compiler
configure:5251: g++ -c conftest.cpp >&5
configure:5251: $? = 0
configure:5260: result: yes
configure:5269: checking whether g++ accepts -g
configure:5289: g++ -c -g conftest.cpp >&5
configure:5289: $? = 0
configure:5330: result: yes
configure:5355: checking dependency style of g++
configure:5466: result: gcc3
configure:5486: checking whether we are actually using the Intel C++
compiler
configure:5503: g++ -c conftest.cpp >&5
conftest.cpp:12: error: 'choke' does not name a type
configure:5503: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.12.1"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.12.1"
| #define PACKAGE_BUGREPORT "ppl-devel(a)cs.unipr.it"
| #define PACKAGE_URL ""
| #define PPL_CONFIGURE_OPTIONS " '--with-gmp=/usr/local/'
'--prefix=/usr/local/ppl-0.12.1'"
| /* end confdefs.h. */
|
| #ifndef __INTEL_COMPILER
| choke me
| #endif
|
configure:5508: result: no
configure:5524: checking whether we are actually using clang++
configure:5540: g++ -c conftest.cpp >&5
conftest.cpp:12: error: 'choke' does not name a type
configure:5540: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.12.1"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.12.1"
| #define PACKAGE_BUGREPORT "ppl-devel(a)cs.unipr.it"
| #define PACKAGE_URL ""
| #define PPL_CONFIGURE_OPTIONS " '--with-gmp=/usr/local/'
'--prefix=/usr/local/ppl-0.12.1'"
| /* end confdefs.h. */
|
| #ifndef __clang__
| choke me
| #endif
|
configure:5545: result: no
configure:5558: checking for grep that handles long lines and -e
configure:5616: result: /bin/grep
configure:5621: checking for fgrep
configure:5683: result: /bin/grep -F
configure:5688: checking for egrep
configure:5750: result: /bin/grep -E
configure:5755: checking for a sed that does not truncate output
configure:5819: result: /bin/sed
configure:5829: checking how to run the C++ preprocessor
configure:5856: g++ -E conftest.cpp
configure:5856: $? = 0
configure:5870: g++ -E conftest.cpp
conftest.cpp:10:28: error: ac_nonexistent.h: No such file or directory
configure:5870: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.12.1"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.12.1"
| #define PACKAGE_BUGREPORT "ppl-devel(a)cs.unipr.it"
| #define PACKAGE_URL ""
| #define PPL_CONFIGURE_OPTIONS " '--with-gmp=/usr/local/'
'--prefix=/usr/local/ppl-0.12.1'"
| /* end confdefs.h. */
| #include <ac_nonexistent.h>
configure:5895: result: g++ -E
configure:5915: g++ -E conftest.cpp
configure:5915: $? = 0
configure:5929: g++ -E conftest.cpp
conftest.cpp:10:28: error: ac_nonexistent.h: No such file or directory
configure:5929: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.12.1"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.12.1"
| #define PACKAGE_BUGREPORT "ppl-devel(a)cs.unipr.it"
| #define PACKAGE_URL ""
| #define PPL_CONFIGURE_OPTIONS " '--with-gmp=/usr/local/'
'--prefix=/usr/local/ppl-0.12.1'"
| /* end confdefs.h. */
| #include <ac_nonexistent.h>
configure:5957: checking whether make sets $(MAKE)
configure:5979: result: yes
configure:5996: checking whether to compile with debug info
configure:6005: result: yes
configure:6027: checking whether to compile for profiling
configure:6042: result: no
configure:6051: checking whether to compile for test coverage
configure:6067: result: no
configure:6076: checking whether to enable checking of run-time assertions
configure:6089: result: no
configure:6099: checking whether to enable even more run-time assertions
configure:6112: result: no
configure:6155: checking whether to enable optimizations
configure:6182: result: standard
configure:6206: checking for which architecture to optimize
configure:6229: result: default
configure:6243: checking whether to use (a specific) floating point
arithmetic
configure:6286: result: default
configure:6348: checking whether to use precompiled headers
configure:6362: result: no
configure:6496: checking the type of integral values to use as coefficients
configure:6561: result: GMP mpz
configure:6694: checking for an ANSI C-conforming const
configure:6759: gcc -c -g -O2 -frounding-math conftest.c >&5
configure:6759: $? = 0
configure:6766: result: yes
configure:6774: checking for inline
configure:6790: gcc -c -g -O2 -frounding-math conftest.c >&5
configure:6790: $? = 0
configure:6798: result: inline
configure:6821: checking how to run the C preprocessor
configure:6852: gcc -E conftest.c
configure:6852: $? = 0
configure:6866: gcc -E conftest.c
conftest.c:16:28: error: ac_nonexistent.h: No such file or directory
configure:6866: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.12.1"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.12.1"
| #define PACKAGE_BUGREPORT "ppl-devel(a)cs.unipr.it"
| #define PACKAGE_URL ""
| #define PPL_CONFIGURE_OPTIONS " '--with-gmp=/usr/local/'
'--prefix=/usr/local/ppl-0.12.1'"
| #define PPL_NDEBUG 1
| #define PPL_FPMATH_MAY_USE_387 1
| #define PPL_FPMATH_MAY_USE_SSE 1
| #define PPL_COEFFICIENT_TYPE mpz_class
| #define PPL_COEFFICIENT_BITS 0
| #define PPL_GMP_INTEGERS 1
| /* end confdefs.h. */
| #include <ac_nonexistent.h>
configure:6891: result: gcc -E
configure:6911: gcc -E conftest.c
configure:6911: $? = 0
configure:6925: gcc -E conftest.c
conftest.c:16:28: error: ac_nonexistent.h: No such file or directory
configure:6925: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.12.1"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.12.1"
| #define PACKAGE_BUGREPORT "ppl-devel(a)cs.unipr.it"
| #define PACKAGE_URL ""
| #define PPL_CONFIGURE_OPTIONS " '--with-gmp=/usr/local/'
'--prefix=/usr/local/ppl-0.12.1'"
| #define PPL_NDEBUG 1
| #define PPL_FPMATH_MAY_USE_387 1
| #define PPL_FPMATH_MAY_USE_SSE 1
| #define PPL_COEFFICIENT_TYPE mpz_class
| #define PPL_COEFFICIENT_BITS 0
| #define PPL_GMP_INTEGERS 1
| /* end confdefs.h. */
| #include <ac_nonexistent.h>
configure:6954: checking for ANSI C header files
configure:6974: gcc -c -g -O2 -frounding-math conftest.c >&5
configure:6974: $? = 0
configure:7047: gcc -o conftest -g -O2 -frounding-math conftest.c >&5
configure:7047: $? = 0
configure:7047: ./conftest
configure:7047: $? = 0
configure:7058: result: yes
configure:7071: checking for sys/types.h
configure:7071: gcc -c -g -O2 -frounding-math conftest.c >&5
configure:7071: $? = 0
configure:7071: result: yes
configure:7071: checking for sys/stat.h
configure:7071: gcc -c -g -O2 -frounding-math conftest.c >&5
configure:7071: $? = 0
configure:7071: result: yes
configure:7071: checking for stdlib.h
configure:7071: gcc -c -g -O2 -frounding-math conftest.c >&5
configure:7071: $? = 0
configure:7071: result: yes
configure:7071: checking for string.h
configure:7071: gcc -c -g -O2 -frounding-math conftest.c >&5
configure:7071: $? = 0
configure:7071: result: yes
configure:7071: checking for memory.h
configure:7071: gcc -c -g -O2 -frounding-math conftest.c >&5
configure:7071: $? = 0
configure:7071: result: yes
configure:7071: checking for strings.h
configure:7071: gcc -c -g -O2 -frounding-math conftest.c >&5
configure:7071: $? = 0
configure:7071: result: yes
configure:7071: checking for inttypes.h
configure:7071: gcc -c -g -O2 -frounding-math conftest.c >&5
configure:7071: $? = 0
configure:7071: result: yes
configure:7071: checking for stdint.h
configure:7071: gcc -c -g -O2 -frounding-math conftest.c >&5
configure:7071: $? = 0
configure:7071: result: yes
configure:7071: checking for unistd.h
configure:7071: gcc -c -g -O2 -frounding-math conftest.c >&5
configure:7071: $? = 0
configure:7071: result: yes
configure:7083: checking whether byte ordering is bigendian
configure:7098: gcc -c -g -O2 -frounding-math conftest.c >&5
conftest.c:27: error: expected '=', ',', ';', 'asm' or '__attribute__'
before 'a'
configure:7098: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.12.1"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.12.1"
| #define PACKAGE_BUGREPORT "ppl-devel(a)cs.unipr.it"
| #define PACKAGE_URL ""
| #define PPL_CONFIGURE_OPTIONS " '--with-gmp=/usr/local/'
'--prefix=/usr/local/ppl-0.12.1'"
| #define PPL_NDEBUG 1
| #define PPL_FPMATH_MAY_USE_387 1
| #define PPL_FPMATH_MAY_USE_SSE 1
| #define PPL_COEFFICIENT_TYPE mpz_class
| #define PPL_COEFFICIENT_BITS 0
| #define PPL_GMP_INTEGERS 1
| #define STDC_HEADERS 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_SYS_STAT_H 1
| #define HAVE_STDLIB_H 1
| #define HAVE_STRING_H 1
| #define HAVE_MEMORY_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_INTTYPES_H 1
| #define HAVE_STDINT_H 1
| #define HAVE_UNISTD_H 1
| /* end confdefs.h. */
| #ifndef __APPLE_CC__
| not a universal capable compiler
| #endif
| typedef int dummy;
|
configure:7143: gcc -c -g -O2 -frounding-math conftest.c >&5
configure:7143: $? = 0
configure:7161: gcc -c -g -O2 -frounding-math conftest.c >&5
conftest.c: In function 'main':
conftest.c:33: error: 'not' undeclared (first use in this function)
conftest.c:33: error: (Each undeclared identifier is reported only once
conftest.c:33: error: for each function it appears in.)
conftest.c:33: error: expected ';' before 'big'
configure:7161: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.12.1"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.12.1"
| #define PACKAGE_BUGREPORT "ppl-devel(a)cs.unipr.it"
| #define PACKAGE_URL ""
| #define PPL_CONFIGURE_OPTIONS " '--with-gmp=/usr/local/'
'--prefix=/usr/local/ppl-0.12.1'"
| #define PPL_NDEBUG 1
| #define PPL_FPMATH_MAY_USE_387 1
| #define PPL_FPMATH_MAY_USE_SSE 1
| #define PPL_COEFFICIENT_TYPE mpz_class
| #define PPL_COEFFICIENT_BITS 0
| #define PPL_GMP_INTEGERS 1
| #define STDC_HEADERS 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_SYS_STAT_H 1
| #define HAVE_STDLIB_H 1
| #define HAVE_STRING_H 1
| #define HAVE_MEMORY_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_INTTYPES_H 1
| #define HAVE_STDINT_H 1
| #define HAVE_UNISTD_H 1
| /* end confdefs.h. */
| #include <sys/types.h>
| #include <sys/param.h>
|
| int
| main ()
| {
| #if BYTE_ORDER != BIG_ENDIAN
| not big endian
| #endif
|
| ;
| return 0;
| }
configure:7289: result: no
configure:7308: checking for typeof syntax and keyword spelling
configure:7339: gcc -c -g -O2 -frounding-math conftest.c >&5
configure:7339: $? = 0
configure:7346: result: typeof
configure:7367: checking size of char
configure:7372: gcc -o conftest -g -O2 -frounding-math conftest.c >&5
configure:7372: $? = 0
configure:7372: ./conftest
configure:7372: $? = 0
configure:7386: result: 1
configure:7400: checking size of short
configure:7405: gcc -o conftest -g -O2 -frounding-math conftest.c >&5
configure:7405: $? = 0
configure:7405: ./conftest
configure:7405: $? = 0
configure:7419: result: 2
configure:7433: checking size of int
configure:7438: gcc -o conftest -g -O2 -frounding-math conftest.c >&5
configure:7438: $? = 0
configure:7438: ./conftest
configure:7438: $? = 0
configure:7452: result: 4
configure:7466: checking size of long
configure:7471: gcc -o conftest -g -O2 -frounding-math conftest.c >&5
configure:7471: $? = 0
configure:7471: ./conftest
configure:7471: $? = 0
configure:7485: result: 8
configure:7499: checking size of long long
configure:7504: gcc -o conftest -g -O2 -frounding-math conftest.c >&5
configure:7504: $? = 0
configure:7504: ./conftest
configure:7504: $? = 0
configure:7518: result: 8
configure:7532: checking size of size_t
configure:7537: gcc -o conftest -g -O2 -frounding-math conftest.c >&5
configure:7537: $? = 0
configure:7537: ./conftest
configure:7537: $? = 0
configure:7551: result: 8
configure:7565: checking size of float
configure:7570: gcc -o conftest -g -O2 -frounding-math conftest.c >&5
configure:7570: $? = 0
configure:7570: ./conftest
configure:7570: $? = 0
configure:7584: result: 4
configure:7598: checking size of double
configure:7603: gcc -o conftest -g -O2 -frounding-math conftest.c >&5
configure:7603: $? = 0
configure:7603: ./conftest
configure:7603: $? = 0
configure:7617: result: 8
configure:7631: checking size of long double
configure:7636: gcc -o conftest -g -O2 -frounding-math conftest.c >&5
configure:7636: $? = 0
configure:7636: ./conftest
configure:7636: $? = 0
configure:7650: result: 16
configure:7667: checking size of int*
configure:7672: gcc -o conftest -g -O2 -frounding-math conftest.c >&5
configure:7672: $? = 0
configure:7672: ./conftest
configure:7672: $? = 0
configure:7686: result: 8
configure:7700: checking size of fp
configure:7705: gcc -o conftest -g -O2 -frounding-math conftest.c >&5
configure:7705: $? = 0
configure:7705: ./conftest
configure:7705: $? = 0
configure:7720: result: 8
configure:7734: checking for perl
configure:7752: found /usr/bin/perl
configure:7765: result: /usr/bin/perl
configure:7792: checking for library containing sqrt
configure:7823: g++ -o conftest -g -O2 -frounding-math conftest.cpp >&5
configure:7823: $? = 0
configure:7840: result: none required
configure:7863: checking fenv.h usability
configure:7863: g++ -c -g -O2 -frounding-math conftest.cpp >&5
configure:7863: $? = 0
configure:7863: result: yes
configure:7863: checking fenv.h presence
configure:7863: g++ -E conftest.cpp
configure:7863: $? = 0
configure:7863: result: yes
configure:7863: checking for fenv.h
configure:7863: result: yes
configure:7863: checking ieeefp.h usability
configure:7863: g++ -c -g -O2 -frounding-math conftest.cpp >&5
conftest.cpp:72:20: error: ieeefp.h: No such file or directory
configure:7863: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.12.1"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.12.1"
| #define PACKAGE_BUGREPORT "ppl-devel(a)cs.unipr.it"
| #define PACKAGE_URL ""
| #define PPL_CONFIGURE_OPTIONS " '--with-gmp=/usr/local/'
'--prefix=/usr/local/ppl-0.12.1'"
| #define PPL_NDEBUG 1
| #define PPL_FPMATH_MAY_USE_387 1
| #define PPL_FPMATH_MAY_USE_SSE 1
| #define PPL_COEFFICIENT_TYPE mpz_class
| #define PPL_COEFFICIENT_BITS 0
| #define PPL_GMP_INTEGERS 1
| #define STDC_HEADERS 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_SYS_STAT_H 1
| #define HAVE_STDLIB_H 1
| #define HAVE_STRING_H 1
| #define HAVE_MEMORY_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_INTTYPES_H 1
| #define HAVE_STDINT_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE_TYPEOF 1
| #define SIZEOF_CHAR 1
| #define SIZEOF_SHORT 2
| #define SIZEOF_INT 4
| #define SIZEOF_LONG 8
| #define SIZEOF_LONG_LONG 8
| #define SIZEOF_SIZE_T 8
| #define SIZEOF_FLOAT 4
| #define SIZEOF_DOUBLE 8
| #define SIZEOF_LONG_DOUBLE 16
| #define SIZEOF_INTP 8
| #define SIZEOF_FP 8
| #define HAVE_FENV_H 1
| /* end confdefs.h. */
| #include <stdio.h>
| #ifdef HAVE_SYS_TYPES_H
| # include <sys/types.h>
| #endif
| #ifdef HAVE_SYS_STAT_H
| # include <sys/stat.h>
| #endif
| #ifdef STDC_HEADERS
| # include <stdlib.h>
| # include <stddef.h>
| #else
| # ifdef HAVE_STDLIB_H
| # include <stdlib.h>
| # endif
| #endif
| #ifdef HAVE_STRING_H
| # if !defined STDC_HEADERS && defined HAVE_MEMORY_H
| # include <memory.h>
| # endif
| # include <string.h>
| #endif
| #ifdef HAVE_STRINGS_H
| # include <strings.h>
| #endif
| #ifdef HAVE_INTTYPES_H
| # include <inttypes.h>
| #endif
| #ifdef HAVE_STDINT_H
| # include <stdint.h>
| #endif
| #ifdef HAVE_UNISTD_H
| # include <unistd.h>
| #endif
| #include <ieeefp.h>
configure:7863: result: no
configure:7863: checking ieeefp.h presence
configure:7863: g++ -E conftest.cpp
conftest.cpp:39:20: error: ieeefp.h: No such file or directory
configure:7863: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.12.1"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.12.1"
| #define PACKAGE_BUGREPORT "ppl-devel(a)cs.unipr.it"
| #define PACKAGE_URL ""
| #define PPL_CONFIGURE_OPTIONS " '--with-gmp=/usr/local/'
'--prefix=/usr/local/ppl-0.12.1'"
| #define PPL_NDEBUG 1
| #define PPL_FPMATH_MAY_USE_387 1
| #define PPL_FPMATH_MAY_USE_SSE 1
| #define PPL_COEFFICIENT_TYPE mpz_class
| #define PPL_COEFFICIENT_BITS 0
| #define PPL_GMP_INTEGERS 1
| #define STDC_HEADERS 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_SYS_STAT_H 1
| #define HAVE_STDLIB_H 1
| #define HAVE_STRING_H 1
| #define HAVE_MEMORY_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_INTTYPES_H 1
| #define HAVE_STDINT_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE_TYPEOF 1
| #define SIZEOF_CHAR 1
| #define SIZEOF_SHORT 2
| #define SIZEOF_INT 4
| #define SIZEOF_LONG 8
| #define SIZEOF_LONG_LONG 8
| #define SIZEOF_SIZE_T 8
| #define SIZEOF_FLOAT 4
| #define SIZEOF_DOUBLE 8
| #define SIZEOF_LONG_DOUBLE 16
| #define SIZEOF_INTP 8
| #define SIZEOF_FP 8
| #define HAVE_FENV_H 1
| /* end confdefs.h. */
| #include <ieeefp.h>
configure:7863: result: no
configure:7863: checking for ieeefp.h
configure:7863: result: no
configure:7873: checking if it is possible to control the FPU
configure:8000: g++ -o conftest -g -O2 -frounding-math conftest.cpp >&5
configure:8000: $? = 0
configure:8000: ./conftest
configure:8000: $? = 0
configure:8001: result: yes
configure:8048: checking whether the plain char type is signed
configure:8058: g++ -c -g -O2 -frounding-math conftest.cpp >&5
configure:8058: $? = 0
configure:8059: result: yes
configure:8102: checking whether the C++ compiler provides proper long
doubles
configure:8125: g++ -o conftest -g -O2 -frounding-math conftest.cpp >&5
configure:8125: $? = 0
configure:8125: ./conftest
configure:8125: $? = 0
configure:8126: result: yes
configure:8172: checking the binary format of C++ floats
configure:8230: g++ -o conftest -g -O2 -frounding-math conftest.cpp >&5
configure:8230: $? = 0
configure:8230: ./conftest
configure:8230: $? = 0
configure:8243: result: IEEE754 Single Precision
configure:8256: checking whether C++ provides exact output for floats
configure:8358: g++ -o conftest -g -O2 -frounding-math conftest.cpp >&5
configure:8358: $? = 0
configure:8358: ./conftest
configure:8358: $? = 0
configure:8359: result: yes
configure:8430: checking the binary format of C++ doubles
configure:8498: g++ -o conftest -g -O2 -frounding-math conftest.cpp >&5
configure:8498: $? = 0
configure:8498: ./conftest
configure:8498: $? = 0
configure:8511: result: IEEE754 Double Precision
configure:8525: checking whether C++ provides exact output for doubles
configure:8630: g++ -o conftest -g -O2 -frounding-math conftest.cpp >&5
configure:8630: $? = 0
configure:8630: ./conftest
configure:8630: $? = 0
configure:8631: result: yes
configure:8702: checking the binary format of C++ long doubles
configure:8770: g++ -o conftest -g -O2 -frounding-math conftest.cpp >&5
configure:8770: $? = 0
configure:8770: ./conftest
configure:8770: $? = 1
configure: program exited with status 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.12.1"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.12.1"
| #define PACKAGE_BUGREPORT "ppl-devel(a)cs.unipr.it"
| #define PACKAGE_URL ""
| #define PPL_CONFIGURE_OPTIONS " '--with-gmp=/usr/local/'
'--prefix=/usr/local/ppl-0.12.1'"
| #define PPL_NDEBUG 1
| #define PPL_FPMATH_MAY_USE_387 1
| #define PPL_FPMATH_MAY_USE_SSE 1
| #define PPL_COEFFICIENT_TYPE mpz_class
| #define PPL_COEFFICIENT_BITS 0
| #define PPL_GMP_INTEGERS 1
| #define STDC_HEADERS 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_SYS_STAT_H 1
| #define HAVE_STDLIB_H 1
| #define HAVE_STRING_H 1
| #define HAVE_MEMORY_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_INTTYPES_H 1
| #define HAVE_STDINT_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE_TYPEOF 1
| #define SIZEOF_CHAR 1
| #define SIZEOF_SHORT 2
| #define SIZEOF_INT 4
| #define SIZEOF_LONG 8
| #define SIZEOF_LONG_LONG 8
| #define SIZEOF_SIZE_T 8
| #define SIZEOF_FLOAT 4
| #define SIZEOF_DOUBLE 8
| #define SIZEOF_LONG_DOUBLE 16
| #define SIZEOF_INTP 8
| #define SIZEOF_FP 8
| #define HAVE_FENV_H 1
| #define PPL_CAN_CONTROL_FPU 1
| #define PPL_CXX_PLAIN_CHAR_IS_SIGNED 1
| #define PPL_CXX_PROVIDES_PROPER_LONG_DOUBLE 1
| #define PPL_CXX_FLOAT_BINARY_FORMAT PPL_FLOAT_IEEE754_SINGLE
| #define PPL_CXX_FLOAT_EXACT_OUTPUT 1
| #define PPL_SUPPORTED_FLOAT 1
| #define PPL_CXX_DOUBLE_BINARY_FORMAT PPL_FLOAT_IEEE754_DOUBLE
| #define PPL_CXX_DOUBLE_EXACT_OUTPUT 1
| #define PPL_SUPPORTED_DOUBLE 1
| /* end confdefs.h. */
|
| #include <limits>
| #ifdef HAVE_STDINT_H
| #ifndef __STDC_LIMIT_MACROS
| #define __STDC_LIMIT_MACROS 1
| #endif
| #include <stdint.h>
| #endif
| #ifdef HAVE_INTTYPES_H
| #include <inttypes.h>
| #endif
|
| #if SIZEOF_LONG_DOUBLE == 12
|
| long double
| convert(uint32_t msp, uint64_t lsp) {
| union {
| long double value;
| struct {
| #ifdef WORDS_BIGENDIAN
| uint32_t msp;
| uint64_t lsp;
| #else
| uint64_t lsp;
| uint32_t msp;
| #endif
| } parts;
| } u;
|
| u.parts.msp = msp;
| u.parts.lsp = lsp;
| return u.value;
| }
|
| int
| main() {
| if (std::numeric_limits<long double>::is_iec559
| && (convert(0xaaacccaaUL, 0xacccaaacccaaacccULL)
| ==
-23475151196235330448360987288488448023604990597437922665537894499317141030270831473500040521309097782521743811281100731620612303910141158923283064807755815684643856544564541670181998003713114595098650350075763370916908460284838902787487703020001649220669684278577319085319204471093693972621987808779314674903648668236688723332999785552894845325917244897920804830290985291535343986477508649100409893486651507134071296739623686984014433965803259868867855465109457220731656260670349710137932272802677796915669809481885196101414678015638835049035133835457854893845093496950772367562664955830097293678125205138879788670490610650322134182370990336443894886171520732434535881085387893610114822547025980969387956199048733969351859470324032549906964255557877860343871346618951696178837035563054101786829980983909935265617095747543882856776297861197958453847978446679149969948882161264279705948735019353220550905117946051015070744207453853343171175921378515361160726195198161165083475968.0L
| && convert(0xcccaaaccUL, 0xcaaacccaaacccaaaULL)
| ==
-3.234349908433673569788362433758236701401379200386310478070230491201716094576208088733092209352711081763530973139439402754721006217889031902309566905344106766697050593355851405189694125966100801537593811320493850579152938679705465870788684523518541806158791408378718596936132854683425581754205242594614192465876640102628432246897674583649745467641139234207139584810101868772915312454075582265240687184279243861217351667059920878236164506473261797703393981510799228030778152399657445848839855361831637014754038570644257393307922665529947406582062857348101442206039278033447012163028384634753160589791458287895963629514043345016273218385584012204321293761500625038828699451659598873739820939586314044735551522599884065690704853850058509917597610804664086074437219778400030370474948166770867639885264893441594112815147445129222900623635467542926999246959939000796968650036727515644358583656635086409945418378371210848857160579105176395869221692977516017583375976424496977231821652434877830409470264872173686708172667000681514442371517343085468923465834742925914605731609765839631967460042791316319023971980691582832232860491668014341598553021017317450989919240909832141247027104138677882497144506317212033031539627613710631490195651235049780490963461514410018833968072513381369320107740021476622121320911875995678620145217379068502893509758814753434218746970000807381369855297087472398985134583394635298304301976743682254755898799853471470973139487587740504614698965906370516694512439128548402418825952236144896863935402725154209604537541130862513767786738372717442238281296070010302255703329785136750848608510805269562580550421695335686256291415407706167513127610045830074144232174636354465520547408627155363076530824695464544496846799567213412195115628936631295933321590908845288558910694118404555858629368018552451467994715743285452343185080572139353967831950470208768524113647528966442712608411306460439403733081312454377815407740431356862292588345515142587184008493066353603658341268923669196617183622259532802077159684815974630350730226266887950469523895272137382682818583664766982004756872470359454855421231861600855405622250180301557001727658100463825721179482988287599820459238518127671242515104954727268296043840120459189992322364113432317376499876615018647681005294400890426164141474245830847447887800872845238979407896829797297990804023745291564182356173092302630416583955274584512411637160723327887646112927503049935866004964114798241035087343318592736488780742013424329479787548324846879335440582948017481856461250014099199025874264395426269044157577172368261822794071985989844785134561848837459343219269316428175168803982908920457749528709425299296467325603578851955843550406474402944350694486492967809731047663564513772408591390180588458110788180950470244902062953534590109356800048878919144043979000989724521292698054747484439706733411566872999353418986588749568995482953622089499726327807058708520455805869817259837526415584189633013162307753166636151833127563746069733440228640737257520299330767346391011026088684503955941755171481192133779119344715318224728775697330484860348152872987113995597980243907204928634355356748752501217143216601222634344211757170284222785899530754663487291354339744025299042982320199789070467212765859078265587040664859899997109073649635056953085131587344086263213972132295294758682559609365238437544701417284297826732242650999654640698637095193178119502815643930373741504018967640638120546136857104880094633373762586018322104925768619990210092851075031033451925224377383389610824173203445111896055901190132142204139463967556738295382942065540228560332044410017389129348710403201272349054427064370609913529996988445571571382916349536222256815467149849706750571813156961918737343978667568453623162377198802996342528197935118265696537928993634621119483415202847968129550048667353312481509419740177690982818603515625e-1634L
| && convert(0x00000000UL, 0x0000000000000001ULL)
| ==
3.645199531882474602528405933619419816399050815693563343720980487028371688633397736809560708625827205197247347347203531101966985632622032169973508075589809005483822581177931678569225263805633559756621562565983410728940319793553527268591240799954172811015518538383046054768715422449295305859718268214262622067532355460844068079259753739688226338971902813354664211957293812000216762672292032277433639030845605529795518855299212255321171163487629138462930035513852750160313284578587346566858083349053123705193988703983308587839946322501468602459466376586870456423634710242397194658860357568067134477982764219736292817751295560536845761267846647908517463250923736039512722781415953366096399444403402117053488448021977763604437908687623249034116909294550532283554604255016471048510990155249694820376175072774521597924829264164672829379224834378522148847524461653340453140898534938901079999466084995792940867082225167898092626332284133633537230365710606672711016101696986908545526816093446785575823545286456670464909287063062587561930219192839574686079732400741932670792586584247903252601714502511652018733705556477669856403061671860988301022089008752404238293812121415758527179547281628232710885994458574715033852877595426024800791719981955344151916599003503828822200355665967958771090937688409231050763744882094456320484272716122798149836361660589595209083576887254232532955229749892640550762959438241278496193819382077545905461172547961340469817691165676094261320725727312607482937653140421619686103059529199421431937449566099337396063075218302243845475341677972462038126626903408167086517545386382155008956065955410392914952623927880847159533184535486666480480563407531428385329300522477684217050951264747454635754866214784941542315111038630684391425212439304190584122374222972284606537485052464648655369719099026760518287560996997210778473066980129427427439517032390964791367678221749630975419713438139162678878555999177528450882748046538588177447270306738234898502976902853001364550405227287093940058325788585457368654991956265863050083472087623066020903378919489920975190829421602010382039477772083400661519154972695436582305021910908576692048173534958894170976763084807837402813849227540942073315401115262334876815962087441302256558438912500607230205782013083674113023497612445214795170983848687988348203289441256908755565216081815151205638893112562415329084456934095146184469290901166110634875590164835606941629407489774379792739804674764243483912084691871769225446506284310565309190872477286255925383528545036360550854226919571246361133225904820301916588317084377712259367894846411294822587075835486985645510829880528578782698412556249274522235061092454342386202327120407827540333914613192189174315884136688019435966273663470431440443032136411775605030601436837063972690330417475187330200911967500496761618122614796452937124070398703890868915527051490465736745397764941094879479649438162576614346948652085308024696358256756585794568493319042053882843808180358787110774418075478801186519577416271896383169835708225636584654568643702618602433548938163720732772538345454513065011540675765510656970500413537205370067924880209217363407323673368448004904408413977741706965494247040799786451861822188473571257556819433284087486023676249467869483631380473856486239547015603318322612783652068699798539400406637311682731115340677841660240710431551140370410375585572939303084073843540702120551963050514959945741359169911676575478403279380112020347348292538150798320452794842427526501796852911863108178276638472320237870082862271763396195139513712303136194366021540830531456910584048372546025177765140460207112923151923176402146752868221966889915381596481253160696822260723194259521813054303457222367967929268763072892355278854714278243863110783067060124459039315528176840304931522813148745824350892130595015198002557204332483215551447097512510076223364801202888087635650654634946887232727623906459076670227108634162319210357007273369354657187569046394884895083794103531835959613994575377897775525461977464747518162975010091463561925032742645594645800581600698347817023194379921397347681150492687237349021564206463096138703201250277757980410772647014391579144424375252519766764670458008515297647624144814453496069685127439800629552075692648608681506879044376428977463175175205181547958459515159074701285838493694034007662410100183533141516684185460758175066481561018901133031951042099053297118837448984443230856642737606478787880285299903521855025612413471034466624171559209077538498475106811294029060334271803320566493935024621719717684804443351866946690525266060758332190531807232565501890293754259590947433140384335366973398816899253698302119916142891631005349335372158005779944529176735887193980409288474621694590303098552382376969442365186023130985507823617670051191889015351479659778676132449671642015059540438237303922903056079068344635440276772565425944329927654906262952475555750912023879424636021462043321631428365675851865654901693474343411406220907550090045689588323936814675126103464401223728058185048320475251266882875299120582253090033177883674432343812734123922042926554908548231473285349572210962289889800994026533629321464700552029391517293055196218065667251276237490129206098414338903210942488902792253924667941082273267563528653863343443486495762400409978995985052082310730277076965242846278402568285187365588876653245423047205943478612931964211293489374119565751486787204884502307512372923973119191125614068756094526892783321688030310900558025683455451898487401139315290743477461921025987905332236299398859448938742087487316288730711068752763449392366897236258997091176996253284306687635454361862179407191652155243650619571720232128624130785404930566805029233271375546253313287446285812219961565022654510373870581648214791139170870970509074158721967633425471550515801498191107216277620692347014234913527385812164834475002007099402122991439542783981984927181300669603290190495106195784248531299740262706106798338573523977365240941293695214188675632715447081372252551022981921251125675131839210074132286029621443262127145872022404314258219255606415280218445074654034790115075558513374422753617188198385931164810182817002794172279803028202086567081267453349341345496389239379776494419022301042067986600501045466950004057134726934147691678031986698845370299987067384407310337433828116514830745374490760171672152978595040351405572526523026051215093709900567873568385242574546385008567738263951532676549294356417565797771595638496719149577804216291892125541055147173723744991756669672459021375111288754125372918394417976243093028214703329386031799313949535161343892720409046065009958980978947997662545514664194262097665297242612367968766000629174655887090824363583653843658980277566031286429628476318572915045823895805826010132712977834418613468288832988547377174550796802573148684253294172285056777826927377158058647145403557721233512002495437339413998842782599710186215723437958154275340509811072349041046483806284608873394275718878590418692809288333423522781240698974441829879303794241455852776713321354870647251094720675572322788447908778778892116234131617608416732280987493141331884927860259324392781255786150891859203497212615916404999097067778739914857961305884934678762043515521190581898256624635957830927811421154992139986999936203631149852372802564314896151749326404428772008250428569338329698161850171265411426708113723558325059062871506712838460986031147060351491506316012532538793354499545667009527573810892048004652452452139688789392912938251888341298122235232861138733903153560967292104241190946350516769769305030762386908399592555043192236069279491224465826684203312081255431851756341234566913972589390601558650830437402045595207689996159597545711808203688318112918947661662115802919578636403430323041610018063696707221249826383715263388850307418469423973486747009233945036220901518185766942733836846126816638158345048782728241251279820310193223512959111029884002230571688216854282257873218631744450950552327428952538149545262779889824399028513132208638633070602135522752076661567872472325125674291268881849101416382703647451428232847993332157180794015036365361645888146355749366150209085457189187232786399585879941680370348141105404742298452497895369287193974496140445677301271403589665822911096832952021181343571136957607816318342755770560406569920261633966403484121679869542684843686908354373688437968683525723666121485947946747887572716360800696442816474113593466106089204179554677145374582437962664618883018628687510079511252556002241788346284019750863992283906513572325918053464080643521532154825074820239077990779007069588034029619562190416747359712884084324521598678178890186409451480686781733176824920276835002477523486093586963733155424491897575495851549527034538337694314953057164019215026670773910997443279760005290641511584707193226351271670439775141076552632736166117611394934325673743882365518318561208941552931629125136799711574578916741023587251428998946963182411650554404206416336487418656105333038545773960190949602850096208569085230228708894874577523512558281973392961263921656163963369388411763476388625952406901518273413037068643383550282962237729195901788599392876651086599849223994259145259240479384380657803498058719062529007339428316229997756899857712116922758683071707472935574499244978419788171338468471751125303860911589289400806637202920429489919870263415951660888975434827304297451362325052693482001524843171229078467910537913138115458626612024970730899515114301915281613929239329351501049859225274564107846818112938339161308943153205117651716380468462296193882444293370484368530096898812778973178284912798550245246063411918482638261694029245273291646707331594675213428158755273882438357960245064051015888918541801139771619743221405037797285669481455810653320008904215997597975907391512026214020012010134707536774227636477580918167507850485197065326391091171451763751237612739498468510009055480025096015985581769370179656781151306565952590101977398335185042637681982306448413722177895665290302796223004198526079143104070007874540548221582347389579e-4951L
| && convert(0x80000000UL, 0x0000000000000001ULL)
| ==
3.645199531882474602528405933619419816399050815693563343720980487028371688633397736809560708625827205197247347347203531101966985632622032169973508075589809005483822581177931678569225263805633559756621562565983410728940319793553527268591240799954172811015518538383046054768715422449295305859718268214262622067532355460844068079259753739688226338971902813354664211957293812000216762672292032277433639030845605529795518855299212255321171163487629138462930035513852750160313284578587346566858083349053123705193988703983308587839946322501468602459466376586870456423634710242397194658860357568067134477982764219736292817751295560536845761267846647908517463250923736039512722781415953366096399444403402117053488448021977763604437908687623249034116909294550532283554604255016471048510990155249694820376175072774521597924829264164672829379224834378522148847524461653340453140898534938901079999466084995792940867082225167898092626332284133633537230365710606672711016101696986908545526816093446785575823545286456670464909287063062587561930219192839574686079732400741932670792586584247903252601714502511652018733705556477669856403061671860988301022089008752404238293812121415758527179547281628232710885994458574715033852877595426024800791719981955344151916599003503828822200355665967958771090937688409231050763744882094456320484272716122798149836361660589595209083576887254232532955229749892640550762959438241278496193819382077545905461172547961340469817691165676094261320725727312607482937653140421619686103059529199421431937449566099337396063075218302243845475341677972462038126626903408167086517545386382155008956065955410392914952623927880847159533184535486666480480563407531428385329300522477684217050951264747454635754866214784941542315111038630684391425212439304190584122374222972284606537485052464648655369719099026760518287560996997210778473066980129427427439517032390964791367678221749630975419713438139162678878555999177528450882748046538588177447270306738234898502976902853001364550405227287093940058325788585457368654991956265863050083472087623066020903378919489920975190829421602010382039477772083400661519154972695436582305021910908576692048173534958894170976763084807837402813849227540942073315401115262334876815962087441302256558438912500607230205782013083674113023497612445214795170983848687988348203289441256908755565216081815151205638893112562415329084456934095146184469290901166110634875590164835606941629407489774379792739804674764243483912084691871769225446506284310565309190872477286255925383528545036360550854226919571246361133225904820301916588317084377712259367894846411294822587075835486985645510829880528578782698412556249274522235061092454342386202327120407827540333914613192189174315884136688019435966273663470431440443032136411775605030601436837063972690330417475187330200911967500496761618122614796452937124070398703890868915527051490465736745397764941094879479649438162576614346948652085308024696358256756585794568493319042053882843808180358787110774418075478801186519577416271896383169835708225636584654568643702618602433548938163720732772538345454513065011540675765510656970500413537205370067924880209217363407323673368448004904408413977741706965494247040799786451861822188473571257556819433284087486023676249467869483631380473856486239547015603318322612783652068699798539400406637311682731115340677841660240710431551140370410375585572939303084073843540702120551963050514959945741359169911676575478403279380112020347348292538150798320452794842427526501796852911863108178276638472320237870082862271763396195139513712303136194366021540830531456910584048372546025177765140460207112923151923176402146752868221966889915381596481253160696822260723194259521813054303457222367967929268763072892355278854714278243863110783067060124459039315528176840304931522813148745824350892130595015198002557204332483215551447097512510076223364801202888087635650654634946887232727623906459076670227108634162319210357007273369354657187569046394884895083794103531835959613994575377897775525461977464747518162975010091463561925032742645594645800581600698347817023194379921397347681150492687237349021564206463096138703201250277757980410772647014391579144424375252519766764670458008515297647624144814453496069685127439800629552075692648608681506879044376428977463175175205181547958459515159074701285838493694034007662410100183533141516684185460758175066481561018901133031951042099053297118837448984443230856642737606478787880285299903521855025612413471034466624171559209077538498475106811294029060334271803320566493935024621719717684804443351866946690525266060758332190531807232565501890293754259590947433140384335366973398816899253698302119916142891631005349335372158005779944529176735887193980409288474621694590303098552382376969442365186023130985507823617670051191889015351479659778676132449671642015059540438237303922903056079068344635440276772565425944329927654906262952475555750912023879424636021462043321631428365675851865654901693474343411406220907550090045689588323936814675126103464401223728058185048320475251266882875299120582253090033177883674432343812734123922042926554908548231473285349572210962289889800994026533629321464700552029391517293055196218065667251276237490129206098414338903210942488902792253924667941082273267563528653863343443486495762400409978995985052082310730277076965242846278402568285187365588876653245423047205943478612931964211293489374119565751486787204884502307512372923973119191125614068756094526892783321688030310900558025683455451898487401139315290743477461921025987905332236299398859448938742087487316288730711068752763449392366897236258997091176996253284306687635454361862179407191652155243650619571720232128624130785404930566805029233271375546253313287446285812219961565022654510373870581648214791139170870970509074158721967633425471550515801498191107216277620692347014234913527385812164834475002007099402122991439542783981984927181300669603290190495106195784248531299740262706106798338573523977365240941293695214188675632715447081372252551022981921251125675131839210074132286029621443262127145872022404314258219255606415280218445074654034790115075558513374422753617188198385931164810182817002794172279803028202086567081267453349341345496389239379776494419022301042067986600501045466950004057134726934147691678031986698845370299987067384407310337433828116514830745374490760171672152978595040351405572526523026051215093709900567873568385242574546385008567738263951532676549294356417565797771595638496719149577804216291892125541055147173723744991756669672459021375111288754125372918394417976243093028214703329386031799313949535161343892720409046065009958980978947997662545514664194262097665297242612367968766000629174655887090824363583653843658980277566031286429628476318572915045823895805826010132712977834418613468288832988547377174550796802573148684253294172285056777826927377158058647145403557721233512002495437339413998842782599710186215723437958154275340509811072349041046483806284608873394275718878590418692809288333423522781240698974441829879303794241455852776713321354870647251094720675572322788447908778778892116234131617608416732280987493141331884927860259324392781255786150891859203497212615916404999097067778739914857961305884934678762043515521190581898256624635957830927811421154992139986999936203631149852372802564314896151749326404428772008250428569338329698161850171265411426708113723558325059062871506712838460986031147060351491506316012532538793354499545667009527573810892048004652452452139688789392912938251888341298122235232861138733903153560967292104241190946350516769769305030762386908399592555043192236069279491224465826684203312081255431851756341234566913972589390601558650830437402045595207689996159597545711808203688318112918947661662115802919578636403430323041610018063696707221249826383715263388850307418469423973486747009233945036220901518185766942733836846126816638158345048782728241251279820310193223512959111029884002230571688216854282257873218631744450950552327428952538149545262779889824399028513132208638633070602135522752076661567872472325125674291268881849101416382703647451428232847993332157180794015036365361645888146355749366150209085457189187232786399585879941680370348141105404742298452497895369287193974496140445677301271403589665822911096832952021181343571136957607816318342755770560406569920261633966403484121679869542684843686908354373688437968683525723666121485947946747887572716360800696442816474113593466106089204179554677145374582437962664618883018628687510079511252556002241788346284019750863992283906513572325918053464080643521532154825074820239077990779007069588034029619562190416747359712884084324521598678178890186409451480686781733176824920276835002477523486093586963733155424491897575495851549527034538337694314953057164019215026670773910997443279760005290641511584707193226351271670439775141076552632736166117611394934325673743882365518318561208941552931629125136799711574578916741023587251428998946963182411650554404206416336487418656105333038545773960190949602850096208569085230228708894874577523512558281973392961263921656163963369388411763476388625952406901518273413037068643383550282962237729195901788599392876651086599849223994259145259240479384380657803498058719062529007339428316229997756899857712116922758683071707472935574499244978419788171338468471751125303860911589289400806637202920429489919870263415951660888975434827304297451362325052693482001524843171229078467910537913138115458626612024970730899515114301915281613929239329351501049859225274564107846818112938339161308943153205117651716380468462296193882444293370484368530096898812778973178284912798550245246063411918482638261694029245273291646707331594675213428158755273882438357960245064051015888918541801139771619743221405037797285669481455810653320008904215997597975907391512026214020012010134707536774227636477580918167507850485197065326391091171451763751237612739498468510009055480025096015985581769370179656781151306565952590101977398335185042637681982306448413722177895665290302796223004198526079143104070007874540548221582347389579e-4951L))
| return 0;
| else
| return 1;
| }
|
| #else // SIZEOF_LONG_DOUBLE != 12
|
| int
| main() {
| return 1;
| }
|
| #endif // SIZEOF_LONG_DOUBLE != 12
|
configure:8863: g++ -o conftest -g -O2 -frounding-math conftest.cpp >&5
configure:8863: $? = 0
configure:8863: ./conftest
configure:8863: $? = 1
configure: program exited with status 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.12.1"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.12.1"
| #define PACKAGE_BUGREPORT "ppl-devel(a)cs.unipr.it"
| #define PACKAGE_URL ""
| #define PPL_CONFIGURE_OPTIONS " '--with-gmp=/usr/local/'
'--prefix=/usr/local/ppl-0.12.1'"
| #define PPL_NDEBUG 1
| #define PPL_FPMATH_MAY_USE_387 1
| #define PPL_FPMATH_MAY_USE_SSE 1
| #define PPL_COEFFICIENT_TYPE mpz_class
| #define PPL_COEFFICIENT_BITS 0
| #define PPL_GMP_INTEGERS 1
| #define STDC_HEADERS 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_SYS_STAT_H 1
| #define HAVE_STDLIB_H 1
| #define HAVE_STRING_H 1
| #define HAVE_MEMORY_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_INTTYPES_H 1
| #define HAVE_STDINT_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE_TYPEOF 1
| #define SIZEOF_CHAR 1
| #define SIZEOF_SHORT 2
| #define SIZEOF_INT 4
| #define SIZEOF_LONG 8
| #define SIZEOF_LONG_LONG 8
| #define SIZEOF_SIZE_T 8
| #define SIZEOF_FLOAT 4
| #define SIZEOF_DOUBLE 8
| #define SIZEOF_LONG_DOUBLE 16
| #define SIZEOF_INTP 8
| #define SIZEOF_FP 8
| #define HAVE_FENV_H 1
| #define PPL_CAN_CONTROL_FPU 1
| #define PPL_CXX_PLAIN_CHAR_IS_SIGNED 1
| #define PPL_CXX_PROVIDES_PROPER_LONG_DOUBLE 1
| #define PPL_CXX_FLOAT_BINARY_FORMAT PPL_FLOAT_IEEE754_SINGLE
| #define PPL_CXX_FLOAT_EXACT_OUTPUT 1
| #define PPL_SUPPORTED_FLOAT 1
| #define PPL_CXX_DOUBLE_BINARY_FORMAT PPL_FLOAT_IEEE754_DOUBLE
| #define PPL_CXX_DOUBLE_EXACT_OUTPUT 1
| #define PPL_SUPPORTED_DOUBLE 1
| /* end confdefs.h. */
|
| #include <limits>
| #ifdef HAVE_STDINT_H
| #ifndef __STDC_LIMIT_MACROS
| #define __STDC_LIMIT_MACROS 1
| #endif
| #include <stdint.h>
| #endif
| #ifdef HAVE_INTTYPES_H
| #include <inttypes.h>
| #endif
|
| #if SIZEOF_LONG_DOUBLE == 16
|
| #if defined(__sparc__) && defined(__arch64__) && (__GNUC__ < 4 ||
(__GNUC__ == 4 && __GNUC_MINOR__ < 4))
|
| // Work around http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37661
| int
| main() {
| return 1;
| }
|
| #else // !defined(__sparc__) || !defined(__arch64__) ...
|
| long double
| convert(uint64_t msp, uint64_t lsp) {
| union {
| long double value;
| struct {
| #ifdef WORDS_BIGENDIAN
| uint64_t msp;
| uint64_t lsp;
| #else
| uint64_t lsp;
| uint64_t msp;
| #endif
| } parts;
| } u;
|
| u.parts.msp = msp;
| u.parts.lsp = lsp;
| return u.value;
| }
|
| int
| main() {
| if (std::numeric_limits<long double>::is_iec559
| && (convert(0xaaacccaaacccaaacULL, 0xccaaacccaaacccaaULL)
| ==
-8.55855653885100434741341853993902633367349104766375354667159377718342093894815477326286823233135691805519944470138219932524951165689852082013017904043605683486724317550972746307400400204571080045247416605879743573136814766221652651396476675668866980798618379071105211750397249729982891787041148520384572930274879267722158826932337019191713973025403784448443813348692062209940856126724493492803365972504505177354875652033856070760087261648660638833868952644144747756799606849182265604546917705495630867683634260396102823982577953799017062698102242357552179655099799114234932578035799185560231199083485854936098752376968393647581458407558794412029383325763638562788717260040049064497131924995762524305159587498016677454321953274959044696323291625045478494472581264819229447771276640446297211105522340278216491094195598543872903469867733674572559977106495016037365144714092305087690135013719347274733034998868445412589677425060095799279101903473205374412225289846468374532481297065712317082077938035156602646698351182648104255704218634101302925067087078955133405900007044267209898310644310904503791609310204530573463263951434586894153990739119187567218316060343579381319744970284036645819031296341711196622764674251739340075981861518157380656135644972541894187627902651874054588734732906342927804126694032667794810086817870907476586539935233288396561987441453006798066121939082312783518917156845604116991071351557087417820814737448930366014934139649936714605919733198611573267554373841805458030152706709963798138766665437195696286204333504023648063774567253657433115103351104190986192714072985487851579415615609526545777708652951405409847708647802254957197551148967040887700676749608935220270768342493900689974647088468653016844028721111482484905641458435567969469008688175230469940968306817582881926746422674891155765989419578280531847369896579997902056370886853884911608932917273377526774091310024267948445090595150848945937264274298230316059283748541372546998570685254364147022857127106166375807928861080771495427281772909457414476961102929683460150380091022216902985688084496718499522925736236100966839490544989265028487132166444183820209811985298620037327410566483546092567386575203772065259924817078378553423445114795887961447486917127608105936488957460696218995227900239169698156532097505472359601263421630872600694896078087993492528322817946497772710008837719609909497752428441503174822795185219988589528998338631725113908025553153842511443825016809012668839505492083731555461826355018782953670089090573806418379608917728933789667567839232807208925449602517595541397929042673972541764273293287457694772131268012143158809453627483947788463130353101911401667613659585055576869155534998835800762122080588150495103765874874613454517177121048246498282285280904742153700877576028449241385429235777250684782328183787286276152331338688335510090441008799792147837436640030059474106105829612076012626498555138419516242851436828131901668517305064107076254421670883938440896580435257206350630093337919967881954501164988008085285088049681541452106188312639266136685237513628484410146475880276899689323468288129178652504797093820419402611691354199968499448738482587415636727937353639264845197813295922091561637504736126720760129127710879063043647425297778439069116811334073539456451043564046959839163407469915211595468718792531664679340442279513006653831781499155674396529973036072198720572542914738630057353297633085013244779323578115668031532144051510758240504037804690564298890171218568053886450388507561335540224075309922339483204122333658701871584147135738144358394867585372134490396264937274938848938884293776466212293402264641368524174512841804801230279990820989956713963566987970818315606031084417487965298373510594915942429581446481759482857537804431542098380533075194397625795605337047384493682506827547173206735463795863376044170821429161475172513429888642402089329334654087406739184258619435041737233405001461505889892578125e-1644L
| && convert(0xcccaaacccaaacccaULL, 0xaacccaaacccaaaccULL)
| ==
-124514581107511552210796456934966803687304842980295573828954497922493752983397188814711304411560018580965744046315133789985274208017368151964100284400784216106649187287727268989948309893335776137201236307422254490384994342132786695251856340822607539332337741185911979986209464222776112117543477310592395735321641016191765613924234896253051931334188353106422231052895112533426462965071195000083346118845388851222468275853899619767858364593491745895616655921022591572983370616010095670881627966440183912948095715866505356803258659518882310562527709556367822539262111581385341941163873435919341717170180065638145777392282815973491833042960716493005101610346003273833563515742996380936304245423639950200211170835546053201980835724318930743625600269679260909350277600256315069013053332133830043213033329696436217829598890872375814523266366034383531514035947792389939922899745714167418517458817088636450662300503353562047987996978943856662174717195437379600755109302771921946748859230686543872.0L
| && convert(0x0000000000000000ULL, 0x0000000000000001ULL)
| ==
6.475175119438025110924438958227646552499569338034681009689884389197039540124119371017671491276649940255878141476848119676587219886382542046685110071972617983042792710751334934416734625638471740239448526505553990391455556252171148068070822034688256982476272828789103028357337561348031062386564592639826226991907907867663262065711211583064657196068308332845234453069760526489447660964579313751403402631804350039948870075255648713368066117879403155766713303467434937062409411685215137607333139422843835051668983567167196802642952353504079714347103860537782893700215521168667711042950610021881513627986429461700433339201935397498825184335385514892844339930852967838448682125502304114122153045946465463084764110174478737044335312389661483639210553943411476544786261397875064191451226767614625892790369961415069606980007080502788648919975916801878222002252381723047230971876570995428821219281596547633023538783137183646396952831530551068683419596735374086746290525867996216905323365319885172609956827625511036332478353228947631880050684559150608318986521540136061273771493390412784756552103897518527764158778759333880714882279633323826397312375406927039446525306447838514371503654987855172306307584155459826707095909617752526800401326990828721633726770440915439092677906646798573524199116648264206920451160133635071361773812121716528178148240720783226736549623736135274990309138143183248371959875978805027500928693808073336955752759088442865600075199888998323880643549670055505421362435108572732087322982027187772459231228989472372951864321099261878781084330252988333921362998963303722431059741968763452406953835015120533773385289904710843628402700274702870474073825248828889984994284607604847211794221210729913159829014217168004461049532662696542913183628157199561641949923936629368992856621383084545327636972265542355341749855663020004887316835216156767223053799811067258913808469994232607858854524064432145775922144535701236468985705212977045479489515690009388923625580685788707605877343857669170894656797423368490329407251160393356048820607085089069025413584269816739747211239513550414383117508826763143512862006497058041145296097892917999935577053234252698691933792724753682184537682835562829938630004838384363944243137622864918257474256280127291116965050600178120477720784742184205376195975831677721764740044536624645764471381571452381830125398765152083287483110279394697855915713981939970684599199594863007230624076786139617554631450734995190081932187616814234632738778224433256463738346435274905710925581106061273840975592931761266799265587765468946764337085192369358316298457450008809428586921504743730873895710474614480003727146162349858333291516552162545370312200390841588309480973274631646273597390249477746657131891196482398670118797910098918899689482196956660638225731960693542763964302308999692957091061300183648329785182793301407267200046383043005236759977387601407769110383295729918654520937785586390633157020347632812108728638589813282569529576769367173324764085285705308312954957401558247168739931446569422818723482471097374362105279278558570746278168331596903799527959001674856155564619821407044799720020620642233246057848236476047540762849788325435630592420194490443539428990899488655890183886788650518595542180257939200539645041808387760238189562428351774632440622618056913137499820021924733173668036806485733443567039613866037176155955253827548473360440517049422696075501183292573063250613021167503858561082238374439193413231472608072888733326512853287806773389073299297372760244397355791502004654458118728037510329034120643030182346716011974996719598934277635297762958837247389366909763367493682299430362668996193935405226221180280462691353912282455701759810037116439968883639596108926413528826200502511551071661541071241892319070812994269518086385295992381025957172992399312141414210235547707008555590049509294048331178258885645254295737834927590332773105843826797756540039810295021699037788228205072146738094320261980823252096852875670591366194556595549470362090317233349128160475626293246538430039226463877253517855062981890058712415866578727694362877805078594115939049922697215689139042884475829798201399221843339843144334329750976265054375898637087619406776357862341599539585772173362569929723217313856218610739079911693928395573354107695207924389443047735986097057117102761647398583746704066222192489628491579241861512228457942727677656217068060304063431859444999092873095546808035894071193872676924207893595051334067870866978585241063298399448801664979503576258730853137762656715932674584878408765074348715350808211160488037567370082449596914044378631384351574514574407266268601518418121140639017772950755439822352142605465639756330937185434812776437455170052704254873689525989445652781559474644227537684964321625946200647347726100468875445797592291192363724641100602571723960104389727561487616213893880158699261565353860394268412519478250755882121502350855777548987354957187611364644347783460623918569790357712078708030071729862147204119062003145783057657964335620490686654777775857772417230654005669380137272188650104502859563282535642734533430567287319498304528915876638370296607209654727246810120749147011579846007686876872348978767610197018167444101532656500699586407674404325249380187066956228877621206281130141035339929259895087216809976356039304176324615051223863642132987493989282096132023719628675179659793099441124234181354583082636306115430335248256636595542753063577946177399294336318459611754831189657065079679934928129113295189411660749306226747061753316760480290760846421347557553607185254462514991634789163215592554565288625021429064594217444034435094635489801294636044217141894128608560200837942901104014713783039046587228833888032709513732700101667002833885010142407620233438106861087062055906874872893491133678484259720820886397724438939944326449942516696628683510030426237257765426269532595248183289611602373952305073827029425838481007443361481172033664199893614932623554378101313353925699162767581809444174957293532641034112367163940472496454826645496608268491435975330754792022473413254641635309131365360013914909519963236046952897089347016136738984133133790874101143168691022141918967797877476450100585067348766183224990814253610763592974731784263832853675045343246533254966131311531411068478710429786791811404658680805588105768518292098129259164151153126615341498379324353953450723874092401152015787628879390603785057522375088322779364007018433582543673090990833352296302290390165336647355242365982903670648563727239283547241202029021901993493453231407543942533374303128855544718854681133818703717309615999563617026069360208156393214924333856037726771259857931298487909006782987195926835910537279213582905667384935745871483880724959685377284455451325009389359115356341859747548302075715614439876712304113995679250907454883895302396632381653230532032695481751231940062856024456656381220713413431325444483757534262449339675147214243079144598658808202548926312120596697863356554722348114194969409174072455372221354826189882023922524876054935905929454258925505387898039528329076689551108932342856243697999637938228068665595345855978215420274558562368590236467711884770512666328306756286559348574636272916414332349992225277379071952095234443041820054854970323931404077610323730988914889188356127533914074856107086479831584739755622106834971368997334246432264012757261628954213626177797127289818357558926591911175376134554737367672941224416966599144520688033032388494464597481600684233179969688713377153969107014820586500187890028419759966629125896903859724482018551567368459339437282027473163713630554370146518281068049701849575089743432349308849281456182745027011845653626290780738299181305772482001250991761047543344790454625943156085044661103576512523366161351099640751135385148305913987889008698009234370941891346098306437937661227172386506980636903743541285235605780167216008920828610842066522096589500420940606405692664109905063234866117077516308694175709123219476283230290207497555159467149979347020209673500496651023554475005053991295374430728524771212435107382664318842703197811901075027036703041419315229156263279708865064004473392401710817533040210152757966691416471836361498546249180866049039738294265863864925406135752428537159880132061042828090772733103561437021070938835520484987564784902357826645006185384847299711513042558913116550679842981785737713725790045128094411676264858573201529073678073396387519268373798582548263868592119666097381189255247190641352195443081432945981901223716745712543744847146503012460085216148335807619624528396069010370871981642712755932969484501155184487454597846375782598809708096893645439856478634508146859065978179351007580744928974114529788215226484601824974140107352758776378993800008479463640459773788106039221647527915619638375897279653946867057366337834721265500081035695372958187077367633848426351345959537644131255393886949828040966112768013745671476622221973172299021322723830684345054818157484501760113734299662298242039459694484074671808880126261963999301400833575366587220239180443885948634911432672454909578479586976064598126633177835011824812040440090529736915436564330317784343260941419199007994565556336195654994767768391641843167291242587882400091208124348669996343070061026732554587428779976439512259161737036335847682346728539549778493388870528102969822923976454022477322075204905420377823800876540724560782242540043358494305758648390071388556142954991440895026034342297754624387472732697423260211014731729196139172514053952591428247887383243344755389104496037975360677224765591211970382212225942797592005272680787386239303946689423293709148965999400795905073756697025967564396661027489606337872152854151887574400979150870295978066773059913103141338094206140446153595784659696116999451265627049162745281492831846033865707908304944975732574637090102130752860241496159897720566523711477673910492376257245019657271734451417565932034846341070093018262777507790026122302775680179025723685230883459924631462602175535978001836273235741164283034661871238537285831967107455175175353583907073921428e-4966L
| && convert(0x8000000000000000ULL, 0x0000000000000001ULL)
| ==
-6.475175119438025110924438958227646552499569338034681009689884389197039540124119371017671491276649940255878141476848119676587219886382542046685110071972617983042792710751334934416734625638471740239448526505553990391455556252171148068070822034688256982476272828789103028357337561348031062386564592639826226991907907867663262065711211583064657196068308332845234453069760526489447660964579313751403402631804350039948870075255648713368066117879403155766713303467434937062409411685215137607333139422843835051668983567167196802642952353504079714347103860537782893700215521168667711042950610021881513627986429461700433339201935397498825184335385514892844339930852967838448682125502304114122153045946465463084764110174478737044335312389661483639210553943411476544786261397875064191451226767614625892790369961415069606980007080502788648919975916801878222002252381723047230971876570995428821219281596547633023538783137183646396952831530551068683419596735374086746290525867996216905323365319885172609956827625511036332478353228947631880050684559150608318986521540136061273771493390412784756552103897518527764158778759333880714882279633323826397312375406927039446525306447838514371503654987855172306307584155459826707095909617752526800401326990828721633726770440915439092677906646798573524199116648264206920451160133635071361773812121716528178148240720783226736549623736135274990309138143183248371959875978805027500928693808073336955752759088442865600075199888998323880643549670055505421362435108572732087322982027187772459231228989472372951864321099261878781084330252988333921362998963303722431059741968763452406953835015120533773385289904710843628402700274702870474073825248828889984994284607604847211794221210729913159829014217168004461049532662696542913183628157199561641949923936629368992856621383084545327636972265542355341749855663020004887316835216156767223053799811067258913808469994232607858854524064432145775922144535701236468985705212977045479489515690009388923625580685788707605877343857669170894656797423368490329407251160393356048820607085089069025413584269816739747211239513550414383117508826763143512862006497058041145296097892917999935577053234252698691933792724753682184537682835562829938630004838384363944243137622864918257474256280127291116965050600178120477720784742184205376195975831677721764740044536624645764471381571452381830125398765152083287483110279394697855915713981939970684599199594863007230624076786139617554631450734995190081932187616814234632738778224433256463738346435274905710925581106061273840975592931761266799265587765468946764337085192369358316298457450008809428586921504743730873895710474614480003727146162349858333291516552162545370312200390841588309480973274631646273597390249477746657131891196482398670118797910098918899689482196956660638225731960693542763964302308999692957091061300183648329785182793301407267200046383043005236759977387601407769110383295729918654520937785586390633157020347632812108728638589813282569529576769367173324764085285705308312954957401558247168739931446569422818723482471097374362105279278558570746278168331596903799527959001674856155564619821407044799720020620642233246057848236476047540762849788325435630592420194490443539428990899488655890183886788650518595542180257939200539645041808387760238189562428351774632440622618056913137499820021924733173668036806485733443567039613866037176155955253827548473360440517049422696075501183292573063250613021167503858561082238374439193413231472608072888733326512853287806773389073299297372760244397355791502004654458118728037510329034120643030182346716011974996719598934277635297762958837247389366909763367493682299430362668996193935405226221180280462691353912282455701759810037116439968883639596108926413528826200502511551071661541071241892319070812994269518086385295992381025957172992399312141414210235547707008555590049509294048331178258885645254295737834927590332773105843826797756540039810295021699037788228205072146738094320261980823252096852875670591366194556595549470362090317233349128160475626293246538430039226463877253517855062981890058712415866578727694362877805078594115939049922697215689139042884475829798201399221843339843144334329750976265054375898637087619406776357862341599539585772173362569929723217313856218610739079911693928395573354107695207924389443047735986097057117102761647398583746704066222192489628491579241861512228457942727677656217068060304063431859444999092873095546808035894071193872676924207893595051334067870866978585241063298399448801664979503576258730853137762656715932674584878408765074348715350808211160488037567370082449596914044378631384351574514574407266268601518418121140639017772950755439822352142605465639756330937185434812776437455170052704254873689525989445652781559474644227537684964321625946200647347726100468875445797592291192363724641100602571723960104389727561487616213893880158699261565353860394268412519478250755882121502350855777548987354957187611364644347783460623918569790357712078708030071729862147204119062003145783057657964335620490686654777775857772417230654005669380137272188650104502859563282535642734533430567287319498304528915876638370296607209654727246810120749147011579846007686876872348978767610197018167444101532656500699586407674404325249380187066956228877621206281130141035339929259895087216809976356039304176324615051223863642132987493989282096132023719628675179659793099441124234181354583082636306115430335248256636595542753063577946177399294336318459611754831189657065079679934928129113295189411660749306226747061753316760480290760846421347557553607185254462514991634789163215592554565288625021429064594217444034435094635489801294636044217141894128608560200837942901104014713783039046587228833888032709513732700101667002833885010142407620233438106861087062055906874872893491133678484259720820886397724438939944326449942516696628683510030426237257765426269532595248183289611602373952305073827029425838481007443361481172033664199893614932623554378101313353925699162767581809444174957293532641034112367163940472496454826645496608268491435975330754792022473413254641635309131365360013914909519963236046952897089347016136738984133133790874101143168691022141918967797877476450100585067348766183224990814253610763592974731784263832853675045343246533254966131311531411068478710429786791811404658680805588105768518292098129259164151153126615341498379324353953450723874092401152015787628879390603785057522375088322779364007018433582543673090990833352296302290390165336647355242365982903670648563727239283547241202029021901993493453231407543942533374303128855544718854681133818703717309615999563617026069360208156393214924333856037726771259857931298487909006782987195926835910537279213582905667384935745871483880724959685377284455451325009389359115356341859747548302075715614439876712304113995679250907454883895302396632381653230532032695481751231940062856024456656381220713413431325444483757534262449339675147214243079144598658808202548926312120596697863356554722348114194969409174072455372221354826189882023922524876054935905929454258925505387898039528329076689551108932342856243697999637938228068665595345855978215420274558562368590236467711884770512666328306756286559348574636272916414332349992225277379071952095234443041820054854970323931404077610323730988914889188356127533914074856107086479831584739755622106834971368997334246432264012757261628954213626177797127289818357558926591911175376134554737367672941224416966599144520688033032388494464597481600684233179969688713377153969107014820586500187890028419759966629125896903859724482018551567368459339437282027473163713630554370146518281068049701849575089743432349308849281456182745027011845653626290780738299181305772482001250991761047543344790454625943156085044661103576512523366161351099640751135385148305913987889008698009234370941891346098306437937661227172386506980636903743541285235605780167216008920828610842066522096589500420940606405692664109905063234866117077516308694175709123219476283230290207497555159467149979347020209673500496651023554475005053991295374430728524771212435107382664318842703197811901075027036703041419315229156263279708865064004473392401710817533040210152757966691416471836361498546249180866049039738294265863864925406135752428537159880132061042828090772733103561437021070938835520484987564784902357826645006185384847299711513042558913116550679842981785737713725790045128094411676264858573201529073678073396387519268373798582548263868592119666097381189255247190641352195443081432945981901223716745712543744847146503012460085216148335807619624528396069010370871981642712755932969484501155184487454597846375782598809708096893645439856478634508146859065978179351007580744928974114529788215226484601824974140107352758776378993800008479463640459773788106039221647527915619638375897279653946867057366337834721265500081035695372958187077367633848426351345959537644131255393886949828040966112768013745671476622221973172299021322723830684345054818157484501760113734299662298242039459694484074671808880126261963999301400833575366587220239180443885948634911432672454909578479586976064598126633177835011824812040440090529736915436564330317784343260941419199007994565556336195654994767768391641843167291242587882400091208124348669996343070061026732554587428779976439512259161737036335847682346728539549778493388870528102969822923976454022477322075204905420377823800876540724560782242540043358494305758648390071388556142954991440895026034342297754624387472732697423260211014731729196139172514053952591428247887383243344755389104496037975360677224765591211970382212225942797592005272680787386239303946689423293709148965999400795905073756697025967564396661027489606337872152854151887574400979150870295978066773059913103141338094206140446153595784659696116999451265627049162745281492831846033865707908304944975732574637090102130752860241496159897720566523711477673910492376257245019657271734451417565932034846341070093018262777507790026122302775680179025723685230883459924631462602175535978001836273235741164283034661871238537285831967107455175175353583907073921428e-4966L))
| return 0;
| else
| return 1;
| }
|
| #endif // !defined(__sparc__) || !defined(__arch64__) ...
|
| #else // SIZEOF_LONG_DOUBLE != 16
|
| int
| main() {
| return 1;
| }
|
| #endif // SIZEOF_LONG_DOUBLE != 16
|
configure:8944: g++ -o conftest -g -O2 -frounding-math conftest.cpp >&5
configure:8944: $? = 0
configure:8944: ./conftest
configure:8944: $? = 0
configure:9039: result: Intel Double-Extended
configure:9053: checking whether C++ provides exact output for long doubles
configure:9271: g++ -o conftest -g -O2 -frounding-math conftest.cpp >&5
configure:9271: $? = 0
configure:9271: ./conftest
configure:9271: $? = 0
configure:9272: result: yes
configure:9358: checking whether the C++ compiler supports zero-length
arrays
configure:9468: g++ -o conftest -g -O2 -frounding-math conftest.cpp >&5
configure:9468: $? = 0
configure:9468: ./conftest
configure:9468: $? = 0
configure:9469: result: yes
configure:9515: checking whether the IEEE inexact flag is supported in C++
configure:9607: g++ -o conftest -g -O2 -frounding-math conftest.cpp >&5
configure:9607: $? = 0
configure:9607: ./conftest
configure:9607: $? = 0
configure:9608: result: yes
configure:9654: checking whether the C++ compiler supports __attribute__
((weak))
configure:9667: g++ -c -g -O2 -frounding-math conftest.cpp >&5
configure:9667: $? = 0
configure:9668: result: yes
configure:9704: checking for fenv.h
configure:9704: result: yes
configure:9704: checking for ieeefp.h
configure:9704: result: no
configure:9704: checking getopt.h usability
configure:9704: g++ -c -g -O2 -frounding-math conftest.cpp >&5
configure:9704: $? = 0
configure:9704: result: yes
configure:9704: checking getopt.h presence
configure:9704: g++ -E conftest.cpp
configure:9704: $? = 0
configure:9704: result: yes
configure:9704: checking for getopt.h
configure:9704: result: yes
configure:9704: checking signal.h usability
configure:9704: g++ -c -g -O2 -frounding-math conftest.cpp >&5
configure:9704: $? = 0
configure:9704: result: yes
configure:9704: checking signal.h presence
configure:9704: g++ -E conftest.cpp
configure:9704: $? = 0
configure:9704: result: yes
configure:9704: checking for signal.h
configure:9704: result: yes
configure:9704: checking for string.h
configure:9704: result: yes
configure:9704: checking for strings.h
configure:9704: result: yes
configure:9704: checking sys/resource.h usability
configure:9704: g++ -c -g -O2 -frounding-math conftest.cpp >&5
configure:9704: $? = 0
configure:9704: result: yes
configure:9704: checking sys/resource.h presence
configure:9704: g++ -E conftest.cpp
configure:9704: $? = 0
configure:9704: result: yes
configure:9704: checking for sys/resource.h
configure:9704: result: yes
configure:9704: checking sys/time.h usability
configure:9704: g++ -c -g -O2 -frounding-math conftest.cpp >&5
configure:9704: $? = 0
configure:9704: result: yes
configure:9704: checking sys/time.h presence
configure:9704: g++ -E conftest.cpp
configure:9704: $? = 0
configure:9704: result: yes
configure:9704: checking for sys/time.h
configure:9704: result: yes
configure:9704: checking for sys/types.h
configure:9704: result: yes
configure:9704: checking for unistd.h
configure:9704: result: yes
configure:9716: checking whether ffs is declared
configure:9716: g++ -c -g -O2 -frounding-math conftest.cpp >&5
configure:9716: $? = 0
configure:9716: result: yes
configure:9734: checking whether getenv is declared
configure:9734: g++ -c -g -O2 -frounding-math conftest.cpp >&5
configure:9734: $? = 0
configure:9734: result: yes
configure:9745: checking whether strtof is declared
configure:9745: g++ -c -g -O2 -frounding-math conftest.cpp >&5
configure:9745: $? = 0
configure:9745: result: yes
configure:9756: checking whether strtod is declared
configure:9756: g++ -c -g -O2 -frounding-math conftest.cpp >&5
configure:9756: $? = 0
configure:9756: result: yes
configure:9767: checking whether strtold is declared
configure:9767: g++ -c -g -O2 -frounding-math conftest.cpp >&5
configure:9767: $? = 0
configure:9767: result: yes
configure:9778: checking whether strtoll is declared
configure:9778: g++ -c -g -O2 -frounding-math conftest.cpp >&5
configure:9778: $? = 0
configure:9778: result: yes
configure:9789: checking whether strtoull is declared
configure:9789: g++ -c -g -O2 -frounding-math conftest.cpp >&5
configure:9789: $? = 0
configure:9789: result: yes
configure:9801: checking whether fma is declared
configure:9801: g++ -c -g -O2 -frounding-math conftest.cpp >&5
configure:9801: $? = 0
configure:9801: result: yes
configure:9812: checking whether fmaf is declared
configure:9812: g++ -c -g -O2 -frounding-math conftest.cpp >&5
configure:9812: $? = 0
configure:9812: result: yes
configure:9823: checking whether fmal is declared
configure:9823: g++ -c -g -O2 -frounding-math conftest.cpp >&5
configure:9823: $? = 0
configure:9823: result: yes
configure:9834: checking whether rintf is declared
configure:9834: g++ -c -g -O2 -frounding-math conftest.cpp >&5
configure:9834: $? = 0
configure:9834: result: yes
configure:9845: checking whether rintl is declared
configure:9845: g++ -c -g -O2 -frounding-math conftest.cpp >&5
configure:9845: $? = 0
configure:9845: result: yes
configure:9859: checking for int_fast16_t
configure:9859: g++ -c -g -O2 -frounding-math conftest.cpp >&5
configure:9859: $? = 0
configure:9859: g++ -c -g -O2 -frounding-math conftest.cpp >&5
conftest.cpp: In function 'int main()':
conftest.cpp:111: error: expected primary-expression before ')' token
configure:9859: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.12.1"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.12.1"
| #define PACKAGE_BUGREPORT "ppl-devel(a)cs.unipr.it"
| #define PACKAGE_URL ""
| #define PPL_CONFIGURE_OPTIONS " '--with-gmp=/usr/local/'
'--prefix=/usr/local/ppl-0.12.1'"
| #define PPL_NDEBUG 1
| #define PPL_FPMATH_MAY_USE_387 1
| #define PPL_FPMATH_MAY_USE_SSE 1
| #define PPL_COEFFICIENT_TYPE mpz_class
| #define PPL_COEFFICIENT_BITS 0
| #define PPL_GMP_INTEGERS 1
| #define STDC_HEADERS 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_SYS_STAT_H 1
| #define HAVE_STDLIB_H 1
| #define HAVE_STRING_H 1
| #define HAVE_MEMORY_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_INTTYPES_H 1
| #define HAVE_STDINT_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE_TYPEOF 1
| #define SIZEOF_CHAR 1
| #define SIZEOF_SHORT 2
| #define SIZEOF_INT 4
| #define SIZEOF_LONG 8
| #define SIZEOF_LONG_LONG 8
| #define SIZEOF_SIZE_T 8
| #define SIZEOF_FLOAT 4
| #define SIZEOF_DOUBLE 8
| #define SIZEOF_LONG_DOUBLE 16
| #define SIZEOF_INTP 8
| #define SIZEOF_FP 8
| #define HAVE_FENV_H 1
| #define PPL_CAN_CONTROL_FPU 1
| #define PPL_CXX_PLAIN_CHAR_IS_SIGNED 1
| #define PPL_CXX_PROVIDES_PROPER_LONG_DOUBLE 1
| #define PPL_CXX_FLOAT_BINARY_FORMAT PPL_FLOAT_IEEE754_SINGLE
| #define PPL_CXX_FLOAT_EXACT_OUTPUT 1
| #define PPL_SUPPORTED_FLOAT 1
| #define PPL_CXX_DOUBLE_BINARY_FORMAT PPL_FLOAT_IEEE754_DOUBLE
| #define PPL_CXX_DOUBLE_EXACT_OUTPUT 1
| #define PPL_SUPPORTED_DOUBLE 1
| #define PPL_CXX_LONG_DOUBLE_BINARY_FORMAT PPL_FLOAT_INTEL_DOUBLE_EXTENDED
| #define PPL_CXX_LONG_DOUBLE_EXACT_OUTPUT 1
| #define PPL_SUPPORTED_LONG_DOUBLE 1
| #define PPL_CXX_SUPPORTS_ZERO_LENGTH_ARRAYS 1
| #define PPL_CXX_SUPPORTS_IEEE_INEXACT_FLAG 1
| #define PPL_CXX_SUPPORTS_ATTRIBUTE_WEAK 1
| #define HAVE_FENV_H 1
| #define HAVE_GETOPT_H 1
| #define HAVE_SIGNAL_H 1
| #define HAVE_STRING_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_SYS_RESOURCE_H 1
| #define HAVE_SYS_TIME_H 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE_DECL_FFS 1
| #define HAVE_DECL_GETENV 1
| #define HAVE_DECL_STRTOF 1
| #define HAVE_DECL_STRTOD 1
| #define HAVE_DECL_STRTOLD 1
| #define HAVE_DECL_STRTOLL 1
| #define HAVE_DECL_STRTOULL 1
| #define HAVE_DECL_FMA 1
| #define HAVE_DECL_FMAF 1
| #define HAVE_DECL_FMAL 1
| #define HAVE_DECL_RINTF 1
| #define HAVE_DECL_RINTL 1
| /* end confdefs.h. */
| #include <stdio.h>
| #ifdef HAVE_SYS_TYPES_H
| # include <sys/types.h>
| #endif
| #ifdef HAVE_SYS_STAT_H
| # include <sys/stat.h>
| #endif
| #ifdef STDC_HEADERS
| # include <stdlib.h>
| # include <stddef.h>
| #else
| # ifdef HAVE_STDLIB_H
| # include <stdlib.h>
| # endif
| #endif
| #ifdef HAVE_STRING_H
| # if !defined STDC_HEADERS && defined HAVE_MEMORY_H
| # include <memory.h>
| # endif
| # include <string.h>
| #endif
| #ifdef HAVE_STRINGS_H
| # include <strings.h>
| #endif
| #ifdef HAVE_INTTYPES_H
| # include <inttypes.h>
| #endif
| #ifdef HAVE_STDINT_H
| # include <stdint.h>
| #endif
| #ifdef HAVE_UNISTD_H
| # include <unistd.h>
| #endif
| int
| main ()
| {
| if (sizeof ((int_fast16_t)))
| return 0;
| ;
| return 0;
| }
configure:9859: result: yes
configure:9868: checking for int_fast32_t
configure:9868: g++ -c -g -O2 -frounding-math conftest.cpp >&5
configure:9868: $? = 0
configure:9868: g++ -c -g -O2 -frounding-math conftest.cpp >&5
conftest.cpp: In function 'int main()':
conftest.cpp:112: error: expected primary-expression before ')' token
configure:9868: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.12.1"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.12.1"
| #define PACKAGE_BUGREPORT "ppl-devel(a)cs.unipr.it"
| #define PACKAGE_URL ""
| #define PPL_CONFIGURE_OPTIONS " '--with-gmp=/usr/local/'
'--prefix=/usr/local/ppl-0.12.1'"
| #define PPL_NDEBUG 1
| #define PPL_FPMATH_MAY_USE_387 1
| #define PPL_FPMATH_MAY_USE_SSE 1
| #define PPL_COEFFICIENT_TYPE mpz_class
| #define PPL_COEFFICIENT_BITS 0
| #define PPL_GMP_INTEGERS 1
| #define STDC_HEADERS 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_SYS_STAT_H 1
| #define HAVE_STDLIB_H 1
| #define HAVE_STRING_H 1
| #define HAVE_MEMORY_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_INTTYPES_H 1
| #define HAVE_STDINT_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE_TYPEOF 1
| #define SIZEOF_CHAR 1
| #define SIZEOF_SHORT 2
| #define SIZEOF_INT 4
| #define SIZEOF_LONG 8
| #define SIZEOF_LONG_LONG 8
| #define SIZEOF_SIZE_T 8
| #define SIZEOF_FLOAT 4
| #define SIZEOF_DOUBLE 8
| #define SIZEOF_LONG_DOUBLE 16
| #define SIZEOF_INTP 8
| #define SIZEOF_FP 8
| #define HAVE_FENV_H 1
| #define PPL_CAN_CONTROL_FPU 1
| #define PPL_CXX_PLAIN_CHAR_IS_SIGNED 1
| #define PPL_CXX_PROVIDES_PROPER_LONG_DOUBLE 1
| #define PPL_CXX_FLOAT_BINARY_FORMAT PPL_FLOAT_IEEE754_SINGLE
| #define PPL_CXX_FLOAT_EXACT_OUTPUT 1
| #define PPL_SUPPORTED_FLOAT 1
| #define PPL_CXX_DOUBLE_BINARY_FORMAT PPL_FLOAT_IEEE754_DOUBLE
| #define PPL_CXX_DOUBLE_EXACT_OUTPUT 1
| #define PPL_SUPPORTED_DOUBLE 1
| #define PPL_CXX_LONG_DOUBLE_BINARY_FORMAT PPL_FLOAT_INTEL_DOUBLE_EXTENDED
| #define PPL_CXX_LONG_DOUBLE_EXACT_OUTPUT 1
| #define PPL_SUPPORTED_LONG_DOUBLE 1
| #define PPL_CXX_SUPPORTS_ZERO_LENGTH_ARRAYS 1
| #define PPL_CXX_SUPPORTS_IEEE_INEXACT_FLAG 1
| #define PPL_CXX_SUPPORTS_ATTRIBUTE_WEAK 1
| #define HAVE_FENV_H 1
| #define HAVE_GETOPT_H 1
| #define HAVE_SIGNAL_H 1
| #define HAVE_STRING_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_SYS_RESOURCE_H 1
| #define HAVE_SYS_TIME_H 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE_DECL_FFS 1
| #define HAVE_DECL_GETENV 1
| #define HAVE_DECL_STRTOF 1
| #define HAVE_DECL_STRTOD 1
| #define HAVE_DECL_STRTOLD 1
| #define HAVE_DECL_STRTOLL 1
| #define HAVE_DECL_STRTOULL 1
| #define HAVE_DECL_FMA 1
| #define HAVE_DECL_FMAF 1
| #define HAVE_DECL_FMAL 1
| #define HAVE_DECL_RINTF 1
| #define HAVE_DECL_RINTL 1
| #define HAVE_INT_FAST16_T 1
| /* end confdefs.h. */
| #include <stdio.h>
| #ifdef HAVE_SYS_TYPES_H
| # include <sys/types.h>
| #endif
| #ifdef HAVE_SYS_STAT_H
| # include <sys/stat.h>
| #endif
| #ifdef STDC_HEADERS
| # include <stdlib.h>
| # include <stddef.h>
| #else
| # ifdef HAVE_STDLIB_H
| # include <stdlib.h>
| # endif
| #endif
| #ifdef HAVE_STRING_H
| # if !defined STDC_HEADERS && defined HAVE_MEMORY_H
| # include <memory.h>
| # endif
| # include <string.h>
| #endif
| #ifdef HAVE_STRINGS_H
| # include <strings.h>
| #endif
| #ifdef HAVE_INTTYPES_H
| # include <inttypes.h>
| #endif
| #ifdef HAVE_STDINT_H
| # include <stdint.h>
| #endif
| #ifdef HAVE_UNISTD_H
| # include <unistd.h>
| #endif
| int
| main ()
| {
| if (sizeof ((int_fast32_t)))
| return 0;
| ;
| return 0;
| }
configure:9868: result: yes
configure:9877: checking for int_fast64_t
configure:9877: g++ -c -g -O2 -frounding-math conftest.cpp >&5
configure:9877: $? = 0
configure:9877: g++ -c -g -O2 -frounding-math conftest.cpp >&5
conftest.cpp: In function 'int main()':
conftest.cpp:113: error: expected primary-expression before ')' token
configure:9877: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.12.1"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.12.1"
| #define PACKAGE_BUGREPORT "ppl-devel(a)cs.unipr.it"
| #define PACKAGE_URL ""
| #define PPL_CONFIGURE_OPTIONS " '--with-gmp=/usr/local/'
'--prefix=/usr/local/ppl-0.12.1'"
| #define PPL_NDEBUG 1
| #define PPL_FPMATH_MAY_USE_387 1
| #define PPL_FPMATH_MAY_USE_SSE 1
| #define PPL_COEFFICIENT_TYPE mpz_class
| #define PPL_COEFFICIENT_BITS 0
| #define PPL_GMP_INTEGERS 1
| #define STDC_HEADERS 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_SYS_STAT_H 1
| #define HAVE_STDLIB_H 1
| #define HAVE_STRING_H 1
| #define HAVE_MEMORY_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_INTTYPES_H 1
| #define HAVE_STDINT_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE_TYPEOF 1
| #define SIZEOF_CHAR 1
| #define SIZEOF_SHORT 2
| #define SIZEOF_INT 4
| #define SIZEOF_LONG 8
| #define SIZEOF_LONG_LONG 8
| #define SIZEOF_SIZE_T 8
| #define SIZEOF_FLOAT 4
| #define SIZEOF_DOUBLE 8
| #define SIZEOF_LONG_DOUBLE 16
| #define SIZEOF_INTP 8
| #define SIZEOF_FP 8
| #define HAVE_FENV_H 1
| #define PPL_CAN_CONTROL_FPU 1
| #define PPL_CXX_PLAIN_CHAR_IS_SIGNED 1
| #define PPL_CXX_PROVIDES_PROPER_LONG_DOUBLE 1
| #define PPL_CXX_FLOAT_BINARY_FORMAT PPL_FLOAT_IEEE754_SINGLE
| #define PPL_CXX_FLOAT_EXACT_OUTPUT 1
| #define PPL_SUPPORTED_FLOAT 1
| #define PPL_CXX_DOUBLE_BINARY_FORMAT PPL_FLOAT_IEEE754_DOUBLE
| #define PPL_CXX_DOUBLE_EXACT_OUTPUT 1
| #define PPL_SUPPORTED_DOUBLE 1
| #define PPL_CXX_LONG_DOUBLE_BINARY_FORMAT PPL_FLOAT_INTEL_DOUBLE_EXTENDED
| #define PPL_CXX_LONG_DOUBLE_EXACT_OUTPUT 1
| #define PPL_SUPPORTED_LONG_DOUBLE 1
| #define PPL_CXX_SUPPORTS_ZERO_LENGTH_ARRAYS 1
| #define PPL_CXX_SUPPORTS_IEEE_INEXACT_FLAG 1
| #define PPL_CXX_SUPPORTS_ATTRIBUTE_WEAK 1
| #define HAVE_FENV_H 1
| #define HAVE_GETOPT_H 1
| #define HAVE_SIGNAL_H 1
| #define HAVE_STRING_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_SYS_RESOURCE_H 1
| #define HAVE_SYS_TIME_H 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE_DECL_FFS 1
| #define HAVE_DECL_GETENV 1
| #define HAVE_DECL_STRTOF 1
| #define HAVE_DECL_STRTOD 1
| #define HAVE_DECL_STRTOLD 1
| #define HAVE_DECL_STRTOLL 1
| #define HAVE_DECL_STRTOULL 1
| #define HAVE_DECL_FMA 1
| #define HAVE_DECL_FMAF 1
| #define HAVE_DECL_FMAL 1
| #define HAVE_DECL_RINTF 1
| #define HAVE_DECL_RINTL 1
| #define HAVE_INT_FAST16_T 1
| #define HAVE_INT_FAST32_T 1
| /* end confdefs.h. */
| #include <stdio.h>
| #ifdef HAVE_SYS_TYPES_H
| # include <sys/types.h>
| #endif
| #ifdef HAVE_SYS_STAT_H
| # include <sys/stat.h>
| #endif
| #ifdef STDC_HEADERS
| # include <stdlib.h>
| # include <stddef.h>
| #else
| # ifdef HAVE_STDLIB_H
| # include <stdlib.h>
| # endif
| #endif
| #ifdef HAVE_STRING_H
| # if !defined STDC_HEADERS && defined HAVE_MEMORY_H
| # include <memory.h>
| # endif
| # include <string.h>
| #endif
| #ifdef HAVE_STRINGS_H
| # include <strings.h>
| #endif
| #ifdef HAVE_INTTYPES_H
| # include <inttypes.h>
| #endif
| #ifdef HAVE_STDINT_H
| # include <stdint.h>
| #endif
| #ifdef HAVE_UNISTD_H
| # include <unistd.h>
| #endif
| int
| main ()
| {
| if (sizeof ((int_fast64_t)))
| return 0;
| ;
| return 0;
| }
configure:9877: result: yes
configure:9886: checking for uint_fast16_t
configure:9886: g++ -c -g -O2 -frounding-math conftest.cpp >&5
configure:9886: $? = 0
configure:9886: g++ -c -g -O2 -frounding-math conftest.cpp >&5
conftest.cpp: In function 'int main()':
conftest.cpp:114: error: expected primary-expression before ')' token
configure:9886: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.12.1"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.12.1"
| #define PACKAGE_BUGREPORT "ppl-devel(a)cs.unipr.it"
| #define PACKAGE_URL ""
| #define PPL_CONFIGURE_OPTIONS " '--with-gmp=/usr/local/'
'--prefix=/usr/local/ppl-0.12.1'"
| #define PPL_NDEBUG 1
| #define PPL_FPMATH_MAY_USE_387 1
| #define PPL_FPMATH_MAY_USE_SSE 1
| #define PPL_COEFFICIENT_TYPE mpz_class
| #define PPL_COEFFICIENT_BITS 0
| #define PPL_GMP_INTEGERS 1
| #define STDC_HEADERS 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_SYS_STAT_H 1
| #define HAVE_STDLIB_H 1
| #define HAVE_STRING_H 1
| #define HAVE_MEMORY_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_INTTYPES_H 1
| #define HAVE_STDINT_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE_TYPEOF 1
| #define SIZEOF_CHAR 1
| #define SIZEOF_SHORT 2
| #define SIZEOF_INT 4
| #define SIZEOF_LONG 8
| #define SIZEOF_LONG_LONG 8
| #define SIZEOF_SIZE_T 8
| #define SIZEOF_FLOAT 4
| #define SIZEOF_DOUBLE 8
| #define SIZEOF_LONG_DOUBLE 16
| #define SIZEOF_INTP 8
| #define SIZEOF_FP 8
| #define HAVE_FENV_H 1
| #define PPL_CAN_CONTROL_FPU 1
| #define PPL_CXX_PLAIN_CHAR_IS_SIGNED 1
| #define PPL_CXX_PROVIDES_PROPER_LONG_DOUBLE 1
| #define PPL_CXX_FLOAT_BINARY_FORMAT PPL_FLOAT_IEEE754_SINGLE
| #define PPL_CXX_FLOAT_EXACT_OUTPUT 1
| #define PPL_SUPPORTED_FLOAT 1
| #define PPL_CXX_DOUBLE_BINARY_FORMAT PPL_FLOAT_IEEE754_DOUBLE
| #define PPL_CXX_DOUBLE_EXACT_OUTPUT 1
| #define PPL_SUPPORTED_DOUBLE 1
| #define PPL_CXX_LONG_DOUBLE_BINARY_FORMAT PPL_FLOAT_INTEL_DOUBLE_EXTENDED
| #define PPL_CXX_LONG_DOUBLE_EXACT_OUTPUT 1
| #define PPL_SUPPORTED_LONG_DOUBLE 1
| #define PPL_CXX_SUPPORTS_ZERO_LENGTH_ARRAYS 1
| #define PPL_CXX_SUPPORTS_IEEE_INEXACT_FLAG 1
| #define PPL_CXX_SUPPORTS_ATTRIBUTE_WEAK 1
| #define HAVE_FENV_H 1
| #define HAVE_GETOPT_H 1
| #define HAVE_SIGNAL_H 1
| #define HAVE_STRING_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_SYS_RESOURCE_H 1
| #define HAVE_SYS_TIME_H 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE_DECL_FFS 1
| #define HAVE_DECL_GETENV 1
| #define HAVE_DECL_STRTOF 1
| #define HAVE_DECL_STRTOD 1
| #define HAVE_DECL_STRTOLD 1
| #define HAVE_DECL_STRTOLL 1
| #define HAVE_DECL_STRTOULL 1
| #define HAVE_DECL_FMA 1
| #define HAVE_DECL_FMAF 1
| #define HAVE_DECL_FMAL 1
| #define HAVE_DECL_RINTF 1
| #define HAVE_DECL_RINTL 1
| #define HAVE_INT_FAST16_T 1
| #define HAVE_INT_FAST32_T 1
| #define HAVE_INT_FAST64_T 1
| /* end confdefs.h. */
| #include <stdio.h>
| #ifdef HAVE_SYS_TYPES_H
| # include <sys/types.h>
| #endif
| #ifdef HAVE_SYS_STAT_H
| # include <sys/stat.h>
| #endif
| #ifdef STDC_HEADERS
| # include <stdlib.h>
| # include <stddef.h>
| #else
| # ifdef HAVE_STDLIB_H
| # include <stdlib.h>
| # endif
| #endif
| #ifdef HAVE_STRING_H
| # if !defined STDC_HEADERS && defined HAVE_MEMORY_H
| # include <memory.h>
| # endif
| # include <string.h>
| #endif
| #ifdef HAVE_STRINGS_H
| # include <strings.h>
| #endif
| #ifdef HAVE_INTTYPES_H
| # include <inttypes.h>
| #endif
| #ifdef HAVE_STDINT_H
| # include <stdint.h>
| #endif
| #ifdef HAVE_UNISTD_H
| # include <unistd.h>
| #endif
| int
| main ()
| {
| if (sizeof ((uint_fast16_t)))
| return 0;
| ;
| return 0;
| }
configure:9886: result: yes
configure:9895: checking for uint_fast32_t
configure:9895: g++ -c -g -O2 -frounding-math conftest.cpp >&5
configure:9895: $? = 0
configure:9895: g++ -c -g -O2 -frounding-math conftest.cpp >&5
conftest.cpp: In function 'int main()':
conftest.cpp:115: error: expected primary-expression before ')' token
configure:9895: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.12.1"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.12.1"
| #define PACKAGE_BUGREPORT "ppl-devel(a)cs.unipr.it"
| #define PACKAGE_URL ""
| #define PPL_CONFIGURE_OPTIONS " '--with-gmp=/usr/local/'
'--prefix=/usr/local/ppl-0.12.1'"
| #define PPL_NDEBUG 1
| #define PPL_FPMATH_MAY_USE_387 1
| #define PPL_FPMATH_MAY_USE_SSE 1
| #define PPL_COEFFICIENT_TYPE mpz_class
| #define PPL_COEFFICIENT_BITS 0
| #define PPL_GMP_INTEGERS 1
| #define STDC_HEADERS 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_SYS_STAT_H 1
| #define HAVE_STDLIB_H 1
| #define HAVE_STRING_H 1
| #define HAVE_MEMORY_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_INTTYPES_H 1
| #define HAVE_STDINT_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE_TYPEOF 1
| #define SIZEOF_CHAR 1
| #define SIZEOF_SHORT 2
| #define SIZEOF_INT 4
| #define SIZEOF_LONG 8
| #define SIZEOF_LONG_LONG 8
| #define SIZEOF_SIZE_T 8
| #define SIZEOF_FLOAT 4
| #define SIZEOF_DOUBLE 8
| #define SIZEOF_LONG_DOUBLE 16
| #define SIZEOF_INTP 8
| #define SIZEOF_FP 8
| #define HAVE_FENV_H 1
| #define PPL_CAN_CONTROL_FPU 1
| #define PPL_CXX_PLAIN_CHAR_IS_SIGNED 1
| #define PPL_CXX_PROVIDES_PROPER_LONG_DOUBLE 1
| #define PPL_CXX_FLOAT_BINARY_FORMAT PPL_FLOAT_IEEE754_SINGLE
| #define PPL_CXX_FLOAT_EXACT_OUTPUT 1
| #define PPL_SUPPORTED_FLOAT 1
| #define PPL_CXX_DOUBLE_BINARY_FORMAT PPL_FLOAT_IEEE754_DOUBLE
| #define PPL_CXX_DOUBLE_EXACT_OUTPUT 1
| #define PPL_SUPPORTED_DOUBLE 1
| #define PPL_CXX_LONG_DOUBLE_BINARY_FORMAT PPL_FLOAT_INTEL_DOUBLE_EXTENDED
| #define PPL_CXX_LONG_DOUBLE_EXACT_OUTPUT 1
| #define PPL_SUPPORTED_LONG_DOUBLE 1
| #define PPL_CXX_SUPPORTS_ZERO_LENGTH_ARRAYS 1
| #define PPL_CXX_SUPPORTS_IEEE_INEXACT_FLAG 1
| #define PPL_CXX_SUPPORTS_ATTRIBUTE_WEAK 1
| #define HAVE_FENV_H 1
| #define HAVE_GETOPT_H 1
| #define HAVE_SIGNAL_H 1
| #define HAVE_STRING_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_SYS_RESOURCE_H 1
| #define HAVE_SYS_TIME_H 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE_DECL_FFS 1
| #define HAVE_DECL_GETENV 1
| #define HAVE_DECL_STRTOF 1
| #define HAVE_DECL_STRTOD 1
| #define HAVE_DECL_STRTOLD 1
| #define HAVE_DECL_STRTOLL 1
| #define HAVE_DECL_STRTOULL 1
| #define HAVE_DECL_FMA 1
| #define HAVE_DECL_FMAF 1
| #define HAVE_DECL_FMAL 1
| #define HAVE_DECL_RINTF 1
| #define HAVE_DECL_RINTL 1
| #define HAVE_INT_FAST16_T 1
| #define HAVE_INT_FAST32_T 1
| #define HAVE_INT_FAST64_T 1
| #define HAVE_UINT_FAST16_T 1
| /* end confdefs.h. */
| #include <stdio.h>
| #ifdef HAVE_SYS_TYPES_H
| # include <sys/types.h>
| #endif
| #ifdef HAVE_SYS_STAT_H
| # include <sys/stat.h>
| #endif
| #ifdef STDC_HEADERS
| # include <stdlib.h>
| # include <stddef.h>
| #else
| # ifdef HAVE_STDLIB_H
| # include <stdlib.h>
| # endif
| #endif
| #ifdef HAVE_STRING_H
| # if !defined STDC_HEADERS && defined HAVE_MEMORY_H
| # include <memory.h>
| # endif
| # include <string.h>
| #endif
| #ifdef HAVE_STRINGS_H
| # include <strings.h>
| #endif
| #ifdef HAVE_INTTYPES_H
| # include <inttypes.h>
| #endif
| #ifdef HAVE_STDINT_H
| # include <stdint.h>
| #endif
| #ifdef HAVE_UNISTD_H
| # include <unistd.h>
| #endif
| int
| main ()
| {
| if (sizeof ((uint_fast32_t)))
| return 0;
| ;
| return 0;
| }
configure:9895: result: yes
configure:9904: checking for uint_fast64_t
configure:9904: g++ -c -g -O2 -frounding-math conftest.cpp >&5
configure:9904: $? = 0
configure:9904: g++ -c -g -O2 -frounding-math conftest.cpp >&5
conftest.cpp: In function 'int main()':
conftest.cpp:116: error: expected primary-expression before ')' token
configure:9904: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.12.1"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.12.1"
| #define PACKAGE_BUGREPORT "ppl-devel(a)cs.unipr.it"
| #define PACKAGE_URL ""
| #define PPL_CONFIGURE_OPTIONS " '--with-gmp=/usr/local/'
'--prefix=/usr/local/ppl-0.12.1'"
| #define PPL_NDEBUG 1
| #define PPL_FPMATH_MAY_USE_387 1
| #define PPL_FPMATH_MAY_USE_SSE 1
| #define PPL_COEFFICIENT_TYPE mpz_class
| #define PPL_COEFFICIENT_BITS 0
| #define PPL_GMP_INTEGERS 1
| #define STDC_HEADERS 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_SYS_STAT_H 1
| #define HAVE_STDLIB_H 1
| #define HAVE_STRING_H 1
| #define HAVE_MEMORY_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_INTTYPES_H 1
| #define HAVE_STDINT_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE_TYPEOF 1
| #define SIZEOF_CHAR 1
| #define SIZEOF_SHORT 2
| #define SIZEOF_INT 4
| #define SIZEOF_LONG 8
| #define SIZEOF_LONG_LONG 8
| #define SIZEOF_SIZE_T 8
| #define SIZEOF_FLOAT 4
| #define SIZEOF_DOUBLE 8
| #define SIZEOF_LONG_DOUBLE 16
| #define SIZEOF_INTP 8
| #define SIZEOF_FP 8
| #define HAVE_FENV_H 1
| #define PPL_CAN_CONTROL_FPU 1
| #define PPL_CXX_PLAIN_CHAR_IS_SIGNED 1
| #define PPL_CXX_PROVIDES_PROPER_LONG_DOUBLE 1
| #define PPL_CXX_FLOAT_BINARY_FORMAT PPL_FLOAT_IEEE754_SINGLE
| #define PPL_CXX_FLOAT_EXACT_OUTPUT 1
| #define PPL_SUPPORTED_FLOAT 1
| #define PPL_CXX_DOUBLE_BINARY_FORMAT PPL_FLOAT_IEEE754_DOUBLE
| #define PPL_CXX_DOUBLE_EXACT_OUTPUT 1
| #define PPL_SUPPORTED_DOUBLE 1
| #define PPL_CXX_LONG_DOUBLE_BINARY_FORMAT PPL_FLOAT_INTEL_DOUBLE_EXTENDED
| #define PPL_CXX_LONG_DOUBLE_EXACT_OUTPUT 1
| #define PPL_SUPPORTED_LONG_DOUBLE 1
| #define PPL_CXX_SUPPORTS_ZERO_LENGTH_ARRAYS 1
| #define PPL_CXX_SUPPORTS_IEEE_INEXACT_FLAG 1
| #define PPL_CXX_SUPPORTS_ATTRIBUTE_WEAK 1
| #define HAVE_FENV_H 1
| #define HAVE_GETOPT_H 1
| #define HAVE_SIGNAL_H 1
| #define HAVE_STRING_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_SYS_RESOURCE_H 1
| #define HAVE_SYS_TIME_H 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE_DECL_FFS 1
| #define HAVE_DECL_GETENV 1
| #define HAVE_DECL_STRTOF 1
| #define HAVE_DECL_STRTOD 1
| #define HAVE_DECL_STRTOLD 1
| #define HAVE_DECL_STRTOLL 1
| #define HAVE_DECL_STRTOULL 1
| #define HAVE_DECL_FMA 1
| #define HAVE_DECL_FMAF 1
| #define HAVE_DECL_FMAL 1
| #define HAVE_DECL_RINTF 1
| #define HAVE_DECL_RINTL 1
| #define HAVE_INT_FAST16_T 1
| #define HAVE_INT_FAST32_T 1
| #define HAVE_INT_FAST64_T 1
| #define HAVE_UINT_FAST16_T 1
| #define HAVE_UINT_FAST32_T 1
| /* end confdefs.h. */
| #include <stdio.h>
| #ifdef HAVE_SYS_TYPES_H
| # include <sys/types.h>
| #endif
| #ifdef HAVE_SYS_STAT_H
| # include <sys/stat.h>
| #endif
| #ifdef STDC_HEADERS
| # include <stdlib.h>
| # include <stddef.h>
| #else
| # ifdef HAVE_STDLIB_H
| # include <stdlib.h>
| # endif
| #endif
| #ifdef HAVE_STRING_H
| # if !defined STDC_HEADERS && defined HAVE_MEMORY_H
| # include <memory.h>
| # endif
| # include <string.h>
| #endif
| #ifdef HAVE_STRINGS_H
| # include <strings.h>
| #endif
| #ifdef HAVE_INTTYPES_H
| # include <inttypes.h>
| #endif
| #ifdef HAVE_STDINT_H
| # include <stdint.h>
| #endif
| #ifdef HAVE_UNISTD_H
| # include <unistd.h>
| #endif
| int
| main ()
| {
| if (sizeof ((uint_fast64_t)))
| return 0;
| ;
| return 0;
| }
configure:9904: result: yes
configure:9918: checking for uintptr_t
configure:9918: g++ -c -g -O2 -frounding-math conftest.cpp >&5
configure:9918: $? = 0
configure:9918: g++ -c -g -O2 -frounding-math conftest.cpp >&5
conftest.cpp: In function 'int main()':
conftest.cpp:117: error: expected primary-expression before ')' token
configure:9918: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.12.1"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.12.1"
| #define PACKAGE_BUGREPORT "ppl-devel(a)cs.unipr.it"
| #define PACKAGE_URL ""
| #define PPL_CONFIGURE_OPTIONS " '--with-gmp=/usr/local/'
'--prefix=/usr/local/ppl-0.12.1'"
| #define PPL_NDEBUG 1
| #define PPL_FPMATH_MAY_USE_387 1
| #define PPL_FPMATH_MAY_USE_SSE 1
| #define PPL_COEFFICIENT_TYPE mpz_class
| #define PPL_COEFFICIENT_BITS 0
| #define PPL_GMP_INTEGERS 1
| #define STDC_HEADERS 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_SYS_STAT_H 1
| #define HAVE_STDLIB_H 1
| #define HAVE_STRING_H 1
| #define HAVE_MEMORY_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_INTTYPES_H 1
| #define HAVE_STDINT_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE_TYPEOF 1
| #define SIZEOF_CHAR 1
| #define SIZEOF_SHORT 2
| #define SIZEOF_INT 4
| #define SIZEOF_LONG 8
| #define SIZEOF_LONG_LONG 8
| #define SIZEOF_SIZE_T 8
| #define SIZEOF_FLOAT 4
| #define SIZEOF_DOUBLE 8
| #define SIZEOF_LONG_DOUBLE 16
| #define SIZEOF_INTP 8
| #define SIZEOF_FP 8
| #define HAVE_FENV_H 1
| #define PPL_CAN_CONTROL_FPU 1
| #define PPL_CXX_PLAIN_CHAR_IS_SIGNED 1
| #define PPL_CXX_PROVIDES_PROPER_LONG_DOUBLE 1
| #define PPL_CXX_FLOAT_BINARY_FORMAT PPL_FLOAT_IEEE754_SINGLE
| #define PPL_CXX_FLOAT_EXACT_OUTPUT 1
| #define PPL_SUPPORTED_FLOAT 1
| #define PPL_CXX_DOUBLE_BINARY_FORMAT PPL_FLOAT_IEEE754_DOUBLE
| #define PPL_CXX_DOUBLE_EXACT_OUTPUT 1
| #define PPL_SUPPORTED_DOUBLE 1
| #define PPL_CXX_LONG_DOUBLE_BINARY_FORMAT PPL_FLOAT_INTEL_DOUBLE_EXTENDED
| #define PPL_CXX_LONG_DOUBLE_EXACT_OUTPUT 1
| #define PPL_SUPPORTED_LONG_DOUBLE 1
| #define PPL_CXX_SUPPORTS_ZERO_LENGTH_ARRAYS 1
| #define PPL_CXX_SUPPORTS_IEEE_INEXACT_FLAG 1
| #define PPL_CXX_SUPPORTS_ATTRIBUTE_WEAK 1
| #define HAVE_FENV_H 1
| #define HAVE_GETOPT_H 1
| #define HAVE_SIGNAL_H 1
| #define HAVE_STRING_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_SYS_RESOURCE_H 1
| #define HAVE_SYS_TIME_H 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE_DECL_FFS 1
| #define HAVE_DECL_GETENV 1
| #define HAVE_DECL_STRTOF 1
| #define HAVE_DECL_STRTOD 1
| #define HAVE_DECL_STRTOLD 1
| #define HAVE_DECL_STRTOLL 1
| #define HAVE_DECL_STRTOULL 1
| #define HAVE_DECL_FMA 1
| #define HAVE_DECL_FMAF 1
| #define HAVE_DECL_FMAL 1
| #define HAVE_DECL_RINTF 1
| #define HAVE_DECL_RINTL 1
| #define HAVE_INT_FAST16_T 1
| #define HAVE_INT_FAST32_T 1
| #define HAVE_INT_FAST64_T 1
| #define HAVE_UINT_FAST16_T 1
| #define HAVE_UINT_FAST32_T 1
| #define HAVE_UINT_FAST64_T 1
| /* end confdefs.h. */
| #include <stdio.h>
| #ifdef HAVE_SYS_TYPES_H
| # include <sys/types.h>
| #endif
| #ifdef HAVE_SYS_STAT_H
| # include <sys/stat.h>
| #endif
| #ifdef STDC_HEADERS
| # include <stdlib.h>
| # include <stddef.h>
| #else
| # ifdef HAVE_STDLIB_H
| # include <stdlib.h>
| # endif
| #endif
| #ifdef HAVE_STRING_H
| # if !defined STDC_HEADERS && defined HAVE_MEMORY_H
| # include <memory.h>
| # endif
| # include <string.h>
| #endif
| #ifdef HAVE_STRINGS_H
| # include <strings.h>
| #endif
| #ifdef HAVE_INTTYPES_H
| # include <inttypes.h>
| #endif
| #ifdef HAVE_STDINT_H
| # include <stdint.h>
| #endif
| #ifdef HAVE_UNISTD_H
| # include <unistd.h>
| #endif
| int
| main ()
| {
| if (sizeof ((uintptr_t)))
| return 0;
| ;
| return 0;
| }
configure:9918: result: yes
configure:10038: checking for the GMP library version 4.1.3 or above
configure:10127: g++ -o conftest -g -O2 -frounding-math
-I/usr/local//include conftest.cpp -L/usr/local//lib -lgmpxx -lgmp >&5
configure:10127: $? = 0
configure:10127: ./conftest
configure:10127: $? = 0
configure:10128: result: yes
configure:10150: checking size of mp_limb_t
configure:10155: g++ -o conftest -g -O2 -frounding-math
-I/usr/local//include conftest.cpp -L/usr/local//lib -lgmpxx -lgmp >&5
configure:10155: $? = 0
configure:10155: ./conftest
configure:10155: $? = 0
configure:10170: result: 8
configure:10181: checking whether GMP has been compiled with support for
exceptions
configure:10221: g++ -o conftest -g -O2 -frounding-math
-I/usr/local//include conftest.cpp -L/usr/local//lib -lgmpxx -lgmp >&5
configure:10221: $? = 0
configure:10221: ./conftest
configure:10221: $? = 0
configure:10222: result: yes
configure:10283: checking for __mpz_struct._mp_alloc
configure:10283: g++ -c -g -O2 -frounding-math conftest.cpp >&5
configure:10283: $? = 0
configure:10283: result: yes
configure:10295: checking for __mpz_struct._mp_size
configure:10295: g++ -c -g -O2 -frounding-math conftest.cpp >&5
configure:10295: $? = 0
configure:10295: result: yes
configure:10307: checking for __mpz_struct._mp_d
configure:10307: g++ -c -g -O2 -frounding-math conftest.cpp >&5
configure:10307: $? = 0
configure:10307: result: yes
configure:10334: checking whether to build the ppl_lcdd program
configure:10343: result: yes
configure:10365: checking whether to build the ppl_lpsol program
configure:10374: result: yes
configure:10396: checking whether to build the ppl_pips program
configure:10405: result: yes
configure:10427: checking whether to build the PPL documentation
configure:10436: result: yes
configure:10466: checking which interfaces are enabled
configure:10524: result: cxx c ocaml java
configure:10646: checking for javac
configure:10664: found /usr/lib/jvm/java/bin/javac
configure:10676: result: /usr/lib/jvm/java/bin/javac
configure:10692: checking whether /usr/lib/jvm/java/bin/javac supports enums
configure:10718: /usr/lib/jvm/java/bin/javac Test.java
Exception in thread "main" java.lang.NoClassDefFoundError:
org/eclipse/jdt/internal/compiler/batch/Main
Caused by: java.lang.ClassNotFoundException:
org.eclipse.jdt.internal.compiler.batch.Main
at java.net.URLClassLoader$1.run(URLClassLoader.java:217)
at java.security.AccessController.doPrivileged(Native Method)
at java.net.URLClassLoader.findClass(URLClassLoader.java:205)
at java.lang.ClassLoader.loadClass(ClassLoader.java:321)
at sun.misc.Launcher$AppClassLoader.loadClass(Launcher.java:294)
at java.lang.ClassLoader.loadClass(ClassLoader.java:266)
Could not find the main class:
org.eclipse.jdt.internal.compiler.batch.Main. Program will exit.
configure:10721: $? = 1
configure: failed program was:
/* #line 10701 "configure" */
public class Test {
public enum Relation_Symbol {
/*! Less than. */
LESS_THAN,
/*! Less than or equal to. */
LESS_OR_EQUAL,
/*! Equal to. */
EQUAL,
/*! Greater than or equal to. */
GREATER_OR_EQUAL,
/*! Greater than. */
GREATER_THAN,
}
}
configure:10733: result: no
configure:10788: checking for java
configure:10806: found /usr/lib/jvm/java/bin/java
configure:10818: result: /usr/lib/jvm/java/bin/java
configure:10836: checking for uudecode
configure:10866: result: no
configure:11050: checking if /usr/lib/jvm/java/bin/java works
configure:11068: /usr/lib/jvm/java/bin/javac Test.java
Exception in thread "main" java.lang.NoClassDefFoundError:
org/eclipse/jdt/internal/compiler/batch/Main
Caused by: java.lang.ClassNotFoundException:
org.eclipse.jdt.internal.compiler.batch.Main
at java.net.URLClassLoader$1.run(URLClassLoader.java:217)
at java.security.AccessController.doPrivileged(Native Method)
at java.net.URLClassLoader.findClass(URLClassLoader.java:205)
at java.lang.ClassLoader.loadClass(ClassLoader.java:321)
at sun.misc.Launcher$AppClassLoader.loadClass(Launcher.java:294)
at java.lang.ClassLoader.loadClass(ClassLoader.java:266)
Could not find the main class:
org.eclipse.jdt.internal.compiler.batch.Main. Program will exit.
configure:11071: $? = 1
configure: failed program was:
/* [#]line 11060 "configure" */
public class Test {
public static void main (String args[]) {
System.exit (0);
} }
configure:11077: WARNING: The Java compiler /usr/lib/jvm/java/bin/javac
failed (see config.log, check the CLASSPATH?)
configure:11103: result: skipping
configure:11159: checking for jar
configure:11177: found /usr/lib/jvm/java/bin/jar
configure:11189: result: /usr/lib/jvm/java/bin/jar
configure:11259: checking for javah
configure:11277: found /usr/lib/jvm/java/bin/javah
configure:11289: result: /usr/lib/jvm/java/bin/javah
configure:11308: g++ -E conftest.cpp
configure:11308: $? = 0
configure:11350: checking whether jlong can contain data pointers
configure:11370: g++ -o conftest -g -O2 -frounding-math conftest.cpp
>&5
configure:11370: $? = 0
configure:11370: ./conftest
configure:11370: $? = 0
configure:11372: result: yes
configure:11471: checking for ocamlc
configure:11501: result: no
configure:11899: checking for ocamldep
configure:11929: result: no
configure:11993: checking for ocamlmktop
configure:12023: result: no
configure:12087: checking for ocamlmklib
configure:12117: result: no
configure:12181: checking for ocamldoc
configure:12211: result: no
configure:12275: checking for ocamlbuild
configure:12305: result: no
configure:13294: checking for GNU M4 that supports accurate traces
configure:13333: result: /usr/bin/m4
configure:13336: checking how m4 supports trace files
configure:13346: result: --error-output
configure:13431: checking which instantiations are enabled
configure:13481: g++ -c -g -O2 -frounding-math -I..
-I/usr/local//include conftest.cpp >&5
configure:13481: $? = 0
configure:13481: g++ -c -g -O2 -frounding-math -I..
-I/usr/local//include conftest.cpp >&5
configure:13481: $? = 0
configure:13481: g++ -c -g -O2 -frounding-math -I..
-I/usr/local//include conftest.cpp >&5
configure:13481: $? = 0
configure:13481: g++ -c -g -O2 -frounding-math -I..
-I/usr/local//include conftest.cpp >&5
configure:13481: $? = 0
configure:13481: g++ -c -g -O2 -frounding-math -I..
-I/usr/local//include conftest.cpp >&5
configure:13481: $? = 0
configure:13481: g++ -c -g -O2 -frounding-math -I..
-I/usr/local//include conftest.cpp >&5
configure:13481: $? = 0
configure:13481: g++ -c -g -O2 -frounding-math -I..
-I/usr/local//include conftest.cpp >&5
configure:13481: $? = 0
configure:13481: g++ -c -g -O2 -frounding-math -I..
-I/usr/local//include conftest.cpp >&5
configure:13481: $? = 0
configure:13481: g++ -c -g -O2 -frounding-math -I..
-I/usr/local//include conftest.cpp >&5
configure:13481: $? = 0
configure:13481: g++ -c -g -O2 -frounding-math -I..
-I/usr/local//include conftest.cpp >&5
configure:13481: $? = 0
configure:13481: g++ -c -g -O2 -frounding-math -I..
-I/usr/local//include conftest.cpp >&5
configure:13481: $? = 0
configure:13481: g++ -c -g -O2 -frounding-math -I..
-I/usr/local//include conftest.cpp >&5
configure:13481: $? = 0
configure:13481: g++ -c -g -O2 -frounding-math -I..
-I/usr/local//include conftest.cpp >&5
configure:13481: $? = 0
configure:13519: result: Polyhedron@Grid@Rational_Box@BD_Shape
<mpz_class>@BD_Shape<mpq_class>@Octagonal_Shape<mpz_class>@Octagonal_Shape<mpq_class>@Constraints_Product<C_Polyhedron,Grid>@Pointset_Powerset<C_Polyhedron>@Pointset_Powerset<NNC_Polyhedron>@Double_Box@BD_Shape
<double>@Octagonal_Shape<double>
configure:13525: checking whether tests should be run under Valgrind
configure:13581: result: no
configure:13599: checking whether `make check' does a thorough or quick
check
configure:13612: result: quick
configure:13676: checking how to print strings
configure:13703: result: printf
configure:13724: checking for a sed that does not truncate output
configure:13788: result: /bin/sed
configure:13836: checking for ld used by gcc
configure:13903: result: /usr/bin/ld
configure:13910: checking if the linker (/usr/bin/ld) is GNU ld
configure:13925: result: yes
configure:13937: checking for BSD- or MS-compatible name lister (nm)
configure:13986: result: /usr/bin/nm -B
configure:14116: checking the name lister (/usr/bin/nm -B) interface
configure:14123: g++ -c -g -O2 -frounding-math conftest.cpp >&5
configure:14126: /usr/bin/nm -B "conftest.o"
configure:14129: output
0000000000000000 B some_variable
configure:14136: result: BSD nm
configure:14139: checking whether ln -s works
configure:14143: result: yes
configure:14151: checking the maximum length of command line arguments
configure:14281: result: 98304
configure:14298: checking whether the shell understands some XSI constructs
configure:14308: result: yes
configure:14312: checking whether the shell understands "+="
configure:14318: result: yes
configure:14353: checking how to convert x86_64-unknown-linux-gnu file
names to x86_64-unknown-linux-gnu format
configure:14393: result: func_convert_file_noop
configure:14400: checking how to convert x86_64-unknown-linux-gnu file
names to toolchain format
configure:14420: result: func_convert_file_noop
configure:14427: checking for /usr/bin/ld option to reload object files
configure:14434: result: -r
configure:14508: checking for objdump
configure:14524: found /usr/bin/objdump
configure:14535: result: objdump
configure:14567: checking how to recognize dependent libraries
configure:14769: result: pass_all
configure:14854: checking for dlltool
configure:14884: result: no
configure:14914: checking how to associate runtime and link libraries
configure:14941: result: printf %s\n
configure:15001: checking for ar
configure:15017: found /usr/bin/ar
configure:15028: result: ar
configure:15065: checking for archiver @FILE support
configure:15082: g++ -c -g -O2 -frounding-math conftest.cpp >&5
configure:15082: $? = 0
configure:15085: ar cru libconftest.a @conftest.lst >&5
configure:15088: $? = 0
configure:15093: ar cru libconftest.a @conftest.lst >&5
ar: conftest.o: No such file or directory
configure:15096: $? = 1
configure:15108: result: @
configure:15166: checking for strip
configure:15182: found /usr/bin/strip
configure:15193: result: strip
configure:15265: checking for ranlib
configure:15281: found /usr/bin/ranlib
configure:15292: result: ranlib
configure:15394: checking command to parse /usr/bin/nm -B output from gcc
object
configure:15514: g++ -c -g -O2 -frounding-math conftest.cpp >&5
configure:15517: $? = 0
configure:15521: /usr/bin/nm -B conftest.o \| sed -n -e 's/^.*[
]\([ABCDGIRSTW][ABCDGIRSTW]*\)[ ][ ]*\([_A-Za-z][_A-Za-z0-9]*\)$/\1 \2
\2/p' | sed '/ __gnu_lto/d' \> conftest.nm
configure:15524: $? = 0
configure:15590: g++ -o conftest -g -O2 -frounding-math conftest.cpp
conftstm.o >&5
configure:15593: $? = 0
configure:15631: result: ok
configure:15668: checking for sysroot
configure:15698: result: no
configure:15775: g++ -c -g -O2 -frounding-math conftest.cpp >&5
configure:15778: $? = 0
configure:15954: checking for mt
configure:15984: result: no
configure:16004: checking if : is a manifest tool
configure:16010: : '-?'
configure:16018: result: no
configure:16657: checking for dlfcn.h
configure:16657: g++ -c -g -O2 -frounding-math conftest.cpp >&5
configure:16657: $? = 0
configure:16657: result: yes
configure:16872: checking for objdir
configure:16887: result: .libs
configure:17158: checking if gcc supports -fno-rtti -fno-exceptions
configure:17176: gcc -c -g -O2 -frounding-math -fno-rtti -fno-exceptions
conftest.c >&5
cc1: warning: command line option "-fno-rtti" is valid for C++/ObjC++ but
not for C
configure:17180: $? = 0
configure:17193: result: no
configure:17520: checking for gcc option to produce PIC
configure:17527: result: -fPIC -DPIC
configure:17535: checking if gcc PIC flag -fPIC -DPIC works
configure:17553: gcc -c -g -O2 -frounding-math -fPIC -DPIC -DPIC
conftest.c >&5
configure:17557: $? = 0
configure:17570: result: yes
configure:17599: checking if gcc static flag -static works
configure:17627: result: yes
configure:17642: checking if gcc supports -c -o file.o
configure:17663: gcc -c -g -O2 -frounding-math -o out/conftest2.o
conftest.c >&5
configure:17667: $? = 0
configure:17689: result: yes
configure:17697: checking if gcc supports -c -o file.o
configure:17744: result: yes
configure:17777: checking whether the gcc linker (/usr/bin/ld -m
elf_x86_64) supports shared libraries
configure:18930: result: yes
configure:18967: checking whether -lc should be explicitly linked in
configure:18975: gcc -c -g -O2 -frounding-math conftest.c >&5
configure:18978: $? = 0
configure:18993: gcc -shared -fPIC -DPIC conftest.o -v -Wl,-soname
-Wl,conftest -o conftest 2\>\&1 \| /bin/grep -lc \>/dev/null 2\>\&1
configure:18996: $? = 0
configure:19010: result: no
configure:19170: checking dynamic linker characteristics
configure:19681: gcc -o conftest -g -O2 -frounding-math -Wl,-rpath
-Wl,/foo conftest.c >&5
configure:19681: $? = 0
configure:19903: result: GNU/Linux ld.so
configure:20010: checking how to hardcode library paths into programs
configure:20035: result: immediate
configure:20129: checking for shl_load
configure:20129: gcc -o conftest -g -O2 -frounding-math conftest.c >&5
/tmp/ccaTCvIi.o: In function `main':
/home/wangxing/devPackage/ppl-0.12.1/release/conftest.c:123: undefined
reference to `shl_load'
collect2: ld returned 1 exit status
configure:20129: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.12.1"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.12.1"
| #define PACKAGE_BUGREPORT "ppl-devel(a)cs.unipr.it"
| #define PACKAGE_URL ""
| #define PPL_CONFIGURE_OPTIONS " '--with-gmp=/usr/local/'
'--prefix=/usr/local/ppl-0.12.1'"
| #define PPL_NDEBUG 1
| #define PPL_FPMATH_MAY_USE_387 1
| #define PPL_FPMATH_MAY_USE_SSE 1
| #define PPL_COEFFICIENT_TYPE mpz_class
| #define PPL_COEFFICIENT_BITS 0
| #define PPL_GMP_INTEGERS 1
| #define STDC_HEADERS 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_SYS_STAT_H 1
| #define HAVE_STDLIB_H 1
| #define HAVE_STRING_H 1
| #define HAVE_MEMORY_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_INTTYPES_H 1
| #define HAVE_STDINT_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE_TYPEOF 1
| #define SIZEOF_CHAR 1
| #define SIZEOF_SHORT 2
| #define SIZEOF_INT 4
| #define SIZEOF_LONG 8
| #define SIZEOF_LONG_LONG 8
| #define SIZEOF_SIZE_T 8
| #define SIZEOF_FLOAT 4
| #define SIZEOF_DOUBLE 8
| #define SIZEOF_LONG_DOUBLE 16
| #define SIZEOF_INTP 8
| #define SIZEOF_FP 8
| #define HAVE_FENV_H 1
| #define PPL_CAN_CONTROL_FPU 1
| #define PPL_CXX_PLAIN_CHAR_IS_SIGNED 1
| #define PPL_CXX_PROVIDES_PROPER_LONG_DOUBLE 1
| #define PPL_CXX_FLOAT_BINARY_FORMAT PPL_FLOAT_IEEE754_SINGLE
| #define PPL_CXX_FLOAT_EXACT_OUTPUT 1
| #define PPL_SUPPORTED_FLOAT 1
| #define PPL_CXX_DOUBLE_BINARY_FORMAT PPL_FLOAT_IEEE754_DOUBLE
| #define PPL_CXX_DOUBLE_EXACT_OUTPUT 1
| #define PPL_SUPPORTED_DOUBLE 1
| #define PPL_CXX_LONG_DOUBLE_BINARY_FORMAT PPL_FLOAT_INTEL_DOUBLE_EXTENDED
| #define PPL_CXX_LONG_DOUBLE_EXACT_OUTPUT 1
| #define PPL_SUPPORTED_LONG_DOUBLE 1
| #define PPL_CXX_SUPPORTS_ZERO_LENGTH_ARRAYS 1
| #define PPL_CXX_SUPPORTS_IEEE_INEXACT_FLAG 1
| #define PPL_CXX_SUPPORTS_ATTRIBUTE_WEAK 1
| #define HAVE_FENV_H 1
| #define HAVE_GETOPT_H 1
| #define HAVE_SIGNAL_H 1
| #define HAVE_STRING_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_SYS_RESOURCE_H 1
| #define HAVE_SYS_TIME_H 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE_DECL_FFS 1
| #define HAVE_DECL_GETENV 1
| #define HAVE_DECL_STRTOF 1
| #define HAVE_DECL_STRTOD 1
| #define HAVE_DECL_STRTOLD 1
| #define HAVE_DECL_STRTOLL 1
| #define HAVE_DECL_STRTOULL 1
| #define HAVE_DECL_FMA 1
| #define HAVE_DECL_FMAF 1
| #define HAVE_DECL_FMAL 1
| #define HAVE_DECL_RINTF 1
| #define HAVE_DECL_RINTL 1
| #define HAVE_INT_FAST16_T 1
| #define HAVE_INT_FAST32_T 1
| #define HAVE_INT_FAST64_T 1
| #define HAVE_UINT_FAST16_T 1
| #define HAVE_UINT_FAST32_T 1
| #define HAVE_UINT_FAST64_T 1
| #define HAVE_UINTPTR_T 1
| #define SIZEOF_MP_LIMB_T 8
| #define PPL_GMP_SUPPORTS_EXCEPTIONS 1
| #define HAVE___MPZ_STRUCT__MP_ALLOC 1
| #define HAVE___MPZ_STRUCT__MP_SIZE 1
| #define HAVE___MPZ_STRUCT__MP_D 1
| #define HAVE_DLFCN_H 1
| #define LT_OBJDIR ".libs/"
| /* end confdefs.h. */
| /* Define shl_load to an innocuous variant, in case <limits.h> declares
shl_load.
| For example, HP-UX 11i <limits.h> declares gettimeofday. */
| #define shl_load innocuous_shl_load
|
| /* System header to define __stub macros and hopefully few prototypes,
| which can conflict with char shl_load (); below.
| Prefer <limits.h> to <assert.h> if __STDC__ is defined, since
| <limits.h> exists even on freestanding compilers. */
|
| #ifdef __STDC__
| # include <limits.h>
| #else
| # include <assert.h>
| #endif
|
| #undef shl_load
|
| /* Override any GCC internal prototype to avoid an error.
| Use char because int might match the return type of a GCC
| builtin and then its argument prototype would still apply. */
| #ifdef __cplusplus
| extern "C"
| #endif
| char shl_load ();
| /* The GNU C library defines this for functions which it implements
| to always fail with ENOSYS. Some functions are actually named
| something starting with __ and the normal name is an alias. */
| #if defined __stub_shl_load || defined __stub___shl_load
| choke me
| #endif
|
| int
| main ()
| {
| return shl_load ();
| ;
| return 0;
| }
configure:20129: result: no
configure:20133: checking for shl_load in -ldld
configure:20158: gcc -o conftest -g -O2 -frounding-math conftest.c
-ldld >&5
/usr/bin/ld: cannot find -ldld
collect2: ld returned 1 exit status
configure:20158: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.12.1"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.12.1"
| #define PACKAGE_BUGREPORT "ppl-devel(a)cs.unipr.it"
| #define PACKAGE_URL ""
| #define PPL_CONFIGURE_OPTIONS " '--with-gmp=/usr/local/'
'--prefix=/usr/local/ppl-0.12.1'"
| #define PPL_NDEBUG 1
| #define PPL_FPMATH_MAY_USE_387 1
| #define PPL_FPMATH_MAY_USE_SSE 1
| #define PPL_COEFFICIENT_TYPE mpz_class
| #define PPL_COEFFICIENT_BITS 0
| #define PPL_GMP_INTEGERS 1
| #define STDC_HEADERS 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_SYS_STAT_H 1
| #define HAVE_STDLIB_H 1
| #define HAVE_STRING_H 1
| #define HAVE_MEMORY_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_INTTYPES_H 1
| #define HAVE_STDINT_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE_TYPEOF 1
| #define SIZEOF_CHAR 1
| #define SIZEOF_SHORT 2
| #define SIZEOF_INT 4
| #define SIZEOF_LONG 8
| #define SIZEOF_LONG_LONG 8
| #define SIZEOF_SIZE_T 8
| #define SIZEOF_FLOAT 4
| #define SIZEOF_DOUBLE 8
| #define SIZEOF_LONG_DOUBLE 16
| #define SIZEOF_INTP 8
| #define SIZEOF_FP 8
| #define HAVE_FENV_H 1
| #define PPL_CAN_CONTROL_FPU 1
| #define PPL_CXX_PLAIN_CHAR_IS_SIGNED 1
| #define PPL_CXX_PROVIDES_PROPER_LONG_DOUBLE 1
| #define PPL_CXX_FLOAT_BINARY_FORMAT PPL_FLOAT_IEEE754_SINGLE
| #define PPL_CXX_FLOAT_EXACT_OUTPUT 1
| #define PPL_SUPPORTED_FLOAT 1
| #define PPL_CXX_DOUBLE_BINARY_FORMAT PPL_FLOAT_IEEE754_DOUBLE
| #define PPL_CXX_DOUBLE_EXACT_OUTPUT 1
| #define PPL_SUPPORTED_DOUBLE 1
| #define PPL_CXX_LONG_DOUBLE_BINARY_FORMAT PPL_FLOAT_INTEL_DOUBLE_EXTENDED
| #define PPL_CXX_LONG_DOUBLE_EXACT_OUTPUT 1
| #define PPL_SUPPORTED_LONG_DOUBLE 1
| #define PPL_CXX_SUPPORTS_ZERO_LENGTH_ARRAYS 1
| #define PPL_CXX_SUPPORTS_IEEE_INEXACT_FLAG 1
| #define PPL_CXX_SUPPORTS_ATTRIBUTE_WEAK 1
| #define HAVE_FENV_H 1
| #define HAVE_GETOPT_H 1
| #define HAVE_SIGNAL_H 1
| #define HAVE_STRING_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_SYS_RESOURCE_H 1
| #define HAVE_SYS_TIME_H 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE_DECL_FFS 1
| #define HAVE_DECL_GETENV 1
| #define HAVE_DECL_STRTOF 1
| #define HAVE_DECL_STRTOD 1
| #define HAVE_DECL_STRTOLD 1
| #define HAVE_DECL_STRTOLL 1
| #define HAVE_DECL_STRTOULL 1
| #define HAVE_DECL_FMA 1
| #define HAVE_DECL_FMAF 1
| #define HAVE_DECL_FMAL 1
| #define HAVE_DECL_RINTF 1
| #define HAVE_DECL_RINTL 1
| #define HAVE_INT_FAST16_T 1
| #define HAVE_INT_FAST32_T 1
| #define HAVE_INT_FAST64_T 1
| #define HAVE_UINT_FAST16_T 1
| #define HAVE_UINT_FAST32_T 1
| #define HAVE_UINT_FAST64_T 1
| #define HAVE_UINTPTR_T 1
| #define SIZEOF_MP_LIMB_T 8
| #define PPL_GMP_SUPPORTS_EXCEPTIONS 1
| #define HAVE___MPZ_STRUCT__MP_ALLOC 1
| #define HAVE___MPZ_STRUCT__MP_SIZE 1
| #define HAVE___MPZ_STRUCT__MP_D 1
| #define HAVE_DLFCN_H 1
| #define LT_OBJDIR ".libs/"
| /* end confdefs.h. */
|
| /* Override any GCC internal prototype to avoid an error.
| Use char because int might match the return type of a GCC
| builtin and then its argument prototype would still apply. */
| #ifdef __cplusplus
| extern "C"
| #endif
| char shl_load ();
| int
| main ()
| {
| return shl_load ();
| ;
| return 0;
| }
configure:20167: result: no
configure:20172: checking for dlopen
configure:20172: gcc -o conftest -g -O2 -frounding-math conftest.c >&5
/tmp/ccw9ylbe.o: In function `main':
/home/wangxing/devPackage/ppl-0.12.1/release/conftest.c:123: undefined
reference to `dlopen'
collect2: ld returned 1 exit status
configure:20172: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.12.1"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.12.1"
| #define PACKAGE_BUGREPORT "ppl-devel(a)cs.unipr.it"
| #define PACKAGE_URL ""
| #define PPL_CONFIGURE_OPTIONS " '--with-gmp=/usr/local/'
'--prefix=/usr/local/ppl-0.12.1'"
| #define PPL_NDEBUG 1
| #define PPL_FPMATH_MAY_USE_387 1
| #define PPL_FPMATH_MAY_USE_SSE 1
| #define PPL_COEFFICIENT_TYPE mpz_class
| #define PPL_COEFFICIENT_BITS 0
| #define PPL_GMP_INTEGERS 1
| #define STDC_HEADERS 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_SYS_STAT_H 1
| #define HAVE_STDLIB_H 1
| #define HAVE_STRING_H 1
| #define HAVE_MEMORY_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_INTTYPES_H 1
| #define HAVE_STDINT_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE_TYPEOF 1
| #define SIZEOF_CHAR 1
| #define SIZEOF_SHORT 2
| #define SIZEOF_INT 4
| #define SIZEOF_LONG 8
| #define SIZEOF_LONG_LONG 8
| #define SIZEOF_SIZE_T 8
| #define SIZEOF_FLOAT 4
| #define SIZEOF_DOUBLE 8
| #define SIZEOF_LONG_DOUBLE 16
| #define SIZEOF_INTP 8
| #define SIZEOF_FP 8
| #define HAVE_FENV_H 1
| #define PPL_CAN_CONTROL_FPU 1
| #define PPL_CXX_PLAIN_CHAR_IS_SIGNED 1
| #define PPL_CXX_PROVIDES_PROPER_LONG_DOUBLE 1
| #define PPL_CXX_FLOAT_BINARY_FORMAT PPL_FLOAT_IEEE754_SINGLE
| #define PPL_CXX_FLOAT_EXACT_OUTPUT 1
| #define PPL_SUPPORTED_FLOAT 1
| #define PPL_CXX_DOUBLE_BINARY_FORMAT PPL_FLOAT_IEEE754_DOUBLE
| #define PPL_CXX_DOUBLE_EXACT_OUTPUT 1
| #define PPL_SUPPORTED_DOUBLE 1
| #define PPL_CXX_LONG_DOUBLE_BINARY_FORMAT PPL_FLOAT_INTEL_DOUBLE_EXTENDED
| #define PPL_CXX_LONG_DOUBLE_EXACT_OUTPUT 1
| #define PPL_SUPPORTED_LONG_DOUBLE 1
| #define PPL_CXX_SUPPORTS_ZERO_LENGTH_ARRAYS 1
| #define PPL_CXX_SUPPORTS_IEEE_INEXACT_FLAG 1
| #define PPL_CXX_SUPPORTS_ATTRIBUTE_WEAK 1
| #define HAVE_FENV_H 1
| #define HAVE_GETOPT_H 1
| #define HAVE_SIGNAL_H 1
| #define HAVE_STRING_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_SYS_RESOURCE_H 1
| #define HAVE_SYS_TIME_H 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE_DECL_FFS 1
| #define HAVE_DECL_GETENV 1
| #define HAVE_DECL_STRTOF 1
| #define HAVE_DECL_STRTOD 1
| #define HAVE_DECL_STRTOLD 1
| #define HAVE_DECL_STRTOLL 1
| #define HAVE_DECL_STRTOULL 1
| #define HAVE_DECL_FMA 1
| #define HAVE_DECL_FMAF 1
| #define HAVE_DECL_FMAL 1
| #define HAVE_DECL_RINTF 1
| #define HAVE_DECL_RINTL 1
| #define HAVE_INT_FAST16_T 1
| #define HAVE_INT_FAST32_T 1
| #define HAVE_INT_FAST64_T 1
| #define HAVE_UINT_FAST16_T 1
| #define HAVE_UINT_FAST32_T 1
| #define HAVE_UINT_FAST64_T 1
| #define HAVE_UINTPTR_T 1
| #define SIZEOF_MP_LIMB_T 8
| #define PPL_GMP_SUPPORTS_EXCEPTIONS 1
| #define HAVE___MPZ_STRUCT__MP_ALLOC 1
| #define HAVE___MPZ_STRUCT__MP_SIZE 1
| #define HAVE___MPZ_STRUCT__MP_D 1
| #define HAVE_DLFCN_H 1
| #define LT_OBJDIR ".libs/"
| /* end confdefs.h. */
| /* Define dlopen to an innocuous variant, in case <limits.h> declares
dlopen.
| For example, HP-UX 11i <limits.h> declares gettimeofday. */
| #define dlopen innocuous_dlopen
|
| /* System header to define __stub macros and hopefully few prototypes,
| which can conflict with char dlopen (); below.
| Prefer <limits.h> to <assert.h> if __STDC__ is defined, since
| <limits.h> exists even on freestanding compilers. */
|
| #ifdef __STDC__
| # include <limits.h>
| #else
| # include <assert.h>
| #endif
|
| #undef dlopen
|
| /* Override any GCC internal prototype to avoid an error.
| Use char because int might match the return type of a GCC
| builtin and then its argument prototype would still apply. */
| #ifdef __cplusplus
| extern "C"
| #endif
| char dlopen ();
| /* The GNU C library defines this for functions which it implements
| to always fail with ENOSYS. Some functions are actually named
| something starting with __ and the normal name is an alias. */
| #if defined __stub_dlopen || defined __stub___dlopen
| choke me
| #endif
|
| int
| main ()
| {
| return dlopen ();
| ;
| return 0;
| }
configure:20172: result: no
configure:20176: checking for dlopen in -ldl
configure:20201: gcc -o conftest -g -O2 -frounding-math conftest.c -ldl
>&5
configure:20201: $? = 0
configure:20210: result: yes
configure:20329: checking whether a program can dlopen itself
configure:20409: gcc -o conftest -g -O2 -frounding-math -DHAVE_DLFCN_H
-Wl,--export-dynamic conftest.c -ldl >&5
configure:20412: $? = 0
configure:20430: result: yes
configure:20435: checking whether a statically linked program can dlopen
itself
configure:20515: gcc -o conftest -g -O2 -frounding-math -DHAVE_DLFCN_H
-Wl,--export-dynamic -static conftest.c -ldl >&5
/tmp/ccwcdksD.o: In function `main':
/home/wangxing/devPackage/ppl-0.12.1/release/configure:20494: warning:
Using 'dlopen' in statically linked applications requires at runtime the
shared libraries from the glibc version used for linking
configure:20518: $? = 0
/usr/local/lib/: cannot read file data: Is a directory
configure:20536: result: no
configure:20575: checking whether stripping libraries is possible
configure:20580: result: yes
configure:20615: checking if libtool supports shared libraries
configure:20617: result: yes
configure:20620: checking whether to build shared libraries
configure:20641: result: yes
configure:20644: checking whether to build static libraries
configure:20648: result: yes
configure:20671: checking how to run the C++ preprocessor
configure:20737: result: g++ -E
configure:20757: g++ -E conftest.cpp
configure:20757: $? = 0
configure:20771: g++ -E conftest.cpp
conftest.cpp:89:28: error: ac_nonexistent.h: No such file or directory
configure:20771: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.12.1"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.12.1"
| #define PACKAGE_BUGREPORT "ppl-devel(a)cs.unipr.it"
| #define PACKAGE_URL ""
| #define PPL_CONFIGURE_OPTIONS " '--with-gmp=/usr/local/'
'--prefix=/usr/local/ppl-0.12.1'"
| #define PPL_NDEBUG 1
| #define PPL_FPMATH_MAY_USE_387 1
| #define PPL_FPMATH_MAY_USE_SSE 1
| #define PPL_COEFFICIENT_TYPE mpz_class
| #define PPL_COEFFICIENT_BITS 0
| #define PPL_GMP_INTEGERS 1
| #define STDC_HEADERS 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_SYS_STAT_H 1
| #define HAVE_STDLIB_H 1
| #define HAVE_STRING_H 1
| #define HAVE_MEMORY_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_INTTYPES_H 1
| #define HAVE_STDINT_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE_TYPEOF 1
| #define SIZEOF_CHAR 1
| #define SIZEOF_SHORT 2
| #define SIZEOF_INT 4
| #define SIZEOF_LONG 8
| #define SIZEOF_LONG_LONG 8
| #define SIZEOF_SIZE_T 8
| #define SIZEOF_FLOAT 4
| #define SIZEOF_DOUBLE 8
| #define SIZEOF_LONG_DOUBLE 16
| #define SIZEOF_INTP 8
| #define SIZEOF_FP 8
| #define HAVE_FENV_H 1
| #define PPL_CAN_CONTROL_FPU 1
| #define PPL_CXX_PLAIN_CHAR_IS_SIGNED 1
| #define PPL_CXX_PROVIDES_PROPER_LONG_DOUBLE 1
| #define PPL_CXX_FLOAT_BINARY_FORMAT PPL_FLOAT_IEEE754_SINGLE
| #define PPL_CXX_FLOAT_EXACT_OUTPUT 1
| #define PPL_SUPPORTED_FLOAT 1
| #define PPL_CXX_DOUBLE_BINARY_FORMAT PPL_FLOAT_IEEE754_DOUBLE
| #define PPL_CXX_DOUBLE_EXACT_OUTPUT 1
| #define PPL_SUPPORTED_DOUBLE 1
| #define PPL_CXX_LONG_DOUBLE_BINARY_FORMAT PPL_FLOAT_INTEL_DOUBLE_EXTENDED
| #define PPL_CXX_LONG_DOUBLE_EXACT_OUTPUT 1
| #define PPL_SUPPORTED_LONG_DOUBLE 1
| #define PPL_CXX_SUPPORTS_ZERO_LENGTH_ARRAYS 1
| #define PPL_CXX_SUPPORTS_IEEE_INEXACT_FLAG 1
| #define PPL_CXX_SUPPORTS_ATTRIBUTE_WEAK 1
| #define HAVE_FENV_H 1
| #define HAVE_GETOPT_H 1
| #define HAVE_SIGNAL_H 1
| #define HAVE_STRING_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_SYS_RESOURCE_H 1
| #define HAVE_SYS_TIME_H 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE_DECL_FFS 1
| #define HAVE_DECL_GETENV 1
| #define HAVE_DECL_STRTOF 1
| #define HAVE_DECL_STRTOD 1
| #define HAVE_DECL_STRTOLD 1
| #define HAVE_DECL_STRTOLL 1
| #define HAVE_DECL_STRTOULL 1
| #define HAVE_DECL_FMA 1
| #define HAVE_DECL_FMAF 1
| #define HAVE_DECL_FMAL 1
| #define HAVE_DECL_RINTF 1
| #define HAVE_DECL_RINTL 1
| #define HAVE_INT_FAST16_T 1
| #define HAVE_INT_FAST32_T 1
| #define HAVE_INT_FAST64_T 1
| #define HAVE_UINT_FAST16_T 1
| #define HAVE_UINT_FAST32_T 1
| #define HAVE_UINT_FAST64_T 1
| #define HAVE_UINTPTR_T 1
| #define SIZEOF_MP_LIMB_T 8
| #define PPL_GMP_SUPPORTS_EXCEPTIONS 1
| #define HAVE___MPZ_STRUCT__MP_ALLOC 1
| #define HAVE___MPZ_STRUCT__MP_SIZE 1
| #define HAVE___MPZ_STRUCT__MP_D 1
| #define HAVE_DLFCN_H 1
| #define LT_OBJDIR ".libs/"
| /* end confdefs.h. */
| #include <ac_nonexistent.h>
configure:20940: checking for ld used by g++
configure:21007: result: /usr/bin/ld -m elf_x86_64
configure:21014: checking if the linker (/usr/bin/ld -m elf_x86_64) is GNU
ld
configure:21029: result: yes
configure:21084: checking whether the g++ linker (/usr/bin/ld -m
elf_x86_64) supports shared libraries
configure:22089: result: yes
configure:22125: g++ -c -g -O2 -frounding-math conftest.cpp >&5
configure:22128: $? = 0
configure:22648: checking for g++ option to produce PIC
configure:22655: result: -fPIC -DPIC
configure:22663: checking if g++ PIC flag -fPIC -DPIC works
configure:22681: g++ -c -g -O2 -frounding-math -fPIC -DPIC -DPIC
conftest.cpp >&5
configure:22685: $? = 0
configure:22698: result: yes
configure:22721: checking if g++ static flag -static works
configure:22749: result: yes
configure:22761: checking if g++ supports -c -o file.o
configure:22782: g++ -c -g -O2 -frounding-math -o out/conftest2.o
conftest.cpp >&5
configure:22786: $? = 0
configure:22808: result: yes
configure:22813: checking if g++ supports -c -o file.o
configure:22860: result: yes
configure:22890: checking whether the g++ linker (/usr/bin/ld -m
elf_x86_64) supports shared libraries
configure:22926: result: yes
configure:23067: checking dynamic linker characteristics
configure:23734: result: GNU/Linux ld.so
configure:23787: checking how to hardcode library paths into programs
configure:23812: result: immediate
configure:23893: checking for md5sum
configure:23909: found /usr/bin/md5sum
configure:23920: result: md5sum
configure:23939: checking for the text md5sum command
configure:23947: result: md5sum -t
configure:23964: checking glpk.h usability
configure:23964: gcc -c -g -O2 -frounding-math conftest.c >&5
conftest.c:122:18: error: glpk.h: No such file or directory
configure:23964: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.12.1"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.12.1"
| #define PACKAGE_BUGREPORT "ppl-devel(a)cs.unipr.it"
| #define PACKAGE_URL ""
| #define PPL_CONFIGURE_OPTIONS " '--with-gmp=/usr/local/'
'--prefix=/usr/local/ppl-0.12.1'"
| #define PPL_NDEBUG 1
| #define PPL_FPMATH_MAY_USE_387 1
| #define PPL_FPMATH_MAY_USE_SSE 1
| #define PPL_COEFFICIENT_TYPE mpz_class
| #define PPL_COEFFICIENT_BITS 0
| #define PPL_GMP_INTEGERS 1
| #define STDC_HEADERS 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_SYS_STAT_H 1
| #define HAVE_STDLIB_H 1
| #define HAVE_STRING_H 1
| #define HAVE_MEMORY_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_INTTYPES_H 1
| #define HAVE_STDINT_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE_TYPEOF 1
| #define SIZEOF_CHAR 1
| #define SIZEOF_SHORT 2
| #define SIZEOF_INT 4
| #define SIZEOF_LONG 8
| #define SIZEOF_LONG_LONG 8
| #define SIZEOF_SIZE_T 8
| #define SIZEOF_FLOAT 4
| #define SIZEOF_DOUBLE 8
| #define SIZEOF_LONG_DOUBLE 16
| #define SIZEOF_INTP 8
| #define SIZEOF_FP 8
| #define HAVE_FENV_H 1
| #define PPL_CAN_CONTROL_FPU 1
| #define PPL_CXX_PLAIN_CHAR_IS_SIGNED 1
| #define PPL_CXX_PROVIDES_PROPER_LONG_DOUBLE 1
| #define PPL_CXX_FLOAT_BINARY_FORMAT PPL_FLOAT_IEEE754_SINGLE
| #define PPL_CXX_FLOAT_EXACT_OUTPUT 1
| #define PPL_SUPPORTED_FLOAT 1
| #define PPL_CXX_DOUBLE_BINARY_FORMAT PPL_FLOAT_IEEE754_DOUBLE
| #define PPL_CXX_DOUBLE_EXACT_OUTPUT 1
| #define PPL_SUPPORTED_DOUBLE 1
| #define PPL_CXX_LONG_DOUBLE_BINARY_FORMAT PPL_FLOAT_INTEL_DOUBLE_EXTENDED
| #define PPL_CXX_LONG_DOUBLE_EXACT_OUTPUT 1
| #define PPL_SUPPORTED_LONG_DOUBLE 1
| #define PPL_CXX_SUPPORTS_ZERO_LENGTH_ARRAYS 1
| #define PPL_CXX_SUPPORTS_IEEE_INEXACT_FLAG 1
| #define PPL_CXX_SUPPORTS_ATTRIBUTE_WEAK 1
| #define HAVE_FENV_H 1
| #define HAVE_GETOPT_H 1
| #define HAVE_SIGNAL_H 1
| #define HAVE_STRING_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_SYS_RESOURCE_H 1
| #define HAVE_SYS_TIME_H 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE_DECL_FFS 1
| #define HAVE_DECL_GETENV 1
| #define HAVE_DECL_STRTOF 1
| #define HAVE_DECL_STRTOD 1
| #define HAVE_DECL_STRTOLD 1
| #define HAVE_DECL_STRTOLL 1
| #define HAVE_DECL_STRTOULL 1
| #define HAVE_DECL_FMA 1
| #define HAVE_DECL_FMAF 1
| #define HAVE_DECL_FMAL 1
| #define HAVE_DECL_RINTF 1
| #define HAVE_DECL_RINTL 1
| #define HAVE_INT_FAST16_T 1
| #define HAVE_INT_FAST32_T 1
| #define HAVE_INT_FAST64_T 1
| #define HAVE_UINT_FAST16_T 1
| #define HAVE_UINT_FAST32_T 1
| #define HAVE_UINT_FAST64_T 1
| #define HAVE_UINTPTR_T 1
| #define SIZEOF_MP_LIMB_T 8
| #define PPL_GMP_SUPPORTS_EXCEPTIONS 1
| #define HAVE___MPZ_STRUCT__MP_ALLOC 1
| #define HAVE___MPZ_STRUCT__MP_SIZE 1
| #define HAVE___MPZ_STRUCT__MP_D 1
| #define HAVE_DLFCN_H 1
| #define LT_OBJDIR ".libs/"
| /* end confdefs.h. */
| #include <stdio.h>
| #ifdef HAVE_SYS_TYPES_H
| # include <sys/types.h>
| #endif
| #ifdef HAVE_SYS_STAT_H
| # include <sys/stat.h>
| #endif
| #ifdef STDC_HEADERS
| # include <stdlib.h>
| # include <stddef.h>
| #else
| # ifdef HAVE_STDLIB_H
| # include <stdlib.h>
| # endif
| #endif
| #ifdef HAVE_STRING_H
| # if !defined STDC_HEADERS && defined HAVE_MEMORY_H
| # include <memory.h>
| # endif
| # include <string.h>
| #endif
| #ifdef HAVE_STRINGS_H
| # include <strings.h>
| #endif
| #ifdef HAVE_INTTYPES_H
| # include <inttypes.h>
| #endif
| #ifdef HAVE_STDINT_H
| # include <stdint.h>
| #endif
| #ifdef HAVE_UNISTD_H
| # include <unistd.h>
| #endif
| #include <glpk.h>
configure:23964: result: no
configure:23964: checking glpk.h presence
configure:23964: gcc -E conftest.c
conftest.c:89:18: error: glpk.h: No such file or directory
configure:23964: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.12.1"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.12.1"
| #define PACKAGE_BUGREPORT "ppl-devel(a)cs.unipr.it"
| #define PACKAGE_URL ""
| #define PPL_CONFIGURE_OPTIONS " '--with-gmp=/usr/local/'
'--prefix=/usr/local/ppl-0.12.1'"
| #define PPL_NDEBUG 1
| #define PPL_FPMATH_MAY_USE_387 1
| #define PPL_FPMATH_MAY_USE_SSE 1
| #define PPL_COEFFICIENT_TYPE mpz_class
| #define PPL_COEFFICIENT_BITS 0
| #define PPL_GMP_INTEGERS 1
| #define STDC_HEADERS 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_SYS_STAT_H 1
| #define HAVE_STDLIB_H 1
| #define HAVE_STRING_H 1
| #define HAVE_MEMORY_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_INTTYPES_H 1
| #define HAVE_STDINT_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE_TYPEOF 1
| #define SIZEOF_CHAR 1
| #define SIZEOF_SHORT 2
| #define SIZEOF_INT 4
| #define SIZEOF_LONG 8
| #define SIZEOF_LONG_LONG 8
| #define SIZEOF_SIZE_T 8
| #define SIZEOF_FLOAT 4
| #define SIZEOF_DOUBLE 8
| #define SIZEOF_LONG_DOUBLE 16
| #define SIZEOF_INTP 8
| #define SIZEOF_FP 8
| #define HAVE_FENV_H 1
| #define PPL_CAN_CONTROL_FPU 1
| #define PPL_CXX_PLAIN_CHAR_IS_SIGNED 1
| #define PPL_CXX_PROVIDES_PROPER_LONG_DOUBLE 1
| #define PPL_CXX_FLOAT_BINARY_FORMAT PPL_FLOAT_IEEE754_SINGLE
| #define PPL_CXX_FLOAT_EXACT_OUTPUT 1
| #define PPL_SUPPORTED_FLOAT 1
| #define PPL_CXX_DOUBLE_BINARY_FORMAT PPL_FLOAT_IEEE754_DOUBLE
| #define PPL_CXX_DOUBLE_EXACT_OUTPUT 1
| #define PPL_SUPPORTED_DOUBLE 1
| #define PPL_CXX_LONG_DOUBLE_BINARY_FORMAT PPL_FLOAT_INTEL_DOUBLE_EXTENDED
| #define PPL_CXX_LONG_DOUBLE_EXACT_OUTPUT 1
| #define PPL_SUPPORTED_LONG_DOUBLE 1
| #define PPL_CXX_SUPPORTS_ZERO_LENGTH_ARRAYS 1
| #define PPL_CXX_SUPPORTS_IEEE_INEXACT_FLAG 1
| #define PPL_CXX_SUPPORTS_ATTRIBUTE_WEAK 1
| #define HAVE_FENV_H 1
| #define HAVE_GETOPT_H 1
| #define HAVE_SIGNAL_H 1
| #define HAVE_STRING_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_SYS_RESOURCE_H 1
| #define HAVE_SYS_TIME_H 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE_DECL_FFS 1
| #define HAVE_DECL_GETENV 1
| #define HAVE_DECL_STRTOF 1
| #define HAVE_DECL_STRTOD 1
| #define HAVE_DECL_STRTOLD 1
| #define HAVE_DECL_STRTOLL 1
| #define HAVE_DECL_STRTOULL 1
| #define HAVE_DECL_FMA 1
| #define HAVE_DECL_FMAF 1
| #define HAVE_DECL_FMAL 1
| #define HAVE_DECL_RINTF 1
| #define HAVE_DECL_RINTL 1
| #define HAVE_INT_FAST16_T 1
| #define HAVE_INT_FAST32_T 1
| #define HAVE_INT_FAST64_T 1
| #define HAVE_UINT_FAST16_T 1
| #define HAVE_UINT_FAST32_T 1
| #define HAVE_UINT_FAST64_T 1
| #define HAVE_UINTPTR_T 1
| #define SIZEOF_MP_LIMB_T 8
| #define PPL_GMP_SUPPORTS_EXCEPTIONS 1
| #define HAVE___MPZ_STRUCT__MP_ALLOC 1
| #define HAVE___MPZ_STRUCT__MP_SIZE 1
| #define HAVE___MPZ_STRUCT__MP_D 1
| #define HAVE_DLFCN_H 1
| #define LT_OBJDIR ".libs/"
| /* end confdefs.h. */
| #include <glpk.h>
configure:23964: result: no
configure:23964: checking for glpk.h
configure:23964: result: no
configure:23964: checking glpk/glpk.h usability
configure:23964: gcc -c -g -O2 -frounding-math conftest.c >&5
conftest.c:122:23: error: glpk/glpk.h: No such file or directory
configure:23964: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.12.1"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.12.1"
| #define PACKAGE_BUGREPORT "ppl-devel(a)cs.unipr.it"
| #define PACKAGE_URL ""
| #define PPL_CONFIGURE_OPTIONS " '--with-gmp=/usr/local/'
'--prefix=/usr/local/ppl-0.12.1'"
| #define PPL_NDEBUG 1
| #define PPL_FPMATH_MAY_USE_387 1
| #define PPL_FPMATH_MAY_USE_SSE 1
| #define PPL_COEFFICIENT_TYPE mpz_class
| #define PPL_COEFFICIENT_BITS 0
| #define PPL_GMP_INTEGERS 1
| #define STDC_HEADERS 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_SYS_STAT_H 1
| #define HAVE_STDLIB_H 1
| #define HAVE_STRING_H 1
| #define HAVE_MEMORY_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_INTTYPES_H 1
| #define HAVE_STDINT_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE_TYPEOF 1
| #define SIZEOF_CHAR 1
| #define SIZEOF_SHORT 2
| #define SIZEOF_INT 4
| #define SIZEOF_LONG 8
| #define SIZEOF_LONG_LONG 8
| #define SIZEOF_SIZE_T 8
| #define SIZEOF_FLOAT 4
| #define SIZEOF_DOUBLE 8
| #define SIZEOF_LONG_DOUBLE 16
| #define SIZEOF_INTP 8
| #define SIZEOF_FP 8
| #define HAVE_FENV_H 1
| #define PPL_CAN_CONTROL_FPU 1
| #define PPL_CXX_PLAIN_CHAR_IS_SIGNED 1
| #define PPL_CXX_PROVIDES_PROPER_LONG_DOUBLE 1
| #define PPL_CXX_FLOAT_BINARY_FORMAT PPL_FLOAT_IEEE754_SINGLE
| #define PPL_CXX_FLOAT_EXACT_OUTPUT 1
| #define PPL_SUPPORTED_FLOAT 1
| #define PPL_CXX_DOUBLE_BINARY_FORMAT PPL_FLOAT_IEEE754_DOUBLE
| #define PPL_CXX_DOUBLE_EXACT_OUTPUT 1
| #define PPL_SUPPORTED_DOUBLE 1
| #define PPL_CXX_LONG_DOUBLE_BINARY_FORMAT PPL_FLOAT_INTEL_DOUBLE_EXTENDED
| #define PPL_CXX_LONG_DOUBLE_EXACT_OUTPUT 1
| #define PPL_SUPPORTED_LONG_DOUBLE 1
| #define PPL_CXX_SUPPORTS_ZERO_LENGTH_ARRAYS 1
| #define PPL_CXX_SUPPORTS_IEEE_INEXACT_FLAG 1
| #define PPL_CXX_SUPPORTS_ATTRIBUTE_WEAK 1
| #define HAVE_FENV_H 1
| #define HAVE_GETOPT_H 1
| #define HAVE_SIGNAL_H 1
| #define HAVE_STRING_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_SYS_RESOURCE_H 1
| #define HAVE_SYS_TIME_H 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE_DECL_FFS 1
| #define HAVE_DECL_GETENV 1
| #define HAVE_DECL_STRTOF 1
| #define HAVE_DECL_STRTOD 1
| #define HAVE_DECL_STRTOLD 1
| #define HAVE_DECL_STRTOLL 1
| #define HAVE_DECL_STRTOULL 1
| #define HAVE_DECL_FMA 1
| #define HAVE_DECL_FMAF 1
| #define HAVE_DECL_FMAL 1
| #define HAVE_DECL_RINTF 1
| #define HAVE_DECL_RINTL 1
| #define HAVE_INT_FAST16_T 1
| #define HAVE_INT_FAST32_T 1
| #define HAVE_INT_FAST64_T 1
| #define HAVE_UINT_FAST16_T 1
| #define HAVE_UINT_FAST32_T 1
| #define HAVE_UINT_FAST64_T 1
| #define HAVE_UINTPTR_T 1
| #define SIZEOF_MP_LIMB_T 8
| #define PPL_GMP_SUPPORTS_EXCEPTIONS 1
| #define HAVE___MPZ_STRUCT__MP_ALLOC 1
| #define HAVE___MPZ_STRUCT__MP_SIZE 1
| #define HAVE___MPZ_STRUCT__MP_D 1
| #define HAVE_DLFCN_H 1
| #define LT_OBJDIR ".libs/"
| /* end confdefs.h. */
| #include <stdio.h>
| #ifdef HAVE_SYS_TYPES_H
| # include <sys/types.h>
| #endif
| #ifdef HAVE_SYS_STAT_H
| # include <sys/stat.h>
| #endif
| #ifdef STDC_HEADERS
| # include <stdlib.h>
| # include <stddef.h>
| #else
| # ifdef HAVE_STDLIB_H
| # include <stdlib.h>
| # endif
| #endif
| #ifdef HAVE_STRING_H
| # if !defined STDC_HEADERS && defined HAVE_MEMORY_H
| # include <memory.h>
| # endif
| # include <string.h>
| #endif
| #ifdef HAVE_STRINGS_H
| # include <strings.h>
| #endif
| #ifdef HAVE_INTTYPES_H
| # include <inttypes.h>
| #endif
| #ifdef HAVE_STDINT_H
| # include <stdint.h>
| #endif
| #ifdef HAVE_UNISTD_H
| # include <unistd.h>
| #endif
| #include <glpk/glpk.h>
configure:23964: result: no
configure:23964: checking glpk/glpk.h presence
configure:23964: gcc -E conftest.c
conftest.c:89:23: error: glpk/glpk.h: No such file or directory
configure:23964: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.12.1"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.12.1"
| #define PACKAGE_BUGREPORT "ppl-devel(a)cs.unipr.it"
| #define PACKAGE_URL ""
| #define PPL_CONFIGURE_OPTIONS " '--with-gmp=/usr/local/'
'--prefix=/usr/local/ppl-0.12.1'"
| #define PPL_NDEBUG 1
| #define PPL_FPMATH_MAY_USE_387 1
| #define PPL_FPMATH_MAY_USE_SSE 1
| #define PPL_COEFFICIENT_TYPE mpz_class
| #define PPL_COEFFICIENT_BITS 0
| #define PPL_GMP_INTEGERS 1
| #define STDC_HEADERS 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_SYS_STAT_H 1
| #define HAVE_STDLIB_H 1
| #define HAVE_STRING_H 1
| #define HAVE_MEMORY_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_INTTYPES_H 1
| #define HAVE_STDINT_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE_TYPEOF 1
| #define SIZEOF_CHAR 1
| #define SIZEOF_SHORT 2
| #define SIZEOF_INT 4
| #define SIZEOF_LONG 8
| #define SIZEOF_LONG_LONG 8
| #define SIZEOF_SIZE_T 8
| #define SIZEOF_FLOAT 4
| #define SIZEOF_DOUBLE 8
| #define SIZEOF_LONG_DOUBLE 16
| #define SIZEOF_INTP 8
| #define SIZEOF_FP 8
| #define HAVE_FENV_H 1
| #define PPL_CAN_CONTROL_FPU 1
| #define PPL_CXX_PLAIN_CHAR_IS_SIGNED 1
| #define PPL_CXX_PROVIDES_PROPER_LONG_DOUBLE 1
| #define PPL_CXX_FLOAT_BINARY_FORMAT PPL_FLOAT_IEEE754_SINGLE
| #define PPL_CXX_FLOAT_EXACT_OUTPUT 1
| #define PPL_SUPPORTED_FLOAT 1
| #define PPL_CXX_DOUBLE_BINARY_FORMAT PPL_FLOAT_IEEE754_DOUBLE
| #define PPL_CXX_DOUBLE_EXACT_OUTPUT 1
| #define PPL_SUPPORTED_DOUBLE 1
| #define PPL_CXX_LONG_DOUBLE_BINARY_FORMAT PPL_FLOAT_INTEL_DOUBLE_EXTENDED
| #define PPL_CXX_LONG_DOUBLE_EXACT_OUTPUT 1
| #define PPL_SUPPORTED_LONG_DOUBLE 1
| #define PPL_CXX_SUPPORTS_ZERO_LENGTH_ARRAYS 1
| #define PPL_CXX_SUPPORTS_IEEE_INEXACT_FLAG 1
| #define PPL_CXX_SUPPORTS_ATTRIBUTE_WEAK 1
| #define HAVE_FENV_H 1
| #define HAVE_GETOPT_H 1
| #define HAVE_SIGNAL_H 1
| #define HAVE_STRING_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_SYS_RESOURCE_H 1
| #define HAVE_SYS_TIME_H 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE_DECL_FFS 1
| #define HAVE_DECL_GETENV 1
| #define HAVE_DECL_STRTOF 1
| #define HAVE_DECL_STRTOD 1
| #define HAVE_DECL_STRTOLD 1
| #define HAVE_DECL_STRTOLL 1
| #define HAVE_DECL_STRTOULL 1
| #define HAVE_DECL_FMA 1
| #define HAVE_DECL_FMAF 1
| #define HAVE_DECL_FMAL 1
| #define HAVE_DECL_RINTF 1
| #define HAVE_DECL_RINTL 1
| #define HAVE_INT_FAST16_T 1
| #define HAVE_INT_FAST32_T 1
| #define HAVE_INT_FAST64_T 1
| #define HAVE_UINT_FAST16_T 1
| #define HAVE_UINT_FAST32_T 1
| #define HAVE_UINT_FAST64_T 1
| #define HAVE_UINTPTR_T 1
| #define SIZEOF_MP_LIMB_T 8
| #define PPL_GMP_SUPPORTS_EXCEPTIONS 1
| #define HAVE___MPZ_STRUCT__MP_ALLOC 1
| #define HAVE___MPZ_STRUCT__MP_SIZE 1
| #define HAVE___MPZ_STRUCT__MP_D 1
| #define HAVE_DLFCN_H 1
| #define LT_OBJDIR ".libs/"
| /* end confdefs.h. */
| #include <glpk/glpk.h>
configure:23964: result: no
configure:23964: checking for glpk/glpk.h
configure:23964: result: no
configure:24045: checking whether RLIMIT_DATA is declared
configure:24045: g++ -c -g -O2 -frounding-math conftest.cpp >&5
configure:24045: $? = 0
configure:24045: result: yes
configure:24060: checking whether RLIMIT_RSS is declared
configure:24060: g++ -c -g -O2 -frounding-math conftest.cpp >&5
configure:24060: $? = 0
configure:24060: result: yes
configure:24075: checking whether RLIMIT_VMEM is declared
configure:24075: g++ -c -g -O2 -frounding-math conftest.cpp >&5
conftest.cpp: In function 'int main()':
conftest.cpp:102: error: 'RLIMIT_VMEM' was not declared in this scope
configure:24075: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.12.1"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.12.1"
| #define PACKAGE_BUGREPORT "ppl-devel(a)cs.unipr.it"
| #define PACKAGE_URL ""
| #define PPL_CONFIGURE_OPTIONS " '--with-gmp=/usr/local/'
'--prefix=/usr/local/ppl-0.12.1'"
| #define PPL_NDEBUG 1
| #define PPL_FPMATH_MAY_USE_387 1
| #define PPL_FPMATH_MAY_USE_SSE 1
| #define PPL_COEFFICIENT_TYPE mpz_class
| #define PPL_COEFFICIENT_BITS 0
| #define PPL_GMP_INTEGERS 1
| #define STDC_HEADERS 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_SYS_STAT_H 1
| #define HAVE_STDLIB_H 1
| #define HAVE_STRING_H 1
| #define HAVE_MEMORY_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_INTTYPES_H 1
| #define HAVE_STDINT_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE_TYPEOF 1
| #define SIZEOF_CHAR 1
| #define SIZEOF_SHORT 2
| #define SIZEOF_INT 4
| #define SIZEOF_LONG 8
| #define SIZEOF_LONG_LONG 8
| #define SIZEOF_SIZE_T 8
| #define SIZEOF_FLOAT 4
| #define SIZEOF_DOUBLE 8
| #define SIZEOF_LONG_DOUBLE 16
| #define SIZEOF_INTP 8
| #define SIZEOF_FP 8
| #define HAVE_FENV_H 1
| #define PPL_CAN_CONTROL_FPU 1
| #define PPL_CXX_PLAIN_CHAR_IS_SIGNED 1
| #define PPL_CXX_PROVIDES_PROPER_LONG_DOUBLE 1
| #define PPL_CXX_FLOAT_BINARY_FORMAT PPL_FLOAT_IEEE754_SINGLE
| #define PPL_CXX_FLOAT_EXACT_OUTPUT 1
| #define PPL_SUPPORTED_FLOAT 1
| #define PPL_CXX_DOUBLE_BINARY_FORMAT PPL_FLOAT_IEEE754_DOUBLE
| #define PPL_CXX_DOUBLE_EXACT_OUTPUT 1
| #define PPL_SUPPORTED_DOUBLE 1
| #define PPL_CXX_LONG_DOUBLE_BINARY_FORMAT PPL_FLOAT_INTEL_DOUBLE_EXTENDED
| #define PPL_CXX_LONG_DOUBLE_EXACT_OUTPUT 1
| #define PPL_SUPPORTED_LONG_DOUBLE 1
| #define PPL_CXX_SUPPORTS_ZERO_LENGTH_ARRAYS 1
| #define PPL_CXX_SUPPORTS_IEEE_INEXACT_FLAG 1
| #define PPL_CXX_SUPPORTS_ATTRIBUTE_WEAK 1
| #define HAVE_FENV_H 1
| #define HAVE_GETOPT_H 1
| #define HAVE_SIGNAL_H 1
| #define HAVE_STRING_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_SYS_RESOURCE_H 1
| #define HAVE_SYS_TIME_H 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE_DECL_FFS 1
| #define HAVE_DECL_GETENV 1
| #define HAVE_DECL_STRTOF 1
| #define HAVE_DECL_STRTOD 1
| #define HAVE_DECL_STRTOLD 1
| #define HAVE_DECL_STRTOLL 1
| #define HAVE_DECL_STRTOULL 1
| #define HAVE_DECL_FMA 1
| #define HAVE_DECL_FMAF 1
| #define HAVE_DECL_FMAL 1
| #define HAVE_DECL_RINTF 1
| #define HAVE_DECL_RINTL 1
| #define HAVE_INT_FAST16_T 1
| #define HAVE_INT_FAST32_T 1
| #define HAVE_INT_FAST64_T 1
| #define HAVE_UINT_FAST16_T 1
| #define HAVE_UINT_FAST32_T 1
| #define HAVE_UINT_FAST64_T 1
| #define HAVE_UINTPTR_T 1
| #define SIZEOF_MP_LIMB_T 8
| #define PPL_GMP_SUPPORTS_EXCEPTIONS 1
| #define HAVE___MPZ_STRUCT__MP_ALLOC 1
| #define HAVE___MPZ_STRUCT__MP_SIZE 1
| #define HAVE___MPZ_STRUCT__MP_D 1
| #define HAVE_DLFCN_H 1
| #define LT_OBJDIR ".libs/"
| #define HAVE_DECL_RLIMIT_DATA 1
| #define HAVE_DECL_RLIMIT_RSS 1
| /* end confdefs.h. */
|
| #ifdef HAVE_SYS_RESOURCE_H
| # include <sys/resource.h>
| #endif
|
|
| int
| main ()
| {
| #ifndef RLIMIT_VMEM
| #ifdef __cplusplus
| (void) RLIMIT_VMEM;
| #else
| (void) RLIMIT_VMEM;
| #endif
| #endif
|
| ;
| return 0;
| }
configure:24075: result: no
configure:24090: checking whether RLIMIT_AS is declared
configure:24090: g++ -c -g -O2 -frounding-math conftest.cpp >&5
configure:24090: $? = 0
configure:24090: result: yes
configure:24107: checking whether getrusage is declared
configure:24107: g++ -c -g -O2 -frounding-math conftest.cpp >&5
configure:24107: $? = 0
configure:24107: result: yes
configure:24125: checking whether setrlimit is declared
configure:24125: g++ -c -g -O2 -frounding-math conftest.cpp >&5
configure:24125: $? = 0
configure:24125: result: yes
configure:24145: checking whether setitimer is declared
configure:24145: g++ -c -g -O2 -frounding-math conftest.cpp >&5
configure:24145: $? = 0
configure:24145: result: yes
configure:24162: checking whether sigaction is declared
configure:24162: g++ -c -g -O2 -frounding-math conftest.cpp >&5
configure:24162: $? = 0
configure:24162: result: yes
configure:24176: checking for timeval
configure:24176: g++ -c -g -O2 -frounding-math conftest.cpp >&5
configure:24176: $? = 0
configure:24176: g++ -c -g -O2 -frounding-math conftest.cpp >&5
conftest.cpp: In function 'int main()':
conftest.cpp:133: error: expected primary-expression before ')' token
configure:24176: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.12.1"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.12.1"
| #define PACKAGE_BUGREPORT "ppl-devel(a)cs.unipr.it"
| #define PACKAGE_URL ""
| #define PPL_CONFIGURE_OPTIONS " '--with-gmp=/usr/local/'
'--prefix=/usr/local/ppl-0.12.1'"
| #define PPL_NDEBUG 1
| #define PPL_FPMATH_MAY_USE_387 1
| #define PPL_FPMATH_MAY_USE_SSE 1
| #define PPL_COEFFICIENT_TYPE mpz_class
| #define PPL_COEFFICIENT_BITS 0
| #define PPL_GMP_INTEGERS 1
| #define STDC_HEADERS 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_SYS_STAT_H 1
| #define HAVE_STDLIB_H 1
| #define HAVE_STRING_H 1
| #define HAVE_MEMORY_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_INTTYPES_H 1
| #define HAVE_STDINT_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE_TYPEOF 1
| #define SIZEOF_CHAR 1
| #define SIZEOF_SHORT 2
| #define SIZEOF_INT 4
| #define SIZEOF_LONG 8
| #define SIZEOF_LONG_LONG 8
| #define SIZEOF_SIZE_T 8
| #define SIZEOF_FLOAT 4
| #define SIZEOF_DOUBLE 8
| #define SIZEOF_LONG_DOUBLE 16
| #define SIZEOF_INTP 8
| #define SIZEOF_FP 8
| #define HAVE_FENV_H 1
| #define PPL_CAN_CONTROL_FPU 1
| #define PPL_CXX_PLAIN_CHAR_IS_SIGNED 1
| #define PPL_CXX_PROVIDES_PROPER_LONG_DOUBLE 1
| #define PPL_CXX_FLOAT_BINARY_FORMAT PPL_FLOAT_IEEE754_SINGLE
| #define PPL_CXX_FLOAT_EXACT_OUTPUT 1
| #define PPL_SUPPORTED_FLOAT 1
| #define PPL_CXX_DOUBLE_BINARY_FORMAT PPL_FLOAT_IEEE754_DOUBLE
| #define PPL_CXX_DOUBLE_EXACT_OUTPUT 1
| #define PPL_SUPPORTED_DOUBLE 1
| #define PPL_CXX_LONG_DOUBLE_BINARY_FORMAT PPL_FLOAT_INTEL_DOUBLE_EXTENDED
| #define PPL_CXX_LONG_DOUBLE_EXACT_OUTPUT 1
| #define PPL_SUPPORTED_LONG_DOUBLE 1
| #define PPL_CXX_SUPPORTS_ZERO_LENGTH_ARRAYS 1
| #define PPL_CXX_SUPPORTS_IEEE_INEXACT_FLAG 1
| #define PPL_CXX_SUPPORTS_ATTRIBUTE_WEAK 1
| #define HAVE_FENV_H 1
| #define HAVE_GETOPT_H 1
| #define HAVE_SIGNAL_H 1
| #define HAVE_STRING_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_SYS_RESOURCE_H 1
| #define HAVE_SYS_TIME_H 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE_DECL_FFS 1
| #define HAVE_DECL_GETENV 1
| #define HAVE_DECL_STRTOF 1
| #define HAVE_DECL_STRTOD 1
| #define HAVE_DECL_STRTOLD 1
| #define HAVE_DECL_STRTOLL 1
| #define HAVE_DECL_STRTOULL 1
| #define HAVE_DECL_FMA 1
| #define HAVE_DECL_FMAF 1
| #define HAVE_DECL_FMAL 1
| #define HAVE_DECL_RINTF 1
| #define HAVE_DECL_RINTL 1
| #define HAVE_INT_FAST16_T 1
| #define HAVE_INT_FAST32_T 1
| #define HAVE_INT_FAST64_T 1
| #define HAVE_UINT_FAST16_T 1
| #define HAVE_UINT_FAST32_T 1
| #define HAVE_UINT_FAST64_T 1
| #define HAVE_UINTPTR_T 1
| #define SIZEOF_MP_LIMB_T 8
| #define PPL_GMP_SUPPORTS_EXCEPTIONS 1
| #define HAVE___MPZ_STRUCT__MP_ALLOC 1
| #define HAVE___MPZ_STRUCT__MP_SIZE 1
| #define HAVE___MPZ_STRUCT__MP_D 1
| #define HAVE_DLFCN_H 1
| #define LT_OBJDIR ".libs/"
| #define HAVE_DECL_RLIMIT_DATA 1
| #define HAVE_DECL_RLIMIT_RSS 1
| #define HAVE_DECL_RLIMIT_VMEM 0
| #define HAVE_DECL_RLIMIT_AS 1
| #define HAVE_DECL_GETRUSAGE 1
| #define HAVE_DECL_SETRLIMIT 1
| #define HAVE_DECL_SETITIMER 1
| #define HAVE_DECL_SIGACTION 1
| /* end confdefs.h. */
| #include <stdio.h>
| #ifdef HAVE_SYS_TYPES_H
| # include <sys/types.h>
| #endif
| #ifdef HAVE_SYS_STAT_H
| # include <sys/stat.h>
| #endif
| #ifdef STDC_HEADERS
| # include <stdlib.h>
| # include <stddef.h>
| #else
| # ifdef HAVE_STDLIB_H
| # include <stdlib.h>
| # endif
| #endif
| #ifdef HAVE_STRING_H
| # if !defined STDC_HEADERS && defined HAVE_MEMORY_H
| # include <memory.h>
| # endif
| # include <string.h>
| #endif
| #ifdef HAVE_STRINGS_H
| # include <strings.h>
| #endif
| #ifdef HAVE_INTTYPES_H
| # include <inttypes.h>
| #endif
| #ifdef HAVE_STDINT_H
| # include <stdint.h>
| #endif
| #ifdef HAVE_UNISTD_H
| # include <unistd.h>
| #endif
| int
| main ()
| {
| if (sizeof ((timeval)))
| return 0;
| ;
| return 0;
| }
configure:24176: result: yes
configure:24186: checking for siginfo_t
configure:24186: g++ -c -g -O2 -frounding-math conftest.cpp >&5
configure:24186: $? = 0
configure:24186: g++ -c -g -O2 -frounding-math conftest.cpp >&5
conftest.cpp: In function 'int main()':
conftest.cpp:105: error: expected primary-expression before ')' token
configure:24186: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "the Parma Polyhedra Library"
| #define PACKAGE_TARNAME "ppl"
| #define PACKAGE_VERSION "0.12.1"
| #define PACKAGE_STRING "the Parma Polyhedra Library 0.12.1"
| #define PACKAGE_BUGREPORT "ppl-devel(a)cs.unipr.it"
| #define PACKAGE_URL ""
| #define PPL_CONFIGURE_OPTIONS " '--with-gmp=/usr/local/'
'--prefix=/usr/local/ppl-0.12.1'"
| #define PPL_NDEBUG 1
| #define PPL_FPMATH_MAY_USE_387 1
| #define PPL_FPMATH_MAY_USE_SSE 1
| #define PPL_COEFFICIENT_TYPE mpz_class
| #define PPL_COEFFICIENT_BITS 0
| #define PPL_GMP_INTEGERS 1
| #define STDC_HEADERS 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_SYS_STAT_H 1
| #define HAVE_STDLIB_H 1
| #define HAVE_STRING_H 1
| #define HAVE_MEMORY_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_INTTYPES_H 1
| #define HAVE_STDINT_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE_TYPEOF 1
| #define SIZEOF_CHAR 1
| #define SIZEOF_SHORT 2
| #define SIZEOF_INT 4
| #define SIZEOF_LONG 8
| #define SIZEOF_LONG_LONG 8
| #define SIZEOF_SIZE_T 8
| #define SIZEOF_FLOAT 4
| #define SIZEOF_DOUBLE 8
| #define SIZEOF_LONG_DOUBLE 16
| #define SIZEOF_INTP 8
| #define SIZEOF_FP 8
| #define HAVE_FENV_H 1
| #define PPL_CAN_CONTROL_FPU 1
| #define PPL_CXX_PLAIN_CHAR_IS_SIGNED 1
| #define PPL_CXX_PROVIDES_PROPER_LONG_DOUBLE 1
| #define PPL_CXX_FLOAT_BINARY_FORMAT PPL_FLOAT_IEEE754_SINGLE
| #define PPL_CXX_FLOAT_EXACT_OUTPUT 1
| #define PPL_SUPPORTED_FLOAT 1
| #define PPL_CXX_DOUBLE_BINARY_FORMAT PPL_FLOAT_IEEE754_DOUBLE
| #define PPL_CXX_DOUBLE_EXACT_OUTPUT 1
| #define PPL_SUPPORTED_DOUBLE 1
| #define PPL_CXX_LONG_DOUBLE_BINARY_FORMAT PPL_FLOAT_INTEL_DOUBLE_EXTENDED
| #define PPL_CXX_LONG_DOUBLE_EXACT_OUTPUT 1
| #define PPL_SUPPORTED_LONG_DOUBLE 1
| #define PPL_CXX_SUPPORTS_ZERO_LENGTH_ARRAYS 1
| #define PPL_CXX_SUPPORTS_IEEE_INEXACT_FLAG 1
| #define PPL_CXX_SUPPORTS_ATTRIBUTE_WEAK 1
| #define HAVE_FENV_H 1
| #define HAVE_GETOPT_H 1
| #define HAVE_SIGNAL_H 1
| #define HAVE_STRING_H 1
| #define HAVE_STRINGS_H 1
| #define HAVE_SYS_RESOURCE_H 1
| #define HAVE_SYS_TIME_H 1
| #define HAVE_SYS_TYPES_H 1
| #define HAVE_UNISTD_H 1
| #define HAVE_DECL_FFS 1
| #define HAVE_DECL_GETENV 1
| #define HAVE_DECL_STRTOF 1
| #define HAVE_DECL_STRTOD 1
| #define HAVE_DECL_STRTOLD 1
| #define HAVE_DECL_STRTOLL 1
| #define HAVE_DECL_STRTOULL 1
| #define HAVE_DECL_FMA 1
| #define HAVE_DECL_FMAF 1
| #define HAVE_DECL_FMAL 1
| #define HAVE_DECL_RINTF 1
| #define HAVE_DECL_RINTL 1
| #define HAVE_INT_FAST16_T 1
| #define HAVE_INT_FAST32_T 1
| #define HAVE_INT_FAST64_T 1
| #define HAVE_UINT_FAST16_T 1
| #define HAVE_UINT_FAST32_T 1
| #define HAVE_UINT_FAST64_T 1
| #define HAVE_UINTPTR_T 1
| #define SIZEOF_MP_LIMB_T 8
| #define PPL_GMP_SUPPORTS_EXCEPTIONS 1
| #define HAVE___MPZ_STRUCT__MP_ALLOC 1
| #define HAVE___MPZ_STRUCT__MP_SIZE 1
| #define HAVE___MPZ_STRUCT__MP_D 1
| #define HAVE_DLFCN_H 1
| #define LT_OBJDIR ".libs/"
| #define HAVE_DECL_RLIMIT_DATA 1
| #define HAVE_DECL_RLIMIT_RSS 1
| #define HAVE_DECL_RLIMIT_VMEM 0
| #define HAVE_DECL_RLIMIT_AS 1
| #define HAVE_DECL_GETRUSAGE 1
| #define HAVE_DECL_SETRLIMIT 1
| #define HAVE_DECL_SETITIMER 1
| #define HAVE_DECL_SIGACTION 1
| #define HAVE_TIMEVAL 1
| /* end confdefs.h. */
|
| #include <signal.h>
|
|
| int
| main ()
| {
| if (sizeof ((siginfo_t)))
| return 0;
| ;
| return 0;
| }
configure:24186: result: yes
configure:24211: checking whether we can limit memory in C++ using
setrlimit()
configure:24291: g++ -o conftest -g -O2 -frounding-math conftest.cpp
>&5
configure:24291: $? = 0
configure:24291: ./conftest
configure:24291: $? = 0
configure:24292: result: yes
configure:24711: creating ./config.status
## ---------------------- ##
## Running config.status. ##
## ---------------------- ##
This file was extended by the Parma Polyhedra Library config.status 0.12.1,
which was
generated by GNU Autoconf 2.68. Invocation command line was
CONFIG_FILES =
CONFIG_HEADERS =
CONFIG_LINKS =
CONFIG_COMMANDS =
$ ./config.status
on dcd234
config.status:1500: creating Makefile
config.status:1500: creating ppl.lsm
config.status:1500: creating src/Makefile
config.status:1500: creating src/version.hh
config.status:1500: creating src/ppl-config.cc
config.status:1500: creating tests/Makefile
config.status:1500: creating tests/BD_Shape/Makefile
config.status:1500: creating tests/Box/Makefile
config.status:1500: creating tests/Concrete_Expression/Makefile
config.status:1500: creating tests/CO_Tree/Makefile
config.status:1500: creating tests/Grid/Makefile
config.status:1500: creating tests/MIP_Problem/Makefile
config.status:1500: creating tests/Octagonal_Shape/Makefile
config.status:1500: creating tests/Partially_Reduced_Product/Makefile
config.status:1500: creating tests/PIP_Problem/Makefile
config.status:1500: creating tests/Polyhedron/Makefile
config.status:1500: creating tests/Powerset/Makefile
config.status:1500: creating tests/Sparse_Matrix/Makefile
config.status:1500: creating tests/Watchdog/Makefile
config.status:1500: creating utils/Makefile
config.status:1500: creating m4/Makefile
config.status:1500: creating demos/Makefile
config.status:1500: creating demos/ppl_lcdd/Makefile
config.status:1500: creating demos/ppl_lcdd/examples/Makefile
config.status:1500: creating demos/ppl_lpsol/Makefile
config.status:1500: creating demos/ppl_lpsol/examples/Makefile
config.status:1500: creating demos/ppl_pips/Makefile
config.status:1500: creating demos/ppl_pips/examples/Makefile
config.status:1500: creating doc/Makefile
config.status:1500: creating doc/user.doxyconf-latex
config.status:1500: creating doc/devref.doxyconf-latex
config.status:1500: creating doc/user.doxyconf-html
config.status:1500: creating doc/devref.doxyconf-html
config.status:1500: creating doc/user-language-interface.doxyconf
config.status:1500: creating doc/devref-language-interface.doxyconf
config.status:1500: creating interfaces/Makefile
config.status:1500: creating interfaces/C/Makefile
config.status:1500: creating interfaces/C/ppl_c_version.h
config.status:1500: creating interfaces/C/tests/Makefile
config.status:1500: creating interfaces/Java/Makefile
config.status:1500: creating interfaces/Java/jni/Makefile
config.status:1500: creating interfaces/Java/tests/Makefile
config.status:1500: creating
interfaces/Java/parma_polyhedra_library/Makefile
config.status:1500: creating interfaces/OCaml/Makefile
config.status:1500: creating interfaces/OCaml/tests/Makefile
config.status:1500: creating interfaces/Prolog/Makefile
config.status:1500: creating interfaces/Prolog/Ciao/Makefile
config.status:1500: creating interfaces/Prolog/GNU/Makefile
config.status:1500: creating interfaces/Prolog/SICStus/Makefile
config.status:1500: creating interfaces/Prolog/SWI/Makefile
config.status:1500: creating interfaces/Prolog/XSB/Makefile
config.status:1500: creating interfaces/Prolog/YAP/Makefile
config.status:1500: creating interfaces/Prolog/tests/Makefile
config.status:1500: creating config.h
config.status:1714: executing depfiles commands
config.status:1714: executing libtool commands
## ---------------- ##
## Cache variables. ##
## ---------------- ##
ac_cv_build=x86_64-unknown-linux-gnu
ac_cv_c_bigendian=no
ac_cv_c_compiler_gnu=yes
ac_cv_c_const=yes
ac_cv_c_inline=inline
ac_cv_c_typeof=typeof
ac_cv_can_control_fpu=1
ac_cv_cxx_compiler_gnu=yes
ac_cv_env_CCC_set=
ac_cv_env_CCC_value=
ac_cv_env_CC_set=
ac_cv_env_CC_value=
ac_cv_env_CFLAGS_set=
ac_cv_env_CFLAGS_value=
ac_cv_env_CPPFLAGS_set=
ac_cv_env_CPPFLAGS_value=
ac_cv_env_CPP_set=
ac_cv_env_CPP_value=
ac_cv_env_CXXCPP_set=
ac_cv_env_CXXCPP_value=
ac_cv_env_CXXFLAGS_set=
ac_cv_env_CXXFLAGS_value=
ac_cv_env_CXX_set=
ac_cv_env_CXX_value=
ac_cv_env_LDFLAGS_set=
ac_cv_env_LDFLAGS_value=
ac_cv_env_LIBS_set=
ac_cv_env_LIBS_value=
ac_cv_env_M4_set=
ac_cv_env_M4_value=
ac_cv_env_build_alias_set=
ac_cv_env_build_alias_value=
ac_cv_env_host_alias_set=
ac_cv_env_host_alias_value=
ac_cv_env_target_alias_set=
ac_cv_env_target_alias_value=
ac_cv_func_dlopen=no
ac_cv_func_shl_load=no
ac_cv_gmp_supports_exceptions=yes
ac_cv_have_decl_RLIMIT_AS=yes
ac_cv_have_decl_RLIMIT_DATA=yes
ac_cv_have_decl_RLIMIT_RSS=yes
ac_cv_have_decl_RLIMIT_VMEM=no
ac_cv_have_decl_ffs=yes
ac_cv_have_decl_fma=yes
ac_cv_have_decl_fmaf=yes
ac_cv_have_decl_fmal=yes
ac_cv_have_decl_getenv=yes
ac_cv_have_decl_getrusage=yes
ac_cv_have_decl_rintf=yes
ac_cv_have_decl_rintl=yes
ac_cv_have_decl_setitimer=yes
ac_cv_have_decl_setrlimit=yes
ac_cv_have_decl_sigaction=yes
ac_cv_have_decl_strtod=yes
ac_cv_have_decl_strtof=yes
ac_cv_have_decl_strtold=yes
ac_cv_have_decl_strtoll=yes
ac_cv_have_decl_strtoull=yes
ac_cv_have_gmp=yes
ac_cv_header_dlfcn_h=yes
ac_cv_header_fenv_h=yes
ac_cv_header_getopt_h=yes
ac_cv_header_glpk_glpk_h=no
ac_cv_header_glpk_h=no
ac_cv_header_ieeefp_h=no
ac_cv_header_inttypes_h=yes
ac_cv_header_memory_h=yes
ac_cv_header_signal_h=yes
ac_cv_header_stdc=yes
ac_cv_header_stdint_h=yes
ac_cv_header_stdlib_h=yes
ac_cv_header_string_h=yes
ac_cv_header_strings_h=yes
ac_cv_header_sys_resource_h=yes
ac_cv_header_sys_stat_h=yes
ac_cv_header_sys_time_h=yes
ac_cv_header_sys_types_h=yes
ac_cv_header_unistd_h=yes
ac_cv_host=x86_64-unknown-linux-gnu
ac_cv_javac_supports_enums=no
ac_cv_lib_dl_dlopen=yes
ac_cv_lib_dld_shl_load=no
ac_cv_member___mpz_struct__mp_alloc=yes
ac_cv_member___mpz_struct__mp_d=yes
ac_cv_member___mpz_struct__mp_size=yes
ac_cv_objext=o
ac_cv_path_EGREP='/bin/grep -E'
ac_cv_path_FGREP='/bin/grep -F'
ac_cv_path_GREP=/bin/grep
ac_cv_path_JAR=/usr/lib/jvm/java/bin/jar
ac_cv_path_JAVA=/usr/lib/jvm/java/bin/java
ac_cv_path_JAVAC=/usr/lib/jvm/java/bin/javac
ac_cv_path_JAVAH=/usr/lib/jvm/java/bin/javah
ac_cv_path_M4=/usr/bin/m4
ac_cv_path_PERL=/usr/bin/perl
ac_cv_path_SED=/bin/sed
ac_cv_path_install='/usr/bin/install -c'
ac_cv_path_mkdir=/bin/mkdir
ac_cv_prog_AWK=gawk
ac_cv_prog_CPP='gcc -E'
ac_cv_prog_CXXCPP='g++ -E'
ac_cv_prog_MD5SUM=md5sum
ac_cv_prog_ac_ct_AR=ar
ac_cv_prog_ac_ct_CC=gcc
ac_cv_prog_ac_ct_CXX=g++
ac_cv_prog_ac_ct_OBJDUMP=objdump
ac_cv_prog_ac_ct_RANLIB=ranlib
ac_cv_prog_ac_ct_STRIP=strip
ac_cv_prog_cc_c89=
ac_cv_prog_cc_g=yes
ac_cv_prog_cxx_g=yes
ac_cv_prog_gnu_m4_debugfile=--error-output
ac_cv_prog_java_works=skipping
ac_cv_prog_make_make_set=yes
ac_cv_prog_text_md5sum='md5sum -t'
ac_cv_search_sqrt='none required'
ac_cv_sizeof_char=1
ac_cv_sizeof_double=8
ac_cv_sizeof_float=4
ac_cv_sizeof_fp=8
ac_cv_sizeof_int=4
ac_cv_sizeof_intp=8
ac_cv_sizeof_long=8
ac_cv_sizeof_long_double=16
ac_cv_sizeof_long_long=8
ac_cv_sizeof_mp_limb_t=8
ac_cv_sizeof_short=2
ac_cv_sizeof_size_t=8
ac_cv_type_int_fast16_t=yes
ac_cv_type_int_fast32_t=yes
ac_cv_type_int_fast64_t=yes
ac_cv_type_siginfo_t=yes
ac_cv_type_timeval=yes
ac_cv_type_uint_fast16_t=yes
ac_cv_type_uint_fast32_t=yes
ac_cv_type_uint_fast64_t=yes
ac_cv_type_uintptr_t=yes
am_cv_CC_dependencies_compiler_type=gcc3
am_cv_CXX_dependencies_compiler_type=gcc3
am_cv_make_support_nested_variables=yes
am_cv_prog_tar_ustar=gnutar
lt_cv_ar_at_file=@
lt_cv_archive_cmds_need_lc=no
lt_cv_deplibs_check_method=pass_all
lt_cv_dlopen=dlopen
lt_cv_dlopen_libs=-ldl
lt_cv_dlopen_self=yes
lt_cv_dlopen_self_static=no
lt_cv_file_magic_cmd='$MAGIC_CMD'
lt_cv_file_magic_test_file=
lt_cv_ld_reload_flag=-r
lt_cv_nm_interface='BSD nm'
lt_cv_objdir=.libs
lt_cv_path_LD=/usr/bin/ld
lt_cv_path_LDCXX='/usr/bin/ld -m elf_x86_64'
lt_cv_path_NM='/usr/bin/nm -B'
lt_cv_path_mainfest_tool=no
lt_cv_prog_compiler_c_o=yes
lt_cv_prog_compiler_c_o_CXX=yes
lt_cv_prog_compiler_pic='-fPIC -DPIC'
lt_cv_prog_compiler_pic_CXX='-fPIC -DPIC'
lt_cv_prog_compiler_pic_works=yes
lt_cv_prog_compiler_pic_works_CXX=yes
lt_cv_prog_compiler_rtti_exceptions=no
lt_cv_prog_compiler_static_works=yes
lt_cv_prog_compiler_static_works_CXX=yes
lt_cv_prog_gnu_ld=yes
lt_cv_prog_gnu_ldcxx=yes
lt_cv_sharedlib_from_linklib_cmd='printf %s\n'
lt_cv_shlibpath_overrides_runpath=no
lt_cv_sys_global_symbol_pipe='sed -n -e '\''s/^.*[
]\([ABCDGIRSTW][ABCDGIRSTW]*\)[ ][ ]*\([_A-Za-z][_A-Za-z0-9]*\)$/\1 \2
\2/p'\'' | sed '\''/ __gnu_lto/d'\'''
lt_cv_sys_global_symbol_to_c_name_address='sed -n -e '\''s/^: \([^ ]*\)[
]*$/ {\"\1\", (void *) 0},/p'\'' -e '\''s/^[ABCDGIRSTW]* \([^ ]*\) \([^
]*\)$/ {"\2", (void *) \&\2},/p'\'''
lt_cv_sys_global_symbol_to_c_name_address_lib_prefix='sed -n -e '\''s/^:
\([^ ]*\)[ ]*$/ {\"\1\", (void *) 0},/p'\'' -e '\''s/^[ABCDGIRSTW]* \([^
]*\) \(lib[^ ]*\)$/ {"\2", (void *) \&\2},/p'\'' -e '\''s/^[ABCDGIRSTW]*
\([^ ]*\) \([^ ]*\)$/ {"lib\2", (void *) \&\2},/p'\'''
lt_cv_sys_global_symbol_to_cdecl='sed -n -e '\''s/^T .* \(.*\)$/extern int
\1();/p'\'' -e '\''s/^[ABCDGIRSTW]* .* \(.*\)$/extern char \1;/p'\'''
lt_cv_sys_max_cmd_len=98304
lt_cv_to_host_file_cmd=func_convert_file_noop
lt_cv_to_tool_file_cmd=func_convert_file_noop
## ----------------- ##
## Output variables. ##
## ----------------- ##
ACLOCAL='${SHELL} /home/wangxing/devPackage/ppl-0.12.1/missing --run
aclocal-1.11'
AMDEPBACKSLASH='\'
AMDEP_FALSE='#'
AMDEP_TRUE=''
AMTAR='$${TAR-tar}'
AM_BACKSLASH='\'
AM_DEFAULT_V='$(AM_DEFAULT_VERBOSITY)'
AM_DEFAULT_VERBOSITY='1'
AM_V='$(V)'
AR='ar'
ASSERTIONS_ENABLED_FALSE=''
ASSERTIONS_ENABLED_TRUE='#'
AUTOCONF='${SHELL} /home/wangxing/devPackage/ppl-0.12.1/missing --run
autoconf'
AUTOHEADER='${SHELL} /home/wangxing/devPackage/ppl-0.12.1/missing --run
autoheader'
AUTOMAKE='${SHELL} /home/wangxing/devPackage/ppl-0.12.1/missing --run
automake-1.11'
AWK='gawk'
BUILD_CIAO_PROLOG_INTERFACE_FALSE=''
BUILD_CIAO_PROLOG_INTERFACE_TRUE='#'
BUILD_CXX_INTERFACE_FALSE='#'
BUILD_CXX_INTERFACE_TRUE=''
BUILD_C_INTERFACE_FALSE='#'
BUILD_C_INTERFACE_TRUE=''
BUILD_DOCUMENTATION_FALSE='#'
BUILD_DOCUMENTATION_TRUE=''
BUILD_GNU_PROLOG_INTERFACE_FALSE=''
BUILD_GNU_PROLOG_INTERFACE_TRUE='#'
BUILD_JAVA_INTERFACE_FALSE=''
BUILD_JAVA_INTERFACE_TRUE='#'
BUILD_OCAML_INTERFACE_FALSE=''
BUILD_OCAML_INTERFACE_TRUE='#'
BUILD_PPL_LCDD_FALSE='#'
BUILD_PPL_LCDD_TRUE=''
BUILD_PPL_LPSOL_FALSE='#'
BUILD_PPL_LPSOL_TRUE=''
BUILD_PPL_PIPS_FALSE='#'
BUILD_PPL_PIPS_TRUE=''
BUILD_SICSTUS_PROLOG_INTERFACE_FALSE=''
BUILD_SICSTUS_PROLOG_INTERFACE_TRUE='#'
BUILD_SOME_PROLOG_INTERFACES_FALSE=''
BUILD_SOME_PROLOG_INTERFACES_TRUE='#'
BUILD_SWI_PROLOG_INTERFACE_FALSE=''
BUILD_SWI_PROLOG_INTERFACE_TRUE='#'
BUILD_XSB_PROLOG_INTERFACE_FALSE=''
BUILD_XSB_PROLOG_INTERFACE_TRUE='#'
BUILD_YAP_PROLOG_INTERFACE_FALSE=''
BUILD_YAP_PROLOG_INTERFACE_TRUE='#'
CAN_CONTROL_FPU_FALSE='#'
CAN_CONTROL_FPU_TRUE=''
CC='gcc'
CCDEPMODE='depmode=gcc3'
CFLAGS=' -g -O2 -frounding-math -W -Wall'
CIAO_PROLOG=''
CIAO_PROLOG_INCLUDE_OPTIONS=''
CONFIGURE_OPTIONS=''
CPP='gcc -E'
CPPFLAGS=''
CXX='g++'
CXXCPP='g++ -E'
CXXDEPMODE='depmode=gcc3'
CXXFLAGS=' -g -O2 -frounding-math -W -Wall'
CYGPATH_W='echo'
DEBUGGING_ENABLED_FALSE='#'
DEBUGGING_ENABLED_TRUE=''
DEFS='-DHAVE_CONFIG_H'
DEPDIR='.deps'
DLLTOOL='false'
DSYMUTIL=''
DUMPBIN=''
ECHO_C=''
ECHO_N='-n'
ECHO_T=''
EGREP='/bin/grep -E'
ENABLE_SHARED_FALSE='#'
ENABLE_SHARED_TRUE=''
ENABLE_STATIC_FALSE='#'
ENABLE_STATIC_TRUE=''
EXEEXT=''
FGREP='/bin/grep -F'
GCC_FALSE='#'
GCC_TRUE=''
GNU_PROLOG=''
GREP='/bin/grep'
HAVE_GLPK_FALSE=''
HAVE_GLPK_TRUE='#'
HAVE_MD5SUM_FALSE='#'
HAVE_MD5SUM_TRUE=''
HAVE_OCAMLC_FALSE=''
HAVE_OCAMLC_TRUE='#'
HAVE_OCAMLOPT_FALSE=''
HAVE_OCAMLOPT_TRUE='#'
HAVE_PERL_FALSE='#'
HAVE_PERL_TRUE=''
HOST_CPU_X86_64_FALSE='#'
HOST_CPU_X86_64_TRUE=''
HOST_OS_CYGWIN_FALSE=''
HOST_OS_CYGWIN_TRUE='#'
HOST_OS_DARWIN_FALSE=''
HOST_OS_DARWIN_TRUE='#'
HOST_OS_HPUX_FALSE=''
HOST_OS_HPUX_TRUE='#'
HOST_OS_MINGW_FALSE=''
HOST_OS_MINGW_TRUE='#'
HOST_OS_SOLARIS_FALSE=''
HOST_OS_SOLARIS_TRUE='#'
ICC_FALSE=''
ICC_TRUE='#'
INSTALL_DATA='${INSTALL} -m 644'
INSTALL_PROGRAM='${INSTALL}'
INSTALL_SCRIPT='${INSTALL}'
INSTALL_STRIP_PROGRAM='$(install_sh) -c -s'
ISODATE='2012-05-05'
JAR='/usr/lib/jvm/java/bin/jar'
JAVA='/usr/lib/jvm/java/bin/java'
JAVAC='/usr/lib/jvm/java/bin/javac'
JAVAH='/usr/lib/jvm/java/bin/javah'
JNIFLAGS=''
LD='/usr/bin/ld -m elf_x86_64'
LDFLAGS=''
LIBEXT='a'
LIBOBJS=''
LIBS=''
LIBTOOL='$(SHELL) $(top_builddir)/libtool'
LIPO=''
LN_S='ln -s'
LTLIBOBJS=''
M4='/usr/bin/m4'
M4_DEBUGFILE='--error-output'
MAKEINFO='${SHELL} /home/wangxing/devPackage/ppl-0.12.1/missing --run
makeinfo'
MANIFEST_TOOL=':'
MD5SUM='md5sum'
MKDIR_P='/bin/mkdir -p'
NM='/usr/bin/nm -B'
NMEDIT=''
NO_UNDEFINED_FALSE=''
NO_UNDEFINED_TRUE='#'
OBJDUMP='objdump'
OBJEXT='o'
OCAMLBEST=''
OCAMLBUILD='no'
OCAMLC='no'
OCAMLCDOTOPT=''
OCAMLDEP='no'
OCAMLDOC='no'
OCAMLLIB=''
OCAMLMKLIB='no'
OCAMLMKTOP='no'
OCAMLOPT=''
OCAMLOPTDOTOPT=''
OCAMLVERSION=''
OTOOL64=''
OTOOL=''
PACKAGE='ppl'
PACKAGE_BUGREPORT='ppl-devel(a)cs.unipr.it'
PACKAGE_NAME='the Parma Polyhedra Library'
PACKAGE_STRING='the Parma Polyhedra Library 0.12.1'
PACKAGE_TARNAME='ppl'
PACKAGE_URL=''
PACKAGE_VERSION='0.12.1'
PATH_SEPARATOR=':'
PERL='/usr/bin/perl'
PPL_VERSION_BETA='0'
PPL_VERSION_MAJOR='0'
PPL_VERSION_MINOR='12'
PPL_VERSION_REVISION='1'
RANLIB='ranlib'
SED='/bin/sed'
SET_MAKE=''
SHELL='/bin/sh'
SHREXT='.so'
SICSTUS_PROLOG_INCLUDE_OPTIONS=''
STRIP='strip'
SUPPORTED_DOUBLE_FALSE='#'
SUPPORTED_DOUBLE_TRUE=''
SUPPORTED_FLOAT_FALSE='#'
SUPPORTED_FLOAT_TRUE=''
SUPPORTED_LONG_DOUBLE_FALSE='#'
SUPPORTED_LONG_DOUBLE_TRUE=''
SUPPORTED_SOME_FLOATING_POINT_TYPE_FALSE='#'
SUPPORTED_SOME_FLOATING_POINT_TYPE_TRUE=''
SWI_PROLOG=''
SWI_PROLOG_INCLUDE_OPTIONS=''
SWI_PROLOG_LD=''
SWI_PROLOG_LD_OPTIONS=''
TEXT_MD5SUM='md5sum -t'
THOROUGH_MAKE_CHECK_FALSE=''
THOROUGH_MAKE_CHECK_TRUE='#'
USE_CHECKED_INTEGERS_FALSE=''
USE_CHECKED_INTEGERS_TRUE='#'
USE_GMP_INTEGERS_FALSE='#'
USE_GMP_INTEGERS_TRUE=''
USE_INT16_FALSE=''
USE_INT16_TRUE='#'
USE_INT32_FALSE=''
USE_INT32_TRUE='#'
USE_INT64_FALSE=''
USE_INT64_TRUE='#'
USE_INT8_FALSE=''
USE_INT8_TRUE='#'
USE_NATIVE_INTEGERS_FALSE=''
USE_NATIVE_INTEGERS_TRUE='#'
USE_PRECOMPILED_HEADERS_FALSE=''
USE_PRECOMPILED_HEADERS_TRUE='#'
VALGRIND=''
VALGRIND_TESTS_ENABLED_FALSE=''
VALGRIND_TESTS_ENABLED_TRUE='#'
VERSION='0.12.1'
XSB_PROLOG_INCLUDE_OPTIONS=''
YAP_PROLOG=''
YAP_PROLOG_INCLUDE_OPTIONS=''
YAP_PROLOG_LD_OPTIONS=''
ac_ct_AR='ar'
ac_ct_CC='gcc'
ac_ct_CXX='g++'
ac_ct_DUMPBIN=''
am__EXEEXT_FALSE=''
am__EXEEXT_TRUE='#'
am__fastdepCC_FALSE='#'
am__fastdepCC_TRUE=''
am__fastdepCXX_FALSE='#'
am__fastdepCXX_TRUE=''
am__include='include'
am__isrc=' -I$(srcdir)'
am__leading_dot='.'
am__nodep='_no'
am__quote=''
am__tar='tar --format=ustar -chf - "$$tardir"'
am__untar='tar -xf -'
bindir='${exec_prefix}/bin'
build='x86_64-unknown-linux-gnu'
build_alias=''
build_cpu='x86_64'
build_os='linux-gnu'
build_vendor='unknown'
ciao_prolog=''
coefficient_mnemonic='mpz'
datadir='${datarootdir}'
datarootdir='${prefix}/share'
debug_flag='-DNDEBUG=1'
docdir='${datarootdir}/doc/${PACKAGE_TARNAME}'
dvidir='${docdir}'
exec_prefix='${prefix}'
extra_includes='-I/usr/local//include'
extra_libraries='-L/usr/local//lib -lgmpxx -lgmp'
host='x86_64-unknown-linux-gnu'
host_alias=''
host_cpu='x86_64'
host_os='linux-gnu'
host_vendor='unknown'
htmldir='${docdir}'
includedir='${prefix}/include'
infodir='${datarootdir}/info'
install_sh='${SHELL} /home/wangxing/devPackage/ppl-0.12.1/install-sh'
libdir='${exec_prefix}/lib'
libexecdir='${exec_prefix}/libexec'
localedir='${datarootdir}/locale'
localstatedir='${prefix}/var'
mandir='${datarootdir}/man'
mkdir_p='/bin/mkdir -p'
mlgmp_dir='+gmp'
oldincludedir='/usr/include'
pdfdir='${docdir}'
prefix='/usr/local/ppl-0.12.1'
program_transform_name='s,x,x,'
psdir='${docdir}'
required_instantiations='Polyhedron@Grid@Rational_Box@BD_Shape
<mpz_class>@BD_Shape<mpq_class>@Octagonal_Shape<mpz_class>@Octagonal_Shape<mpq_class>@Constraints_Product<C_Polyhedron,Grid>@Pointset_Powerset<C_Polyhedron>@Pointset_Powerset<NNC_Polyhedron>@Double_Box@BD_Shape
<double>@Octagonal_Shape<double>'
required_instantiations_c_cxx_headers='ppl_c_Polyhedron.hh ppl_c_Grid.hh
ppl_c_Rational_Box.hh ppl_c_BD_Shape_mpz_class.hh
ppl_c_BD_Shape_mpq_class.hh ppl_c_Octagonal_Shape_mpz_class.hh
ppl_c_Octagonal_Shape_mpq_class.hh
ppl_c_Constraints_Product_C_Polyhedron_Grid.hh
ppl_c_Pointset_Powerset_C_Polyhedron.hh
ppl_c_Pointset_Powerset_NNC_Polyhedron.hh ppl_c_Double_Box.hh
ppl_c_BD_Shape_double.hh ppl_c_Octagonal_Shape_double.hh'
required_instantiations_c_cxx_objects='ppl_c_Polyhedron.lo ppl_c_Grid.lo
ppl_c_Rational_Box.lo ppl_c_BD_Shape_mpz_class.lo
ppl_c_BD_Shape_mpq_class.lo ppl_c_Octagonal_Shape_mpz_class.lo
ppl_c_Octagonal_Shape_mpq_class.lo
ppl_c_Constraints_Product_C_Polyhedron_Grid.lo
ppl_c_Pointset_Powerset_C_Polyhedron.lo
ppl_c_Pointset_Powerset_NNC_Polyhedron.lo ppl_c_Double_Box.lo
ppl_c_BD_Shape_double.lo ppl_c_Octagonal_Shape_double.lo'
required_instantiations_c_cxx_sources='ppl_c_Polyhedron.cc ppl_c_Grid.cc
ppl_c_Rational_Box.cc ppl_c_BD_Shape_mpz_class.cc
ppl_c_BD_Shape_mpq_class.cc ppl_c_Octagonal_Shape_mpz_class.cc
ppl_c_Octagonal_Shape_mpq_class.cc
ppl_c_Constraints_Product_C_Polyhedron_Grid.cc
ppl_c_Pointset_Powerset_C_Polyhedron.cc
ppl_c_Pointset_Powerset_NNC_Polyhedron.cc ppl_c_Double_Box.cc
ppl_c_BD_Shape_double.cc ppl_c_Octagonal_Shape_double.cc'
required_instantiations_canonical_names='Polyhedron@Grid
@Rational_Box@BD_Shape_mpz_class
@BD_Shape_mpq_class@Octagonal_Shape_mpz_class
@Octagonal_Shape_mpq_class@Constraints_Product_C_Polyhedron_Grid
@Pointset_Powerset_C_Polyhedron@Pointset_Powerset_NNC_Polyhedron
@Double_Box@BD_Shape_double@Octagonal_Shape_double'
required_instantiations_java_classes='Polyhedron.class C_Polyhedron.class
NNC_Polyhedron.class Grid.class Rational_Box.class BD_Shape_mpz_class.class
BD_Shape_mpq_class.class Octagonal_Shape_mpz_class.class
Octagonal_Shape_mpq_class.class Constraints_Product_C_Polyhedron_Grid.class
Pointset_Powerset_C_Polyhedron.class
Pointset_Powerset_C_Polyhedron_Iterator.class
Pointset_Powerset_NNC_Polyhedron.class
Pointset_Powerset_NNC_Polyhedron_Iterator.class Double_Box.class
BD_Shape_double.class Octagonal_Shape_double.class'
required_instantiations_java_cxx_headers='parma_polyhedra_library.Polyhedron
parma_polyhedra_library.C_Polyhedron parma_polyhedra_library.NNC_Polyhedron
parma_polyhedra_library.Grid parma_polyhedra_library.Rational_Box
parma_polyhedra_library.BD_Shape_mpz_class
parma_polyhedra_library.BD_Shape_mpq_class
parma_polyhedra_library.Octagonal_Shape_mpz_class
parma_polyhedra_library.Octagonal_Shape_mpq_class
parma_polyhedra_library.Constraints_Product_C_Polyhedron_Grid
parma_polyhedra_library.Pointset_Powerset_C_Polyhedron
parma_polyhedra_library.Pointset_Powerset_C_Polyhedron_Iterator
parma_polyhedra_library.Pointset_Powerset_NNC_Polyhedron
parma_polyhedra_library.Pointset_Powerset_NNC_Polyhedron_Iterator
parma_polyhedra_library.Double_Box parma_polyhedra_library.BD_Shape_double
parma_polyhedra_library.Octagonal_Shape_double'
required_instantiations_java_cxx_headers_sources='parma_polyhedra_library_Polyhedron.h
parma_polyhedra_library_C_Polyhedron.h
parma_polyhedra_library_NNC_Polyhedron.h parma_polyhedra_library_Grid.h
parma_polyhedra_library_Rational_Box.h
parma_polyhedra_library_BD_Shape_mpz_class.h
parma_polyhedra_library_BD_Shape_mpq_class.h
parma_polyhedra_library_Octagonal_Shape_mpz_class.h
parma_polyhedra_library_Octagonal_Shape_mpq_class.h
parma_polyhedra_library_Constraints_Product_C_Polyhedron_Grid.h
parma_polyhedra_library_Pointset_Powerset_C_Polyhedron.h
parma_polyhedra_library_Pointset_Powerset_C_Polyhedron_Iterator.h
parma_polyhedra_library_Pointset_Powerset_NNC_Polyhedron.h
parma_polyhedra_library_Pointset_Powerset_NNC_Polyhedron_Iterator.h
parma_polyhedra_library_Double_Box.h
parma_polyhedra_library_BD_Shape_double.h
parma_polyhedra_library_Octagonal_Shape_double.h'
required_instantiations_java_cxx_objects='ppl_java_Polyhedron.lo
ppl_java_Grid.lo ppl_java_Rational_Box.lo ppl_java_BD_Shape_mpz_class.lo
ppl_java_BD_Shape_mpq_class.lo ppl_java_Octagonal_Shape_mpz_class.lo
ppl_java_Octagonal_Shape_mpq_class.lo
ppl_java_Constraints_Product_C_Polyhedron_Grid.lo
ppl_java_Pointset_Powerset_C_Polyhedron.lo
ppl_java_Pointset_Powerset_NNC_Polyhedron.lo ppl_java_Double_Box.lo
ppl_java_BD_Shape_double.lo ppl_java_Octagonal_Shape_double.lo'
required_instantiations_java_cxx_sources='ppl_java_Polyhedron.cc
ppl_java_Grid.cc ppl_java_Rational_Box.cc ppl_java_BD_Shape_mpz_class.cc
ppl_java_BD_Shape_mpq_class.cc ppl_java_Octagonal_Shape_mpz_class.cc
ppl_java_Octagonal_Shape_mpq_class.cc
ppl_java_Constraints_Product_C_Polyhedron_Grid.cc
ppl_java_Pointset_Powerset_C_Polyhedron.cc
ppl_java_Pointset_Powerset_NNC_Polyhedron.cc ppl_java_Double_Box.cc
ppl_java_BD_Shape_double.cc ppl_java_Octagonal_Shape_double.cc'
required_instantiations_java_sources='Polyhedron.java C_Polyhedron.java
NNC_Polyhedron.java Grid.java Rational_Box.java BD_Shape_mpz_class.java
BD_Shape_mpq_class.java Octagonal_Shape_mpz_class.java
Octagonal_Shape_mpq_class.java Constraints_Product_C_Polyhedron_Grid.java
Pointset_Powerset_C_Polyhedron.java
Pointset_Powerset_C_Polyhedron_Iterator.java
Pointset_Powerset_NNC_Polyhedron.java
Pointset_Powerset_NNC_Polyhedron_Iterator.java Double_Box.java
BD_Shape_double.java Octagonal_Shape_double.java'
required_instantiations_ocaml_cxx_headers='ppl_ocaml_Polyhedron.hh
ppl_ocaml_Grid.hh ppl_ocaml_Rational_Box.hh ppl_ocaml_BD_Shape_mpz_class.hh
ppl_ocaml_BD_Shape_mpq_class.hh ppl_ocaml_Octagonal_Shape_mpz_class.hh
ppl_ocaml_Octagonal_Shape_mpq_class.hh
ppl_ocaml_Constraints_Product_C_Polyhedron_Grid.hh
ppl_ocaml_Pointset_Powerset_C_Polyhedron.hh
ppl_ocaml_Pointset_Powerset_NNC_Polyhedron.hh ppl_ocaml_Double_Box.hh
ppl_ocaml_BD_Shape_double.hh ppl_ocaml_Octagonal_Shape_double.hh'
required_instantiations_ocaml_cxx_objects='ppl_ocaml_Polyhedron.o
ppl_ocaml_Grid.o ppl_ocaml_Rational_Box.o ppl_ocaml_BD_Shape_mpz_class.o
ppl_ocaml_BD_Shape_mpq_class.o ppl_ocaml_Octagonal_Shape_mpz_class.o
ppl_ocaml_Octagonal_Shape_mpq_class.o
ppl_ocaml_Constraints_Product_C_Polyhedron_Grid.o
ppl_ocaml_Pointset_Powerset_C_Polyhedron.o
ppl_ocaml_Pointset_Powerset_NNC_Polyhedron.o ppl_ocaml_Double_Box.o
ppl_ocaml_BD_Shape_double.o ppl_ocaml_Octagonal_Shape_double.o'
required_instantiations_ocaml_cxx_sources='ppl_ocaml_Polyhedron.cc
ppl_ocaml_Grid.cc ppl_ocaml_Rational_Box.cc ppl_ocaml_BD_Shape_mpz_class.cc
ppl_ocaml_BD_Shape_mpq_class.cc ppl_ocaml_Octagonal_Shape_mpz_class.cc
ppl_ocaml_Octagonal_Shape_mpq_class.cc
ppl_ocaml_Constraints_Product_C_Polyhedron_Grid.cc
ppl_ocaml_Pointset_Powerset_C_Polyhedron.cc
ppl_ocaml_Pointset_Powerset_NNC_Polyhedron.cc ppl_ocaml_Double_Box.cc
ppl_ocaml_BD_Shape_double.cc ppl_ocaml_Octagonal_Shape_double.cc'
required_instantiations_prolog_cxx_headers='ppl_prolog_Polyhedron.hh
ppl_prolog_Grid.hh ppl_prolog_Rational_Box.hh
ppl_prolog_BD_Shape_mpz_class.hh ppl_prolog_BD_Shape_mpq_class.hh
ppl_prolog_Octagonal_Shape_mpz_class.hh
ppl_prolog_Octagonal_Shape_mpq_class.hh
ppl_prolog_Constraints_Product_C_Polyhedron_Grid.hh
ppl_prolog_Pointset_Powerset_C_Polyhedron.hh
ppl_prolog_Pointset_Powerset_NNC_Polyhedron.hh ppl_prolog_Double_Box.hh
ppl_prolog_BD_Shape_double.hh ppl_prolog_Octagonal_Shape_double.hh'
required_instantiations_prolog_cxx_objects='ppl_prolog_Polyhedron.lo
ppl_prolog_Grid.lo ppl_prolog_Rational_Box.lo
ppl_prolog_BD_Shape_mpz_class.lo ppl_prolog_BD_Shape_mpq_class.lo
ppl_prolog_Octagonal_Shape_mpz_class.lo
ppl_prolog_Octagonal_Shape_mpq_class.lo
ppl_prolog_Constraints_Product_C_Polyhedron_Grid.lo
ppl_prolog_Pointset_Powerset_C_Polyhedron.lo
ppl_prolog_Pointset_Powerset_NNC_Polyhedron.lo ppl_prolog_Double_Box.lo
ppl_prolog_BD_Shape_double.lo ppl_prolog_Octagonal_Shape_double.lo'
required_instantiations_prolog_cxx_sources='ppl_prolog_Polyhedron.cc
ppl_prolog_Grid.cc ppl_prolog_Rational_Box.cc
ppl_prolog_BD_Shape_mpz_class.cc ppl_prolog_BD_Shape_mpq_class.cc
ppl_prolog_Octagonal_Shape_mpz_class.cc
ppl_prolog_Octagonal_Shape_mpq_class.cc
ppl_prolog_Constraints_Product_C_Polyhedron_Grid.cc
ppl_prolog_Pointset_Powerset_C_Polyhedron.cc
ppl_prolog_Pointset_Powerset_NNC_Polyhedron.cc ppl_prolog_Double_Box.cc
ppl_prolog_BD_Shape_double.cc ppl_prolog_Octagonal_Shape_double.cc'
required_instantiations_prolog_generated_test_sources='ppl_prolog_generated_test_Polyhedron.pl
ppl_prolog_generated_test_Grid.pl ppl_prolog_generated_test_Rational_Box.pl
ppl_prolog_generated_test_BD_Shape_mpz_class.pl
ppl_prolog_generated_test_BD_Shape_mpq_class.pl
ppl_prolog_generated_test_Octagonal_Shape_mpz_class.pl
ppl_prolog_generated_test_Octagonal_Shape_mpq_class.pl
ppl_prolog_generated_test_Constraints_Product_C_Polyhedron_Grid.pl
ppl_prolog_generated_test_Pointset_Powerset_C_Polyhedron.pl
ppl_prolog_generated_test_Pointset_Powerset_NNC_Polyhedron.pl
ppl_prolog_generated_test_Double_Box.pl
ppl_prolog_generated_test_BD_Shape_double.pl
ppl_prolog_generated_test_Octagonal_Shape_double.pl'
sbindir='${exec_prefix}/sbin'
sharedstatedir='${prefix}/com'
sicstus_prolog=''
swi_prolog=''
swi_prolog_ld=''
sysconfdir='${prefix}/etc'
target_alias=''
uudecode=''
xsb_prolog=''
yap_prolog=''
## ----------- ##
## confdefs.h. ##
## ----------- ##
/* confdefs.h */
#define PACKAGE_NAME "the Parma Polyhedra Library"
#define PACKAGE_TARNAME "ppl"
#define PACKAGE_VERSION "0.12.1"
#define PACKAGE_STRING "the Parma Polyhedra Library 0.12.1"
#define PACKAGE_BUGREPORT "ppl-devel(a)cs.unipr.it"
#define PACKAGE_URL ""
#define PPL_CONFIGURE_OPTIONS " '--with-gmp=/usr/local/'
'--prefix=/usr/local/ppl-0.12.1'"
#define PPL_NDEBUG 1
#define PPL_FPMATH_MAY_USE_387 1
#define PPL_FPMATH_MAY_USE_SSE 1
#define PPL_COEFFICIENT_TYPE mpz_class
#define PPL_COEFFICIENT_BITS 0
#define PPL_GMP_INTEGERS 1
#define STDC_HEADERS 1
#define HAVE_SYS_TYPES_H 1
#define HAVE_SYS_STAT_H 1
#define HAVE_STDLIB_H 1
#define HAVE_STRING_H 1
#define HAVE_MEMORY_H 1
#define HAVE_STRINGS_H 1
#define HAVE_INTTYPES_H 1
#define HAVE_STDINT_H 1
#define HAVE_UNISTD_H 1
#define HAVE_TYPEOF 1
#define SIZEOF_CHAR 1
#define SIZEOF_SHORT 2
#define SIZEOF_INT 4
#define SIZEOF_LONG 8
#define SIZEOF_LONG_LONG 8
#define SIZEOF_SIZE_T 8
#define SIZEOF_FLOAT 4
#define SIZEOF_DOUBLE 8
#define SIZEOF_LONG_DOUBLE 16
#define SIZEOF_INTP 8
#define SIZEOF_FP 8
#define HAVE_FENV_H 1
#define PPL_CAN_CONTROL_FPU 1
#define PPL_CXX_PLAIN_CHAR_IS_SIGNED 1
#define PPL_CXX_PROVIDES_PROPER_LONG_DOUBLE 1
#define PPL_CXX_FLOAT_BINARY_FORMAT PPL_FLOAT_IEEE754_SINGLE
#define PPL_CXX_FLOAT_EXACT_OUTPUT 1
#define PPL_SUPPORTED_FLOAT 1
#define PPL_CXX_DOUBLE_BINARY_FORMAT PPL_FLOAT_IEEE754_DOUBLE
#define PPL_CXX_DOUBLE_EXACT_OUTPUT 1
#define PPL_SUPPORTED_DOUBLE 1
#define PPL_CXX_LONG_DOUBLE_BINARY_FORMAT PPL_FLOAT_INTEL_DOUBLE_EXTENDED
#define PPL_CXX_LONG_DOUBLE_EXACT_OUTPUT 1
#define PPL_SUPPORTED_LONG_DOUBLE 1
#define PPL_CXX_SUPPORTS_ZERO_LENGTH_ARRAYS 1
#define PPL_CXX_SUPPORTS_IEEE_INEXACT_FLAG 1
#define PPL_CXX_SUPPORTS_ATTRIBUTE_WEAK 1
#define HAVE_FENV_H 1
#define HAVE_GETOPT_H 1
#define HAVE_SIGNAL_H 1
#define HAVE_STRING_H 1
#define HAVE_STRINGS_H 1
#define HAVE_SYS_RESOURCE_H 1
#define HAVE_SYS_TIME_H 1
#define HAVE_SYS_TYPES_H 1
#define HAVE_UNISTD_H 1
#define HAVE_DECL_FFS 1
#define HAVE_DECL_GETENV 1
#define HAVE_DECL_STRTOF 1
#define HAVE_DECL_STRTOD 1
#define HAVE_DECL_STRTOLD 1
#define HAVE_DECL_STRTOLL 1
#define HAVE_DECL_STRTOULL 1
#define HAVE_DECL_FMA 1
#define HAVE_DECL_FMAF 1
#define HAVE_DECL_FMAL 1
#define HAVE_DECL_RINTF 1
#define HAVE_DECL_RINTL 1
#define HAVE_INT_FAST16_T 1
#define HAVE_INT_FAST32_T 1
#define HAVE_INT_FAST64_T 1
#define HAVE_UINT_FAST16_T 1
#define HAVE_UINT_FAST32_T 1
#define HAVE_UINT_FAST64_T 1
#define HAVE_UINTPTR_T 1
#define SIZEOF_MP_LIMB_T 8
#define PPL_GMP_SUPPORTS_EXCEPTIONS 1
#define HAVE___MPZ_STRUCT__MP_ALLOC 1
#define HAVE___MPZ_STRUCT__MP_SIZE 1
#define HAVE___MPZ_STRUCT__MP_D 1
#define HAVE_DLFCN_H 1
#define LT_OBJDIR ".libs/"
#define HAVE_DECL_RLIMIT_DATA 1
#define HAVE_DECL_RLIMIT_RSS 1
#define HAVE_DECL_RLIMIT_VMEM 0
#define HAVE_DECL_RLIMIT_AS 1
#define HAVE_DECL_GETRUSAGE 1
#define HAVE_DECL_SETRLIMIT 1
#define HAVE_DECL_SETITIMER 1
#define HAVE_DECL_SIGACTION 1
#define HAVE_TIMEVAL 1
#define HAVE_SIGINFO_T 1
#define PPL_CXX_SUPPORTS_LIMITING_MEMORY 1
configure: exit 0
2
1
Module: ppl/ppl
Branch: ppl-0_12-branch
Commit: bd3b7405eb2a43b0e2779c9791df6e2366b4eec5
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bd3b7405eb2a…
Author: Roberto Bagnara <bagnara(a)cs.unipr.it>
Date: Sat May 5 14:24:14 2012 +0200
Version number bumped.
---
configure.ac | 2 +-
1 files changed, 1 insertions(+), 1 deletions(-)
diff --git a/configure.ac b/configure.ac
index 8e01f0f..a19ca2f 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], [0.12.1], [ppl-devel(a)cs.unipr.it], [ppl])
+AC_INIT([the Parma Polyhedra Library], [0.12.2pre1], [ppl-devel(a)cs.unipr.it], [ppl])
# Minimum Autoconf version required.
AC_PREREQ(2.61)
1
0
[GIT] ppl/ppl(ppl-0_12-branch): Added a new test showing a bug in PIP_Problem.
by Enea Zaffanella 05 May '12
by Enea Zaffanella 05 May '12
05 May '12
Module: ppl/ppl
Branch: ppl-0_12-branch
Commit: b72921359d6cfd9e50a47db5c024a5f1bece4159
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b72921359d6c…
Author: Enea Zaffanella <zaffanella(a)cs.unipr.it>
Date: Fri May 4 09:35:26 2012 +0200
Added a new test showing a bug in PIP_Problem.
The test was reduced from a slightly bigger one provided by Fred Mesnard.
---
tests/PIP_Problem/pipproblem3.cc | 20 ++++++++++++++++++++
1 files changed, 20 insertions(+), 0 deletions(-)
diff --git a/tests/PIP_Problem/pipproblem3.cc b/tests/PIP_Problem/pipproblem3.cc
index c8f3af8..fd75b32 100644
--- a/tests/PIP_Problem/pipproblem3.cc
+++ b/tests/PIP_Problem/pipproblem3.cc
@@ -150,10 +150,30 @@ test03() {
return ok;
}
+bool
+test04() {
+ Variable A(0);
+ Variable B(1);
+ Variable C(2);
+
+ Constraint_System cs;
+ cs.insert(A >= 0);
+ cs.insert(A == B);
+ cs.insert(A == -1);
+
+ PIP_Problem pip(2);
+ pip.add_constraints(cs);
+
+ bool ok = !pip.is_satisfiable();
+
+ return ok;
+}
+
} // namespace
BEGIN_MAIN
DO_TEST_F8(test01);
DO_TEST_F8(test02);
DO_TEST_F8(test03);
+ DO_TEST(test04);
END_MAIN
1
0