Hi, I am trying to use the interface between PPL and SICStus. Following what is said in the manual, there should be an .pl file in the /bin directory but there is not. Does it mean that I forgot to put a flag or something like this ? Thanks, Tristan Denmat
Tristan Denmat wrote:
Hi, I am trying to use the interface between PPL and SICStus. Following what is said in the manual, there should be an .pl file in the /bin directory but there is not. Does it mean that I forgot to put a flag or something like this ? Thanks, Tristan Denmat
Dear Tristan, which version of the PPL are you using? I am asking because I wonder where did you read that a .pl file would be installed in the /bin directory. I attach below the relevant section of the manual, taken from the PPL 0.7 distribution and also available at http://www.cs.unipr.it/ppl/Documentation/user/ Please do not hesitate to come back to us if you need further explanations. All the best, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it Compilation and Installation When the Parma Polyhedra Library is configured, it tests for the existence of each supported Prolog system. If a supported Prolog system is correctly installed in a standard location, things are arranged so that the corresponding interface is built and installed. In the sequel, prefix is the prefix under which you have installed the library (typically /usr or /usr/local). As an option, the Prolog interface can track the creation and disposal of polyhedra. In fact, differently from native Prolog data, PPL polyhedra must be explicitly disposed and forgetting to do so is a very common mistake. To enable this option, configure the library adding -DPROLOG_TRACK_ALLOCATION to the options passed to the C++ compiler. Your configure command would then look like [...] SICStus Prolog The SICStus Prolog interface to the PPL is available both as a statically linked module or as a dynamically linked one. Only SICStus Prolog versions 3.9.0 and later are supported. The Statically Linked ppl_sicstus Executable If an appropriate version of SICStus Prolog is installed on the machine on which you compiled the library, the command make install will install the executable ppl_sicstus in the directory prefix/bin. The ppl_sicstus executable is simply the SICStus Prolog system with the Parma Polyhedra library statically linked. The only thing you should do to use the library is to load prefix/lib/ppl/ppl_sicstus.pl. Loading the SICStus Interface Dynamically In order to dynamically load the library from SICStus Prolog you should simply load prefix/lib/ppl/ppl_sicstus.pl. Notice that, for dynamic linking to work, you should have configured the library with the --enable-shared option.
Dear Roberto, Indeed, I mixed to things : I should have a ppl_sicstus executable file in /bin AND a ppl_sicstus.pl in /lib but actually I have none of them... (I am trying to install the 0.7 distribution) It looks as if the configure script doesn't guess that I have SICStus... Then, my question is how can I help it ? Thank you very much Tristan
Tristan Denmat wrote:
Hi, I am trying to use the interface between PPL and SICStus. Following what is said in the manual, there should be an .pl file in the /bin directory but there is not. Does it mean that I forgot to put a flag or something like this ? Thanks, Tristan Denmat
Dear Tristan,
which version of the PPL are you using? I am asking because I wonder where did you read that a .pl file would be installed in the /bin directory. I attach below the relevant section of the manual, taken from the PPL 0.7 distribution and also available at
http://www.cs.unipr.it/ppl/Documentation/user/
Please do not hesitate to come back to us if you need further explanations. All the best,
Roberto
Tristan Denmat wrote:
Dear Roberto, Indeed, I mixed to things : I should have a ppl_sicstus executable file in /bin AND a ppl_sicstus.pl in /lib but actually I have none of them... (I am trying to install the 0.7 distribution)
Dear Tristan, the first thing to clarify is what you mean by /bin and /lib. If you really expect to find `ppl_sicstus' in /bin, then it means you have configured the PPL with the --prefix=/ option (something which is highly unadvisable, by the way). If you did not use the --prefix option, then the right places to look in are /usr/local/bin and /usr/local/lib, since the default prefix is /usr/local.
It looks as if the configure script doesn't guess that I have SICStus...
This is another possibility, indeed.
Then, my question is how can I help it ?
Let us first try to diagnose the problem. First of all, please do not be offended if I ask you whether you gave the `make install' command. If you did not, then that is the problem. I assume now you have a version of SICStus Prolog that is at least 3.9.1 and that the command `sicstus' is enough to launch the interpreter. If you have an older version of SICStus, then you have to upgrade. If the version is OK and `sicstus' is not in your execution path, then you need to set the PATH environment variable If version and PATH are OK, then please send us the file `config.log' that the `configure' script creates in its current working directory. I am sure we will be able to find the problem and solve it very quickly. All the best, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it
Dear Roberto, First of all, sorry for all the shortcuts I have used in my explanations... I just didn't realize. I think I have done all that you mention in your email and that the version of SICStus is ok. I attach the config.log file Best regards, Tristan
Tristan Denmat wrote:
Dear Roberto, Indeed, I mixed to things : I should have a ppl_sicstus executable file in /bin AND a ppl_sicstus.pl in /lib but actually I have none of them... (I am trying to install the 0.7 distribution)
Dear Tristan,
the first thing to clarify is what you mean by /bin and /lib. If you really expect to find `ppl_sicstus' in /bin, then it means you have configured the PPL with the --prefix=/ option (something which is highly unadvisable, by the way).
If you did not use the --prefix option, then the right places to look in are /usr/local/bin and /usr/local/lib, since the default prefix is /usr/local.
It looks as if the configure script doesn't guess that I have SICStus...
This is another possibility, indeed.
Then, my question is how can I help it ?
Let us first try to diagnose the problem. First of all, please do not be offended if I ask you whether you gave the `make install' command. If you did not, then that is the problem.
I assume now you have a version of SICStus Prolog that is at least 3.9.1 and that the command `sicstus' is enough to launch the interpreter. If you have an older version of SICStus, then you have to upgrade. If the version is OK and `sicstus' is not in your execution path, then you need to set the PATH environment variable
If version and PATH are OK, then please send us the file `config.log' that the `configure' script creates in its current working directory. I am sure we will be able to find the problem and solve it very quickly. All the best,
Roberto
Tristan Denmat wrote:
I attach the config.log file
Tristan, the attachment did not arrive here. Did you forget to attach the file? In any case, please send it again: this time, please send both to ppl-devel@cs.unipr.it and to bagnara@cs.unipr.it (this will allow me to check if there is something wrong with the mailing list setup). Thanks, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it
I hope it will be better... Tristan
Tristan Denmat wrote:
I attach the config.log file
Tristan,
the attachment did not arrive here. Did you forget to attach the file? In any case, please send it again: this time, please send both to ppl-devel@cs.unipr.it and to bagnara@cs.unipr.it (this will allow me to check if there is something wrong with the mailing list setup). Thanks,
Roberto
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.7, which was generated by GNU Autoconf 2.59. Invocation command line was $ ./configure --with-libgmp-prefix=/local/Gmp --prefix=/local/PPL --with-cxxflags=-DPROLOG_TRACK_ALLOCATION ## --------- ## ## Platform. ## ## --------- ## hostname = aaricia.irisa.fr uname -m = i686 uname -r = 2.6.7-1.494.2.2 uname -s = Linux uname -v = #1 Tue Aug 3 09:39:58 EDT 2004 /usr/bin/uname -p = unknown /bin/uname -X = unknown /bin/arch = i686 /usr/bin/arch -k = unknown /usr/convex/getsysinfo = unknown hostinfo = unknown /bin/machine = unknown /usr/bin/oslevel = unknown /bin/universe = unknown PATH: /soft/sicstus/bin PATH: /local/Gmp/gmp-4.1.4 PATH: /local/gcc-3.4.3/bin PATH: /bin PATH: /usr/sbin PATH: /usr/bin PATH: /usr/local/bin PATH: /usr/ccs/bin PATH: /usr/ucb PATH: /usr/local/bin/gnu PATH: /usr/proc/bin PATH: /usr/local/bin/pbm PATH: /usr/local/bin/mh PATH: /usr/local/lib/mh PATH: /usr/local/bin/metamail PATH: /usr/local/bin/glimpse PATH: /usr/local/bin/epelle PATH: /home/terre/d02/lande/denmat/Lis/Ocaml/ocaml-3.07 PATH: /udd/denmat/DEA/outils/bin PATH: /local/denmat/Daikon/daikon/bin PATH: /local/denmat/Daikon/daikon PATH: /local/denmat/Java/jdk1.5.0_03/bin PATH: . ## ----------- ## ## Core tests. ## ## ----------- ## configure:1579: checking for a BSD-compatible install configure:1634: result: /usr/bin/install -c configure:1645: checking whether build environment is sane configure:1688: result: yes configure:1753: checking for gawk configure:1769: found /bin/gawk configure:1779: result: gawk configure:1789: checking whether make sets $(MAKE) configure:1809: result: yes configure:2020: checking build system type configure:2038: result: i686-pc-linux-gnu configure:2046: checking host system type configure:2060: result: i686-pc-linux-gnu configure:2099: checking whether to compile with debug info configure:2108: result: yes configure:2124: checking whether to compile for profiling configure:2139: result: no configure:2150: checking whether to compile for test coverage configure:2165: result: no configure:2176: checking whether to enable checking of run-time assertions configure:2189: result: no configure:2201: checking whether to enable even more run-time assertions configure:2214: result: no configure:2260: checking whether to enable optimizations configure:2287: result: standard configure:2313: checking for which architecture to optimize configure:2336: result: default configure:2350: checking the type of integral values to use as coefficients configure:2415: result: GMP configure:2599: checking for gcc configure:2615: found /local/gcc-3.4.3/bin/gcc configure:2625: result: gcc configure:2869: checking for C compiler version configure:2872: gcc --version </dev/null >&5 gcc (GCC) 3.4.3 Copyright (C) 2004 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:2875: $? = 0 configure:2877: gcc -v </dev/null >&5 Reading specs from /local/gcc-3.4.3/lib/gcc/i686-pc-linux-gnu/3.4.3/specs Configured with: ./configure --prefix=/local/gcc-3.4.3 --enable-shared --enable-languages=c++ Thread model: posix gcc version 3.4.3 configure:2880: $? = 0 configure:2882: gcc -V </dev/null >&5 gcc: `-V' option must have argument configure:2885: $? = 1 configure:2908: checking for C compiler default output file name configure:2911: gcc -g -O2 conftest.c >&5 configure:2914: $? = 0 configure:2960: result: a.out configure:2965: checking whether the C compiler works configure:2971: ./a.out configure:2974: $? = 0 configure:2991: result: yes configure:2998: checking whether we are cross compiling configure:3000: result: no configure:3003: checking for suffix of executables configure:3005: gcc -o conftest -g -O2 conftest.c >&5 configure:3008: $? = 0 configure:3033: result: configure:3039: checking for suffix of object files configure:3060: gcc -c -g -O2 conftest.c >&5 configure:3063: $? = 0 configure:3085: result: o configure:3089: checking whether we are using the GNU C compiler configure:3113: gcc -c -g -O2 conftest.c >&5 configure:3119: $? = 0 configure:3123: test -z || test ! -s conftest.err configure:3126: $? = 0 configure:3129: test -s conftest.o configure:3132: $? = 0 configure:3145: result: yes configure:3151: checking whether gcc accepts -g configure:3172: gcc -c -g conftest.c >&5 configure:3178: $? = 0 configure:3182: test -z || test ! -s conftest.err configure:3185: $? = 0 configure:3188: test -s conftest.o configure:3191: $? = 0 configure:3202: result: yes configure:3219: checking for gcc option to accept ANSI C configure:3289: gcc -c -g -O2 conftest.c >&5 configure:3295: $? = 0 configure:3299: test -z || test ! -s conftest.err configure:3302: $? = 0 configure:3305: test -s conftest.o configure:3308: $? = 0 configure:3326: result: none needed configure:3344: gcc -c -g -O2 conftest.c >&5 conftest.c:2: error: parse error before "me" configure:3350: $? = 1 configure: failed program was: | #ifndef __cplusplus | choke me | #endif configure:3494: checking for style of include used by make configure:3522: result: GNU configure:3550: checking dependency style of gcc configure:3640: result: gcc3 configure:3709: checking for g++ configure:3725: found /local/gcc-3.4.3/bin/g++ configure:3735: result: g++ configure:3751: checking for C++ compiler version configure:3754: g++ --version </dev/null >&5 i686-pc-linux-gnu-g++ (GCC) 3.4.3 Copyright (C) 2004 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:3757: $? = 0 configure:3759: g++ -v </dev/null >&5 Reading specs from /local/gcc-3.4.3/lib/gcc/i686-pc-linux-gnu/3.4.3/specs Configured with: ./configure --prefix=/local/gcc-3.4.3 --enable-shared --enable-languages=c++ Thread model: posix gcc version 3.4.3 /local/gcc-3.4.3/libexec/gcc/i686-pc-linux-gnu/3.4.3/collect2 --eh-frame-hdr -m elf_i386 -dynamic-linker /lib/ld-linux.so.2 /usr/lib/crt1.o /usr/lib/crti.o /local/gcc-3.4.3/lib/gcc/i686-pc-linux-gnu/3.4.3/crtbegin.o -L/local/gcc-3.2.3/lib -L/usr/local/lib -L/local/Gmp/lib -L/local/gcc-3.4.3/lib/gcc/i686-pc-linux-gnu/3.4.3 -L/local/gcc-3.4.3/lib/gcc/i686-pc-linux-gnu/3.4.3/../../.. -R/local/gcc-3.2.3/lib -R/local/gcc/lib -lgcc -lgcc_eh -lc -lgcc -lgcc_eh /local/gcc-3.4.3/lib/gcc/i686-pc-linux-gnu/3.4.3/crtend.o /usr/lib/crtn.o /usr/lib/crt1.o(.text+0x18): In function `_start': : undefined reference to `main' collect2: ld returned 1 exit status configure:3762: $? = 1 configure:3764: g++ -V </dev/null >&5 i686-pc-linux-gnu-g++: argument to `-V' missing configure:3767: $? = 1 configure:3770: checking whether we are using the GNU C++ compiler configure:3794: g++ -c -g -O2 -DPROLOG_TRACK_ALLOCATION conftest.cc >&5 i686-pc-linux-gnu-g++: -R/local/gcc-3.2.3/lib: linker input file unused because linking not done i686-pc-linux-gnu-g++: -R/local/gcc/lib: linker input file unused because linking not done configure:3800: $? = 0 configure:3804: test -z || test ! -s conftest.err configure:3807: $? = 0 configure:3810: test -s conftest.o configure:3813: $? = 0 configure:3826: result: yes configure:3832: checking whether g++ accepts -g configure:3853: g++ -c -g conftest.cc >&5 i686-pc-linux-gnu-g++: -R/local/gcc-3.2.3/lib: linker input file unused because linking not done i686-pc-linux-gnu-g++: -R/local/gcc/lib: linker input file unused because linking not done configure:3859: $? = 0 configure:3863: test -z || test ! -s conftest.err configure:3866: $? = 0 configure:3869: test -s conftest.o configure:3872: $? = 0 configure:3883: result: yes configure:3925: g++ -c -g -O2 -DPROLOG_TRACK_ALLOCATION conftest.cc >&5 i686-pc-linux-gnu-g++: -R/local/gcc-3.2.3/lib: linker input file unused because linking not done i686-pc-linux-gnu-g++: -R/local/gcc/lib: linker input file unused because linking not done configure:3931: $? = 0 configure:3935: test -z || test ! -s conftest.err configure:3938: $? = 0 configure:3941: test -s conftest.o configure:3944: $? = 0 configure:3970: g++ -c -g -O2 -DPROLOG_TRACK_ALLOCATION conftest.cc >&5 conftest.cc: In function `int main()': conftest.cc:18: error: `exit' undeclared (first use this function) conftest.cc:18: error: (Each undeclared identifier is reported only once for each function it appears in.) configure:3976: $? = 1 configure: failed program was: | /* confdefs.h. */ | | #define PACKAGE_NAME "the Parma Polyhedra Library" | #define PACKAGE_TARNAME "ppl" | #define PACKAGE_VERSION "0.7" | #define PACKAGE_STRING "the Parma Polyhedra Library 0.7" | #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it" | #define PACKAGE "ppl" | #define VERSION "0.7" | #define NDEBUG 1 | #define COEFFICIENT_TYPE mpz_class | #define GMP_INTEGERS 1 | /* end confdefs.h. */ | | int | main () | { | exit (42); | ; | return 0; | } configure:3925: g++ -c -g -O2 -DPROLOG_TRACK_ALLOCATION conftest.cc >&5 i686-pc-linux-gnu-g++: -R/local/gcc-3.2.3/lib: linker input file unused because linking not done i686-pc-linux-gnu-g++: -R/local/gcc/lib: linker input file unused because linking not done configure:3931: $? = 0 configure:3935: test -z || test ! -s conftest.err configure:3938: $? = 0 configure:3941: test -s conftest.o configure:3944: $? = 0 configure:3970: g++ -c -g -O2 -DPROLOG_TRACK_ALLOCATION conftest.cc >&5 i686-pc-linux-gnu-g++: -R/local/gcc-3.2.3/lib: linker input file unused because linking not done i686-pc-linux-gnu-g++: -R/local/gcc/lib: linker input file unused because linking not done configure:3976: $? = 0 configure:3980: test -z || test ! -s conftest.err configure:3983: $? = 0 configure:3986: test -s conftest.o configure:3989: $? = 0 configure:4014: checking dependency style of g++ configure:4104: result: gcc3 configure:4126: checking how to run the C++ preprocessor configure:4157: g++ -E conftest.cc i686-pc-linux-gnu-g++: -R/local/gcc-3.2.3/lib: linker input file unused because linking not done i686-pc-linux-gnu-g++: -R/local/gcc/lib: linker input file unused because linking not done configure:4163: $? = 0 configure:4195: g++ -E conftest.cc conftest.cc:17:28: ac_nonexistent.h: No such file or directory configure:4201: $? = 1 configure: failed program was: | /* confdefs.h. */ | | #define PACKAGE_NAME "the Parma Polyhedra Library" | #define PACKAGE_TARNAME "ppl" | #define PACKAGE_VERSION "0.7" | #define PACKAGE_STRING "the Parma Polyhedra Library 0.7" | #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it" | #define PACKAGE "ppl" | #define VERSION "0.7" | #define NDEBUG 1 | #define COEFFICIENT_TYPE mpz_class | #define GMP_INTEGERS 1 | #ifdef __cplusplus | extern "C" void std::exit (int) throw (); using std::exit; | #endif | /* end confdefs.h. */ | #include <ac_nonexistent.h> configure:4240: result: g++ -E configure:4264: g++ -E conftest.cc i686-pc-linux-gnu-g++: -R/local/gcc-3.2.3/lib: linker input file unused because linking not done i686-pc-linux-gnu-g++: -R/local/gcc/lib: linker input file unused because linking not done configure:4270: $? = 0 configure:4302: g++ -E conftest.cc conftest.cc:17:28: ac_nonexistent.h: No such file or directory configure:4308: $? = 1 configure: failed program was: | /* confdefs.h. */ | | #define PACKAGE_NAME "the Parma Polyhedra Library" | #define PACKAGE_TARNAME "ppl" | #define PACKAGE_VERSION "0.7" | #define PACKAGE_STRING "the Parma Polyhedra Library 0.7" | #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it" | #define PACKAGE "ppl" | #define VERSION "0.7" | #define NDEBUG 1 | #define COEFFICIENT_TYPE mpz_class | #define GMP_INTEGERS 1 | #ifdef __cplusplus | extern "C" void std::exit (int) throw (); using std::exit; | #endif | /* end confdefs.h. */ | #include <ac_nonexistent.h> configure:4351: checking whether make sets $(MAKE) configure:4371: result: yes configure:4393: checking for a BSD-compatible install configure:4448: result: /usr/bin/install -c configure:4468: checking for an ANSI C-conforming const configure:4535: gcc -c -g -O2 conftest.c >&5 configure:4541: $? = 0 configure:4545: test -z || test ! -s conftest.err configure:4548: $? = 0 configure:4551: test -s conftest.o configure:4554: $? = 0 configure:4565: result: yes configure:4575: checking for inline configure:4596: gcc -c -g -O2 conftest.c >&5 configure:4602: $? = 0 configure:4606: test -z || test ! -s conftest.err configure:4609: $? = 0 configure:4612: test -s conftest.o configure:4615: $? = 0 configure:4627: result: inline configure:4646: checking whether byte ordering is bigendian configure:4673: gcc -c -g -O2 conftest.c >&5 configure:4679: $? = 0 configure:4683: test -z || test ! -s conftest.err configure:4686: $? = 0 configure:4689: test -s conftest.o configure:4692: $? = 0 configure:4716: gcc -c -g -O2 conftest.c >&5 conftest.c: In function `main': conftest.c:24: error: `not' undeclared (first use in this function) conftest.c:24: error: (Each undeclared identifier is reported only once conftest.c:24: error: for each function it appears in.) conftest.c:24: error: parse error before "big" configure:4722: $? = 1 configure: failed program was: | /* confdefs.h. */ | | #define PACKAGE_NAME "the Parma Polyhedra Library" | #define PACKAGE_TARNAME "ppl" | #define PACKAGE_VERSION "0.7" | #define PACKAGE_STRING "the Parma Polyhedra Library 0.7" | #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it" | #define PACKAGE "ppl" | #define VERSION "0.7" | #define NDEBUG 1 | #define COEFFICIENT_TYPE mpz_class | #define GMP_INTEGERS 1 | #ifdef __cplusplus | extern "C" void std::exit (int) throw (); using std::exit; | #endif | /* 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:4857: result: no configure:4883: checking how to run the C preprocessor configure:4918: gcc -E conftest.c configure:4924: $? = 0 configure:4956: gcc -E conftest.c conftest.c:17:28: ac_nonexistent.h: No such file or directory configure:4962: $? = 1 configure: failed program was: | /* confdefs.h. */ | | #define PACKAGE_NAME "the Parma Polyhedra Library" | #define PACKAGE_TARNAME "ppl" | #define PACKAGE_VERSION "0.7" | #define PACKAGE_STRING "the Parma Polyhedra Library 0.7" | #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it" | #define PACKAGE "ppl" | #define VERSION "0.7" | #define NDEBUG 1 | #define COEFFICIENT_TYPE mpz_class | #define GMP_INTEGERS 1 | #ifdef __cplusplus | extern "C" void std::exit (int) throw (); using std::exit; | #endif | /* end confdefs.h. */ | #include <ac_nonexistent.h> configure:5001: result: gcc -E configure:5025: gcc -E conftest.c configure:5031: $? = 0 configure:5063: gcc -E conftest.c conftest.c:17:28: ac_nonexistent.h: No such file or directory configure:5069: $? = 1 configure: failed program was: | /* confdefs.h. */ | | #define PACKAGE_NAME "the Parma Polyhedra Library" | #define PACKAGE_TARNAME "ppl" | #define PACKAGE_VERSION "0.7" | #define PACKAGE_STRING "the Parma Polyhedra Library 0.7" | #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it" | #define PACKAGE "ppl" | #define VERSION "0.7" | #define NDEBUG 1 | #define COEFFICIENT_TYPE mpz_class | #define GMP_INTEGERS 1 | #ifdef __cplusplus | extern "C" void std::exit (int) throw (); using std::exit; | #endif | /* end confdefs.h. */ | #include <ac_nonexistent.h> configure:5113: checking for egrep configure:5123: result: grep -E configure:5128: checking for ANSI C header files configure:5153: gcc -c -g -O2 conftest.c >&5 configure:5159: $? = 0 configure:5163: test -z || test ! -s conftest.err configure:5166: $? = 0 configure:5169: test -s conftest.o configure:5172: $? = 0 configure:5258: gcc -o conftest -g -O2 conftest.c >&5 configure:5261: $? = 0 configure:5263: ./conftest configure:5266: $? = 0 configure:5281: result: yes configure:5305: checking for sys/types.h configure:5321: gcc -c -g -O2 conftest.c >&5 configure:5327: $? = 0 configure:5331: test -z || test ! -s conftest.err configure:5334: $? = 0 configure:5337: test -s conftest.o configure:5340: $? = 0 configure:5351: result: yes configure:5305: checking for sys/stat.h configure:5321: gcc -c -g -O2 conftest.c >&5 configure:5327: $? = 0 configure:5331: test -z || test ! -s conftest.err configure:5334: $? = 0 configure:5337: test -s conftest.o configure:5340: $? = 0 configure:5351: result: yes configure:5305: checking for stdlib.h configure:5321: gcc -c -g -O2 conftest.c >&5 configure:5327: $? = 0 configure:5331: test -z || test ! -s conftest.err configure:5334: $? = 0 configure:5337: test -s conftest.o configure:5340: $? = 0 configure:5351: result: yes configure:5305: checking for string.h configure:5321: gcc -c -g -O2 conftest.c >&5 configure:5327: $? = 0 configure:5331: test -z || test ! -s conftest.err configure:5334: $? = 0 configure:5337: test -s conftest.o configure:5340: $? = 0 configure:5351: result: yes configure:5305: checking for memory.h configure:5321: gcc -c -g -O2 conftest.c >&5 configure:5327: $? = 0 configure:5331: test -z || test ! -s conftest.err configure:5334: $? = 0 configure:5337: test -s conftest.o configure:5340: $? = 0 configure:5351: result: yes configure:5305: checking for strings.h configure:5321: gcc -c -g -O2 conftest.c >&5 configure:5327: $? = 0 configure:5331: test -z || test ! -s conftest.err configure:5334: $? = 0 configure:5337: test -s conftest.o configure:5340: $? = 0 configure:5351: result: yes configure:5305: checking for inttypes.h configure:5321: gcc -c -g -O2 conftest.c >&5 configure:5327: $? = 0 configure:5331: test -z || test ! -s conftest.err configure:5334: $? = 0 configure:5337: test -s conftest.o configure:5340: $? = 0 configure:5351: result: yes configure:5305: checking for stdint.h configure:5321: gcc -c -g -O2 conftest.c >&5 configure:5327: $? = 0 configure:5331: test -z || test ! -s conftest.err configure:5334: $? = 0 configure:5337: test -s conftest.o configure:5340: $? = 0 configure:5351: result: yes configure:5305: checking for unistd.h configure:5321: gcc -c -g -O2 conftest.c >&5 configure:5327: $? = 0 configure:5331: test -z || test ! -s conftest.err configure:5334: $? = 0 configure:5337: test -s conftest.o configure:5340: $? = 0 configure:5351: result: yes configure:5363: checking for int configure:5387: gcc -c -g -O2 conftest.c >&5 configure:5393: $? = 0 configure:5397: test -z || test ! -s conftest.err configure:5400: $? = 0 configure:5403: test -s conftest.o configure:5406: $? = 0 configure:5417: result: yes configure:5420: checking size of int configure:5739: gcc -o conftest -g -O2 conftest.c >&5 configure:5742: $? = 0 configure:5744: ./conftest configure:5747: $? = 0 configure:5770: result: 4 configure:5777: checking for long configure:5801: gcc -c -g -O2 conftest.c >&5 configure:5807: $? = 0 configure:5811: test -z || test ! -s conftest.err configure:5814: $? = 0 configure:5817: test -s conftest.o configure:5820: $? = 0 configure:5831: result: yes configure:5834: checking size of long configure:6153: gcc -o conftest -g -O2 conftest.c >&5 configure:6156: $? = 0 configure:6158: ./conftest configure:6161: $? = 0 configure:6184: result: 4 configure:6191: checking for long long configure:6215: gcc -c -g -O2 conftest.c >&5 configure:6221: $? = 0 configure:6225: test -z || test ! -s conftest.err configure:6228: $? = 0 configure:6231: test -s conftest.o configure:6234: $? = 0 configure:6245: result: yes configure:6248: checking size of long long configure:6567: gcc -o conftest -g -O2 conftest.c >&5 configure:6570: $? = 0 configure:6572: ./conftest configure:6575: $? = 0 configure:6598: result: 8 configure:6605: checking for unsigned configure:6629: gcc -c -g -O2 conftest.c >&5 configure:6635: $? = 0 configure:6639: test -z || test ! -s conftest.err configure:6642: $? = 0 configure:6645: test -s conftest.o configure:6648: $? = 0 configure:6659: result: yes configure:6662: checking size of unsigned configure:6981: gcc -o conftest -g -O2 conftest.c >&5 configure:6984: $? = 0 configure:6986: ./conftest configure:6989: $? = 0 configure:7012: result: 4 configure:7019: checking for unsigned long configure:7043: gcc -c -g -O2 conftest.c >&5 configure:7049: $? = 0 configure:7053: test -z || test ! -s conftest.err configure:7056: $? = 0 configure:7059: test -s conftest.o configure:7062: $? = 0 configure:7073: result: yes configure:7076: checking size of unsigned long configure:7395: gcc -o conftest -g -O2 conftest.c >&5 configure:7398: $? = 0 configure:7400: ./conftest configure:7403: $? = 0 configure:7426: result: 4 configure:7433: checking for unsigned long long configure:7457: gcc -c -g -O2 conftest.c >&5 configure:7463: $? = 0 configure:7467: test -z || test ! -s conftest.err configure:7470: $? = 0 configure:7473: test -s conftest.o configure:7476: $? = 0 configure:7487: result: yes configure:7490: checking size of unsigned long long configure:7809: gcc -o conftest -g -O2 conftest.c >&5 configure:7812: $? = 0 configure:7814: ./conftest configure:7817: $? = 0 configure:7840: result: 8 configure:7847: checking for size_t configure:7871: gcc -c -g -O2 conftest.c >&5 configure:7877: $? = 0 configure:7881: test -z || test ! -s conftest.err configure:7884: $? = 0 configure:7887: test -s conftest.o configure:7890: $? = 0 configure:7901: result: yes configure:7904: checking size of size_t configure:8223: gcc -o conftest -g -O2 conftest.c >&5 configure:8226: $? = 0 configure:8228: ./conftest configure:8231: $? = 0 configure:8254: result: 4 configure:8261: checking for float configure:8285: gcc -c -g -O2 conftest.c >&5 configure:8291: $? = 0 configure:8295: test -z || test ! -s conftest.err configure:8298: $? = 0 configure:8301: test -s conftest.o configure:8304: $? = 0 configure:8315: result: yes configure:8318: checking size of float configure:8637: gcc -o conftest -g -O2 conftest.c >&5 configure:8640: $? = 0 configure:8642: ./conftest configure:8645: $? = 0 configure:8668: result: 4 configure:8675: checking for double configure:8699: gcc -c -g -O2 conftest.c >&5 configure:8705: $? = 0 configure:8709: test -z || test ! -s conftest.err configure:8712: $? = 0 configure:8715: test -s conftest.o configure:8718: $? = 0 configure:8729: result: yes configure:8732: checking size of double configure:9051: gcc -o conftest -g -O2 conftest.c >&5 configure:9054: $? = 0 configure:9056: ./conftest configure:9059: $? = 0 configure:9082: result: 8 configure:9089: checking for long double configure:9113: gcc -c -g -O2 conftest.c >&5 configure:9119: $? = 0 configure:9123: test -z || test ! -s conftest.err configure:9126: $? = 0 configure:9129: test -s conftest.o configure:9132: $? = 0 configure:9143: result: yes configure:9146: checking size of long double configure:9465: gcc -o conftest -g -O2 conftest.c >&5 configure:9468: $? = 0 configure:9470: ./conftest configure:9473: $? = 0 configure:9496: result: 12 configure:9525: checking whether the C++ compiler supports flexible arrays configure:9586: g++ -o conftest -g -O2 -DPROLOG_TRACK_ALLOCATION conftest.cc >&5 configure:9589: $? = 0 configure:9591: ./conftest configure:9594: $? = 0 configure:9596: result: yes configure:9645: checking whether the C++ compiler supports __attribute__ ((weak)) configure:9663: g++ -c -g -O2 -DPROLOG_TRACK_ALLOCATION conftest.cc >&5 i686-pc-linux-gnu-g++: -R/local/gcc-3.2.3/lib: linker input file unused because linking not done i686-pc-linux-gnu-g++: -R/local/gcc/lib: linker input file unused because linking not done configure:9669: $? = 0 configure:9673: test -z || test ! -s conftest.err configure:9676: $? = 0 configure:9679: test -s conftest.o configure:9682: $? = 0 configure:9684: result: yes configure:9731: checking whether the C++ compiler provides proper long doubles configure:9758: g++ -o conftest -g -O2 -DPROLOG_TRACK_ALLOCATION conftest.cc >&5 configure:9761: $? = 0 configure:9763: ./conftest configure:9766: $? = 0 configure:9768: result: yes configure:9817: checking whether C++ floats comply with IEC 559 configure:9839: g++ -o conftest -g -O2 -DPROLOG_TRACK_ALLOCATION conftest.cc >&5 configure:9842: $? = 0 configure:9844: ./conftest configure:9847: $? = 0 configure:9849: result: yes configure:9898: checking whether C++ doubles comply with IEC 559 configure:9920: g++ -o conftest -g -O2 -DPROLOG_TRACK_ALLOCATION conftest.cc >&5 configure:9923: $? = 0 configure:9925: ./conftest configure:9928: $? = 0 configure:9930: result: yes configure:9979: checking whether C++ long doubles comply with IEC 559 configure:10001: g++ -o conftest -g -O2 -DPROLOG_TRACK_ALLOCATION conftest.cc >&5 configure:10004: $? = 0 configure:10006: ./conftest configure:10009: $? = 0 configure:10011: result: yes configure:10060: checking whether the C++ compiler supports long long integers configure:10073: g++ -c -g -O2 -DPROLOG_TRACK_ALLOCATION conftest.cc >&5 i686-pc-linux-gnu-g++: -R/local/gcc-3.2.3/lib: linker input file unused because linking not done i686-pc-linux-gnu-g++: -R/local/gcc/lib: linker input file unused because linking not done configure:10079: $? = 0 configure:10083: test -z || test ! -s conftest.err configure:10086: $? = 0 configure:10089: test -s conftest.o configure:10092: $? = 0 configure:10094: result: yes configure:10130: checking whether ffs is declared configure:10155: g++ -c -g -O2 -DPROLOG_TRACK_ALLOCATION conftest.cc >&5 i686-pc-linux-gnu-g++: -R/local/gcc-3.2.3/lib: linker input file unused because linking not done i686-pc-linux-gnu-g++: -R/local/gcc/lib: linker input file unused because linking not done configure:10161: $? = 0 configure:10165: test -z || test ! -s conftest.err configure:10168: $? = 0 configure:10171: test -s conftest.o configure:10174: $? = 0 configure:10185: result: yes configure:10203: checking whether strtoll is declared configure:10228: g++ -c -g -O2 -DPROLOG_TRACK_ALLOCATION conftest.cc >&5 i686-pc-linux-gnu-g++: -R/local/gcc-3.2.3/lib: linker input file unused because linking not done i686-pc-linux-gnu-g++: -R/local/gcc/lib: linker input file unused because linking not done configure:10234: $? = 0 configure:10238: test -z || test ! -s conftest.err configure:10241: $? = 0 configure:10244: test -s conftest.o configure:10247: $? = 0 configure:10258: result: yes configure:10274: checking whether strtoull is declared configure:10299: g++ -c -g -O2 -DPROLOG_TRACK_ALLOCATION conftest.cc >&5 i686-pc-linux-gnu-g++: -R/local/gcc-3.2.3/lib: linker input file unused because linking not done i686-pc-linux-gnu-g++: -R/local/gcc/lib: linker input file unused because linking not done configure:10305: $? = 0 configure:10309: test -z || test ! -s conftest.err configure:10312: $? = 0 configure:10315: test -s conftest.o configure:10318: $? = 0 configure:10329: result: yes configure:10393: checking for ld used by GCC configure:10457: result: /usr/bin/ld configure:10466: checking if the linker (/usr/bin/ld) is GNU ld configure:10479: result: yes configure:10485: checking for shared library run path origin configure:10498: result: done configure:10529: checking how to link with libgmp configure:10918: result: /local/Gmp/lib/libgmp.so -Wl,-rpath -Wl,/local/Gmp/lib configure:10958: checking how to link with libgmpxx configure:11347: result: /local/Gmp/lib/libgmpxx.so -L/local/gcc-3.4.3/lib/gcc/i686-pc-linux-gnu/3.4.3 -L/local/gcc-3.4.3/lib/gcc/i686-pc-linux-gnu/3.4.3/../../.. -L/net/src/GNU/gcc/gcc-3.4.3/i686-pc-linux-gnu/libstdc++-v3/src -L/net/src/GNU/gcc/gcc-3.4.3/i686-pc-linux-gnu/libstdc++-v3/src/.libs -L/net/src/GNU/gcc/gcc-3.4.3/gcc /local/Gmp/lib/libgmp.so -Wl,-rpath -Wl,/local/Gmp/lib -lm /net/src/GNU/gcc/gcc-3.4.3/gcc/libgcc_s.so -lc -Wl,-rpath -Wl,/local/Gmp/lib -Wl,-rpath -Wl,/local/gcc-3.2.3/lib -Wl,-rpath -Wl,/local/gcc/lib -Wl,-rpath -Wl,/net/src/GNU/gcc/gcc-3.4.3/gcc configure:11391: checking for the GMP library version 4.1.3 or above configure:11418: g++ -o conftest -g -O2 -DPROLOG_TRACK_ALLOCATION -I/local/Gmp/include conftest.cc /local/Gmp/lib/libgmpxx.so -L/local/gcc-3.4.3/lib/gcc/i686-pc-linux-gnu/3.4.3 -L/local/gcc-3.4.3/lib/gcc/i686-pc-linux-gnu/3.4.3/../../.. -L/net/src/GNU/gcc/gcc-3.4.3/i686-pc-linux-gnu/libstdc++-v3/src -L/net/src/GNU/gcc/gcc-3.4.3/i686-pc-linux-gnu/libstdc++-v3/src/.libs -L/net/src/GNU/gcc/gcc-3.4.3/gcc /local/Gmp/lib/libgmp.so -Wl,-rpath -Wl,/local/Gmp/lib -lm /net/src/GNU/gcc/gcc-3.4.3/gcc/libgcc_s.so -lc -Wl,-rpath -Wl,/local/Gmp/lib -Wl,-rpath -Wl,/local/gcc-3.2.3/lib -Wl,-rpath -Wl,/local/gcc/lib -Wl,-rpath -Wl,/net/src/GNU/gcc/gcc-3.4.3/gcc >&5 configure:11421: $? = 0 configure:11423: ./conftest configure:11426: $? = 0 configure:11428: result: yes configure:11449: checking for mp_limb_t configure:11474: g++ -c -g -O2 -DPROLOG_TRACK_ALLOCATION -I/local/Gmp/include conftest.cc >&5 i686-pc-linux-gnu-g++: -R/local/gcc-3.2.3/lib: linker input file unused because linking not done i686-pc-linux-gnu-g++: -R/local/gcc/lib: linker input file unused because linking not done configure:11480: $? = 0 configure:11484: test -z || test ! -s conftest.err configure:11487: $? = 0 configure:11490: test -s conftest.o configure:11493: $? = 0 configure:11504: result: yes configure:11507: checking size of mp_limb_t configure:11832: g++ -o conftest -g -O2 -DPROLOG_TRACK_ALLOCATION -I/local/Gmp/include conftest.cc /local/Gmp/lib/libgmpxx.so -L/local/gcc-3.4.3/lib/gcc/i686-pc-linux-gnu/3.4.3 -L/local/gcc-3.4.3/lib/gcc/i686-pc-linux-gnu/3.4.3/../../.. -L/net/src/GNU/gcc/gcc-3.4.3/i686-pc-linux-gnu/libstdc++-v3/src -L/net/src/GNU/gcc/gcc-3.4.3/i686-pc-linux-gnu/libstdc++-v3/src/.libs -L/net/src/GNU/gcc/gcc-3.4.3/gcc /local/Gmp/lib/libgmp.so -Wl,-rpath -Wl,/local/Gmp/lib -lm /net/src/GNU/gcc/gcc-3.4.3/gcc/libgcc_s.so -lc -Wl,-rpath -Wl,/local/Gmp/lib -Wl,-rpath -Wl,/local/gcc-3.2.3/lib -Wl,-rpath -Wl,/local/gcc/lib -Wl,-rpath -Wl,/net/src/GNU/gcc/gcc-3.4.3/gcc >&5 configure:11835: $? = 0 configure:11837: ./conftest configure:11840: $? = 0 configure:11863: result: 4 configure:11871: checking whether GMP has been compiled with support for exceptions configure:11916: g++ -o conftest -g -O2 -DPROLOG_TRACK_ALLOCATION -I/local/Gmp/include conftest.cc /local/Gmp/lib/libgmpxx.so -L/local/gcc-3.4.3/lib/gcc/i686-pc-linux-gnu/3.4.3 -L/local/gcc-3.4.3/lib/gcc/i686-pc-linux-gnu/3.4.3/../../.. -L/net/src/GNU/gcc/gcc-3.4.3/i686-pc-linux-gnu/libstdc++-v3/src -L/net/src/GNU/gcc/gcc-3.4.3/i686-pc-linux-gnu/libstdc++-v3/src/.libs -L/net/src/GNU/gcc/gcc-3.4.3/gcc /local/Gmp/lib/libgmp.so -Wl,-rpath -Wl,/local/Gmp/lib -lm /net/src/GNU/gcc/gcc-3.4.3/gcc/libgcc_s.so -lc -Wl,-rpath -Wl,/local/Gmp/lib -Wl,-rpath -Wl,/local/gcc-3.2.3/lib -Wl,-rpath -Wl,/local/gcc/lib -Wl,-rpath -Wl,/net/src/GNU/gcc/gcc-3.4.3/gcc >&5 configure:11919: $? = 0 configure:11921: ./conftest configure:11924: $? = 0 configure:11926: result: yes configure:12002: checking whether to build the Parma Watchdog Library configure:12011: result: yes configure:12122: checking for a sed that does not truncate output configure:12176: result: /bin/sed configure:12190: checking for ld used by gcc configure:12257: result: /usr/bin/ld configure:12266: checking if the linker (/usr/bin/ld) is GNU ld configure:12281: result: yes configure:12286: checking for /usr/bin/ld option to reload object files configure:12293: result: -r configure:12311: checking for BSD-compatible nm configure:12353: result: /usr/bin/nm -B configure:12357: checking whether ln -s works configure:12361: result: yes configure:12368: checking how to recognise dependent libraries configure:12540: result: pass_all configure:13004: checking dlfcn.h usability configure:13016: g++ -c -g -O2 -DPROLOG_TRACK_ALLOCATION -I/local/Gmp/include conftest.cc >&5 i686-pc-linux-gnu-g++: -R/local/gcc-3.2.3/lib: linker input file unused because linking not done i686-pc-linux-gnu-g++: -R/local/gcc/lib: linker input file unused because linking not done configure:13022: $? = 0 configure:13026: test -z || test ! -s conftest.err configure:13029: $? = 0 configure:13032: test -s conftest.o configure:13035: $? = 0 configure:13045: result: yes configure:13049: checking dlfcn.h presence configure:13059: g++ -E -I/local/Gmp/include conftest.cc i686-pc-linux-gnu-g++: -R/local/gcc-3.2.3/lib: linker input file unused because linking not done i686-pc-linux-gnu-g++: -R/local/gcc/lib: linker input file unused because linking not done configure:13065: $? = 0 configure:13085: result: yes configure:13120: checking for dlfcn.h configure:13127: result: yes configure:13428: checking for g77 configure:13444: found /usr/bin/g77 configure:13454: result: g77 configure:13472: checking for Fortran 77 compiler version configure:13472: g77 --version </dev/null >&5 GNU Fortran (GCC) 3.3.3 20040412 (Red Hat Linux 3.3.3-7) Copyright (C) 2002 Free Software Foundation, Inc. GNU Fortran comes with NO WARRANTY, to the extent permitted by law. You may redistribute copies of GNU Fortran under the terms of the GNU General Public License. For more information about these matters, see the file named COPYING or type the command `info -f g77 Copying'. configure:13475: $? = 0 configure:13477: g77 -v </dev/null >&5 Reading specs from /usr/lib/gcc-lib/i386-redhat-linux/3.3.3/specs Configured with: ../configure --prefix=/usr --mandir=/usr/share/man --infodir=/usr/share/info --enable-shared --enable-threads=posix --disable-checking --disable-libunwind-exceptions --with-system-zlib --enable-__cxa_atexit --host=i386-redhat-linux Thread model: posix gcc version 3.3.3 20040412 (Red Hat Linux 3.3.3-7) configure:13480: $? = 0 configure:13482: g77 -V </dev/null >&5 g77: `-V' option must have argument configure:13485: $? = 1 configure:13493: checking whether we are using the GNU Fortran 77 compiler configure:13507: g77 -c conftest.F >&5 configure:13513: $? = 0 configure:13517: test -z || test ! -s conftest.err configure:13520: $? = 0 configure:13523: test -s conftest.o configure:13526: $? = 0 configure:13539: result: yes configure:13545: checking whether g77 accepts -g configure:13557: g77 -c -g conftest.f >&5 configure:13563: $? = 0 configure:13567: test -z || test ! -s conftest.err configure:13570: $? = 0 configure:13573: test -s conftest.o configure:13576: $? = 0 configure:13588: result: yes configure:13618: checking the maximum length of command line arguments configure:13697: result: 32768 configure:13708: checking command to parse /usr/bin/nm -B output from gcc object configure:13804: g++ -c -g -O2 -DPROLOG_TRACK_ALLOCATION -I/local/Gmp/include conftest.cc >&5 i686-pc-linux-gnu-g++: -R/local/gcc-3.2.3/lib: linker input file unused because linking not done i686-pc-linux-gnu-g++: -R/local/gcc/lib: linker input file unused because linking not done configure:13807: $? = 0 configure:13811: /usr/bin/nm -B conftest.o \| sed -n -e 's/^.*[ ]\([ABCDGIRSTW][ABCDGIRSTW]*\)[ ][ ]*\(\)\([_A-Za-z][_A-Za-z0-9]*\)$/\1 \2\3 \3/p' \> conftest.nm configure:13814: $? = 0 configure:13866: g++ -o conftest -g -O2 -DPROLOG_TRACK_ALLOCATION -I/local/Gmp/include conftest.cc conftstm.o >&5 configure:13869: $? = 0 configure:13907: result: ok configure:13911: checking for objdir configure:13926: result: .libs configure:14016: checking for ar configure:14032: found /usr/bin/ar configure:14043: result: ar configure:14096: checking for ranlib configure:14112: found /usr/bin/ranlib configure:14123: result: ranlib configure:14176: checking for strip configure:14192: found /usr/bin/strip configure:14203: result: strip configure:14467: checking if gcc static flag works configure:14490: result: yes configure:14508: checking if gcc supports -fno-rtti -fno-exceptions configure:14529: gcc -c -g -O2 -I/local/Gmp/include -fno-rtti -fno-exceptions conftest.c >&5 cc1: warning: command line option "-fno-rtti" is valid for C++/ObjC++ but not for C configure:14533: $? = 0 configure:14541: result: no configure:14556: checking for gcc option to produce PIC configure:14743: result: -fPIC configure:14751: checking if gcc PIC flag -fPIC works configure:14772: gcc -c -g -O2 -I/local/Gmp/include -fPIC -DPIC conftest.c >&5 configure:14776: $? = 0 configure:14784: result: yes configure:14808: checking if gcc supports -c -o file.o configure:14832: gcc -c -g -O2 -I/local/Gmp/include -o out/conftest2.o conftest.c >&5 configure:14836: $? = 0 configure:14853: result: yes configure:14879: checking whether the gcc linker (/usr/bin/ld) supports shared libraries configure:15728: result: yes configure:15754: checking whether -lc should be explicitly linked in configure:15759: gcc -c -g -O2 -I/local/Gmp/include conftest.c >&5 configure:15762: $? = 0 configure:15776: gcc -shared conftest.o -v -Wl,-soname -Wl,conftest -o conftest 2\>\&1 \| grep -lc \>/dev/null 2\>\&1 configure:15779: $? = 0 configure:15791: result: no configure:15799: checking dynamic linker characteristics configure:16339: result: GNU/Linux ld.so configure:16343: checking how to hardcode library paths into programs configure:16368: result: immediate configure:16382: checking whether stripping libraries is possible configure:16387: result: yes configure:16513: checking for shl_load configure:16570: gcc -o conftest -g -O2 -I/local/Gmp/include conftest.c >&5 /tmp/ccOPa0Qg.o(.text+0x14): In function `main': /local/PPL/ppl-0.7/conftest.c:90: undefined reference to `shl_load' /tmp/ccOPa0Qg.o(.data+0x0):/local/PPL/ppl-0.7/conftest.c:89: undefined reference to `shl_load' collect2: ld returned 1 exit status configure:16576: $? = 1 configure: failed program was: | /* confdefs.h. */ | | #define PACKAGE_NAME "the Parma Polyhedra Library" | #define PACKAGE_TARNAME "ppl" | #define PACKAGE_VERSION "0.7" | #define PACKAGE_STRING "the Parma Polyhedra Library 0.7" | #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it" | #define PACKAGE "ppl" | #define VERSION "0.7" | #define NDEBUG 1 | #define COEFFICIENT_TYPE mpz_class | #define GMP_INTEGERS 1 | #ifdef __cplusplus | extern "C" void std::exit (int) throw (); using std::exit; | #endif | #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 SIZEOF_INT 4 | #define SIZEOF_LONG 4 | #define SIZEOF_LONG_LONG 8 | #define SIZEOF_UNSIGNED 4 | #define SIZEOF_UNSIGNED_LONG 4 | #define SIZEOF_UNSIGNED_LONG_LONG 8 | #define SIZEOF_SIZE_T 4 | #define SIZEOF_FLOAT 4 | #define SIZEOF_DOUBLE 8 | #define SIZEOF_LONG_DOUBLE 12 | #define CXX_SUPPORTS_FLEXIBLE_ARRAYS 1 | #define CXX_SUPPORTS_ATTRIBUTE_WEAK 1 | #define CXX_SUPPORTS_LONG_DOUBLE 1 | #define CXX_FLOAT_IS_IEC_559 1 | #define CXX_DOUBLE_IS_IEC_559 1 | #define CXX_LONG_DOUBLE_IS_IEC_559 1 | #define CXX_SUPPORTS_LONG_LONG 1 | #define HAVE_DECL_FFS 1 | #define HAVE_DECL_STRTOLL 1 | #define HAVE_DECL_STRTOULL 1 | #define SIZEOF_MP_LIMB_T 4 | #define GMP_SUPPORTS_EXCEPTIONS 1 | #define HAVE_DLFCN_H 1 | /* 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 gcc2 internal prototype to avoid an error. */ | #ifdef __cplusplus | extern "C" | { | #endif | /* We use char because int might match the return type of a gcc2 | builtin and then its argument prototype would still apply. */ | 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 | #else | char (*f) () = shl_load; | #endif | #ifdef __cplusplus | } | #endif | | int | main () | { | return f != shl_load; | ; | return 0; | } configure:16601: result: no configure:16606: checking for shl_load in -ldld configure:16636: gcc -o conftest -g -O2 -I/local/Gmp/include conftest.c -ldld >&5 /usr/bin/ld: cannot find -ldld collect2: ld returned 1 exit status configure:16642: $? = 1 configure: failed program was: | /* confdefs.h. */ | | #define PACKAGE_NAME "the Parma Polyhedra Library" | #define PACKAGE_TARNAME "ppl" | #define PACKAGE_VERSION "0.7" | #define PACKAGE_STRING "the Parma Polyhedra Library 0.7" | #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it" | #define PACKAGE "ppl" | #define VERSION "0.7" | #define NDEBUG 1 | #define COEFFICIENT_TYPE mpz_class | #define GMP_INTEGERS 1 | #ifdef __cplusplus | extern "C" void std::exit (int) throw (); using std::exit; | #endif | #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 SIZEOF_INT 4 | #define SIZEOF_LONG 4 | #define SIZEOF_LONG_LONG 8 | #define SIZEOF_UNSIGNED 4 | #define SIZEOF_UNSIGNED_LONG 4 | #define SIZEOF_UNSIGNED_LONG_LONG 8 | #define SIZEOF_SIZE_T 4 | #define SIZEOF_FLOAT 4 | #define SIZEOF_DOUBLE 8 | #define SIZEOF_LONG_DOUBLE 12 | #define CXX_SUPPORTS_FLEXIBLE_ARRAYS 1 | #define CXX_SUPPORTS_ATTRIBUTE_WEAK 1 | #define CXX_SUPPORTS_LONG_DOUBLE 1 | #define CXX_FLOAT_IS_IEC_559 1 | #define CXX_DOUBLE_IS_IEC_559 1 | #define CXX_LONG_DOUBLE_IS_IEC_559 1 | #define CXX_SUPPORTS_LONG_LONG 1 | #define HAVE_DECL_FFS 1 | #define HAVE_DECL_STRTOLL 1 | #define HAVE_DECL_STRTOULL 1 | #define SIZEOF_MP_LIMB_T 4 | #define GMP_SUPPORTS_EXCEPTIONS 1 | #define HAVE_DLFCN_H 1 | /* end confdefs.h. */ | | /* Override any gcc2 internal prototype to avoid an error. */ | #ifdef __cplusplus | extern "C" | #endif | /* We use char because int might match the return type of a gcc2 | builtin and then its argument prototype would still apply. */ | char shl_load (); | int | main () | { | shl_load (); | ; | return 0; | } configure:16668: result: no configure:16673: checking for dlopen configure:16730: gcc -o conftest -g -O2 -I/local/Gmp/include conftest.c >&5 /tmp/ccMQGqUv.o(.text+0x14): In function `main': /local/PPL/ppl-0.7/conftest.c:90: undefined reference to `dlopen' /tmp/ccMQGqUv.o(.data+0x0):/local/PPL/ppl-0.7/conftest.c:89: undefined reference to `dlopen' collect2: ld returned 1 exit status configure:16736: $? = 1 configure: failed program was: | /* confdefs.h. */ | | #define PACKAGE_NAME "the Parma Polyhedra Library" | #define PACKAGE_TARNAME "ppl" | #define PACKAGE_VERSION "0.7" | #define PACKAGE_STRING "the Parma Polyhedra Library 0.7" | #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it" | #define PACKAGE "ppl" | #define VERSION "0.7" | #define NDEBUG 1 | #define COEFFICIENT_TYPE mpz_class | #define GMP_INTEGERS 1 | #ifdef __cplusplus | extern "C" void std::exit (int) throw (); using std::exit; | #endif | #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 SIZEOF_INT 4 | #define SIZEOF_LONG 4 | #define SIZEOF_LONG_LONG 8 | #define SIZEOF_UNSIGNED 4 | #define SIZEOF_UNSIGNED_LONG 4 | #define SIZEOF_UNSIGNED_LONG_LONG 8 | #define SIZEOF_SIZE_T 4 | #define SIZEOF_FLOAT 4 | #define SIZEOF_DOUBLE 8 | #define SIZEOF_LONG_DOUBLE 12 | #define CXX_SUPPORTS_FLEXIBLE_ARRAYS 1 | #define CXX_SUPPORTS_ATTRIBUTE_WEAK 1 | #define CXX_SUPPORTS_LONG_DOUBLE 1 | #define CXX_FLOAT_IS_IEC_559 1 | #define CXX_DOUBLE_IS_IEC_559 1 | #define CXX_LONG_DOUBLE_IS_IEC_559 1 | #define CXX_SUPPORTS_LONG_LONG 1 | #define HAVE_DECL_FFS 1 | #define HAVE_DECL_STRTOLL 1 | #define HAVE_DECL_STRTOULL 1 | #define SIZEOF_MP_LIMB_T 4 | #define GMP_SUPPORTS_EXCEPTIONS 1 | #define HAVE_DLFCN_H 1 | /* 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 gcc2 internal prototype to avoid an error. */ | #ifdef __cplusplus | extern "C" | { | #endif | /* We use char because int might match the return type of a gcc2 | builtin and then its argument prototype would still apply. */ | 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 | #else | char (*f) () = dlopen; | #endif | #ifdef __cplusplus | } | #endif | | int | main () | { | return f != dlopen; | ; | return 0; | } configure:16761: result: no configure:16766: checking for dlopen in -ldl configure:16796: gcc -o conftest -g -O2 -I/local/Gmp/include conftest.c -ldl >&5 configure:16802: $? = 0 configure:16806: test -z || test ! -s conftest.err configure:16809: $? = 0 configure:16812: test -s conftest configure:16815: $? = 0 configure:16828: result: yes configure:17003: checking whether a program can dlopen itself configure:17075: gcc -o conftest -g -O2 -I/local/Gmp/include -DHAVE_DLFCN_H -Wl,--export-dynamic conftest.c -ldl >&5 configure:17078: $? = 0 configure:17096: result: yes configure:17101: checking whether a statically linked program can dlopen itself configure:17173: gcc -o conftest -g -O2 -I/local/Gmp/include -DHAVE_DLFCN_H -Wl,--export-dynamic conftest.c -ldl >&5 configure:17176: $? = 0 configure:17194: result: yes configure:17217: checking if libtool supports shared libraries configure:17219: result: yes configure:17222: checking whether to build shared libraries configure:17243: result: yes configure:17246: checking whether to build static libraries configure:17250: result: yes configure:17342: creating libtool configure:21406: checking if libtool supports shared libraries configure:21408: result: yes configure:21411: checking whether to build shared libraries configure:21429: result: yes configure:21432: checking whether to build static libraries configure:21436: result: yes configure:21448: checking for g77 option to produce PIC configure:21635: result: -fPIC configure:21643: checking if g77 PIC flag -fPIC works configure:21664: g77 -c -g -O2 -fPIC conftest.f >&5 configure:21668: $? = 0 configure:21676: result: yes configure:21700: checking if g77 supports -c -o file.o configure:21724: g77 -c -g -O2 -o out/conftest2.o conftest.f >&5 configure:21728: $? = 0 configure:21745: result: yes configure:21771: checking whether the g77 linker (/usr/bin/ld) supports shared libraries configure:22600: result: yes configure:22671: checking dynamic linker characteristics configure:23211: result: GNU/Linux ld.so configure:23215: checking how to hardcode library paths into programs configure:23240: result: immediate configure:23254: checking whether stripping libraries is possible configure:23259: result: yes configure:27360: checking for md5sum configure:27376: found /usr/bin/md5sum configure:27386: result: md5sum configure:27410: checking for ciao configure:27439: result: no configure:27606: checking for gprolog configure:27635: result: no configure:27801: checking for sicstus configure:27817: found /soft/sicstus/bin/sicstus configure:27827: result: sicstus configure:27847: checking sicstus/sicstus.h usability configure:27859: g++ -c -g -O2 -DPROLOG_TRACK_ALLOCATION -I/local/Gmp/include conftest.cc >&5 conftest.cc:84:29: sicstus/sicstus.h: No such file or directory configure:27865: $? = 1 configure: failed program was: | /* confdefs.h. */ | | #define PACKAGE_NAME "the Parma Polyhedra Library" | #define PACKAGE_TARNAME "ppl" | #define PACKAGE_VERSION "0.7" | #define PACKAGE_STRING "the Parma Polyhedra Library 0.7" | #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it" | #define PACKAGE "ppl" | #define VERSION "0.7" | #define NDEBUG 1 | #define COEFFICIENT_TYPE mpz_class | #define GMP_INTEGERS 1 | #ifdef __cplusplus | extern "C" void std::exit (int) throw (); using std::exit; | #endif | #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 SIZEOF_INT 4 | #define SIZEOF_LONG 4 | #define SIZEOF_LONG_LONG 8 | #define SIZEOF_UNSIGNED 4 | #define SIZEOF_UNSIGNED_LONG 4 | #define SIZEOF_UNSIGNED_LONG_LONG 8 | #define SIZEOF_SIZE_T 4 | #define SIZEOF_FLOAT 4 | #define SIZEOF_DOUBLE 8 | #define SIZEOF_LONG_DOUBLE 12 | #define CXX_SUPPORTS_FLEXIBLE_ARRAYS 1 | #define CXX_SUPPORTS_ATTRIBUTE_WEAK 1 | #define CXX_SUPPORTS_LONG_DOUBLE 1 | #define CXX_FLOAT_IS_IEC_559 1 | #define CXX_DOUBLE_IS_IEC_559 1 | #define CXX_LONG_DOUBLE_IS_IEC_559 1 | #define CXX_SUPPORTS_LONG_LONG 1 | #define HAVE_DECL_FFS 1 | #define HAVE_DECL_STRTOLL 1 | #define HAVE_DECL_STRTOULL 1 | #define SIZEOF_MP_LIMB_T 4 | #define GMP_SUPPORTS_EXCEPTIONS 1 | #define HAVE_DLFCN_H 1 | /* end confdefs.h. */ | #include <stdio.h> | #if HAVE_SYS_TYPES_H | # include <sys/types.h> | #endif | #if HAVE_SYS_STAT_H | # include <sys/stat.h> | #endif | #if STDC_HEADERS | # include <stdlib.h> | # include <stddef.h> | #else | # if HAVE_STDLIB_H | # include <stdlib.h> | # endif | #endif | #if HAVE_STRING_H | # if !STDC_HEADERS && HAVE_MEMORY_H | # include <memory.h> | # endif | # include <string.h> | #endif | #if HAVE_STRINGS_H | # include <strings.h> | #endif | #if HAVE_INTTYPES_H | # include <inttypes.h> | #else | # if HAVE_STDINT_H | # include <stdint.h> | # endif | #endif | #if HAVE_UNISTD_H | # include <unistd.h> | #endif | #include <sicstus/sicstus.h> configure:27888: result: no configure:27892: checking sicstus/sicstus.h presence configure:27902: g++ -E -I/local/Gmp/include conftest.cc conftest.cc:50:29: sicstus/sicstus.h: No such file or directory configure:27908: $? = 1 configure: failed program was: | /* confdefs.h. */ | | #define PACKAGE_NAME "the Parma Polyhedra Library" | #define PACKAGE_TARNAME "ppl" | #define PACKAGE_VERSION "0.7" | #define PACKAGE_STRING "the Parma Polyhedra Library 0.7" | #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it" | #define PACKAGE "ppl" | #define VERSION "0.7" | #define NDEBUG 1 | #define COEFFICIENT_TYPE mpz_class | #define GMP_INTEGERS 1 | #ifdef __cplusplus | extern "C" void std::exit (int) throw (); using std::exit; | #endif | #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 SIZEOF_INT 4 | #define SIZEOF_LONG 4 | #define SIZEOF_LONG_LONG 8 | #define SIZEOF_UNSIGNED 4 | #define SIZEOF_UNSIGNED_LONG 4 | #define SIZEOF_UNSIGNED_LONG_LONG 8 | #define SIZEOF_SIZE_T 4 | #define SIZEOF_FLOAT 4 | #define SIZEOF_DOUBLE 8 | #define SIZEOF_LONG_DOUBLE 12 | #define CXX_SUPPORTS_FLEXIBLE_ARRAYS 1 | #define CXX_SUPPORTS_ATTRIBUTE_WEAK 1 | #define CXX_SUPPORTS_LONG_DOUBLE 1 | #define CXX_FLOAT_IS_IEC_559 1 | #define CXX_DOUBLE_IS_IEC_559 1 | #define CXX_LONG_DOUBLE_IS_IEC_559 1 | #define CXX_SUPPORTS_LONG_LONG 1 | #define HAVE_DECL_FFS 1 | #define HAVE_DECL_STRTOLL 1 | #define HAVE_DECL_STRTOULL 1 | #define SIZEOF_MP_LIMB_T 4 | #define GMP_SUPPORTS_EXCEPTIONS 1 | #define HAVE_DLFCN_H 1 | /* end confdefs.h. */ | #include <sicstus/sicstus.h> configure:27928: result: no configure:27963: checking for sicstus/sicstus.h configure:27970: result: no configure:28023: checking for pl configure:28052: result: no configure:28218: checking for xsb configure:28247: result: no configure:28281: checking for yap configure:28310: result: no configure:28475: checking for mmc configure:28504: result: no configure:28536: checking glpk.h usability configure:28548: gcc -c -g -O2 -I/local/Gmp/include conftest.c >&5 conftest.c:84:18: glpk.h: No such file or directory configure:28554: $? = 1 configure: failed program was: | /* confdefs.h. */ | | #define PACKAGE_NAME "the Parma Polyhedra Library" | #define PACKAGE_TARNAME "ppl" | #define PACKAGE_VERSION "0.7" | #define PACKAGE_STRING "the Parma Polyhedra Library 0.7" | #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it" | #define PACKAGE "ppl" | #define VERSION "0.7" | #define NDEBUG 1 | #define COEFFICIENT_TYPE mpz_class | #define GMP_INTEGERS 1 | #ifdef __cplusplus | extern "C" void std::exit (int) throw (); using std::exit; | #endif | #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 SIZEOF_INT 4 | #define SIZEOF_LONG 4 | #define SIZEOF_LONG_LONG 8 | #define SIZEOF_UNSIGNED 4 | #define SIZEOF_UNSIGNED_LONG 4 | #define SIZEOF_UNSIGNED_LONG_LONG 8 | #define SIZEOF_SIZE_T 4 | #define SIZEOF_FLOAT 4 | #define SIZEOF_DOUBLE 8 | #define SIZEOF_LONG_DOUBLE 12 | #define CXX_SUPPORTS_FLEXIBLE_ARRAYS 1 | #define CXX_SUPPORTS_ATTRIBUTE_WEAK 1 | #define CXX_SUPPORTS_LONG_DOUBLE 1 | #define CXX_FLOAT_IS_IEC_559 1 | #define CXX_DOUBLE_IS_IEC_559 1 | #define CXX_LONG_DOUBLE_IS_IEC_559 1 | #define CXX_SUPPORTS_LONG_LONG 1 | #define HAVE_DECL_FFS 1 | #define HAVE_DECL_STRTOLL 1 | #define HAVE_DECL_STRTOULL 1 | #define SIZEOF_MP_LIMB_T 4 | #define GMP_SUPPORTS_EXCEPTIONS 1 | #define HAVE_DLFCN_H 1 | /* end confdefs.h. */ | #include <stdio.h> | #if HAVE_SYS_TYPES_H | # include <sys/types.h> | #endif | #if HAVE_SYS_STAT_H | # include <sys/stat.h> | #endif | #if STDC_HEADERS | # include <stdlib.h> | # include <stddef.h> | #else | # if HAVE_STDLIB_H | # include <stdlib.h> | # endif | #endif | #if HAVE_STRING_H | # if !STDC_HEADERS && HAVE_MEMORY_H | # include <memory.h> | # endif | # include <string.h> | #endif | #if HAVE_STRINGS_H | # include <strings.h> | #endif | #if HAVE_INTTYPES_H | # include <inttypes.h> | #else | # if HAVE_STDINT_H | # include <stdint.h> | # endif | #endif | #if HAVE_UNISTD_H | # include <unistd.h> | #endif | #include <glpk.h> configure:28577: result: no configure:28581: checking glpk.h presence configure:28591: gcc -E -I/local/Gmp/include conftest.c conftest.c:50:18: glpk.h: No such file or directory configure:28597: $? = 1 configure: failed program was: | /* confdefs.h. */ | | #define PACKAGE_NAME "the Parma Polyhedra Library" | #define PACKAGE_TARNAME "ppl" | #define PACKAGE_VERSION "0.7" | #define PACKAGE_STRING "the Parma Polyhedra Library 0.7" | #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it" | #define PACKAGE "ppl" | #define VERSION "0.7" | #define NDEBUG 1 | #define COEFFICIENT_TYPE mpz_class | #define GMP_INTEGERS 1 | #ifdef __cplusplus | extern "C" void std::exit (int) throw (); using std::exit; | #endif | #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 SIZEOF_INT 4 | #define SIZEOF_LONG 4 | #define SIZEOF_LONG_LONG 8 | #define SIZEOF_UNSIGNED 4 | #define SIZEOF_UNSIGNED_LONG 4 | #define SIZEOF_UNSIGNED_LONG_LONG 8 | #define SIZEOF_SIZE_T 4 | #define SIZEOF_FLOAT 4 | #define SIZEOF_DOUBLE 8 | #define SIZEOF_LONG_DOUBLE 12 | #define CXX_SUPPORTS_FLEXIBLE_ARRAYS 1 | #define CXX_SUPPORTS_ATTRIBUTE_WEAK 1 | #define CXX_SUPPORTS_LONG_DOUBLE 1 | #define CXX_FLOAT_IS_IEC_559 1 | #define CXX_DOUBLE_IS_IEC_559 1 | #define CXX_LONG_DOUBLE_IS_IEC_559 1 | #define CXX_SUPPORTS_LONG_LONG 1 | #define HAVE_DECL_FFS 1 | #define HAVE_DECL_STRTOLL 1 | #define HAVE_DECL_STRTOULL 1 | #define SIZEOF_MP_LIMB_T 4 | #define GMP_SUPPORTS_EXCEPTIONS 1 | #define HAVE_DLFCN_H 1 | /* end confdefs.h. */ | #include <glpk.h> configure:28617: result: no configure:28652: checking for glpk.h configure:28659: result: no configure:28705: checking getopt.h usability configure:28717: g++ -c -g -O2 -DPROLOG_TRACK_ALLOCATION -I/local/Gmp/include conftest.cc >&5 i686-pc-linux-gnu-g++: -R/local/gcc-3.2.3/lib: linker input file unused because linking not done i686-pc-linux-gnu-g++: -R/local/gcc/lib: linker input file unused because linking not done configure:28723: $? = 0 configure:28727: test -z || test ! -s conftest.err configure:28730: $? = 0 configure:28733: test -s conftest.o configure:28736: $? = 0 configure:28746: result: yes configure:28750: checking getopt.h presence configure:28760: g++ -E -I/local/Gmp/include conftest.cc i686-pc-linux-gnu-g++: -R/local/gcc-3.2.3/lib: linker input file unused because linking not done i686-pc-linux-gnu-g++: -R/local/gcc/lib: linker input file unused because linking not done configure:28766: $? = 0 configure:28786: result: yes configure:28821: checking for getopt.h configure:28828: result: yes configure:28705: checking signal.h usability configure:28717: g++ -c -g -O2 -DPROLOG_TRACK_ALLOCATION -I/local/Gmp/include conftest.cc >&5 i686-pc-linux-gnu-g++: -R/local/gcc-3.2.3/lib: linker input file unused because linking not done i686-pc-linux-gnu-g++: -R/local/gcc/lib: linker input file unused because linking not done configure:28723: $? = 0 configure:28727: test -z || test ! -s conftest.err configure:28730: $? = 0 configure:28733: test -s conftest.o configure:28736: $? = 0 configure:28746: result: yes configure:28750: checking signal.h presence configure:28760: g++ -E -I/local/Gmp/include conftest.cc i686-pc-linux-gnu-g++: -R/local/gcc-3.2.3/lib: linker input file unused because linking not done i686-pc-linux-gnu-g++: -R/local/gcc/lib: linker input file unused because linking not done configure:28766: $? = 0 configure:28786: result: yes configure:28821: checking for signal.h configure:28828: result: yes configure:28705: checking sys/resource.h usability configure:28717: g++ -c -g -O2 -DPROLOG_TRACK_ALLOCATION -I/local/Gmp/include conftest.cc >&5 i686-pc-linux-gnu-g++: -R/local/gcc-3.2.3/lib: linker input file unused because linking not done i686-pc-linux-gnu-g++: -R/local/gcc/lib: linker input file unused because linking not done configure:28723: $? = 0 configure:28727: test -z || test ! -s conftest.err configure:28730: $? = 0 configure:28733: test -s conftest.o configure:28736: $? = 0 configure:28746: result: yes configure:28750: checking sys/resource.h presence configure:28760: g++ -E -I/local/Gmp/include conftest.cc i686-pc-linux-gnu-g++: -R/local/gcc-3.2.3/lib: linker input file unused because linking not done i686-pc-linux-gnu-g++: -R/local/gcc/lib: linker input file unused because linking not done configure:28766: $? = 0 configure:28786: result: yes configure:28821: checking for sys/resource.h configure:28828: result: yes configure:28705: checking sys/time.h usability configure:28717: g++ -c -g -O2 -DPROLOG_TRACK_ALLOCATION -I/local/Gmp/include conftest.cc >&5 i686-pc-linux-gnu-g++: -R/local/gcc-3.2.3/lib: linker input file unused because linking not done i686-pc-linux-gnu-g++: -R/local/gcc/lib: linker input file unused because linking not done configure:28723: $? = 0 configure:28727: test -z || test ! -s conftest.err configure:28730: $? = 0 configure:28733: test -s conftest.o configure:28736: $? = 0 configure:28746: result: yes configure:28750: checking sys/time.h presence configure:28760: g++ -E -I/local/Gmp/include conftest.cc i686-pc-linux-gnu-g++: -R/local/gcc-3.2.3/lib: linker input file unused because linking not done i686-pc-linux-gnu-g++: -R/local/gcc/lib: linker input file unused because linking not done configure:28766: $? = 0 configure:28786: result: yes configure:28821: checking for sys/time.h configure:28828: result: yes configure:28696: checking for sys/types.h configure:28701: result: yes configure:28696: checking for unistd.h configure:28701: result: yes configure:28843: checking whether RLIMIT_DATA is declared configure:28872: g++ -c -g -O2 -DPROLOG_TRACK_ALLOCATION -I/local/Gmp/include conftest.cc >&5 i686-pc-linux-gnu-g++: -R/local/gcc-3.2.3/lib: linker input file unused because linking not done i686-pc-linux-gnu-g++: -R/local/gcc/lib: linker input file unused because linking not done configure:28878: $? = 0 configure:28882: test -z || test ! -s conftest.err configure:28885: $? = 0 configure:28888: test -s conftest.o configure:28891: $? = 0 configure:28902: result: yes configure:28918: checking whether RLIMIT_RSS is declared configure:28947: g++ -c -g -O2 -DPROLOG_TRACK_ALLOCATION -I/local/Gmp/include conftest.cc >&5 i686-pc-linux-gnu-g++: -R/local/gcc-3.2.3/lib: linker input file unused because linking not done i686-pc-linux-gnu-g++: -R/local/gcc/lib: linker input file unused because linking not done configure:28953: $? = 0 configure:28957: test -z || test ! -s conftest.err configure:28960: $? = 0 configure:28963: test -s conftest.o configure:28966: $? = 0 configure:28977: result: yes configure:28993: checking whether RLIMIT_VMEM is declared configure:29022: g++ -c -g -O2 -DPROLOG_TRACK_ALLOCATION -I/local/Gmp/include conftest.cc >&5 conftest.cc: In function `int main()': conftest.cc:68: error: `RLIMIT_VMEM' undeclared (first use this function) conftest.cc:68: error: (Each undeclared identifier is reported only once for each function it appears in.) configure:29028: $? = 1 configure: failed program was: | /* confdefs.h. */ | | #define PACKAGE_NAME "the Parma Polyhedra Library" | #define PACKAGE_TARNAME "ppl" | #define PACKAGE_VERSION "0.7" | #define PACKAGE_STRING "the Parma Polyhedra Library 0.7" | #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it" | #define PACKAGE "ppl" | #define VERSION "0.7" | #define NDEBUG 1 | #define COEFFICIENT_TYPE mpz_class | #define GMP_INTEGERS 1 | #ifdef __cplusplus | extern "C" void std::exit (int) throw (); using std::exit; | #endif | #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 SIZEOF_INT 4 | #define SIZEOF_LONG 4 | #define SIZEOF_LONG_LONG 8 | #define SIZEOF_UNSIGNED 4 | #define SIZEOF_UNSIGNED_LONG 4 | #define SIZEOF_UNSIGNED_LONG_LONG 8 | #define SIZEOF_SIZE_T 4 | #define SIZEOF_FLOAT 4 | #define SIZEOF_DOUBLE 8 | #define SIZEOF_LONG_DOUBLE 12 | #define CXX_SUPPORTS_FLEXIBLE_ARRAYS 1 | #define CXX_SUPPORTS_ATTRIBUTE_WEAK 1 | #define CXX_SUPPORTS_LONG_DOUBLE 1 | #define CXX_FLOAT_IS_IEC_559 1 | #define CXX_DOUBLE_IS_IEC_559 1 | #define CXX_LONG_DOUBLE_IS_IEC_559 1 | #define CXX_SUPPORTS_LONG_LONG 1 | #define HAVE_DECL_FFS 1 | #define HAVE_DECL_STRTOLL 1 | #define HAVE_DECL_STRTOULL 1 | #define SIZEOF_MP_LIMB_T 4 | #define GMP_SUPPORTS_EXCEPTIONS 1 | #define HAVE_DLFCN_H 1 | #define HAVE_GETOPT_H 1 | #define HAVE_SIGNAL_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_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 | char *p = (char *) RLIMIT_VMEM; | #endif | | ; | return 0; | } configure:29052: result: no configure:29068: checking whether RLIMIT_AS is declared configure:29097: g++ -c -g -O2 -DPROLOG_TRACK_ALLOCATION -I/local/Gmp/include conftest.cc >&5 i686-pc-linux-gnu-g++: -R/local/gcc-3.2.3/lib: linker input file unused because linking not done i686-pc-linux-gnu-g++: -R/local/gcc/lib: linker input file unused because linking not done configure:29103: $? = 0 configure:29107: test -z || test ! -s conftest.err configure:29110: $? = 0 configure:29113: test -s conftest.o configure:29116: $? = 0 configure:29127: result: yes configure:29450: creating ./config.status ## ---------------------- ## ## Running config.status. ## ## ---------------------- ## This file was extended by the Parma Polyhedra Library config.status 0.7, which was generated by GNU Autoconf 2.59. Invocation command line was CONFIG_FILES = CONFIG_HEADERS = CONFIG_LINKS = CONFIG_COMMANDS = $ ./config.status on aaricia.irisa.fr config.status:813: creating Makefile config.status:813: creating ppl.lsm config.status:813: creating ppl.spec config.status:813: creating src/Makefile config.status:813: creating src/version.hh config.status:813: creating tests/Makefile config.status:813: creating utils/Makefile config.status:813: creating m4/Makefile config.status:813: creating demos/Makefile config.status:813: creating demos/ppl_lcdd/Makefile config.status:813: creating demos/ppl_lcdd/examples/Makefile config.status:813: creating demos/ppl_lpsol/Makefile config.status:813: creating demos/ppl_lpsol/examples/Makefile config.status:813: creating doc/Makefile config.status:813: creating doc/user-browse.doxyconf-latex config.status:813: creating doc/devref-browse.doxyconf-latex config.status:813: creating doc/user-print.doxyconf-latex config.status:813: creating doc/devref-print.doxyconf-latex config.status:813: creating doc/user.doxyconf-html config.status:813: creating doc/devref.doxyconf-html config.status:813: creating interfaces/Makefile config.status:813: creating interfaces/C/Makefile config.status:813: creating interfaces/C/ppl_c.h config.status:813: creating interfaces/Prolog/Makefile config.status:813: creating interfaces/Prolog/Ciao/Makefile config.status:813: creating interfaces/Prolog/GNU/Makefile config.status:813: creating interfaces/Prolog/SICStus/Makefile config.status:813: creating interfaces/Prolog/SWI/Makefile config.status:813: creating interfaces/Prolog/XSB/Makefile config.status:813: creating interfaces/Prolog/YAP/Makefile config.status:813: creating interfaces/Prolog/tests/Makefile config.status:917: creating config.h config.status:1293: executing depfiles commands configure:30905: configuring in Watchdog configure:31022: running /bin/sh './configure' --prefix=/local/PPL '--with-libgmp-prefix=/local/Gmp' '--prefix=/local/PPL' '--with-cxxflags=-DPROLOG_TRACK_ALLOCATION' --cache-file=/dev/null --srcdir=. ## ---------------- ## ## Cache variables. ## ## ---------------- ## ac_cv_build=i686-pc-linux-gnu ac_cv_build_alias=i686-pc-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_cxx_compiler_gnu=yes 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_F77_set= ac_cv_env_F77_value= ac_cv_env_FFLAGS_set= ac_cv_env_FFLAGS_value= ac_cv_env_LDFLAGS_set= ac_cv_env_LDFLAGS_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_exeext= ac_cv_f77_compiler_gnu=yes 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_strtoll=yes ac_cv_have_decl_strtoull=yes ac_cv_have_gmp=yes ac_cv_header_dlfcn_h=yes ac_cv_header_getopt_h=yes ac_cv_header_glpk_h=no ac_cv_header_inttypes_h=yes ac_cv_header_memory_h=yes ac_cv_header_sicstus_sicstus_h=no 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=i686-pc-linux-gnu ac_cv_host_alias=i686-pc-linux-gnu ac_cv_lib_dl_dlopen=yes ac_cv_lib_dld_shl_load=no ac_cv_libgmp_cppflags=-I/local/Gmp/include ac_cv_libgmp_libs='/local/Gmp/lib/libgmp.so -Wl,-rpath -Wl,/local/Gmp/lib' ac_cv_libgmp_ltlibs='-L/local/Gmp/lib -lgmp -R/local/Gmp/lib' ac_cv_libgmpxx_cppflags= ac_cv_libgmpxx_libs='/local/Gmp/lib/libgmpxx.so -L/local/gcc-3.4.3/lib/gcc/i686-pc-linux-gnu/3.4.3 -L/local/gcc-3.4.3/lib/gcc/i686-pc-linux-gnu/3.4.3/../../.. -L/net/src/GNU/gcc/gcc-3.4.3/i686-pc-linux-gnu/libstdc++-v3/src -L/net/src/GNU/gcc/gcc-3.4.3/i686-pc-linux-gnu/libstdc++-v3/src/.libs -L/net/src/GNU/gcc/gcc-3.4.3/gcc /local/Gmp/lib/libgmp.so -Wl,-rpath -Wl,/local/Gmp/lib -lm /net/src/GNU/gcc/gcc-3.4.3/gcc/libgcc_s.so -lc -Wl,-rpath -Wl,/local/Gmp/lib -Wl,-rpath -Wl,/local/gcc-3.2.3/lib -Wl,-rpath -Wl,/local/gcc/lib -Wl,-rpath -Wl,/net/src/GNU/gcc/gcc-3.4.3/gcc' ac_cv_libgmpxx_ltlibs='-L/local/Gmp/lib -lgmpxx -L/local/gcc-3.4.3/lib/gcc/i686-pc-linux-gnu/3.4.3 -L/local/gcc-3.4.3/lib/gcc/i686-pc-linux-gnu/3.4.3/../../.. -L/net/src/GNU/gcc/gcc-3.4.3/i686-pc-linux-gnu/libstdc++-v3/src -L/net/src/GNU/gcc/gcc-3.4.3/i686-pc-linux-gnu/libstdc++-v3/src/.libs -L/net/src/GNU/gcc/gcc-3.4.3/gcc -L/local/Gmp/lib -lgmp -R/local/Gmp/lib -lm -L/net/src/GNU/gcc/gcc-3.4.3/gcc -lgcc_s -lc -R/local/Gmp/lib -R/local/gcc-3.2.3/lib -R/local/gcc/lib -R/net/src/GNU/gcc/gcc-3.4.3/gcc' ac_cv_objext=o ac_cv_path_install='/usr/bin/install -c' 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_SICSTUS_PROLOG=sicstus 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_F77=g77 ac_cv_prog_ac_ct_RANLIB=ranlib ac_cv_prog_ac_ct_STRIP=strip ac_cv_prog_cc_g=yes ac_cv_prog_cc_stdc= ac_cv_prog_cxx_g=yes ac_cv_prog_egrep='grep -E' ac_cv_prog_f77_g=yes ac_cv_prog_make_make_set=yes ac_cv_sizeof_double=8 ac_cv_sizeof_float=4 ac_cv_sizeof_int=4 ac_cv_sizeof_long=4 ac_cv_sizeof_long_double=12 ac_cv_sizeof_long_long=8 ac_cv_sizeof_mp_limb_t=4 ac_cv_sizeof_size_t=4 ac_cv_sizeof_unsigned=4 ac_cv_sizeof_unsigned_long=4 ac_cv_sizeof_unsigned_long_long=8 ac_cv_type_double=yes ac_cv_type_float=yes ac_cv_type_int=yes ac_cv_type_long=yes ac_cv_type_long_double=yes ac_cv_type_long_long=yes ac_cv_type_mp_limb_t=yes ac_cv_type_size_t=yes ac_cv_type_unsigned=yes ac_cv_type_unsigned_long=yes ac_cv_type_unsigned_long_long=yes acl_cv_hardcode_direct=no acl_cv_hardcode_libdir_flag_spec='${wl}-rpath ${wl}$libdir' acl_cv_hardcode_libdir_separator= acl_cv_hardcode_minus_L=no acl_cv_libext=a acl_cv_path_LD=/usr/bin/ld acl_cv_prog_gnu_ld=yes acl_cv_rpath=done acl_cv_shlibext=so acl_cv_wl=-Wl, am_cv_CC_dependencies_compiler_type=gcc3 am_cv_CXX_dependencies_compiler_type=gcc3 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=yes lt_cv_file_magic_cmd='$MAGIC_CMD' lt_cv_file_magic_test_file= lt_cv_ld_reload_flag=-r lt_cv_objdir=.libs lt_cv_path_LD=/usr/bin/ld lt_cv_path_NM='/usr/bin/nm -B' lt_cv_path_SED=/bin/sed lt_cv_prog_compiler_c_o=yes lt_cv_prog_compiler_c_o_F77=yes lt_cv_prog_compiler_rtti_exceptions=no lt_cv_prog_gnu_ld=yes lt_cv_sys_global_symbol_pipe='sed -n -e '\''s/^.*[ ]\([ABCDGIRSTW][ABCDGIRSTW]*\)[ ][ ]*\(\)\([_A-Za-z][_A-Za-z0-9]*\)$/\1 \2\3 \3/p'\''' lt_cv_sys_global_symbol_to_c_name_address='sed -n -e '\''s/^: \([^ ]*\) $/ {\"\1\", (lt_ptr) 0},/p'\'' -e '\''s/^[BCDEGRST] \([^ ]*\) \([^ ]*\)$/ {"\2", (lt_ptr) \&\2},/p'\''' lt_cv_sys_global_symbol_to_cdecl='sed -n -e '\''s/^. .* \(.*\)$/extern int \1;/p'\''' lt_cv_sys_max_cmd_len=32768 lt_lt_cv_prog_compiler_c_o='"yes"' lt_lt_cv_prog_compiler_c_o_F77='"yes"' lt_lt_cv_sys_global_symbol_pipe='"sed -n -e '\''s/^.*[ ]\\([ABCDGIRSTW][ABCDGIRSTW]*\\)[ ][ ]*\\(\\)\\([_A-Za-z][_A-Za-z0-9]*\\)\$/\\1 \\2\\3 \\3/p'\''"' lt_lt_cv_sys_global_symbol_to_c_name_address='"sed -n -e '\''s/^: \\([^ ]*\\) \$/ {\\\"\\1\\\", (lt_ptr) 0},/p'\'' -e '\''s/^[BCDEGRST] \\([^ ]*\\) \\([^ ]*\\)\$/ {\"\\2\", (lt_ptr) \\&\\2},/p'\''"' lt_lt_cv_sys_global_symbol_to_cdecl='"sed -n -e '\''s/^. .* \\(.*\\)\$/extern int \\1;/p'\''"' ## ----------------- ## ## Output variables. ## ## ----------------- ## ACLOCAL='${SHELL} /local/PPL/ppl-0.7/missing --run aclocal-1.9' AMDEPBACKSLASH='\' AMDEP_FALSE='#' AMDEP_TRUE='' AMTAR='${SHELL} /local/PPL/ppl-0.7/missing --run tar' AR='ar' AS='as' ASSERTIONS_ENABLED_FALSE='' ASSERTIONS_ENABLED_TRUE='#' AUTOCONF='${SHELL} /local/PPL/ppl-0.7/missing --run autoconf' AUTOHEADER='${SHELL} /local/PPL/ppl-0.7/missing --run autoheader' AUTOMAKE='${SHELL} /local/PPL/ppl-0.7/missing --run automake-1.9' AWK='gawk' BUILD_WATCHDOG_LIBRARY_FALSE='#' BUILD_WATCHDOG_LIBRARY_TRUE='' CC='gcc' CCDEPMODE='depmode=gcc3' CFLAGS='-W -Wall -g -O2' CIAO_PROLOG='' CPP='gcc -E' CPPFLAGS='-I/local/Gmp/include' CXX='g++' CXXCPP='g++ -E' CXXDEPMODE='depmode=gcc3' CXXFLAGS='-W -Wall -g -O2 -DPROLOG_TRACK_ALLOCATION' CYGPATH_W='echo' DEFS='-DHAVE_CONFIG_H' DEPDIR='.deps' DLLTOOL='dlltool' ECHO='echo' ECHO_C='' ECHO_N='-n' ECHO_T='' EGREP='grep -E' EXEEXT='' F77='g77' FFLAGS='-g -O2' GNU_PROLOG='' HAVE_CIAO_PROLOG_FALSE='' HAVE_CIAO_PROLOG_TRUE='#' HAVE_GLPK_FALSE='' HAVE_GLPK_TRUE='#' HAVE_GNU_PROLOG_FALSE='' HAVE_GNU_PROLOG_TRUE='#' HAVE_MD5SUM_FALSE='#' HAVE_MD5SUM_TRUE='' HAVE_MERCURY_COMPILER_FALSE='' HAVE_MERCURY_COMPILER_TRUE='#' HAVE_SICSTUS_PROLOG_FALSE='' HAVE_SICSTUS_PROLOG_TRUE='#' HAVE_SWI_PROLOG_FALSE='' HAVE_SWI_PROLOG_TRUE='#' HAVE_XSB_PROLOG_FALSE='' HAVE_XSB_PROLOG_TRUE='#' HAVE_YAP_PROLOG_FALSE='' HAVE_YAP_PROLOG_TRUE='#' INSTALL_DATA='${INSTALL} -m 644' INSTALL_PROGRAM='${INSTALL}' INSTALL_SCRIPT='${INSTALL}' INSTALL_STRIP_PROGRAM='${SHELL} $(install_sh) -c -s' ISODATE='2005-10-19' LDFLAGS='' LIBGMP='/local/Gmp/lib/libgmp.so -Wl,-rpath -Wl,/local/Gmp/lib' LIBGMPXX='/local/Gmp/lib/libgmpxx.so -L/local/gcc-3.4.3/lib/gcc/i686-pc-linux-gnu/3.4.3 -L/local/gcc-3.4.3/lib/gcc/i686-pc-linux-gnu/3.4.3/../../.. -L/net/src/GNU/gcc/gcc-3.4.3/i686-pc-linux-gnu/libstdc++-v3/src -L/net/src/GNU/gcc/gcc-3.4.3/i686-pc-linux-gnu/libstdc++-v3/src/.libs -L/net/src/GNU/gcc/gcc-3.4.3/gcc /local/Gmp/lib/libgmp.so -Wl,-rpath -Wl,/local/Gmp/lib -lm /net/src/GNU/gcc/gcc-3.4.3/gcc/libgcc_s.so -lc -Wl,-rpath -Wl,/local/Gmp/lib -Wl,-rpath -Wl,/local/gcc-3.2.3/lib -Wl,-rpath -Wl,/local/gcc/lib -Wl,-rpath -Wl,/net/src/GNU/gcc/gcc-3.4.3/gcc' LIBOBJS='' LIBS='' LIBTOOL='$(SHELL) $(top_builddir)/libtool' LN_S='ln -s' LTLIBGMP='-L/local/Gmp/lib -lgmp -R/local/Gmp/lib' LTLIBGMPXX='-L/local/Gmp/lib -lgmpxx -L/local/gcc-3.4.3/lib/gcc/i686-pc-linux-gnu/3.4.3 -L/local/gcc-3.4.3/lib/gcc/i686-pc-linux-gnu/3.4.3/../../.. -L/net/src/GNU/gcc/gcc-3.4.3/i686-pc-linux-gnu/libstdc++-v3/src -L/net/src/GNU/gcc/gcc-3.4.3/i686-pc-linux-gnu/libstdc++-v3/src/.libs -L/net/src/GNU/gcc/gcc-3.4.3/gcc -L/local/Gmp/lib -lgmp -R/local/Gmp/lib -lm -L/net/src/GNU/gcc/gcc-3.4.3/gcc -lgcc_s -lc -R/local/Gmp/lib -R/local/gcc-3.2.3/lib -R/local/gcc/lib -R/net/src/GNU/gcc/gcc-3.4.3/gcc' LTLIBOBJS='' MAKEINFO='${SHELL} /local/PPL/ppl-0.7/missing --run makeinfo' MD5SUM='md5sum' MERCURY_COMPILER='' NO_UNDEFINED_FALSE='' NO_UNDEFINED_TRUE='#' OBJDUMP='objdump' OBJEXT='o' PACKAGE='ppl' PACKAGE_BUGREPORT='ppl-devel@cs.unipr.it' PACKAGE_NAME='the Parma Polyhedra Library' PACKAGE_STRING='the Parma Polyhedra Library 0.7' PACKAGE_TARNAME='ppl' PACKAGE_VERSION='0.7' PATH_SEPARATOR=':' PPL_VERSION_BETA='0' PPL_VERSION_MAJOR='0' PPL_VERSION_MINOR='7' PPL_VERSION_REVISION='0' RANLIB='ranlib' SET_MAKE='' SHELL='/bin/sh' SICSTUS_PROLOG='' STRIP='strip' SWI_PROLOG='' 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='#' VERSION='0.7' XSB_PROLOG='' YAP_PROLOG='' ac_ct_AR='ar' ac_ct_AS='' ac_ct_CC='gcc' ac_ct_CXX='g++' ac_ct_DLLTOOL='' ac_ct_F77='g77' ac_ct_OBJDUMP='' ac_ct_RANLIB='ranlib' ac_ct_STRIP='strip' am__fastdepCC_FALSE='#' am__fastdepCC_TRUE='' am__fastdepCXX_FALSE='#' am__fastdepCXX_TRUE='' am__include='include' am__leading_dot='.' am__quote='' am__tar='${AMTAR} chof - "$$tardir"' am__untar='${AMTAR} xf -' bindir='${exec_prefix}/bin' build='i686-pc-linux-gnu' build_alias='' build_cpu='i686' build_os='linux-gnu' build_vendor='pc' coefficient_mnemonic='mpz' datadir='${prefix}/share' debug_flag='-DNDEBUG=1' docdir='${datadir}/doc/ppl' exec_prefix='${prefix}' extra_includes=' ' extra_libraries=' -lm -L/local/Gmp/lib -lgmpxx -L/local/gcc-3.4.3/lib/gcc/i686-pc-linux-gnu/3.4.3 -L/local/gcc-3.4.3/lib/gcc/i686-pc-linux-gnu/3.4.3/../../.. -L/net/src/GNU/gcc/gcc-3.4.3/i686-pc-linux-gnu/libstdc++-v3/src -L/net/src/GNU/gcc/gcc-3.4.3/i686-pc-linux-gnu/libstdc++-v3/src/.libs -L/net/src/GNU/gcc/gcc-3.4.3/gcc -L/local/Gmp/lib -lgmp -R/local/Gmp/lib -lm -L/net/src/GNU/gcc/gcc-3.4.3/gcc -lgcc_s -lc -R/local/Gmp/lib -R/local/gcc-3.2.3/lib -R/local/gcc/lib -R/net/src/GNU/gcc/gcc-3.4.3/gcc' host='i686-pc-linux-gnu' host_alias='' host_cpu='i686' host_os='linux-gnu' host_vendor='pc' includedir='${prefix}/include' infodir='${prefix}/info' install_sh='/local/PPL/ppl-0.7/install-sh' libdir='${exec_prefix}/lib' libexecdir='${exec_prefix}/libexec' localstatedir='${prefix}/var' mandir='${prefix}/man' mkdir_p='mkdir -p --' oldincludedir='/usr/include' prefix='/local/PPL' program_transform_name='s,x,x,' sbindir='${exec_prefix}/sbin' sharedstatedir='${prefix}/com' subdirs=' Watchdog' sysconfdir='${prefix}/etc' target_alias='' text_md5sum='md5sum -t' xsb_includes='' ## ----------- ## ## confdefs.h. ## ## ----------- ## #define COEFFICIENT_TYPE mpz_class #define CXX_DOUBLE_IS_IEC_559 1 #define CXX_FLOAT_IS_IEC_559 1 #define CXX_LONG_DOUBLE_IS_IEC_559 1 #define CXX_SUPPORTS_ATTRIBUTE_WEAK 1 #define CXX_SUPPORTS_FLEXIBLE_ARRAYS 1 #define CXX_SUPPORTS_LONG_DOUBLE 1 #define CXX_SUPPORTS_LONG_LONG 1 #define GMP_INTEGERS 1 #define GMP_SUPPORTS_EXCEPTIONS 1 #define HAVE_DECL_FFS 1 #define HAVE_DECL_RLIMIT_AS 1 #define HAVE_DECL_RLIMIT_DATA 1 #define HAVE_DECL_RLIMIT_RSS 1 #define HAVE_DECL_RLIMIT_VMEM 0 #define HAVE_DECL_STRTOLL 1 #define HAVE_DECL_STRTOULL 1 #define HAVE_DLFCN_H 1 #define HAVE_GETOPT_H 1 #define HAVE_INTTYPES_H 1 #define HAVE_MEMORY_H 1 #define HAVE_SIGNAL_H 1 #define HAVE_STDINT_H 1 #define HAVE_STDLIB_H 1 #define HAVE_STRINGS_H 1 #define HAVE_STRING_H 1 #define HAVE_SYS_RESOURCE_H 1 #define HAVE_SYS_STAT_H 1 #define HAVE_SYS_TIME_H 1 #define HAVE_SYS_TYPES_H 1 #define HAVE_SYS_TYPES_H 1 #define HAVE_UNISTD_H 1 #define HAVE_UNISTD_H 1 #define NDEBUG 1 #define PACKAGE "ppl" #define PACKAGE_BUGREPORT "ppl-devel@cs.unipr.it" #define PACKAGE_NAME "the Parma Polyhedra Library" #define PACKAGE_STRING "the Parma Polyhedra Library 0.7" #define PACKAGE_TARNAME "ppl" #define PACKAGE_VERSION "0.7" #define SIZEOF_DOUBLE 8 #define SIZEOF_FLOAT 4 #define SIZEOF_INT 4 #define SIZEOF_LONG 4 #define SIZEOF_LONG_DOUBLE 12 #define SIZEOF_LONG_LONG 8 #define SIZEOF_MP_LIMB_T 4 #define SIZEOF_SIZE_T 4 #define SIZEOF_UNSIGNED 4 #define SIZEOF_UNSIGNED_LONG 4 #define SIZEOF_UNSIGNED_LONG_LONG 8 #define STDC_HEADERS 1 #define VERSION "0.7" #endif #ifdef __cplusplus extern "C" void std::exit (int) throw (); using std::exit; configure: exit 0
tristan Denmat wrote:
I hope it will be better...
Dear Tristan, I got config.log also from the mailing list (so our Mailman configuration is OK). Anyway, the problem is that the PPL does not know where to find the SICStus include file. While we look for a better solution, the quickest thing for you is: - check that you have the file /soft/sicstus/include/sicstus/sicstus.h (yes, there are 3 occurrences of "sicstus" in the above path); - if so, use the following command to configure the PPL: CPPFLAGS=-I/soft/sicstus/include ./configure --with-libgmp-prefix=/local/Gmp [plus all the other options you want] Please, let us know if this fixes the problem for you. Best wishes, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it
Dear Roberto, that perfectly fixes the problem. Thank you very much for your patience. Let's move to the hardest part of the work ! Regards, Tristan Denmat
tristan Denmat wrote:
I hope it will be better...
Dear Tristan,
I got config.log also from the mailing list (so our Mailman configuration is OK).
Anyway, the problem is that the PPL does not know where to find the SICStus include file. While we look for a better solution, the quickest thing for you is:
- check that you have the file /soft/sicstus/include/sicstus/sicstus.h (yes, there are 3 occurrences of "sicstus" in the above path); - if so, use the following command to configure the PPL:
CPPFLAGS=-I/soft/sicstus/include ./configure --with-libgmp-prefix=/local/Gmp [plus all the other options you want]
Please, let us know if this fixes the problem for you. Best wishes,
Roberto
Dear all, I am currently using the PPL (version 0.7) with SICStus. Everything was fine until I met important efficiency issues... The problem is (or might be) that I want my program to be backtrackable. I mean, if I add a constraint to a polyhedra, I want this constraint to be removed when Prolog backtracks before the addition. As far as I know, it is not possible to do so if I directly use the handlers. To adress that I represent a polyhedron by an attributed variable P containing the list of constraints that define it (say L). Then, when I want to add a constraint (C) , I create a new Polyhedron from L in ppl, add C, get the minimized list of constraints (L'), delete the Polyhedron and update my variable P to L'. If Prolog backtracks before the addition, the old value L of P is automatically restored. I am afraid that this implementation is dramatic for the efficiency of your library. My questions are : Do you already have tackled the problem of backtrack with PPL ? If yes, would you have a better solution than mine ? How bad is this approach regarding efficiency ? Would it make sense to save a kind of "internal state" of the polyhedron instead of the explicit list of constraints ? Thank you, Tristan Denmat
Dear Tristan, You are describing a problem with any interface between a declarative language and an imperative language. That is that the backtracking over the interface needs special attention that is likely to lose efficiency. As I understand what you are saying, at the moment, you are only using the PPL to update the constraint system L to L' and it is the attributed variables that are the main data objects here. Obviously, I do not know exactly your particular application and problem but if you wish to use the PPL to do all the work and use the handlers instead of the attributed variables, then you can - but you do need to be careful with the backtracking. If you have a PPL polyhedron and just want to add a constraint which is removed on backtracking, it may be best to copy the polyhedron and work on the copy. This approach is taken in some of the examples used to test the Prolog interface. That is, a copy of the polyhedron is made before adding a constraint (and work on the copy). To make sure that this copy is deleted on backtracking, extra code is added for backtracking. For instance, in ppl/interfaces/Prolog/tests/clpq2.pl we have: [...], % Copy the current polyhedron and work on the copy. ppl_new_NNC_Polyhedron_from_NNC_Polyhedron(Poly, Poly_Copy), % On backtracking, clean up the unwanted polyhedron cleanup(Poly_Copy), [...], ppl_Polyhedron_add_constraints_and_minimize(Poly_Copy, Binding_Constraints), [...]. with cleanup/1 defined as % To prevent leaks: % First succeed and then, on backtracking, % remove the unwanted polyhedron before failing. cleanup(_Polyhedron). cleanup(Polyhedron) :- ppl_delete_Polyhedron(Polyhedron), fail. The same idea is used in ppl/interfaces/Prolog/tests/cpl_check.pl to delete polyhedra after unexpected failure causing backtracking. If you then want to work on the original polyhedron, you could use PPL intersection between the original and copied polyhedron. Note though that once you do this, you can no longer undo things by backtracking. The other way of course is to avoid backtracking altogether.... BTW I see you are using version 0.7. Note that version 0.9 of the PPL has been released on March 12th. Apart from complete support for rational grids (i.e., solutions of finite systems of congruence relations like x + y - 2*z = 3 (mod 6), it includes also many portability improvement and a couple of bug fixes. (Note that, in this release, the Grid class does not yet have a Prolog interface.) Although you will need to make some minor changes to your code (for instance, names of some PPL predicates have been changed), version 0.9 is an improved system, so do use it if you can (and do please let us know of any problems you have if you cannot). Can you tell us more about your application? Best wishes, Pat Dr Pat Hill School of Computing University of Leeds On Thu, 16 Mar 2006, Tristan Denmat wrote:
Dear all, I am currently using the PPL (version 0.7) with SICStus. Everything was fine until I met important efficiency issues...
The problem is (or might be) that I want my program to be backtrackable. I mean, if I add a constraint to a polyhedra, I want this constraint to be removed when Prolog backtracks before the addition. As far as I know, it is not possible to do so if I directly use the handlers. To adress that I represent a polyhedron by an attributed variable P containing the list of constraints that define it (say L). Then, when I want to add a constraint (C) , I create a new Polyhedron from L in ppl, add C, get the minimized list of constraints (L'), delete the Polyhedron and update my variable P to L'. If Prolog backtracks before the addition, the old value L of P is automatically restored. I am afraid that this implementation is dramatic for the efficiency of your library.
My questions are : Do you already have tackled the problem of backtrack with PPL ? If yes, would you have a better solution than mine ? How bad is this approach regarding efficiency ? Would it make sense to save a kind of "internal state" of the polyhedron instead of the explicit list of constraints ?
Dear Pat, Thank you very much for your answers. I don't know yet if it will solve my problems but I will try. I like the way you do the backtracking, that is clever. I can say a few words about what I am doing. I am using constraint solving to do program properties verification (actually you have seen my talk at WLPE this year). The basic idea is to translate the problem of finding a counter example to property into a constraint solving problem. A solution of the constraint problem is an execution that violates the given property. If there is no solution to this problem, the program satisfies the property. We are using clp(fd) to do that. The problem is that doing propagation on our constraint system gives results similar to the analysis of the program on the intervals abstract domain. Consequently, if the properties we want to refute is relational, the propagation is almost never able to detect inconsistencies in the constraint system. In this case, we need to enumerate all the values of potentially very large domains before knowing that there is no solution. As you suggested in Barcelona, using a symbolic solver can help. In fact, that is what I am doing now : making clp(fd) and the PPL communicate to take advantage of both of them. CLP(fd) allow us to define global constraints that are far from linear. PPL allow us to detect inconsistencies in the linear relaxation of the clp(fd) constraint store. A very simple example is the constraint store: X = Y + Z, X < Y + Z. CLP(fd) doesn't detect inconsistency whitout labeling whereas this is trivial for the PPL. I don't think that I am very clear. Let me know if you want more details... Regards, Tristan Denmat IRISA - Rennes France
Dear Tristan,
You are describing a problem with any interface between a declarative language and an imperative language. That is that the backtracking over the interface needs special attention that is likely to lose efficiency.
As I understand what you are saying, at the moment, you are only using the PPL to update the constraint system L to L' and it is the attributed variables that are the main data objects here.
Obviously, I do not know exactly your particular application and problem but if you wish to use the PPL to do all the work and use the handlers instead of the attributed variables, then you can - but you do need to be careful with the backtracking. If you have a PPL polyhedron and just want to add a constraint which is removed on backtracking, it may be best to copy the polyhedron and work on the copy.
This approach is taken in some of the examples used to test the Prolog interface. That is, a copy of the polyhedron is made before adding a constraint (and work on the copy). To make sure that this copy is deleted on backtracking, extra code is added for backtracking. For instance, in ppl/interfaces/Prolog/tests/clpq2.pl we have:
[...], % Copy the current polyhedron and work on the copy. ppl_new_NNC_Polyhedron_from_NNC_Polyhedron(Poly, Poly_Copy), % On backtracking, clean up the unwanted polyhedron cleanup(Poly_Copy), [...], ppl_Polyhedron_add_constraints_and_minimize(Poly_Copy, Binding_Constraints), [...].
with cleanup/1 defined as
% To prevent leaks: % First succeed and then, on backtracking, % remove the unwanted polyhedron before failing. cleanup(_Polyhedron). cleanup(Polyhedron) :- ppl_delete_Polyhedron(Polyhedron), fail.
The same idea is used in ppl/interfaces/Prolog/tests/cpl_check.pl to delete polyhedra after unexpected failure causing backtracking.
If you then want to work on the original polyhedron, you could use PPL intersection between the original and copied polyhedron. Note though that once you do this, you can no longer undo things by backtracking.
The other way of course is to avoid backtracking altogether....
BTW I see you are using version 0.7. Note that version 0.9 of the PPL has been released on March 12th. Apart from complete support for rational grids (i.e., solutions of finite systems of congruence relations like x + y - 2*z = 3 (mod 6), it includes also many portability improvement and a couple of bug fixes. (Note that, in this release, the Grid class does not yet have a Prolog interface.) Although you will need to make some minor changes to your code (for instance, names of some PPL predicates have been changed), version 0.9 is an improved system, so do use it if you can (and do please let us know of any problems you have if you cannot).
Can you tell us more about your application?
Best wishes, Pat
Dr Pat Hill School of Computing University of Leeds
On Thu, 16 Mar 2006, Tristan Denmat wrote:
Dear all, I am currently using the PPL (version 0.7) with SICStus. Everything was fine until I met important efficiency issues...
The problem is (or might be) that I want my program to be backtrackable. I mean, if I add a constraint to a polyhedra, I want this constraint to be removed when Prolog backtracks before the addition. As far as I know, it is not possible to do so if I directly use the handlers. To adress that I represent a polyhedron by an attributed variable P containing the list of constraints that define it (say L). Then, when I want to add a constraint (C) , I create a new Polyhedron from L in ppl, add C, get the minimized list of constraints (L'), delete the Polyhedron and update my variable P to L'. If Prolog backtracks before the addition, the old value L of P is automatically restored. I am afraid that this implementation is dramatic for the efficiency of your library.
My questions are : Do you already have tackled the problem of backtrack with PPL ? If yes, would you have a better solution than mine ? How bad is this approach regarding efficiency ? Would it make sense to save a kind of "internal state" of the polyhedron instead of the explicit list of constraints ?
participants (4)
-
P M Hill -
Roberto Bagnara -
tristan Denmat -
Tristan Denmat