Re: [PPL-devel] SICStus interface

21 Oct 2005


      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

Re: [PPL-devel] SICStus interface

tristan Denmat