Ticket #14201: ppl-1.0.log

File ppl-1.0.log, 106.4 KB (added by pong, 9 years ago)
Line 
1Found package ppl-1.0 in spkg/standard/ppl-1.0.spkg
2ppl-1.0
3====================================================
4Extracting package /home/pong/sage-current/spkg/standard/ppl-1.0.spkg
5-rw-r--r-- 1 pong users 15454005 Mar  2 16:13 /home/pong/sage-current/spkg/standard/ppl-1.0.spkg
6Finished extraction
7****************************************************
8Host system:
9Linux Arch-T 3.7.9-2-ARCH #1 SMP PREEMPT Mon Feb 25 12:04:25 CET 2013 x86_64 GNU/Linux
10****************************************************
11C compiler: gcc
12C compiler version:
13Using built-in specs.
14COLLECT_GCC=gcc
15COLLECT_LTO_WRAPPER=/home/pong/sage-current/local/libexec/gcc/x86_64-unknown-linux-gnu/4.6.3/lto-wrapper
16Target: x86_64-unknown-linux-gnu
17Configured with: ../src/configure --prefix=/home/pong/sage-current/local --with-local-prefix=/home/pong/sage-current/local --with-gmp=/home/pong/sage-current/local --with-mpfr=/home/pong/sage-current/local --with-mpc=/home/pong/sage-current/local --with-system-zlib --disable-multilib 
18Thread model: posix
19gcc version 4.6.3 (GCC)
20****************************************************
21patching file tests/Makefile.in
22Hunk #1 succeeded at 388 with fuzz 2 (offset -7 lines).
23checking build system type... x86_64-unknown-linux-gnu
24checking host system type... x86_64-unknown-linux-gnu
25checking for a BSD-compatible install... /usr/bin/install -c
26checking whether build environment is sane... yes
27checking for a thread-safe mkdir -p... /bin/mkdir -p
28checking for gawk... gawk
29checking whether make sets $(MAKE)... yes
30checking whether make supports nested variables... yes
31checking how to create a ustar tar archive... gnutar
32checking for gcc... gcc
33checking whether the C compiler works... yes
34checking for C compiler default output file name... a.out
35checking for suffix of executables...
36checking whether we are cross compiling... no
37checking for suffix of object files... o
38checking whether we are using the GNU C compiler... yes
39checking whether gcc accepts -g... yes
40checking for gcc option to accept ISO C89... none needed
41checking for style of include used by make... GNU
42checking dependency style of gcc... gcc3
43checking whether we are actually using the Intel C compiler... no
44checking whether we are actually using Clang... no
45checking whether we are using the GNU C++ compiler... yes
46checking whether g++ accepts -g... yes
47checking dependency style of g++... gcc3
48checking whether we are actually using the Intel C++ compiler... no
49checking whether we are actually using clang++... no
50checking for grep that handles long lines and -e... /usr/bin/grep
51checking for fgrep... /usr/bin/grep -F
52checking for egrep... /usr/bin/grep -E
53checking for a sed that does not truncate output... /bin/sed
54checking how to run the C++ preprocessor... g++ -E
55checking whether make sets $(MAKE)... (cached) yes
56checking whether to compile with debug info... yes
57checking whether to compile for profiling... no
58checking whether to compile for test coverage... no
59checking whether to enable checking of run-time assertions... no
60checking whether to enable even more run-time assertions... no
61checking whether to enable optimizations... standard
62checking for which architecture to optimize... default
63checking whether to use (a specific) floating point arithmetic... no
64checking whether to use precompiled headers... no
65checking the type of integral values to use as coefficients... GMP mpz
66checking for an ANSI C-conforming const... yes
67checking for inline... inline
68checking how to run the C preprocessor... cpp
69checking for ANSI C header files... yes
70checking for sys/types.h... yes
71checking for sys/stat.h... yes
72checking for stdlib.h... yes
73checking for string.h... yes
74checking for memory.h... yes
75checking for strings.h... yes
76checking for inttypes.h... yes
77checking for stdint.h... yes
78checking for unistd.h... yes
79checking whether byte ordering is bigendian... no
80checking for typeof syntax and keyword spelling... typeof
81checking size of char... 1
82checking size of short... 2
83checking size of int... 4
84checking size of long... 8
85checking size of long long... 8
86checking size of size_t... 8
87checking size of float... 4
88checking size of double... 8
89checking size of long double... 16
90checking size of int*... 8
91checking size of fp... 8
92checking for perl... /usr/bin/perl
93checking for library containing sqrt... none required
94checking whether the plain char type is signed... yes
95checking whether the C++ compiler provides proper long doubles... yes
96checking the binary format of C++ floats... IEEE754 Single Precision
97checking the binary format of C++ doubles... IEEE754 Double Precision
98checking the binary format of C++ long doubles... Intel Double-Extended
99checking whether the C++ compiler supports zero-length arrays... yes
100checking whether the IEEE inexact flag is supported in C++... no
101checking whether the C++ compiler supports __attribute__ ((weak))... yes
102checking fenv.h usability... yes
103checking fenv.h presence... yes
104checking for fenv.h... yes
105checking ieeefp.h usability... no
106checking ieeefp.h presence... no
107checking for ieeefp.h... no
108checking getopt.h usability... yes
109checking getopt.h presence... yes
110checking for getopt.h... yes
111checking signal.h usability... yes
112checking signal.h presence... yes
113checking for signal.h... yes
114checking for string.h... (cached) yes
115checking for strings.h... (cached) yes
116checking sys/resource.h usability... yes
117checking sys/resource.h presence... yes
118checking for sys/resource.h... yes
119checking sys/time.h usability... yes
120checking sys/time.h presence... yes
121checking for sys/time.h... yes
122checking for sys/types.h... (cached) yes
123checking for unistd.h... (cached) yes
124checking whether ffs is declared... yes
125checking whether getenv is declared... yes
126checking whether strtof is declared... yes
127checking whether strtod is declared... yes
128checking whether strtold is declared... yes
129checking whether strtoll is declared... yes
130checking whether strtoull is declared... yes
131checking whether fma is declared... yes
132checking whether fmaf is declared... yes
133checking whether fmal is declared... yes
134checking whether rintf is declared... yes
135checking whether rintl is declared... yes
136checking for int_fast16_t... yes
137checking for int_fast32_t... yes
138checking for int_fast64_t... yes
139checking for uint_fast16_t... yes
140checking for uint_fast32_t... yes
141checking for uint_fast64_t... yes
142checking for uintptr_t... yes
143checking for the GMP library version 4.1.3 or above... yes
144checking size of mp_limb_t... 8
145checking whether GMP has been compiled with support for exceptions... yes
146checking for __mpz_struct._mp_alloc... yes
147checking for __mpz_struct._mp_size... yes
148checking for __mpz_struct._mp_d... yes
149checking whether to build the ppl_lcdd program... yes
150checking whether to build the ppl_lpsol program... yes
151checking whether to build the ppl_pips program... yes
152checking whether to build the PPL documentation... yes
153checking which interfaces are enabled... cxx
154checking which instantiations are enabled... Polyhedron@Grid@Rational_Box@BD_Shape<mpz_class>@BD_Shape<mpq_class>@Octagonal_Shape<mpz_class>@Octagonal_Shape<mpq_class>@Constraints_Product<C_Polyhedron,Grid>@Pointset_Powerset<C_Polyhedron>@Pointset_Powerset<NNC_Polyhedron>
155checking whether tests should be run under Valgrind... no
156checking whether `make check' does a thorough or quick check... quick
157checking how to print strings... printf
158checking for a sed that does not truncate output... (cached) /bin/sed
159checking for ld used by gcc... ld
160checking if the linker (ld) is GNU ld... yes
161checking for BSD- or MS-compatible name lister (nm)... /usr/bin/nm -B
162checking the name lister (/usr/bin/nm -B) interface... BSD nm
163checking whether ln -s works... yes
164checking the maximum length of command line arguments... 1572864
165checking whether the shell understands some XSI constructs... yes
166checking whether the shell understands "+="... yes
167checking how to convert x86_64-unknown-linux-gnu file names to x86_64-unknown-linux-gnu format... func_convert_file_noop
168checking how to convert x86_64-unknown-linux-gnu file names to toolchain format... func_convert_file_noop
169checking for ld option to reload object files... -r
170checking for objdump... objdump
171checking how to recognize dependent libraries... pass_all
172checking for dlltool... no
173checking how to associate runtime and link libraries... printf %s\n
174checking for archiver @FILE support... @
175checking for strip... strip
176checking for ranlib... ranlib
177checking command to parse /usr/bin/nm -B output from gcc object... ok
178checking for sysroot... no
179checking for mt... no
180checking if : is a manifest tool... no
181checking for dlfcn.h... yes
182checking for objdir... .libs
183checking if gcc supports -fno-rtti -fno-exceptions... no
184checking for gcc option to produce PIC... -fPIC -DPIC
185checking if gcc PIC flag -fPIC -DPIC works... yes
186checking if gcc static flag -static works... yes
187checking if gcc supports -c -o file.o... yes
188checking if gcc supports -c -o file.o... (cached) yes
189checking whether the gcc linker (ld -m elf_x86_64) supports shared libraries... yes
190checking whether -lc should be explicitly linked in... no
191checking dynamic linker characteristics... GNU/Linux ld.so
192checking how to hardcode library paths into programs... immediate
193checking for shl_load... no
194checking for shl_load in -ldld... no
195checking for dlopen... no
196checking for dlopen in -ldl... yes
197checking whether a program can dlopen itself... yes
198checking whether a statically linked program can dlopen itself... no
199checking whether stripping libraries is possible... yes
200checking if libtool supports shared libraries... yes
201checking whether to build shared libraries... yes
202checking whether to build static libraries... yes
203checking how to run the C++ preprocessor... g++ -E
204checking for ld used by g++... ld -m elf_x86_64
205checking if the linker (ld -m elf_x86_64) is GNU ld... yes
206checking whether the g++ linker (ld -m elf_x86_64) supports shared libraries... yes
207checking for g++ option to produce PIC... -fPIC -DPIC
208checking if g++ PIC flag -fPIC -DPIC works... yes
209checking if g++ static flag -static works... yes
210checking if g++ supports -c -o file.o... yes
211checking if g++ supports -c -o file.o... (cached) yes
212checking whether the g++ linker (ld -m elf_x86_64) supports shared libraries... yes
213checking dynamic linker characteristics... (cached) GNU/Linux ld.so
214checking how to hardcode library paths into programs... immediate
215checking for md5sum... md5sum
216checking for the text md5sum command... md5sum -t
217checking glpk.h usability... yes
218checking glpk.h presence... yes
219checking for glpk.h... yes
220checking glpk/glpk.h usability... no
221checking glpk/glpk.h presence... no
222checking for glpk/glpk.h... no
223checking whether lib_set_print_hook is declared... no
224checking for _glp_lib_print_hook... no
225checking whether glp_term_out is declared... yes
226checking whether glp_term_hook is declared... yes
227checking whether RLIMIT_DATA is declared... yes
228checking whether RLIMIT_RSS is declared... yes
229checking whether RLIMIT_VMEM is declared... no
230checking whether RLIMIT_AS is declared... yes
231checking whether getrusage is declared... yes
232checking whether setrlimit is declared... yes
233checking whether setitimer is declared... yes
234checking whether sigaction is declared... yes
235checking for timeval... yes
236checking for siginfo_t... yes
237checking whether we can limit memory in C++ using setrlimit()... yes
238configure: creating ./config.status
239config.status: creating Makefile
240config.status: creating ppl.lsm
241config.status: creating src/Makefile
242config.status: creating src/version.hh
243config.status: creating src/ppl-config.cc
244config.status: creating tests/Makefile
245config.status: creating tests/BD_Shape/Makefile
246config.status: creating tests/Box/Makefile
247config.status: creating tests/Concrete_Expression/Makefile
248config.status: creating tests/CO_Tree/Makefile
249config.status: creating tests/Grid/Makefile
250config.status: creating tests/MIP_Problem/Makefile
251config.status: creating tests/Octagonal_Shape/Makefile
252config.status: creating tests/Partially_Reduced_Product/Makefile
253config.status: creating tests/PIP_Problem/Makefile
254config.status: creating tests/Polyhedron/Makefile
255config.status: creating tests/Powerset/Makefile
256config.status: creating tests/Watchdog/Makefile
257config.status: creating utils/Makefile
258config.status: creating m4/Makefile
259config.status: creating demos/Makefile
260config.status: creating demos/ppl_lcdd/Makefile
261config.status: creating demos/ppl_lcdd/examples/Makefile
262config.status: creating demos/ppl_lpsol/Makefile
263config.status: creating demos/ppl_lpsol/examples/Makefile
264config.status: creating demos/ppl_pips/Makefile
265config.status: creating demos/ppl_pips/examples/Makefile
266config.status: creating doc/Makefile
267config.status: creating doc/user.doxyconf-latex
268config.status: creating doc/devref.doxyconf-latex
269config.status: creating doc/user.doxyconf-html
270config.status: creating doc/devref.doxyconf-html
271config.status: creating doc/user-language-interface.doxyconf
272config.status: creating doc/devref-language-interface.doxyconf
273config.status: creating interfaces/Makefile
274config.status: creating interfaces/C/Makefile
275config.status: creating interfaces/C/ppl_c_version.h
276config.status: creating interfaces/C/tests/Makefile
277config.status: creating interfaces/Java/Makefile
278config.status: creating interfaces/Java/jni/Makefile
279config.status: creating interfaces/Java/tests/Makefile
280config.status: creating interfaces/Java/parma_polyhedra_library/Makefile
281config.status: creating interfaces/OCaml/Makefile
282config.status: creating interfaces/OCaml/tests/Makefile
283config.status: creating interfaces/Prolog/Makefile
284config.status: creating interfaces/Prolog/Ciao/Makefile
285config.status: creating interfaces/Prolog/GNU/Makefile
286config.status: creating interfaces/Prolog/SICStus/Makefile
287config.status: creating interfaces/Prolog/SWI/Makefile
288config.status: creating interfaces/Prolog/XSB/Makefile
289config.status: creating interfaces/Prolog/YAP/Makefile
290config.status: creating interfaces/Prolog/tests/Makefile
291config.status: creating config.h
292config.status: executing depfiles commands
293config.status: executing libtool commands
294make[2]: Entering directory `/home/pong/sage-current/spkg/build/ppl-1.0/src'
295make  all-recursive
296make[3]: Entering directory `/home/pong/sage-current/spkg/build/ppl-1.0/src'
297Making all in .
298make[4]: Entering directory `/home/pong/sage-current/spkg/build/ppl-1.0/src'
299/bin/sed -f ./ppl-config.sed config.h >ppl-config.h
300make[4]: Leaving directory `/home/pong/sage-current/spkg/build/ppl-1.0/src'
301Making all in utils
302make[4]: Entering directory `/home/pong/sage-current/spkg/build/ppl-1.0/src/utils'
303g++ -DHAVE_CONFIG_H -I. -I..  -I/home/pong/sage-current/local/include   -g -O2 -frounding-math  -I/home/pong/sage-current/local/include -W -Wall -MT timings.o -MD -MP -MF .deps/timings.Tpo -c -o timings.o timings.cc
304mv -f .deps/timings.Tpo .deps/timings.Po
305rm -f libppl_utils.a
306ar cru libppl_utils.a timings.o
307ranlib libppl_utils.a
308/bin/sed -e 's,[@]PERL[@],/usr/bin/perl,g' -e 's,[@]generated_automatically[@],Generated automatically: do not modify; modify the .in file instead.,g' < ./build_header.in > build_header
309chmod +x build_header
310/bin/sed -e 's,[@]PERL[@],/usr/bin/perl,g' -e 's,[@]generated_automatically[@],Generated automatically: do not modify; modify the .in file instead.,g' < ./text2cxxarray.in > text2cxxarray
311chmod +x text2cxxarray
312make[4]: Leaving directory `/home/pong/sage-current/spkg/build/ppl-1.0/src/utils'
313Making all in src
314make[4]: Entering directory `/home/pong/sage-current/spkg/build/ppl-1.0/src/src'
315for file in namespaces.hh compiler.hh assert.hh meta_programming.hh Slow_Copy.hh Has_Assign_Or_Swap.hh assign_or_swap.hh mp_std_bits.defs.hh mp_std_bits.inlines.hh Concrete_Expression.types.hh Concrete_Expression.defs.hh Concrete_Expression.inlines.hh Temp.defs.hh Temp.inlines.hh Temp.templates.hh Coefficient_traits_template.hh Checked_Number.types.hh termination.types.hh GMP_Integer.types.hh Coefficient.types.hh stdiobuf.types.hh c_streambuf.types.hh globals.types.hh iterator_to_const.types.hh distances.types.hh Interval_Info.types.hh Interval.types.hh Box.types.hh Constraint.types.hh Generator.types.hh Grid_Generator.types.hh Congruence.types.hh Init.types.hh Dense_Row.types.hh CO_Tree.types.hh Sparse_Row.types.hh Matrix.types.hh Swapping_Vector.types.hh Variable.types.hh Variables_Set.types.hh Linear_Expression.types.hh Expression_Hide_Last.types.hh Expression_Hide_Inhomo.types.hh Linear_Expression_Impl.types.hh Linear_Expression_Interface.types.hh Linear_System.types.hh Linear_Form.types.hh Bit_Row.types.hh Bit_Matrix.types.hh Constraint_System.types.hh Generator_System.types.hh Grid_Generator_System.types.hh Congruence_System.types.hh Scalar_Products.types.hh PIP_Tree.types.hh PIP_Problem.types.hh Poly_Con_Relation.types.hh Poly_Gen_Relation.types.hh BHRZ03_Certificate.types.hh H79_Certificate.types.hh Grid_Certificate.types.hh Partial_Function.types.hh Polyhedron.types.hh C_Polyhedron.types.hh NNC_Polyhedron.types.hh Grid.types.hh Ptr_Iterator.types.hh DB_Row.types.hh DB_Matrix.types.hh BD_Shape.types.hh OR_Matrix.types.hh Octagonal_Shape.types.hh fpu.types.hh Float.defs.hh Float.inlines.hh Float.templates.hh C_Integer.hh fpu.defs.hh fpu-c99.inlines.hh fpu-ia32.inlines.hh fpu-none.inlines.hh fpu-sparc.inlines.hh Rounding_Dir.defs.hh Rounding_Dir.inlines.hh Result.defs.hh Result.inlines.hh Numeric_Format.defs.hh checked.defs.hh checked.inlines.hh checked_int.inlines.hh checked_float.inlines.hh checked_mpz.inlines.hh checked_mpq.inlines.hh checked_ext.inlines.hh Checked_Number.defs.hh Checked_Number.inlines.hh Checked_Number.templates.hh WRD_coefficient_types.defs.hh WRD_coefficient_types.inlines.hh checked_numeric_limits.hh GMP_Integer.defs.hh GMP_Integer.inlines.hh Coefficient.defs.hh Coefficient.inlines.hh stdiobuf.defs.hh stdiobuf.inlines.hh c_streambuf.defs.hh c_streambuf.inlines.hh globals.defs.hh globals.inlines.hh math_utilities.defs.hh math_utilities.inlines.hh iterator_to_const.defs.hh iterator_to_const.inlines.hh distances.defs.hh distances.inlines.hh Boundary.defs.hh intervals.defs.hh Interval_Info.defs.hh Interval_Info.inlines.hh Interval.defs.hh Interval.inlines.hh Interval.templates.hh Box.defs.hh Box_Status.inlines.hh Box.inlines.hh Box.templates.hh Integer_Interval.hh Rational_Interval.hh Rational_Box.hh Variable.defs.hh Variable.inlines.hh Variables_Set.defs.hh Variables_Set.inlines.hh Init.defs.hh Init.inlines.hh initializer.hh Topology.types.hh Dense_Row.defs.hh Dense_Row.inlines.hh Dense_Row.templates.hh CO_Tree.defs.hh CO_Tree.inlines.hh CO_Tree.templates.hh Sparse_Row.defs.hh Sparse_Row.inlines.hh Sparse_Row.templates.hh Bit_Row.defs.hh Bit_Row.inlines.hh Linear_System.defs.hh Linear_System.inlines.hh Linear_System.templates.hh Bit_Matrix.defs.hh Bit_Matrix.inlines.hh Constraint_System.defs.hh Generator_System.defs.hh Grid_Generator_System.defs.hh Congruence_System.defs.hh Linear_Expression.defs.hh Linear_Expression.inlines.hh Expression_Hide_Last.defs.hh Expression_Hide_Last.inlines.hh Expression_Hide_Inhomo.defs.hh Expression_Hide_Inhomo.inlines.hh Linear_Expression_Impl.defs.hh Linear_Expression_Impl.inlines.hh Linear_Expression_Impl.templates.hh Linear_Expression_Interface.defs.hh Linear_Form.defs.hh Linear_Form.inlines.hh Linear_Form.templates.hh linearize.hh Constraint.defs.hh Constraint.inlines.hh Constraint_System.inlines.hh Generator.defs.hh Generator.inlines.hh Grid_Generator.defs.hh Grid_Generator.inlines.hh Congruence.defs.hh Congruence.inlines.hh Generator_System.inlines.hh Grid_Generator_System.inlines.hh Congruence_System.inlines.hh Scalar_Products.defs.hh Scalar_Products.inlines.hh Matrix.defs.hh Matrix.inlines.hh Matrix.templates.hh Swapping_Vector.defs.hh Swapping_Vector.inlines.hh MIP_Problem.types.hh MIP_Problem.defs.hh MIP_Problem.inlines.hh MIP_Problem.templates.hh PIP_Tree.types.hh PIP_Tree.defs.hh PIP_Tree.inlines.hh PIP_Problem.types.hh PIP_Problem.defs.hh PIP_Problem.inlines.hh PIP_Problem.templates.hh Poly_Con_Relation.defs.hh Poly_Con_Relation.inlines.hh Poly_Gen_Relation.defs.hh Poly_Gen_Relation.inlines.hh BHRZ03_Certificate.defs.hh BHRZ03_Certificate.inlines.hh H79_Certificate.defs.hh H79_Certificate.inlines.hh Grid_Certificate.defs.hh Grid_Certificate.inlines.hh Partial_Function.defs.hh Partial_Function.inlines.hh Polyhedron.defs.hh Ph_Status.inlines.hh Polyhedron.inlines.hh Polyhedron_chdims.templates.hh Polyhedron_conversion.templates.hh Polyhedron_minimize.templates.hh Polyhedron_simplify.templates.hh Polyhedron.templates.hh Grid.defs.hh Grid_Status.inlines.hh Grid.inlines.hh Grid.templates.hh C_Polyhedron.defs.hh C_Polyhedron.inlines.hh NNC_Polyhedron.defs.hh NNC_Polyhedron.inlines.hh Widening_Function.types.hh Widening_Function.defs.hh Widening_Function.inlines.hh Ptr_Iterator.defs.hh Ptr_Iterator.inlines.hh DB_Row.defs.hh DB_Row.inlines.hh DB_Row.templates.hh DB_Matrix.defs.hh DB_Matrix.inlines.hh DB_Matrix.templates.hh BD_Shape.defs.hh BDS_Status.inlines.hh BD_Shape.inlines.hh BD_Shape.templates.hh OR_Matrix.defs.hh OR_Matrix.inlines.hh OR_Matrix.templates.hh Octagonal_Shape.defs.hh Og_Status.inlines.hh Octagonal_Shape.inlines.hh Octagonal_Shape.templates.hh Determinate.types.hh Determinate.defs.hh Determinate.inlines.hh Powerset.types.hh Powerset.defs.hh Powerset.inlines.hh Powerset.templates.hh Pointset_Powerset.types.hh Pointset_Powerset.defs.hh Pointset_Powerset.inlines.hh Pointset_Powerset.templates.hh Partially_Reduced_Product.types.hh Partially_Reduced_Product.defs.hh Partially_Reduced_Product.inlines.hh Partially_Reduced_Product.templates.hh Weight_Profiler.defs.hh max_space_dimension.hh algorithms.hh termination.defs.hh termination.templates.hh wrap_assign.hh wrap_string.hh Floating_Point_Expression.types.hh Floating_Point_Expression.defs.hh Floating_Point_Expression.inlines.hh Floating_Point_Expression.templates.hh Cast_Floating_Point_Expression.types.hh Cast_Floating_Point_Expression.defs.hh Cast_Floating_Point_Expression.inlines.hh Cast_Floating_Point_Expression.templates.hh Constant_Floating_Point_Expression.types.hh Constant_Floating_Point_Expression.defs.hh Constant_Floating_Point_Expression.inlines.hh Variable_Floating_Point_Expression.types.hh Variable_Floating_Point_Expression.defs.hh Variable_Floating_Point_Expression.inlines.hh Sum_Floating_Point_Expression.types.hh Sum_Floating_Point_Expression.defs.hh Sum_Floating_Point_Expression.inlines.hh Sum_Floating_Point_Expression.templates.hh Difference_Floating_Point_Expression.types.hh Difference_Floating_Point_Expression.defs.hh Difference_Floating_Point_Expression.inlines.hh Difference_Floating_Point_Expression.templates.hh Multiplication_Floating_Point_Expression.types.hh Multiplication_Floating_Point_Expression.defs.hh Multiplication_Floating_Point_Expression.inlines.hh Multiplication_Floating_Point_Expression.templates.hh Division_Floating_Point_Expression.types.hh Division_Floating_Point_Expression.defs.hh Division_Floating_Point_Expression.inlines.hh Division_Floating_Point_Expression.templates.hh Opposite_Floating_Point_Expression.types.hh Opposite_Floating_Point_Expression.defs.hh Opposite_Floating_Point_Expression.inlines.hh Doubly_Linked_Object.types.hh EList.types.hh EList_Iterator.types.hh Handler.types.hh Pending_Element.types.hh Pending_List.types.hh Time.types.hh Watchdog.types.hh Threshold_Watcher.types.hh Handler.defs.hh Handler.inlines.hh Time.defs.hh Time.inlines.hh Doubly_Linked_Object.defs.hh Doubly_Linked_Object.inlines.hh EList_Iterator.defs.hh EList_Iterator.inlines.hh EList.defs.hh EList.inlines.hh Pending_Element.defs.hh Pending_Element.inlines.hh Pending_List.defs.hh Pending_List.inlines.hh Pending_List.templates.hh Watchdog.defs.hh Watchdog.inlines.hh Threshold_Watcher.defs.hh Threshold_Watcher.inlines.hh Threshold_Watcher.templates.hh ; \
316do \
317  i="#include \"$file\"" ; \
318  ( cd ../src ; /usr/bin/grep -F -q "$i" namespaces.hh compiler.hh assert.hh meta_programming.hh Slow_Copy.hh Has_Assign_Or_Swap.hh assign_or_swap.hh mp_std_bits.defs.hh mp_std_bits.inlines.hh Concrete_Expression.types.hh Concrete_Expression.defs.hh Concrete_Expression.inlines.hh Temp.defs.hh Temp.inlines.hh Temp.templates.hh Coefficient_traits_template.hh Checked_Number.types.hh termination.types.hh GMP_Integer.types.hh Coefficient.types.hh stdiobuf.types.hh c_streambuf.types.hh globals.types.hh iterator_to_const.types.hh distances.types.hh Interval_Info.types.hh Interval.types.hh Box.types.hh Constraint.types.hh Generator.types.hh Grid_Generator.types.hh Congruence.types.hh Init.types.hh Dense_Row.types.hh CO_Tree.types.hh Sparse_Row.types.hh Matrix.types.hh Swapping_Vector.types.hh Variable.types.hh Variables_Set.types.hh Linear_Expression.types.hh Expression_Hide_Last.types.hh Expression_Hide_Inhomo.types.hh Linear_Expression_Impl.types.hh Linear_Expression_Interface.types.hh Linear_System.types.hh Linear_Form.types.hh Bit_Row.types.hh Bit_Matrix.types.hh Constraint_System.types.hh Generator_System.types.hh Grid_Generator_System.types.hh Congruence_System.types.hh Scalar_Products.types.hh PIP_Tree.types.hh PIP_Problem.types.hh Poly_Con_Relation.types.hh Poly_Gen_Relation.types.hh BHRZ03_Certificate.types.hh H79_Certificate.types.hh Grid_Certificate.types.hh Partial_Function.types.hh Polyhedron.types.hh C_Polyhedron.types.hh NNC_Polyhedron.types.hh Grid.types.hh Ptr_Iterator.types.hh DB_Row.types.hh DB_Matrix.types.hh BD_Shape.types.hh OR_Matrix.types.hh Octagonal_Shape.types.hh fpu.types.hh Float.defs.hh Float.inlines.hh Float.templates.hh C_Integer.hh fpu.defs.hh fpu-c99.inlines.hh fpu-ia32.inlines.hh fpu-none.inlines.hh fpu-sparc.inlines.hh Rounding_Dir.defs.hh Rounding_Dir.inlines.hh Result.defs.hh Result.inlines.hh Numeric_Format.defs.hh checked.defs.hh checked.inlines.hh checked_int.inlines.hh checked_float.inlines.hh checked_mpz.inlines.hh checked_mpq.inlines.hh checked_ext.inlines.hh Checked_Number.defs.hh Checked_Number.inlines.hh Checked_Number.templates.hh WRD_coefficient_types.defs.hh WRD_coefficient_types.inlines.hh checked_numeric_limits.hh GMP_Integer.defs.hh GMP_Integer.inlines.hh Coefficient.defs.hh Coefficient.inlines.hh stdiobuf.defs.hh stdiobuf.inlines.hh c_streambuf.defs.hh c_streambuf.inlines.hh globals.defs.hh globals.inlines.hh math_utilities.defs.hh math_utilities.inlines.hh iterator_to_const.defs.hh iterator_to_const.inlines.hh distances.defs.hh distances.inlines.hh Boundary.defs.hh intervals.defs.hh Interval_Info.defs.hh Interval_Info.inlines.hh Interval.defs.hh Interval.inlines.hh Interval.templates.hh Box.defs.hh Box_Status.inlines.hh Box.inlines.hh Box.templates.hh Integer_Interval.hh Rational_Interval.hh Rational_Box.hh Variable.defs.hh Variable.inlines.hh Variables_Set.defs.hh Variables_Set.inlines.hh Init.defs.hh Init.inlines.hh initializer.hh Topology.types.hh Dense_Row.defs.hh Dense_Row.inlines.hh Dense_Row.templates.hh CO_Tree.defs.hh CO_Tree.inlines.hh CO_Tree.templates.hh Sparse_Row.defs.hh Sparse_Row.inlines.hh Sparse_Row.templates.hh Bit_Row.defs.hh Bit_Row.inlines.hh Linear_System.defs.hh Linear_System.inlines.hh Linear_System.templates.hh Bit_Matrix.defs.hh Bit_Matrix.inlines.hh Constraint_System.defs.hh Generator_System.defs.hh Grid_Generator_System.defs.hh Congruence_System.defs.hh Linear_Expression.defs.hh Linear_Expression.inlines.hh Expression_Hide_Last.defs.hh Expression_Hide_Last.inlines.hh Expression_Hide_Inhomo.defs.hh Expression_Hide_Inhomo.inlines.hh Linear_Expression_Impl.defs.hh Linear_Expression_Impl.inlines.hh Linear_Expression_Impl.templates.hh Linear_Expression_Interface.defs.hh Linear_Form.defs.hh Linear_Form.inlines.hh Linear_Form.templates.hh linearize.hh Constraint.defs.hh Constraint.inlines.hh Constraint_System.inlines.hh Generator.defs.hh Generator.inlines.hh Grid_Generator.defs.hh Grid_Generator.inlines.hh Congruence.defs.hh Congruence.inlines.hh Generator_System.inlines.hh Grid_Generator_System.inlines.hh Congruence_System.inlines.hh Scalar_Products.defs.hh Scalar_Products.inlines.hh Matrix.defs.hh Matrix.inlines.hh Matrix.templates.hh Swapping_Vector.defs.hh Swapping_Vector.inlines.hh MIP_Problem.types.hh MIP_Problem.defs.hh MIP_Problem.inlines.hh MIP_Problem.templates.hh PIP_Tree.types.hh PIP_Tree.defs.hh PIP_Tree.inlines.hh PIP_Problem.types.hh PIP_Problem.defs.hh PIP_Problem.inlines.hh PIP_Problem.templates.hh Poly_Con_Relation.defs.hh Poly_Con_Relation.inlines.hh Poly_Gen_Relation.defs.hh Poly_Gen_Relation.inlines.hh BHRZ03_Certificate.defs.hh BHRZ03_Certificate.inlines.hh H79_Certificate.defs.hh H79_Certificate.inlines.hh Grid_Certificate.defs.hh Grid_Certificate.inlines.hh Partial_Function.defs.hh Partial_Function.inlines.hh Polyhedron.defs.hh Ph_Status.inlines.hh Polyhedron.inlines.hh Polyhedron_chdims.templates.hh Polyhedron_conversion.templates.hh Polyhedron_minimize.templates.hh Polyhedron_simplify.templates.hh Polyhedron.templates.hh Grid.defs.hh Grid_Status.inlines.hh Grid.inlines.hh Grid.templates.hh C_Polyhedron.defs.hh C_Polyhedron.inlines.hh NNC_Polyhedron.defs.hh NNC_Polyhedron.inlines.hh Widening_Function.types.hh Widening_Function.defs.hh Widening_Function.inlines.hh Ptr_Iterator.defs.hh Ptr_Iterator.inlines.hh DB_Row.defs.hh DB_Row.inlines.hh DB_Row.templates.hh DB_Matrix.defs.hh DB_Matrix.inlines.hh DB_Matrix.templates.hh BD_Shape.defs.hh BDS_Status.inlines.hh BD_Shape.inlines.hh BD_Shape.templates.hh OR_Matrix.defs.hh OR_Matrix.inlines.hh OR_Matrix.templates.hh Octagonal_Shape.defs.hh Og_Status.inlines.hh Octagonal_Shape.inlines.hh Octagonal_Shape.templates.hh Determinate.types.hh Determinate.defs.hh Determinate.inlines.hh Powerset.types.hh Powerset.defs.hh Powerset.inlines.hh Powerset.templates.hh Pointset_Powerset.types.hh Pointset_Powerset.defs.hh Pointset_Powerset.inlines.hh Pointset_Powerset.templates.hh Partially_Reduced_Product.types.hh Partially_Reduced_Product.defs.hh Partially_Reduced_Product.inlines.hh Partially_Reduced_Product.templates.hh Weight_Profiler.defs.hh max_space_dimension.hh algorithms.hh termination.defs.hh termination.templates.hh wrap_assign.hh wrap_string.hh Floating_Point_Expression.types.hh Floating_Point_Expression.defs.hh Floating_Point_Expression.inlines.hh Floating_Point_Expression.templates.hh Cast_Floating_Point_Expression.types.hh Cast_Floating_Point_Expression.defs.hh Cast_Floating_Point_Expression.inlines.hh Cast_Floating_Point_Expression.templates.hh Constant_Floating_Point_Expression.types.hh Constant_Floating_Point_Expression.defs.hh Constant_Floating_Point_Expression.inlines.hh Variable_Floating_Point_Expression.types.hh Variable_Floating_Point_Expression.defs.hh Variable_Floating_Point_Expression.inlines.hh Sum_Floating_Point_Expression.types.hh Sum_Floating_Point_Expression.defs.hh Sum_Floating_Point_Expression.inlines.hh Sum_Floating_Point_Expression.templates.hh Difference_Floating_Point_Expression.types.hh Difference_Floating_Point_Expression.defs.hh Difference_Floating_Point_Expression.inlines.hh Difference_Floating_Point_Expression.templates.hh Multiplication_Floating_Point_Expression.types.hh Multiplication_Floating_Point_Expression.defs.hh Multiplication_Floating_Point_Expression.inlines.hh Multiplication_Floating_Point_Expression.templates.hh Division_Floating_Point_Expression.types.hh Division_Floating_Point_Expression.defs.hh Division_Floating_Point_Expression.inlines.hh Division_Floating_Point_Expression.templates.hh Opposite_Floating_Point_Expression.types.hh Opposite_Floating_Point_Expression.defs.hh Opposite_Floating_Point_Expression.inlines.hh Doubly_Linked_Object.types.hh EList.types.hh EList_Iterator.types.hh Handler.types.hh Pending_Element.types.hh Pending_List.types.hh Time.types.hh Watchdog.types.hh Threshold_Watcher.types.hh Handler.defs.hh Handler.inlines.hh Time.defs.hh Time.inlines.hh Doubly_Linked_Object.defs.hh Doubly_Linked_Object.inlines.hh EList_Iterator.defs.hh EList_Iterator.inlines.hh EList.defs.hh EList.inlines.hh Pending_Element.defs.hh Pending_Element.inlines.hh Pending_List.defs.hh Pending_List.inlines.hh Pending_List.templates.hh Watchdog.defs.hh Watchdog.inlines.hh Threshold_Watcher.defs.hh Threshold_Watcher.inlines.hh Threshold_Watcher.templates.hh ) || echo "$i" ; \
319done > ppl_include_files.hh
320../utils/build_header \
321        -I .. -I ../src \
322        ../src/ppl_header.hh >ppl.hh
323../utils/text2cxxarray --name=BUGS_array --decl-only \
324        ../BUGS >>BUGS.hh
325../utils/text2cxxarray --name=BUGS_array \
326        ../BUGS >BUGS.cc
327../utils/text2cxxarray --name=COPYING_array --decl-only \
328        ../COPYING >>COPYING.hh
329../utils/text2cxxarray --name=COPYING_array \
330        ../COPYING >COPYING.cc
331../utils/text2cxxarray --name=CREDITS_array --decl-only \
332        ../CREDITS >>CREDITS.hh
333../utils/text2cxxarray --name=CREDITS_array \
334        ../CREDITS >CREDITS.cc
335make  all-am
336make[5]: Entering directory `/home/pong/sage-current/spkg/build/ppl-1.0/src/src'
337/bin/sh ../libtool  --tag=CXX   --mode=compile g++ -DHAVE_CONFIG_H -I. -I..  -I.. -I../src -I/home/pong/sage-current/local/include   -g -O2 -frounding-math  -I/home/pong/sage-current/local/include -W -Wall -MT assert.lo -MD -MP -MF .deps/assert.Tpo -c -o assert.lo assert.cc
338libtool: compile:  g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -I/home/pong/sage-current/local/include -g -O2 -frounding-math -I/home/pong/sage-current/local/include -W -Wall -MT assert.lo -MD -MP -MF .deps/assert.Tpo -c assert.cc  -fPIC -DPIC -o .libs/assert.o
339libtool: compile:  g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -I/home/pong/sage-current/local/include -g -O2 -frounding-math -I/home/pong/sage-current/local/include -W -Wall -MT assert.lo -MD -MP -MF .deps/assert.Tpo -c assert.cc -o assert.o >/dev/null 2>&1
340mv -f .deps/assert.Tpo .deps/assert.Plo
341/bin/sh ../libtool  --tag=CXX   --mode=compile g++ -DHAVE_CONFIG_H -I. -I..  -I.. -I../src -I/home/pong/sage-current/local/include   -g -O2 -frounding-math  -I/home/pong/sage-current/local/include -W -Wall -MT Box.lo -MD -MP -MF .deps/Box.Tpo -c -o Box.lo Box.cc
342libtool: compile:  g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -I/home/pong/sage-current/local/include -g -O2 -frounding-math -I/home/pong/sage-current/local/include -W -Wall -MT Box.lo -MD -MP -MF .deps/Box.Tpo -c Box.cc  -fPIC -DPIC -o .libs/Box.o
343In file included from checked.defs.hh:30:0,
344                 from Checked_Number.defs.hh:28,
345                 from Coefficient.types.hh:16,
346                 from Coefficient.defs.hh:27,
347                 from Box.defs.hh:29,
348                 from Box.cc:25:
349mp_std_bits.defs.hh:47:7: error: redefinition of 'class std::numeric_limits<__gmp_expr<__mpz_struct [1], __mpz_struct [1]> >'
350/usr/include/gmpxx.h:3269:21: error: previous definition of 'class std::numeric_limits<__gmp_expr<__mpz_struct [1], __mpz_struct [1]> >'
351mp_std_bits.defs.hh:108:7: error: redefinition of 'class std::numeric_limits<__gmp_expr<__mpq_struct [1], __mpq_struct [1]> >'
352/usr/include/gmpxx.h:3306:21: error: previous definition of 'class std::numeric_limits<__gmp_expr<__mpq_struct [1], __mpq_struct [1]> >'
353make[5]: *** [Box.lo] Error 1
354make[5]: Leaving directory `/home/pong/sage-current/spkg/build/ppl-1.0/src/src'
355make[4]: *** [all] Error 2
356make[4]: Leaving directory `/home/pong/sage-current/spkg/build/ppl-1.0/src/src'
357make[3]: *** [all-recursive] Error 1
358make[3]: Leaving directory `/home/pong/sage-current/spkg/build/ppl-1.0/src'
359make[2]: *** [all] Error 2
360make[2]: Leaving directory `/home/pong/sage-current/spkg/build/ppl-1.0/src'
361Error building the Parma Polyhedra Library.
362
363real    0m33.388s
364user    0m13.937s
365sys     0m6.080s
366************************************************************************
367Error installing package ppl-1.0
368************************************************************************
369Please email sage-devel (http://groups.google.com/group/sage-devel)
370explaining the problem and including the relevant part of the log file
371  /home/pong/sage-current/spkg/logs/ppl-1.0.log
372Describe your computer, operating system, etc.
373If you want to try to fix the problem yourself, *don't* just cd to
374/home/pong/sage-current/spkg/build/ppl-1.0 and type 'make' or whatever is appropriate.
375Instead, the following commands setup all environment variables
376correctly and load a subshell for you to debug the error:
377  (cd '/home/pong/sage-current/spkg/build/ppl-1.0' && '/home/pong/sage-current/sage' -sh)
378When you are done debugging, you can type "exit" to leave the subshell.
379************************************************************************
380Found package ppl-1.0 in spkg/standard/ppl-1.0.spkg
381ppl-1.0
382====================================================
383Extracting package /home/pong/sage-current/spkg/standard/ppl-1.0.spkg
384-rw-r--r-- 1 pong users 15454005 Mar  2 16:13 /home/pong/sage-current/spkg/standard/ppl-1.0.spkg
385Finished extraction
386****************************************************
387Host system:
388Linux Arch-T 3.7.9-2-ARCH #1 SMP PREEMPT Mon Feb 25 12:04:25 CET 2013 x86_64 GNU/Linux
389****************************************************
390C compiler: gcc
391C compiler version:
392Using built-in specs.
393COLLECT_GCC=gcc
394COLLECT_LTO_WRAPPER=/home/pong/sage-current/local/libexec/gcc/x86_64-unknown-linux-gnu/4.6.3/lto-wrapper
395Target: x86_64-unknown-linux-gnu
396Configured with: ../src/configure --prefix=/home/pong/sage-current/local --with-local-prefix=/home/pong/sage-current/local --with-gmp=/home/pong/sage-current/local --with-mpfr=/home/pong/sage-current/local --with-mpc=/home/pong/sage-current/local --with-system-zlib --disable-multilib 
397Thread model: posix
398gcc version 4.6.3 (GCC)
399****************************************************
400patching file tests/Makefile.in
401Hunk #1 succeeded at 388 with fuzz 2 (offset -7 lines).
402checking build system type... x86_64-unknown-linux-gnu
403checking host system type... x86_64-unknown-linux-gnu
404checking for a BSD-compatible install... /usr/bin/install -c
405checking whether build environment is sane... yes
406checking for a thread-safe mkdir -p... /bin/mkdir -p
407checking for gawk... gawk
408checking whether make sets $(MAKE)... yes
409checking whether make supports nested variables... yes
410checking how to create a ustar tar archive... gnutar
411checking for gcc... gcc
412checking whether the C compiler works... yes
413checking for C compiler default output file name... a.out
414checking for suffix of executables...
415checking whether we are cross compiling... no
416checking for suffix of object files... o
417checking whether we are using the GNU C compiler... yes
418checking whether gcc accepts -g... yes
419checking for gcc option to accept ISO C89... none needed
420checking for style of include used by make... GNU
421checking dependency style of gcc... gcc3
422checking whether we are actually using the Intel C compiler... no
423checking whether we are actually using Clang... no
424checking whether we are using the GNU C++ compiler... yes
425checking whether g++ accepts -g... yes
426checking dependency style of g++... gcc3
427checking whether we are actually using the Intel C++ compiler... no
428checking whether we are actually using clang++... no
429checking for grep that handles long lines and -e... /usr/bin/grep
430checking for fgrep... /usr/bin/grep -F
431checking for egrep... /usr/bin/grep -E
432checking for a sed that does not truncate output... /bin/sed
433checking how to run the C++ preprocessor... g++ -E
434checking whether make sets $(MAKE)... (cached) yes
435checking whether to compile with debug info... yes
436checking whether to compile for profiling... no
437checking whether to compile for test coverage... no
438checking whether to enable checking of run-time assertions... no
439checking whether to enable even more run-time assertions... no
440checking whether to enable optimizations... standard
441checking for which architecture to optimize... default
442checking whether to use (a specific) floating point arithmetic... no
443checking whether to use precompiled headers... no
444checking the type of integral values to use as coefficients... GMP mpz
445checking for an ANSI C-conforming const... yes
446checking for inline... inline
447checking how to run the C preprocessor... cpp
448checking for ANSI C header files... yes
449checking for sys/types.h... yes
450checking for sys/stat.h... yes
451checking for stdlib.h... yes
452checking for string.h... yes
453checking for memory.h... yes
454checking for strings.h... yes
455checking for inttypes.h... yes
456checking for stdint.h... yes
457checking for unistd.h... yes
458checking whether byte ordering is bigendian... no
459checking for typeof syntax and keyword spelling... typeof
460checking size of char... 1
461checking size of short... 2
462checking size of int... 4
463checking size of long... 8
464checking size of long long... 8
465checking size of size_t... 8
466checking size of float... 4
467checking size of double... 8
468checking size of long double... 16
469checking size of int*... 8
470checking size of fp... 8
471checking for perl... /usr/bin/perl
472checking for library containing sqrt... none required
473checking whether the plain char type is signed... yes
474checking whether the C++ compiler provides proper long doubles... yes
475checking the binary format of C++ floats... IEEE754 Single Precision
476checking the binary format of C++ doubles... IEEE754 Double Precision
477checking the binary format of C++ long doubles... Intel Double-Extended
478checking whether the C++ compiler supports zero-length arrays... yes
479checking whether the IEEE inexact flag is supported in C++... no
480checking whether the C++ compiler supports __attribute__ ((weak))... yes
481checking fenv.h usability... yes
482checking fenv.h presence... yes
483checking for fenv.h... yes
484checking ieeefp.h usability... no
485checking ieeefp.h presence... no
486checking for ieeefp.h... no
487checking getopt.h usability... yes
488checking getopt.h presence... yes
489checking for getopt.h... yes
490checking signal.h usability... yes
491checking signal.h presence... yes
492checking for signal.h... yes
493checking for string.h... (cached) yes
494checking for strings.h... (cached) yes
495checking sys/resource.h usability... yes
496checking sys/resource.h presence... yes
497checking for sys/resource.h... yes
498checking sys/time.h usability... yes
499checking sys/time.h presence... yes
500checking for sys/time.h... yes
501checking for sys/types.h... (cached) yes
502checking for unistd.h... (cached) yes
503checking whether ffs is declared... yes
504checking whether getenv is declared... yes
505checking whether strtof is declared... yes
506checking whether strtod is declared... yes
507checking whether strtold is declared... yes
508checking whether strtoll is declared... yes
509checking whether strtoull is declared... yes
510checking whether fma is declared... yes
511checking whether fmaf is declared... yes
512checking whether fmal is declared... yes
513checking whether rintf is declared... yes
514checking whether rintl is declared... yes
515checking for int_fast16_t... yes
516checking for int_fast32_t... yes
517checking for int_fast64_t... yes
518checking for uint_fast16_t... yes
519checking for uint_fast32_t... yes
520checking for uint_fast64_t... yes
521checking for uintptr_t... yes
522checking for the GMP library version 4.1.3 or above... yes
523checking size of mp_limb_t... 8
524checking whether GMP has been compiled with support for exceptions... yes
525checking for __mpz_struct._mp_alloc... yes
526checking for __mpz_struct._mp_size... yes
527checking for __mpz_struct._mp_d... yes
528checking whether to build the ppl_lcdd program... yes
529checking whether to build the ppl_lpsol program... yes
530checking whether to build the ppl_pips program... yes
531checking whether to build the PPL documentation... yes
532checking which interfaces are enabled... cxx
533checking which instantiations are enabled... Polyhedron@Grid@Rational_Box@BD_Shape<mpz_class>@BD_Shape<mpq_class>@Octagonal_Shape<mpz_class>@Octagonal_Shape<mpq_class>@Constraints_Product<C_Polyhedron,Grid>@Pointset_Powerset<C_Polyhedron>@Pointset_Powerset<NNC_Polyhedron>
534checking whether tests should be run under Valgrind... no
535checking whether `make check' does a thorough or quick check... quick
536checking how to print strings... printf
537checking for a sed that does not truncate output... (cached) /bin/sed
538checking for ld used by gcc... ld
539checking if the linker (ld) is GNU ld... yes
540checking for BSD- or MS-compatible name lister (nm)... /usr/bin/nm -B
541checking the name lister (/usr/bin/nm -B) interface... BSD nm
542checking whether ln -s works... yes
543checking the maximum length of command line arguments... 1572864
544checking whether the shell understands some XSI constructs... yes
545checking whether the shell understands "+="... yes
546checking how to convert x86_64-unknown-linux-gnu file names to x86_64-unknown-linux-gnu format... func_convert_file_noop
547checking how to convert x86_64-unknown-linux-gnu file names to toolchain format... func_convert_file_noop
548checking for ld option to reload object files... -r
549checking for objdump... objdump
550checking how to recognize dependent libraries... pass_all
551checking for dlltool... no
552checking how to associate runtime and link libraries... printf %s\n
553checking for archiver @FILE support... @
554checking for strip... strip
555checking for ranlib... ranlib
556checking command to parse /usr/bin/nm -B output from gcc object... ok
557checking for sysroot... no
558checking for mt... no
559checking if : is a manifest tool... no
560checking for dlfcn.h... yes
561checking for objdir... .libs
562checking if gcc supports -fno-rtti -fno-exceptions... no
563checking for gcc option to produce PIC... -fPIC -DPIC
564checking if gcc PIC flag -fPIC -DPIC works... yes
565checking if gcc static flag -static works... yes
566checking if gcc supports -c -o file.o... yes
567checking if gcc supports -c -o file.o... (cached) yes
568checking whether the gcc linker (ld -m elf_x86_64) supports shared libraries... yes
569checking whether -lc should be explicitly linked in... no
570checking dynamic linker characteristics... GNU/Linux ld.so
571checking how to hardcode library paths into programs... immediate
572checking for shl_load... no
573checking for shl_load in -ldld... no
574checking for dlopen... no
575checking for dlopen in -ldl... yes
576checking whether a program can dlopen itself... yes
577checking whether a statically linked program can dlopen itself... no
578checking whether stripping libraries is possible... yes
579checking if libtool supports shared libraries... yes
580checking whether to build shared libraries... yes
581checking whether to build static libraries... yes
582checking how to run the C++ preprocessor... g++ -E
583checking for ld used by g++... ld -m elf_x86_64
584checking if the linker (ld -m elf_x86_64) is GNU ld... yes
585checking whether the g++ linker (ld -m elf_x86_64) supports shared libraries... yes
586checking for g++ option to produce PIC... -fPIC -DPIC
587checking if g++ PIC flag -fPIC -DPIC works... yes
588checking if g++ static flag -static works... yes
589checking if g++ supports -c -o file.o... yes
590checking if g++ supports -c -o file.o... (cached) yes
591checking whether the g++ linker (ld -m elf_x86_64) supports shared libraries... yes
592checking dynamic linker characteristics... (cached) GNU/Linux ld.so
593checking how to hardcode library paths into programs... immediate
594checking for md5sum... md5sum
595checking for the text md5sum command... md5sum -t
596checking glpk.h usability... yes
597checking glpk.h presence... yes
598checking for glpk.h... yes
599checking glpk/glpk.h usability... no
600checking glpk/glpk.h presence... no
601checking for glpk/glpk.h... no
602checking whether lib_set_print_hook is declared... no
603checking for _glp_lib_print_hook... no
604checking whether glp_term_out is declared... yes
605checking whether glp_term_hook is declared... yes
606checking whether RLIMIT_DATA is declared... yes
607checking whether RLIMIT_RSS is declared... yes
608checking whether RLIMIT_VMEM is declared... no
609checking whether RLIMIT_AS is declared... yes
610checking whether getrusage is declared... yes
611checking whether setrlimit is declared... yes
612checking whether setitimer is declared... yes
613checking whether sigaction is declared... yes
614checking for timeval... yes
615checking for siginfo_t... yes
616checking whether we can limit memory in C++ using setrlimit()... yes
617configure: creating ./config.status
618config.status: creating Makefile
619config.status: creating ppl.lsm
620config.status: creating src/Makefile
621config.status: creating src/version.hh
622config.status: creating src/ppl-config.cc
623config.status: creating tests/Makefile
624config.status: creating tests/BD_Shape/Makefile
625config.status: creating tests/Box/Makefile
626config.status: creating tests/Concrete_Expression/Makefile
627config.status: creating tests/CO_Tree/Makefile
628config.status: creating tests/Grid/Makefile
629config.status: creating tests/MIP_Problem/Makefile
630config.status: creating tests/Octagonal_Shape/Makefile
631config.status: creating tests/Partially_Reduced_Product/Makefile
632config.status: creating tests/PIP_Problem/Makefile
633config.status: creating tests/Polyhedron/Makefile
634config.status: creating tests/Powerset/Makefile
635config.status: creating tests/Watchdog/Makefile
636config.status: creating utils/Makefile
637config.status: creating m4/Makefile
638config.status: creating demos/Makefile
639config.status: creating demos/ppl_lcdd/Makefile
640config.status: creating demos/ppl_lcdd/examples/Makefile
641config.status: creating demos/ppl_lpsol/Makefile
642config.status: creating demos/ppl_lpsol/examples/Makefile
643config.status: creating demos/ppl_pips/Makefile
644config.status: creating demos/ppl_pips/examples/Makefile
645config.status: creating doc/Makefile
646config.status: creating doc/user.doxyconf-latex
647config.status: creating doc/devref.doxyconf-latex
648config.status: creating doc/user.doxyconf-html
649config.status: creating doc/devref.doxyconf-html
650config.status: creating doc/user-language-interface.doxyconf
651config.status: creating doc/devref-language-interface.doxyconf
652config.status: creating interfaces/Makefile
653config.status: creating interfaces/C/Makefile
654config.status: creating interfaces/C/ppl_c_version.h
655config.status: creating interfaces/C/tests/Makefile
656config.status: creating interfaces/Java/Makefile
657config.status: creating interfaces/Java/jni/Makefile
658config.status: creating interfaces/Java/tests/Makefile
659config.status: creating interfaces/Java/parma_polyhedra_library/Makefile
660config.status: creating interfaces/OCaml/Makefile
661config.status: creating interfaces/OCaml/tests/Makefile
662config.status: creating interfaces/Prolog/Makefile
663config.status: creating interfaces/Prolog/Ciao/Makefile
664config.status: creating interfaces/Prolog/GNU/Makefile
665config.status: creating interfaces/Prolog/SICStus/Makefile
666config.status: creating interfaces/Prolog/SWI/Makefile
667config.status: creating interfaces/Prolog/XSB/Makefile
668config.status: creating interfaces/Prolog/YAP/Makefile
669config.status: creating interfaces/Prolog/tests/Makefile
670config.status: creating config.h
671config.status: executing depfiles commands
672config.status: executing libtool commands
673make[2]: Entering directory `/home/pong/sage-current/spkg/build/ppl-1.0/src'
674make  all-recursive
675make[3]: Entering directory `/home/pong/sage-current/spkg/build/ppl-1.0/src'
676Making all in .
677make[4]: Entering directory `/home/pong/sage-current/spkg/build/ppl-1.0/src'
678/bin/sed -f ./ppl-config.sed config.h >ppl-config.h
679make[4]: Leaving directory `/home/pong/sage-current/spkg/build/ppl-1.0/src'
680Making all in utils
681make[4]: Entering directory `/home/pong/sage-current/spkg/build/ppl-1.0/src/utils'
682g++ -DHAVE_CONFIG_H -I. -I..  -I/home/pong/sage-current/local/include   -g -O2 -frounding-math  -I/home/pong/sage-current/local/include -W -Wall -MT timings.o -MD -MP -MF .deps/timings.Tpo -c -o timings.o timings.cc
683mv -f .deps/timings.Tpo .deps/timings.Po
684rm -f libppl_utils.a
685ar cru libppl_utils.a timings.o
686ranlib libppl_utils.a
687/bin/sed -e 's,[@]PERL[@],/usr/bin/perl,g' -e 's,[@]generated_automatically[@],Generated automatically: do not modify; modify the .in file instead.,g' < ./build_header.in > build_header
688chmod +x build_header
689/bin/sed -e 's,[@]PERL[@],/usr/bin/perl,g' -e 's,[@]generated_automatically[@],Generated automatically: do not modify; modify the .in file instead.,g' < ./text2cxxarray.in > text2cxxarray
690chmod +x text2cxxarray
691make[4]: Leaving directory `/home/pong/sage-current/spkg/build/ppl-1.0/src/utils'
692Making all in src
693make[4]: Entering directory `/home/pong/sage-current/spkg/build/ppl-1.0/src/src'
694for file in namespaces.hh compiler.hh assert.hh meta_programming.hh Slow_Copy.hh Has_Assign_Or_Swap.hh assign_or_swap.hh mp_std_bits.defs.hh mp_std_bits.inlines.hh Concrete_Expression.types.hh Concrete_Expression.defs.hh Concrete_Expression.inlines.hh Temp.defs.hh Temp.inlines.hh Temp.templates.hh Coefficient_traits_template.hh Checked_Number.types.hh termination.types.hh GMP_Integer.types.hh Coefficient.types.hh stdiobuf.types.hh c_streambuf.types.hh globals.types.hh iterator_to_const.types.hh distances.types.hh Interval_Info.types.hh Interval.types.hh Box.types.hh Constraint.types.hh Generator.types.hh Grid_Generator.types.hh Congruence.types.hh Init.types.hh Dense_Row.types.hh CO_Tree.types.hh Sparse_Row.types.hh Matrix.types.hh Swapping_Vector.types.hh Variable.types.hh Variables_Set.types.hh Linear_Expression.types.hh Expression_Hide_Last.types.hh Expression_Hide_Inhomo.types.hh Linear_Expression_Impl.types.hh Linear_Expression_Interface.types.hh Linear_System.types.hh Linear_Form.types.hh Bit_Row.types.hh Bit_Matrix.types.hh Constraint_System.types.hh Generator_System.types.hh Grid_Generator_System.types.hh Congruence_System.types.hh Scalar_Products.types.hh PIP_Tree.types.hh PIP_Problem.types.hh Poly_Con_Relation.types.hh Poly_Gen_Relation.types.hh BHRZ03_Certificate.types.hh H79_Certificate.types.hh Grid_Certificate.types.hh Partial_Function.types.hh Polyhedron.types.hh C_Polyhedron.types.hh NNC_Polyhedron.types.hh Grid.types.hh Ptr_Iterator.types.hh DB_Row.types.hh DB_Matrix.types.hh BD_Shape.types.hh OR_Matrix.types.hh Octagonal_Shape.types.hh fpu.types.hh Float.defs.hh Float.inlines.hh Float.templates.hh C_Integer.hh fpu.defs.hh fpu-c99.inlines.hh fpu-ia32.inlines.hh fpu-none.inlines.hh fpu-sparc.inlines.hh Rounding_Dir.defs.hh Rounding_Dir.inlines.hh Result.defs.hh Result.inlines.hh Numeric_Format.defs.hh checked.defs.hh checked.inlines.hh checked_int.inlines.hh checked_float.inlines.hh checked_mpz.inlines.hh checked_mpq.inlines.hh checked_ext.inlines.hh Checked_Number.defs.hh Checked_Number.inlines.hh Checked_Number.templates.hh WRD_coefficient_types.defs.hh WRD_coefficient_types.inlines.hh checked_numeric_limits.hh GMP_Integer.defs.hh GMP_Integer.inlines.hh Coefficient.defs.hh Coefficient.inlines.hh stdiobuf.defs.hh stdiobuf.inlines.hh c_streambuf.defs.hh c_streambuf.inlines.hh globals.defs.hh globals.inlines.hh math_utilities.defs.hh math_utilities.inlines.hh iterator_to_const.defs.hh iterator_to_const.inlines.hh distances.defs.hh distances.inlines.hh Boundary.defs.hh intervals.defs.hh Interval_Info.defs.hh Interval_Info.inlines.hh Interval.defs.hh Interval.inlines.hh Interval.templates.hh Box.defs.hh Box_Status.inlines.hh Box.inlines.hh Box.templates.hh Integer_Interval.hh Rational_Interval.hh Rational_Box.hh Variable.defs.hh Variable.inlines.hh Variables_Set.defs.hh Variables_Set.inlines.hh Init.defs.hh Init.inlines.hh initializer.hh Topology.types.hh Dense_Row.defs.hh Dense_Row.inlines.hh Dense_Row.templates.hh CO_Tree.defs.hh CO_Tree.inlines.hh CO_Tree.templates.hh Sparse_Row.defs.hh Sparse_Row.inlines.hh Sparse_Row.templates.hh Bit_Row.defs.hh Bit_Row.inlines.hh Linear_System.defs.hh Linear_System.inlines.hh Linear_System.templates.hh Bit_Matrix.defs.hh Bit_Matrix.inlines.hh Constraint_System.defs.hh Generator_System.defs.hh Grid_Generator_System.defs.hh Congruence_System.defs.hh Linear_Expression.defs.hh Linear_Expression.inlines.hh Expression_Hide_Last.defs.hh Expression_Hide_Last.inlines.hh Expression_Hide_Inhomo.defs.hh Expression_Hide_Inhomo.inlines.hh Linear_Expression_Impl.defs.hh Linear_Expression_Impl.inlines.hh Linear_Expression_Impl.templates.hh Linear_Expression_Interface.defs.hh Linear_Form.defs.hh Linear_Form.inlines.hh Linear_Form.templates.hh linearize.hh Constraint.defs.hh Constraint.inlines.hh Constraint_System.inlines.hh Generator.defs.hh Generator.inlines.hh Grid_Generator.defs.hh Grid_Generator.inlines.hh Congruence.defs.hh Congruence.inlines.hh Generator_System.inlines.hh Grid_Generator_System.inlines.hh Congruence_System.inlines.hh Scalar_Products.defs.hh Scalar_Products.inlines.hh Matrix.defs.hh Matrix.inlines.hh Matrix.templates.hh Swapping_Vector.defs.hh Swapping_Vector.inlines.hh MIP_Problem.types.hh MIP_Problem.defs.hh MIP_Problem.inlines.hh MIP_Problem.templates.hh PIP_Tree.types.hh PIP_Tree.defs.hh PIP_Tree.inlines.hh PIP_Problem.types.hh PIP_Problem.defs.hh PIP_Problem.inlines.hh PIP_Problem.templates.hh Poly_Con_Relation.defs.hh Poly_Con_Relation.inlines.hh Poly_Gen_Relation.defs.hh Poly_Gen_Relation.inlines.hh BHRZ03_Certificate.defs.hh BHRZ03_Certificate.inlines.hh H79_Certificate.defs.hh H79_Certificate.inlines.hh Grid_Certificate.defs.hh Grid_Certificate.inlines.hh Partial_Function.defs.hh Partial_Function.inlines.hh Polyhedron.defs.hh Ph_Status.inlines.hh Polyhedron.inlines.hh Polyhedron_chdims.templates.hh Polyhedron_conversion.templates.hh Polyhedron_minimize.templates.hh Polyhedron_simplify.templates.hh Polyhedron.templates.hh Grid.defs.hh Grid_Status.inlines.hh Grid.inlines.hh Grid.templates.hh C_Polyhedron.defs.hh C_Polyhedron.inlines.hh NNC_Polyhedron.defs.hh NNC_Polyhedron.inlines.hh Widening_Function.types.hh Widening_Function.defs.hh Widening_Function.inlines.hh Ptr_Iterator.defs.hh Ptr_Iterator.inlines.hh DB_Row.defs.hh DB_Row.inlines.hh DB_Row.templates.hh DB_Matrix.defs.hh DB_Matrix.inlines.hh DB_Matrix.templates.hh BD_Shape.defs.hh BDS_Status.inlines.hh BD_Shape.inlines.hh BD_Shape.templates.hh OR_Matrix.defs.hh OR_Matrix.inlines.hh OR_Matrix.templates.hh Octagonal_Shape.defs.hh Og_Status.inlines.hh Octagonal_Shape.inlines.hh Octagonal_Shape.templates.hh Determinate.types.hh Determinate.defs.hh Determinate.inlines.hh Powerset.types.hh Powerset.defs.hh Powerset.inlines.hh Powerset.templates.hh Pointset_Powerset.types.hh Pointset_Powerset.defs.hh Pointset_Powerset.inlines.hh Pointset_Powerset.templates.hh Partially_Reduced_Product.types.hh Partially_Reduced_Product.defs.hh Partially_Reduced_Product.inlines.hh Partially_Reduced_Product.templates.hh Weight_Profiler.defs.hh max_space_dimension.hh algorithms.hh termination.defs.hh termination.templates.hh wrap_assign.hh wrap_string.hh Floating_Point_Expression.types.hh Floating_Point_Expression.defs.hh Floating_Point_Expression.inlines.hh Floating_Point_Expression.templates.hh Cast_Floating_Point_Expression.types.hh Cast_Floating_Point_Expression.defs.hh Cast_Floating_Point_Expression.inlines.hh Cast_Floating_Point_Expression.templates.hh Constant_Floating_Point_Expression.types.hh Constant_Floating_Point_Expression.defs.hh Constant_Floating_Point_Expression.inlines.hh Variable_Floating_Point_Expression.types.hh Variable_Floating_Point_Expression.defs.hh Variable_Floating_Point_Expression.inlines.hh Sum_Floating_Point_Expression.types.hh Sum_Floating_Point_Expression.defs.hh Sum_Floating_Point_Expression.inlines.hh Sum_Floating_Point_Expression.templates.hh Difference_Floating_Point_Expression.types.hh Difference_Floating_Point_Expression.defs.hh Difference_Floating_Point_Expression.inlines.hh Difference_Floating_Point_Expression.templates.hh Multiplication_Floating_Point_Expression.types.hh Multiplication_Floating_Point_Expression.defs.hh Multiplication_Floating_Point_Expression.inlines.hh Multiplication_Floating_Point_Expression.templates.hh Division_Floating_Point_Expression.types.hh Division_Floating_Point_Expression.defs.hh Division_Floating_Point_Expression.inlines.hh Division_Floating_Point_Expression.templates.hh Opposite_Floating_Point_Expression.types.hh Opposite_Floating_Point_Expression.defs.hh Opposite_Floating_Point_Expression.inlines.hh Doubly_Linked_Object.types.hh EList.types.hh EList_Iterator.types.hh Handler.types.hh Pending_Element.types.hh Pending_List.types.hh Time.types.hh Watchdog.types.hh Threshold_Watcher.types.hh Handler.defs.hh Handler.inlines.hh Time.defs.hh Time.inlines.hh Doubly_Linked_Object.defs.hh Doubly_Linked_Object.inlines.hh EList_Iterator.defs.hh EList_Iterator.inlines.hh EList.defs.hh EList.inlines.hh Pending_Element.defs.hh Pending_Element.inlines.hh Pending_List.defs.hh Pending_List.inlines.hh Pending_List.templates.hh Watchdog.defs.hh Watchdog.inlines.hh Threshold_Watcher.defs.hh Threshold_Watcher.inlines.hh Threshold_Watcher.templates.hh ; \
695do \
696  i="#include \"$file\"" ; \
697  ( cd ../src ; /usr/bin/grep -F -q "$i" namespaces.hh compiler.hh assert.hh meta_programming.hh Slow_Copy.hh Has_Assign_Or_Swap.hh assign_or_swap.hh mp_std_bits.defs.hh mp_std_bits.inlines.hh Concrete_Expression.types.hh Concrete_Expression.defs.hh Concrete_Expression.inlines.hh Temp.defs.hh Temp.inlines.hh Temp.templates.hh Coefficient_traits_template.hh Checked_Number.types.hh termination.types.hh GMP_Integer.types.hh Coefficient.types.hh stdiobuf.types.hh c_streambuf.types.hh globals.types.hh iterator_to_const.types.hh distances.types.hh Interval_Info.types.hh Interval.types.hh Box.types.hh Constraint.types.hh Generator.types.hh Grid_Generator.types.hh Congruence.types.hh Init.types.hh Dense_Row.types.hh CO_Tree.types.hh Sparse_Row.types.hh Matrix.types.hh Swapping_Vector.types.hh Variable.types.hh Variables_Set.types.hh Linear_Expression.types.hh Expression_Hide_Last.types.hh Expression_Hide_Inhomo.types.hh Linear_Expression_Impl.types.hh Linear_Expression_Interface.types.hh Linear_System.types.hh Linear_Form.types.hh Bit_Row.types.hh Bit_Matrix.types.hh Constraint_System.types.hh Generator_System.types.hh Grid_Generator_System.types.hh Congruence_System.types.hh Scalar_Products.types.hh PIP_Tree.types.hh PIP_Problem.types.hh Poly_Con_Relation.types.hh Poly_Gen_Relation.types.hh BHRZ03_Certificate.types.hh H79_Certificate.types.hh Grid_Certificate.types.hh Partial_Function.types.hh Polyhedron.types.hh C_Polyhedron.types.hh NNC_Polyhedron.types.hh Grid.types.hh Ptr_Iterator.types.hh DB_Row.types.hh DB_Matrix.types.hh BD_Shape.types.hh OR_Matrix.types.hh Octagonal_Shape.types.hh fpu.types.hh Float.defs.hh Float.inlines.hh Float.templates.hh C_Integer.hh fpu.defs.hh fpu-c99.inlines.hh fpu-ia32.inlines.hh fpu-none.inlines.hh fpu-sparc.inlines.hh Rounding_Dir.defs.hh Rounding_Dir.inlines.hh Result.defs.hh Result.inlines.hh Numeric_Format.defs.hh checked.defs.hh checked.inlines.hh checked_int.inlines.hh checked_float.inlines.hh checked_mpz.inlines.hh checked_mpq.inlines.hh checked_ext.inlines.hh Checked_Number.defs.hh Checked_Number.inlines.hh Checked_Number.templates.hh WRD_coefficient_types.defs.hh WRD_coefficient_types.inlines.hh checked_numeric_limits.hh GMP_Integer.defs.hh GMP_Integer.inlines.hh Coefficient.defs.hh Coefficient.inlines.hh stdiobuf.defs.hh stdiobuf.inlines.hh c_streambuf.defs.hh c_streambuf.inlines.hh globals.defs.hh globals.inlines.hh math_utilities.defs.hh math_utilities.inlines.hh iterator_to_const.defs.hh iterator_to_const.inlines.hh distances.defs.hh distances.inlines.hh Boundary.defs.hh intervals.defs.hh Interval_Info.defs.hh Interval_Info.inlines.hh Interval.defs.hh Interval.inlines.hh Interval.templates.hh Box.defs.hh Box_Status.inlines.hh Box.inlines.hh Box.templates.hh Integer_Interval.hh Rational_Interval.hh Rational_Box.hh Variable.defs.hh Variable.inlines.hh Variables_Set.defs.hh Variables_Set.inlines.hh Init.defs.hh Init.inlines.hh initializer.hh Topology.types.hh Dense_Row.defs.hh Dense_Row.inlines.hh Dense_Row.templates.hh CO_Tree.defs.hh CO_Tree.inlines.hh CO_Tree.templates.hh Sparse_Row.defs.hh Sparse_Row.inlines.hh Sparse_Row.templates.hh Bit_Row.defs.hh Bit_Row.inlines.hh Linear_System.defs.hh Linear_System.inlines.hh Linear_System.templates.hh Bit_Matrix.defs.hh Bit_Matrix.inlines.hh Constraint_System.defs.hh Generator_System.defs.hh Grid_Generator_System.defs.hh Congruence_System.defs.hh Linear_Expression.defs.hh Linear_Expression.inlines.hh Expression_Hide_Last.defs.hh Expression_Hide_Last.inlines.hh Expression_Hide_Inhomo.defs.hh Expression_Hide_Inhomo.inlines.hh Linear_Expression_Impl.defs.hh Linear_Expression_Impl.inlines.hh Linear_Expression_Impl.templates.hh Linear_Expression_Interface.defs.hh Linear_Form.defs.hh Linear_Form.inlines.hh Linear_Form.templates.hh linearize.hh Constraint.defs.hh Constraint.inlines.hh Constraint_System.inlines.hh Generator.defs.hh Generator.inlines.hh Grid_Generator.defs.hh Grid_Generator.inlines.hh Congruence.defs.hh Congruence.inlines.hh Generator_System.inlines.hh Grid_Generator_System.inlines.hh Congruence_System.inlines.hh Scalar_Products.defs.hh Scalar_Products.inlines.hh Matrix.defs.hh Matrix.inlines.hh Matrix.templates.hh Swapping_Vector.defs.hh Swapping_Vector.inlines.hh MIP_Problem.types.hh MIP_Problem.defs.hh MIP_Problem.inlines.hh MIP_Problem.templates.hh PIP_Tree.types.hh PIP_Tree.defs.hh PIP_Tree.inlines.hh PIP_Problem.types.hh PIP_Problem.defs.hh PIP_Problem.inlines.hh PIP_Problem.templates.hh Poly_Con_Relation.defs.hh Poly_Con_Relation.inlines.hh Poly_Gen_Relation.defs.hh Poly_Gen_Relation.inlines.hh BHRZ03_Certificate.defs.hh BHRZ03_Certificate.inlines.hh H79_Certificate.defs.hh H79_Certificate.inlines.hh Grid_Certificate.defs.hh Grid_Certificate.inlines.hh Partial_Function.defs.hh Partial_Function.inlines.hh Polyhedron.defs.hh Ph_Status.inlines.hh Polyhedron.inlines.hh Polyhedron_chdims.templates.hh Polyhedron_conversion.templates.hh Polyhedron_minimize.templates.hh Polyhedron_simplify.templates.hh Polyhedron.templates.hh Grid.defs.hh Grid_Status.inlines.hh Grid.inlines.hh Grid.templates.hh C_Polyhedron.defs.hh C_Polyhedron.inlines.hh NNC_Polyhedron.defs.hh NNC_Polyhedron.inlines.hh Widening_Function.types.hh Widening_Function.defs.hh Widening_Function.inlines.hh Ptr_Iterator.defs.hh Ptr_Iterator.inlines.hh DB_Row.defs.hh DB_Row.inlines.hh DB_Row.templates.hh DB_Matrix.defs.hh DB_Matrix.inlines.hh DB_Matrix.templates.hh BD_Shape.defs.hh BDS_Status.inlines.hh BD_Shape.inlines.hh BD_Shape.templates.hh OR_Matrix.defs.hh OR_Matrix.inlines.hh OR_Matrix.templates.hh Octagonal_Shape.defs.hh Og_Status.inlines.hh Octagonal_Shape.inlines.hh Octagonal_Shape.templates.hh Determinate.types.hh Determinate.defs.hh Determinate.inlines.hh Powerset.types.hh Powerset.defs.hh Powerset.inlines.hh Powerset.templates.hh Pointset_Powerset.types.hh Pointset_Powerset.defs.hh Pointset_Powerset.inlines.hh Pointset_Powerset.templates.hh Partially_Reduced_Product.types.hh Partially_Reduced_Product.defs.hh Partially_Reduced_Product.inlines.hh Partially_Reduced_Product.templates.hh Weight_Profiler.defs.hh max_space_dimension.hh algorithms.hh termination.defs.hh termination.templates.hh wrap_assign.hh wrap_string.hh Floating_Point_Expression.types.hh Floating_Point_Expression.defs.hh Floating_Point_Expression.inlines.hh Floating_Point_Expression.templates.hh Cast_Floating_Point_Expression.types.hh Cast_Floating_Point_Expression.defs.hh Cast_Floating_Point_Expression.inlines.hh Cast_Floating_Point_Expression.templates.hh Constant_Floating_Point_Expression.types.hh Constant_Floating_Point_Expression.defs.hh Constant_Floating_Point_Expression.inlines.hh Variable_Floating_Point_Expression.types.hh Variable_Floating_Point_Expression.defs.hh Variable_Floating_Point_Expression.inlines.hh Sum_Floating_Point_Expression.types.hh Sum_Floating_Point_Expression.defs.hh Sum_Floating_Point_Expression.inlines.hh Sum_Floating_Point_Expression.templates.hh Difference_Floating_Point_Expression.types.hh Difference_Floating_Point_Expression.defs.hh Difference_Floating_Point_Expression.inlines.hh Difference_Floating_Point_Expression.templates.hh Multiplication_Floating_Point_Expression.types.hh Multiplication_Floating_Point_Expression.defs.hh Multiplication_Floating_Point_Expression.inlines.hh Multiplication_Floating_Point_Expression.templates.hh Division_Floating_Point_Expression.types.hh Division_Floating_Point_Expression.defs.hh Division_Floating_Point_Expression.inlines.hh Division_Floating_Point_Expression.templates.hh Opposite_Floating_Point_Expression.types.hh Opposite_Floating_Point_Expression.defs.hh Opposite_Floating_Point_Expression.inlines.hh Doubly_Linked_Object.types.hh EList.types.hh EList_Iterator.types.hh Handler.types.hh Pending_Element.types.hh Pending_List.types.hh Time.types.hh Watchdog.types.hh Threshold_Watcher.types.hh Handler.defs.hh Handler.inlines.hh Time.defs.hh Time.inlines.hh Doubly_Linked_Object.defs.hh Doubly_Linked_Object.inlines.hh EList_Iterator.defs.hh EList_Iterator.inlines.hh EList.defs.hh EList.inlines.hh Pending_Element.defs.hh Pending_Element.inlines.hh Pending_List.defs.hh Pending_List.inlines.hh Pending_List.templates.hh Watchdog.defs.hh Watchdog.inlines.hh Threshold_Watcher.defs.hh Threshold_Watcher.inlines.hh Threshold_Watcher.templates.hh ) || echo "$i" ; \
698done > ppl_include_files.hh
699../utils/build_header \
700        -I .. -I ../src \
701        ../src/ppl_header.hh >ppl.hh
702../utils/text2cxxarray --name=BUGS_array --decl-only \
703        ../BUGS >>BUGS.hh
704../utils/text2cxxarray --name=BUGS_array \
705        ../BUGS >BUGS.cc
706../utils/text2cxxarray --name=COPYING_array --decl-only \
707        ../COPYING >>COPYING.hh
708../utils/text2cxxarray --name=COPYING_array \
709        ../COPYING >COPYING.cc
710../utils/text2cxxarray --name=CREDITS_array --decl-only \
711        ../CREDITS >>CREDITS.hh
712../utils/text2cxxarray --name=CREDITS_array \
713        ../CREDITS >CREDITS.cc
714make  all-am
715make[5]: Entering directory `/home/pong/sage-current/spkg/build/ppl-1.0/src/src'
716/bin/sh ../libtool  --tag=CXX   --mode=compile g++ -DHAVE_CONFIG_H -I. -I..  -I.. -I../src -I/home/pong/sage-current/local/include   -g -O2 -frounding-math  -I/home/pong/sage-current/local/include -W -Wall -MT assert.lo -MD -MP -MF .deps/assert.Tpo -c -o assert.lo assert.cc
717libtool: compile:  g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -I/home/pong/sage-current/local/include -g -O2 -frounding-math -I/home/pong/sage-current/local/include -W -Wall -MT assert.lo -MD -MP -MF .deps/assert.Tpo -c assert.cc  -fPIC -DPIC -o .libs/assert.o
718libtool: compile:  g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -I/home/pong/sage-current/local/include -g -O2 -frounding-math -I/home/pong/sage-current/local/include -W -Wall -MT assert.lo -MD -MP -MF .deps/assert.Tpo -c assert.cc -o assert.o >/dev/null 2>&1
719mv -f .deps/assert.Tpo .deps/assert.Plo
720/bin/sh ../libtool  --tag=CXX   --mode=compile g++ -DHAVE_CONFIG_H -I. -I..  -I.. -I../src -I/home/pong/sage-current/local/include   -g -O2 -frounding-math  -I/home/pong/sage-current/local/include -W -Wall -MT Box.lo -MD -MP -MF .deps/Box.Tpo -c -o Box.lo Box.cc
721libtool: compile:  g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -I/home/pong/sage-current/local/include -g -O2 -frounding-math -I/home/pong/sage-current/local/include -W -Wall -MT Box.lo -MD -MP -MF .deps/Box.Tpo -c Box.cc  -fPIC -DPIC -o .libs/Box.o
722In file included from checked.defs.hh:30:0,
723                 from Checked_Number.defs.hh:28,
724                 from Coefficient.types.hh:16,
725                 from Coefficient.defs.hh:27,
726                 from Box.defs.hh:29,
727                 from Box.cc:25:
728mp_std_bits.defs.hh:47:7: error: redefinition of 'class std::numeric_limits<__gmp_expr<__mpz_struct [1], __mpz_struct [1]> >'
729/usr/include/gmpxx.h:3269:21: error: previous definition of 'class std::numeric_limits<__gmp_expr<__mpz_struct [1], __mpz_struct [1]> >'
730mp_std_bits.defs.hh:108:7: error: redefinition of 'class std::numeric_limits<__gmp_expr<__mpq_struct [1], __mpq_struct [1]> >'
731/usr/include/gmpxx.h:3306:21: error: previous definition of 'class std::numeric_limits<__gmp_expr<__mpq_struct [1], __mpq_struct [1]> >'
732make[5]: *** [Box.lo] Error 1
733make[5]: Leaving directory `/home/pong/sage-current/spkg/build/ppl-1.0/src/src'
734make[4]: *** [all] Error 2
735make[4]: Leaving directory `/home/pong/sage-current/spkg/build/ppl-1.0/src/src'
736make[3]: *** [all-recursive] Error 1
737make[3]: Leaving directory `/home/pong/sage-current/spkg/build/ppl-1.0/src'
738make[2]: *** [all] Error 2
739make[2]: Leaving directory `/home/pong/sage-current/spkg/build/ppl-1.0/src'
740Error building the Parma Polyhedra Library.
741
742real    0m33.170s
743user    0m13.877s
744sys     0m6.043s
745************************************************************************
746Error installing package ppl-1.0
747************************************************************************
748Please email sage-devel (http://groups.google.com/group/sage-devel)
749explaining the problem and including the relevant part of the log file
750  /home/pong/sage-current/spkg/logs/ppl-1.0.log
751Describe your computer, operating system, etc.
752If you want to try to fix the problem yourself, *don't* just cd to
753/home/pong/sage-current/spkg/build/ppl-1.0 and type 'make' or whatever is appropriate.
754Instead, the following commands setup all environment variables
755correctly and load a subshell for you to debug the error:
756  (cd '/home/pong/sage-current/spkg/build/ppl-1.0' && '/home/pong/sage-current/sage' -sh)
757When you are done debugging, you can type "exit" to leave the subshell.
758************************************************************************
759Attempting to download package ppl-1.0
760>>> Downloading ppl-1.0.spkg.
761[............................................................]
762ppl-1.0
763====================================================
764Extracting package /home/pong/sage-current/spkg/optional/ppl-1.0.spkg
765-rw-r--r-- 1 pong users 15454005 Mar  3 14:28 /home/pong/sage-current/spkg/optional/ppl-1.0.spkg
766Finished extraction
767****************************************************
768Host system:
769Linux Arch-T 3.7.9-2-ARCH #1 SMP PREEMPT Mon Feb 25 12:04:25 CET 2013 x86_64 GNU/Linux
770****************************************************
771C compiler: gcc
772C compiler version:
773Using built-in specs.
774COLLECT_GCC=gcc
775COLLECT_LTO_WRAPPER=/home/pong/sage-current/local/libexec/gcc/x86_64-unknown-linux-gnu/4.6.3/lto-wrapper
776Target: x86_64-unknown-linux-gnu
777Configured with: ../src/configure --prefix=/home/pong/sage-current/local --with-local-prefix=/home/pong/sage-current/local --with-gmp=/home/pong/sage-current/local --with-mpfr=/home/pong/sage-current/local --with-mpc=/home/pong/sage-current/local --with-system-zlib --disable-multilib 
778Thread model: posix
779gcc version 4.6.3 (GCC)
780****************************************************
781patching file tests/Makefile.in
782Hunk #1 succeeded at 388 with fuzz 2 (offset -7 lines).
783checking build system type... x86_64-unknown-linux-gnu
784checking host system type... x86_64-unknown-linux-gnu
785checking for a BSD-compatible install... /usr/bin/install -c
786checking whether build environment is sane... yes
787checking for a thread-safe mkdir -p... /bin/mkdir -p
788checking for gawk... gawk
789checking whether make sets $(MAKE)... yes
790checking whether make supports nested variables... yes
791checking how to create a ustar tar archive... gnutar
792checking for gcc... gcc
793checking whether the C compiler works... yes
794checking for C compiler default output file name... a.out
795checking for suffix of executables...
796checking whether we are cross compiling... no
797checking for suffix of object files... o
798checking whether we are using the GNU C compiler... yes
799checking whether gcc accepts -g... yes
800checking for gcc option to accept ISO C89... none needed
801checking for style of include used by make... GNU
802checking dependency style of gcc... gcc3
803checking whether we are actually using the Intel C compiler... no
804checking whether we are actually using Clang... no
805checking whether we are using the GNU C++ compiler... yes
806checking whether g++ accepts -g... yes
807checking dependency style of g++... gcc3
808checking whether we are actually using the Intel C++ compiler... no
809checking whether we are actually using clang++... no
810checking for grep that handles long lines and -e... /usr/bin/grep
811checking for fgrep... /usr/bin/grep -F
812checking for egrep... /usr/bin/grep -E
813checking for a sed that does not truncate output... /bin/sed
814checking how to run the C++ preprocessor... g++ -E
815checking whether make sets $(MAKE)... (cached) yes
816checking whether to compile with debug info... yes
817checking whether to compile for profiling... no
818checking whether to compile for test coverage... no
819checking whether to enable checking of run-time assertions... no
820checking whether to enable even more run-time assertions... no
821checking whether to enable optimizations... standard
822checking for which architecture to optimize... default
823checking whether to use (a specific) floating point arithmetic... no
824checking whether to use precompiled headers... no
825checking the type of integral values to use as coefficients... GMP mpz
826checking for an ANSI C-conforming const... yes
827checking for inline... inline
828checking how to run the C preprocessor... cpp
829checking for ANSI C header files... yes
830checking for sys/types.h... yes
831checking for sys/stat.h... yes
832checking for stdlib.h... yes
833checking for string.h... yes
834checking for memory.h... yes
835checking for strings.h... yes
836checking for inttypes.h... yes
837checking for stdint.h... yes
838checking for unistd.h... yes
839checking whether byte ordering is bigendian... no
840checking for typeof syntax and keyword spelling... typeof
841checking size of char... 1
842checking size of short... 2
843checking size of int... 4
844checking size of long... 8
845checking size of long long... 8
846checking size of size_t... 8
847checking size of float... 4
848checking size of double... 8
849checking size of long double... 16
850checking size of int*... 8
851checking size of fp... 8
852checking for perl... /usr/bin/perl
853checking for library containing sqrt... none required
854checking whether the plain char type is signed... yes
855checking whether the C++ compiler provides proper long doubles... yes
856checking the binary format of C++ floats... IEEE754 Single Precision
857checking the binary format of C++ doubles... IEEE754 Double Precision
858checking the binary format of C++ long doubles... Intel Double-Extended
859checking whether the C++ compiler supports zero-length arrays... yes
860checking whether the IEEE inexact flag is supported in C++... no
861checking whether the C++ compiler supports __attribute__ ((weak))... yes
862checking fenv.h usability... yes
863checking fenv.h presence... yes
864checking for fenv.h... yes
865checking ieeefp.h usability... no
866checking ieeefp.h presence... no
867checking for ieeefp.h... no
868checking getopt.h usability... yes
869checking getopt.h presence... yes
870checking for getopt.h... yes
871checking signal.h usability... yes
872checking signal.h presence... yes
873checking for signal.h... yes
874checking for string.h... (cached) yes
875checking for strings.h... (cached) yes
876checking sys/resource.h usability... yes
877checking sys/resource.h presence... yes
878checking for sys/resource.h... yes
879checking sys/time.h usability... yes
880checking sys/time.h presence... yes
881checking for sys/time.h... yes
882checking for sys/types.h... (cached) yes
883checking for unistd.h... (cached) yes
884checking whether ffs is declared... yes
885checking whether getenv is declared... yes
886checking whether strtof is declared... yes
887checking whether strtod is declared... yes
888checking whether strtold is declared... yes
889checking whether strtoll is declared... yes
890checking whether strtoull is declared... yes
891checking whether fma is declared... yes
892checking whether fmaf is declared... yes
893checking whether fmal is declared... yes
894checking whether rintf is declared... yes
895checking whether rintl is declared... yes
896checking for int_fast16_t... yes
897checking for int_fast32_t... yes
898checking for int_fast64_t... yes
899checking for uint_fast16_t... yes
900checking for uint_fast32_t... yes
901checking for uint_fast64_t... yes
902checking for uintptr_t... yes
903checking for the GMP library version 4.1.3 or above... yes
904checking size of mp_limb_t... 8
905checking whether GMP has been compiled with support for exceptions... yes
906checking for __mpz_struct._mp_alloc... yes
907checking for __mpz_struct._mp_size... yes
908checking for __mpz_struct._mp_d... yes
909checking whether to build the ppl_lcdd program... yes
910checking whether to build the ppl_lpsol program... yes
911checking whether to build the ppl_pips program... yes
912checking whether to build the PPL documentation... yes
913checking which interfaces are enabled... cxx
914checking which instantiations are enabled... Polyhedron@Grid@Rational_Box@BD_Shape<mpz_class>@BD_Shape<mpq_class>@Octagonal_Shape<mpz_class>@Octagonal_Shape<mpq_class>@Constraints_Product<C_Polyhedron,Grid>@Pointset_Powerset<C_Polyhedron>@Pointset_Powerset<NNC_Polyhedron>
915checking whether tests should be run under Valgrind... no
916checking whether `make check' does a thorough or quick check... quick
917checking how to print strings... printf
918checking for a sed that does not truncate output... (cached) /bin/sed
919checking for ld used by gcc... ld
920checking if the linker (ld) is GNU ld... yes
921checking for BSD- or MS-compatible name lister (nm)... /usr/bin/nm -B
922checking the name lister (/usr/bin/nm -B) interface... BSD nm
923checking whether ln -s works... yes
924checking the maximum length of command line arguments... 1572864
925checking whether the shell understands some XSI constructs... yes
926checking whether the shell understands "+="... yes
927checking how to convert x86_64-unknown-linux-gnu file names to x86_64-unknown-linux-gnu format... func_convert_file_noop
928checking how to convert x86_64-unknown-linux-gnu file names to toolchain format... func_convert_file_noop
929checking for ld option to reload object files... -r
930checking for objdump... objdump
931checking how to recognize dependent libraries... pass_all
932checking for dlltool... no
933checking how to associate runtime and link libraries... printf %s\n
934checking for archiver @FILE support... @
935checking for strip... strip
936checking for ranlib... ranlib
937checking command to parse /usr/bin/nm -B output from gcc object... ok
938checking for sysroot... no
939checking for mt... no
940checking if : is a manifest tool... no
941checking for dlfcn.h... yes
942checking for objdir... .libs
943checking if gcc supports -fno-rtti -fno-exceptions... no
944checking for gcc option to produce PIC... -fPIC -DPIC
945checking if gcc PIC flag -fPIC -DPIC works... yes
946checking if gcc static flag -static works... yes
947checking if gcc supports -c -o file.o... yes
948checking if gcc supports -c -o file.o... (cached) yes
949checking whether the gcc linker (ld -m elf_x86_64) supports shared libraries... yes
950checking whether -lc should be explicitly linked in... no
951checking dynamic linker characteristics... GNU/Linux ld.so
952checking how to hardcode library paths into programs... immediate
953checking for shl_load... no
954checking for shl_load in -ldld... no
955checking for dlopen... no
956checking for dlopen in -ldl... yes
957checking whether a program can dlopen itself... yes
958checking whether a statically linked program can dlopen itself... no
959checking whether stripping libraries is possible... yes
960checking if libtool supports shared libraries... yes
961checking whether to build shared libraries... yes
962checking whether to build static libraries... yes
963checking how to run the C++ preprocessor... g++ -E
964checking for ld used by g++... ld -m elf_x86_64
965checking if the linker (ld -m elf_x86_64) is GNU ld... yes
966checking whether the g++ linker (ld -m elf_x86_64) supports shared libraries... yes
967checking for g++ option to produce PIC... -fPIC -DPIC
968checking if g++ PIC flag -fPIC -DPIC works... yes
969checking if g++ static flag -static works... yes
970checking if g++ supports -c -o file.o... yes
971checking if g++ supports -c -o file.o... (cached) yes
972checking whether the g++ linker (ld -m elf_x86_64) supports shared libraries... yes
973checking dynamic linker characteristics... (cached) GNU/Linux ld.so
974checking how to hardcode library paths into programs... immediate
975checking for md5sum... md5sum
976checking for the text md5sum command... md5sum -t
977checking glpk.h usability... yes
978checking glpk.h presence... yes
979checking for glpk.h... yes
980checking glpk/glpk.h usability... no
981checking glpk/glpk.h presence... no
982checking for glpk/glpk.h... no
983checking whether lib_set_print_hook is declared... no
984checking for _glp_lib_print_hook... no
985checking whether glp_term_out is declared... yes
986checking whether glp_term_hook is declared... yes
987checking whether RLIMIT_DATA is declared... yes
988checking whether RLIMIT_RSS is declared... yes
989checking whether RLIMIT_VMEM is declared... no
990checking whether RLIMIT_AS is declared... yes
991checking whether getrusage is declared... yes
992checking whether setrlimit is declared... yes
993checking whether setitimer is declared... yes
994checking whether sigaction is declared... yes
995checking for timeval... yes
996checking for siginfo_t... yes
997checking whether we can limit memory in C++ using setrlimit()... yes
998configure: creating ./config.status
999config.status: creating Makefile
1000config.status: creating ppl.lsm
1001config.status: creating src/Makefile
1002config.status: creating src/version.hh
1003config.status: creating src/ppl-config.cc
1004config.status: creating tests/Makefile
1005config.status: creating tests/BD_Shape/Makefile
1006config.status: creating tests/Box/Makefile
1007config.status: creating tests/Concrete_Expression/Makefile
1008config.status: creating tests/CO_Tree/Makefile
1009config.status: creating tests/Grid/Makefile
1010config.status: creating tests/MIP_Problem/Makefile
1011config.status: creating tests/Octagonal_Shape/Makefile
1012config.status: creating tests/Partially_Reduced_Product/Makefile
1013config.status: creating tests/PIP_Problem/Makefile
1014config.status: creating tests/Polyhedron/Makefile
1015config.status: creating tests/Powerset/Makefile
1016config.status: creating tests/Watchdog/Makefile
1017config.status: creating utils/Makefile
1018config.status: creating m4/Makefile
1019config.status: creating demos/Makefile
1020config.status: creating demos/ppl_lcdd/Makefile
1021config.status: creating demos/ppl_lcdd/examples/Makefile
1022config.status: creating demos/ppl_lpsol/Makefile
1023config.status: creating demos/ppl_lpsol/examples/Makefile
1024config.status: creating demos/ppl_pips/Makefile
1025config.status: creating demos/ppl_pips/examples/Makefile
1026config.status: creating doc/Makefile
1027config.status: creating doc/user.doxyconf-latex
1028config.status: creating doc/devref.doxyconf-latex
1029config.status: creating doc/user.doxyconf-html
1030config.status: creating doc/devref.doxyconf-html
1031config.status: creating doc/user-language-interface.doxyconf
1032config.status: creating doc/devref-language-interface.doxyconf
1033config.status: creating interfaces/Makefile
1034config.status: creating interfaces/C/Makefile
1035config.status: creating interfaces/C/ppl_c_version.h
1036config.status: creating interfaces/C/tests/Makefile
1037config.status: creating interfaces/Java/Makefile
1038config.status: creating interfaces/Java/jni/Makefile
1039config.status: creating interfaces/Java/tests/Makefile
1040config.status: creating interfaces/Java/parma_polyhedra_library/Makefile
1041config.status: creating interfaces/OCaml/Makefile
1042config.status: creating interfaces/OCaml/tests/Makefile
1043config.status: creating interfaces/Prolog/Makefile
1044config.status: creating interfaces/Prolog/Ciao/Makefile
1045config.status: creating interfaces/Prolog/GNU/Makefile
1046config.status: creating interfaces/Prolog/SICStus/Makefile
1047config.status: creating interfaces/Prolog/SWI/Makefile
1048config.status: creating interfaces/Prolog/XSB/Makefile
1049config.status: creating interfaces/Prolog/YAP/Makefile
1050config.status: creating interfaces/Prolog/tests/Makefile
1051config.status: creating config.h
1052config.status: executing depfiles commands
1053config.status: executing libtool commands
1054make  all-recursive
1055make[1]: Entering directory `/home/pong/sage-current/spkg/build/ppl-1.0/src'
1056Making all in .
1057make[2]: Entering directory `/home/pong/sage-current/spkg/build/ppl-1.0/src'
1058/bin/sed -f ./ppl-config.sed config.h >ppl-config.h
1059make[2]: Leaving directory `/home/pong/sage-current/spkg/build/ppl-1.0/src'
1060Making all in utils
1061make[2]: Entering directory `/home/pong/sage-current/spkg/build/ppl-1.0/src/utils'
1062g++ -DHAVE_CONFIG_H -I. -I..  -I/home/pong/sage-current/local/include   -g -O2 -frounding-math  -I/home/pong/sage-current/local/include -W -Wall -MT timings.o -MD -MP -MF .deps/timings.Tpo -c -o timings.o timings.cc
1063mv -f .deps/timings.Tpo .deps/timings.Po
1064rm -f libppl_utils.a
1065ar cru libppl_utils.a timings.o
1066ranlib libppl_utils.a
1067/bin/sed -e 's,[@]PERL[@],/usr/bin/perl,g' -e 's,[@]generated_automatically[@],Generated automatically: do not modify; modify the .in file instead.,g' < ./build_header.in > build_header
1068chmod +x build_header
1069/bin/sed -e 's,[@]PERL[@],/usr/bin/perl,g' -e 's,[@]generated_automatically[@],Generated automatically: do not modify; modify the .in file instead.,g' < ./text2cxxarray.in > text2cxxarray
1070chmod +x text2cxxarray
1071make[2]: Leaving directory `/home/pong/sage-current/spkg/build/ppl-1.0/src/utils'
1072Making all in src
1073make[2]: Entering directory `/home/pong/sage-current/spkg/build/ppl-1.0/src/src'
1074for file in namespaces.hh compiler.hh assert.hh meta_programming.hh Slow_Copy.hh Has_Assign_Or_Swap.hh assign_or_swap.hh mp_std_bits.defs.hh mp_std_bits.inlines.hh Concrete_Expression.types.hh Concrete_Expression.defs.hh Concrete_Expression.inlines.hh Temp.defs.hh Temp.inlines.hh Temp.templates.hh Coefficient_traits_template.hh Checked_Number.types.hh termination.types.hh GMP_Integer.types.hh Coefficient.types.hh stdiobuf.types.hh c_streambuf.types.hh globals.types.hh iterator_to_const.types.hh distances.types.hh Interval_Info.types.hh Interval.types.hh Box.types.hh Constraint.types.hh Generator.types.hh Grid_Generator.types.hh Congruence.types.hh Init.types.hh Dense_Row.types.hh CO_Tree.types.hh Sparse_Row.types.hh Matrix.types.hh Swapping_Vector.types.hh Variable.types.hh Variables_Set.types.hh Linear_Expression.types.hh Expression_Hide_Last.types.hh Expression_Hide_Inhomo.types.hh Linear_Expression_Impl.types.hh Linear_Expression_Interface.types.hh Linear_System.types.hh Linear_Form.types.hh Bit_Row.types.hh Bit_Matrix.types.hh Constraint_System.types.hh Generator_System.types.hh Grid_Generator_System.types.hh Congruence_System.types.hh Scalar_Products.types.hh PIP_Tree.types.hh PIP_Problem.types.hh Poly_Con_Relation.types.hh Poly_Gen_Relation.types.hh BHRZ03_Certificate.types.hh H79_Certificate.types.hh Grid_Certificate.types.hh Partial_Function.types.hh Polyhedron.types.hh C_Polyhedron.types.hh NNC_Polyhedron.types.hh Grid.types.hh Ptr_Iterator.types.hh DB_Row.types.hh DB_Matrix.types.hh BD_Shape.types.hh OR_Matrix.types.hh Octagonal_Shape.types.hh fpu.types.hh Float.defs.hh Float.inlines.hh Float.templates.hh C_Integer.hh fpu.defs.hh fpu-c99.inlines.hh fpu-ia32.inlines.hh fpu-none.inlines.hh fpu-sparc.inlines.hh Rounding_Dir.defs.hh Rounding_Dir.inlines.hh Result.defs.hh Result.inlines.hh Numeric_Format.defs.hh checked.defs.hh checked.inlines.hh checked_int.inlines.hh checked_float.inlines.hh checked_mpz.inlines.hh checked_mpq.inlines.hh checked_ext.inlines.hh Checked_Number.defs.hh Checked_Number.inlines.hh Checked_Number.templates.hh WRD_coefficient_types.defs.hh WRD_coefficient_types.inlines.hh checked_numeric_limits.hh GMP_Integer.defs.hh GMP_Integer.inlines.hh Coefficient.defs.hh Coefficient.inlines.hh stdiobuf.defs.hh stdiobuf.inlines.hh c_streambuf.defs.hh c_streambuf.inlines.hh globals.defs.hh globals.inlines.hh math_utilities.defs.hh math_utilities.inlines.hh iterator_to_const.defs.hh iterator_to_const.inlines.hh distances.defs.hh distances.inlines.hh Boundary.defs.hh intervals.defs.hh Interval_Info.defs.hh Interval_Info.inlines.hh Interval.defs.hh Interval.inlines.hh Interval.templates.hh Box.defs.hh Box_Status.inlines.hh Box.inlines.hh Box.templates.hh Integer_Interval.hh Rational_Interval.hh Rational_Box.hh Variable.defs.hh Variable.inlines.hh Variables_Set.defs.hh Variables_Set.inlines.hh Init.defs.hh Init.inlines.hh initializer.hh Topology.types.hh Dense_Row.defs.hh Dense_Row.inlines.hh Dense_Row.templates.hh CO_Tree.defs.hh CO_Tree.inlines.hh CO_Tree.templates.hh Sparse_Row.defs.hh Sparse_Row.inlines.hh Sparse_Row.templates.hh Bit_Row.defs.hh Bit_Row.inlines.hh Linear_System.defs.hh Linear_System.inlines.hh Linear_System.templates.hh Bit_Matrix.defs.hh Bit_Matrix.inlines.hh Constraint_System.defs.hh Generator_System.defs.hh Grid_Generator_System.defs.hh Congruence_System.defs.hh Linear_Expression.defs.hh Linear_Expression.inlines.hh Expression_Hide_Last.defs.hh Expression_Hide_Last.inlines.hh Expression_Hide_Inhomo.defs.hh Expression_Hide_Inhomo.inlines.hh Linear_Expression_Impl.defs.hh Linear_Expression_Impl.inlines.hh Linear_Expression_Impl.templates.hh Linear_Expression_Interface.defs.hh Linear_Form.defs.hh Linear_Form.inlines.hh Linear_Form.templates.hh linearize.hh Constraint.defs.hh Constraint.inlines.hh Constraint_System.inlines.hh Generator.defs.hh Generator.inlines.hh Grid_Generator.defs.hh Grid_Generator.inlines.hh Congruence.defs.hh Congruence.inlines.hh Generator_System.inlines.hh Grid_Generator_System.inlines.hh Congruence_System.inlines.hh Scalar_Products.defs.hh Scalar_Products.inlines.hh Matrix.defs.hh Matrix.inlines.hh Matrix.templates.hh Swapping_Vector.defs.hh Swapping_Vector.inlines.hh MIP_Problem.types.hh MIP_Problem.defs.hh MIP_Problem.inlines.hh MIP_Problem.templates.hh PIP_Tree.types.hh PIP_Tree.defs.hh PIP_Tree.inlines.hh PIP_Problem.types.hh PIP_Problem.defs.hh PIP_Problem.inlines.hh PIP_Problem.templates.hh Poly_Con_Relation.defs.hh Poly_Con_Relation.inlines.hh Poly_Gen_Relation.defs.hh Poly_Gen_Relation.inlines.hh BHRZ03_Certificate.defs.hh BHRZ03_Certificate.inlines.hh H79_Certificate.defs.hh H79_Certificate.inlines.hh Grid_Certificate.defs.hh Grid_Certificate.inlines.hh Partial_Function.defs.hh Partial_Function.inlines.hh Polyhedron.defs.hh Ph_Status.inlines.hh Polyhedron.inlines.hh Polyhedron_chdims.templates.hh Polyhedron_conversion.templates.hh Polyhedron_minimize.templates.hh Polyhedron_simplify.templates.hh Polyhedron.templates.hh Grid.defs.hh Grid_Status.inlines.hh Grid.inlines.hh Grid.templates.hh C_Polyhedron.defs.hh C_Polyhedron.inlines.hh NNC_Polyhedron.defs.hh NNC_Polyhedron.inlines.hh Widening_Function.types.hh Widening_Function.defs.hh Widening_Function.inlines.hh Ptr_Iterator.defs.hh Ptr_Iterator.inlines.hh DB_Row.defs.hh DB_Row.inlines.hh DB_Row.templates.hh DB_Matrix.defs.hh DB_Matrix.inlines.hh DB_Matrix.templates.hh BD_Shape.defs.hh BDS_Status.inlines.hh BD_Shape.inlines.hh BD_Shape.templates.hh OR_Matrix.defs.hh OR_Matrix.inlines.hh OR_Matrix.templates.hh Octagonal_Shape.defs.hh Og_Status.inlines.hh Octagonal_Shape.inlines.hh Octagonal_Shape.templates.hh Determinate.types.hh Determinate.defs.hh Determinate.inlines.hh Powerset.types.hh Powerset.defs.hh Powerset.inlines.hh Powerset.templates.hh Pointset_Powerset.types.hh Pointset_Powerset.defs.hh Pointset_Powerset.inlines.hh Pointset_Powerset.templates.hh Partially_Reduced_Product.types.hh Partially_Reduced_Product.defs.hh Partially_Reduced_Product.inlines.hh Partially_Reduced_Product.templates.hh Weight_Profiler.defs.hh max_space_dimension.hh algorithms.hh termination.defs.hh termination.templates.hh wrap_assign.hh wrap_string.hh Floating_Point_Expression.types.hh Floating_Point_Expression.defs.hh Floating_Point_Expression.inlines.hh Floating_Point_Expression.templates.hh Cast_Floating_Point_Expression.types.hh Cast_Floating_Point_Expression.defs.hh Cast_Floating_Point_Expression.inlines.hh Cast_Floating_Point_Expression.templates.hh Constant_Floating_Point_Expression.types.hh Constant_Floating_Point_Expression.defs.hh Constant_Floating_Point_Expression.inlines.hh Variable_Floating_Point_Expression.types.hh Variable_Floating_Point_Expression.defs.hh Variable_Floating_Point_Expression.inlines.hh Sum_Floating_Point_Expression.types.hh Sum_Floating_Point_Expression.defs.hh Sum_Floating_Point_Expression.inlines.hh Sum_Floating_Point_Expression.templates.hh Difference_Floating_Point_Expression.types.hh Difference_Floating_Point_Expression.defs.hh Difference_Floating_Point_Expression.inlines.hh Difference_Floating_Point_Expression.templates.hh Multiplication_Floating_Point_Expression.types.hh Multiplication_Floating_Point_Expression.defs.hh Multiplication_Floating_Point_Expression.inlines.hh Multiplication_Floating_Point_Expression.templates.hh Division_Floating_Point_Expression.types.hh Division_Floating_Point_Expression.defs.hh Division_Floating_Point_Expression.inlines.hh Division_Floating_Point_Expression.templates.hh Opposite_Floating_Point_Expression.types.hh Opposite_Floating_Point_Expression.defs.hh Opposite_Floating_Point_Expression.inlines.hh Doubly_Linked_Object.types.hh EList.types.hh EList_Iterator.types.hh Handler.types.hh Pending_Element.types.hh Pending_List.types.hh Time.types.hh Watchdog.types.hh Threshold_Watcher.types.hh Handler.defs.hh Handler.inlines.hh Time.defs.hh Time.inlines.hh Doubly_Linked_Object.defs.hh Doubly_Linked_Object.inlines.hh EList_Iterator.defs.hh EList_Iterator.inlines.hh EList.defs.hh EList.inlines.hh Pending_Element.defs.hh Pending_Element.inlines.hh Pending_List.defs.hh Pending_List.inlines.hh Pending_List.templates.hh Watchdog.defs.hh Watchdog.inlines.hh Threshold_Watcher.defs.hh Threshold_Watcher.inlines.hh Threshold_Watcher.templates.hh ; \
1075do \
1076  i="#include \"$file\"" ; \
1077  ( cd ../src ; /usr/bin/grep -F -q "$i" namespaces.hh compiler.hh assert.hh meta_programming.hh Slow_Copy.hh Has_Assign_Or_Swap.hh assign_or_swap.hh mp_std_bits.defs.hh mp_std_bits.inlines.hh Concrete_Expression.types.hh Concrete_Expression.defs.hh Concrete_Expression.inlines.hh Temp.defs.hh Temp.inlines.hh Temp.templates.hh Coefficient_traits_template.hh Checked_Number.types.hh termination.types.hh GMP_Integer.types.hh Coefficient.types.hh stdiobuf.types.hh c_streambuf.types.hh globals.types.hh iterator_to_const.types.hh distances.types.hh Interval_Info.types.hh Interval.types.hh Box.types.hh Constraint.types.hh Generator.types.hh Grid_Generator.types.hh Congruence.types.hh Init.types.hh Dense_Row.types.hh CO_Tree.types.hh Sparse_Row.types.hh Matrix.types.hh Swapping_Vector.types.hh Variable.types.hh Variables_Set.types.hh Linear_Expression.types.hh Expression_Hide_Last.types.hh Expression_Hide_Inhomo.types.hh Linear_Expression_Impl.types.hh Linear_Expression_Interface.types.hh Linear_System.types.hh Linear_Form.types.hh Bit_Row.types.hh Bit_Matrix.types.hh Constraint_System.types.hh Generator_System.types.hh Grid_Generator_System.types.hh Congruence_System.types.hh Scalar_Products.types.hh PIP_Tree.types.hh PIP_Problem.types.hh Poly_Con_Relation.types.hh Poly_Gen_Relation.types.hh BHRZ03_Certificate.types.hh H79_Certificate.types.hh Grid_Certificate.types.hh Partial_Function.types.hh Polyhedron.types.hh C_Polyhedron.types.hh NNC_Polyhedron.types.hh Grid.types.hh Ptr_Iterator.types.hh DB_Row.types.hh DB_Matrix.types.hh BD_Shape.types.hh OR_Matrix.types.hh Octagonal_Shape.types.hh fpu.types.hh Float.defs.hh Float.inlines.hh Float.templates.hh C_Integer.hh fpu.defs.hh fpu-c99.inlines.hh fpu-ia32.inlines.hh fpu-none.inlines.hh fpu-sparc.inlines.hh Rounding_Dir.defs.hh Rounding_Dir.inlines.hh Result.defs.hh Result.inlines.hh Numeric_Format.defs.hh checked.defs.hh checked.inlines.hh checked_int.inlines.hh checked_float.inlines.hh checked_mpz.inlines.hh checked_mpq.inlines.hh checked_ext.inlines.hh Checked_Number.defs.hh Checked_Number.inlines.hh Checked_Number.templates.hh WRD_coefficient_types.defs.hh WRD_coefficient_types.inlines.hh checked_numeric_limits.hh GMP_Integer.defs.hh GMP_Integer.inlines.hh Coefficient.defs.hh Coefficient.inlines.hh stdiobuf.defs.hh stdiobuf.inlines.hh c_streambuf.defs.hh c_streambuf.inlines.hh globals.defs.hh globals.inlines.hh math_utilities.defs.hh math_utilities.inlines.hh iterator_to_const.defs.hh iterator_to_const.inlines.hh distances.defs.hh distances.inlines.hh Boundary.defs.hh intervals.defs.hh Interval_Info.defs.hh Interval_Info.inlines.hh Interval.defs.hh Interval.inlines.hh Interval.templates.hh Box.defs.hh Box_Status.inlines.hh Box.inlines.hh Box.templates.hh Integer_Interval.hh Rational_Interval.hh Rational_Box.hh Variable.defs.hh Variable.inlines.hh Variables_Set.defs.hh Variables_Set.inlines.hh Init.defs.hh Init.inlines.hh initializer.hh Topology.types.hh Dense_Row.defs.hh Dense_Row.inlines.hh Dense_Row.templates.hh CO_Tree.defs.hh CO_Tree.inlines.hh CO_Tree.templates.hh Sparse_Row.defs.hh Sparse_Row.inlines.hh Sparse_Row.templates.hh Bit_Row.defs.hh Bit_Row.inlines.hh Linear_System.defs.hh Linear_System.inlines.hh Linear_System.templates.hh Bit_Matrix.defs.hh Bit_Matrix.inlines.hh Constraint_System.defs.hh Generator_System.defs.hh Grid_Generator_System.defs.hh Congruence_System.defs.hh Linear_Expression.defs.hh Linear_Expression.inlines.hh Expression_Hide_Last.defs.hh Expression_Hide_Last.inlines.hh Expression_Hide_Inhomo.defs.hh Expression_Hide_Inhomo.inlines.hh Linear_Expression_Impl.defs.hh Linear_Expression_Impl.inlines.hh Linear_Expression_Impl.templates.hh Linear_Expression_Interface.defs.hh Linear_Form.defs.hh Linear_Form.inlines.hh Linear_Form.templates.hh linearize.hh Constraint.defs.hh Constraint.inlines.hh Constraint_System.inlines.hh Generator.defs.hh Generator.inlines.hh Grid_Generator.defs.hh Grid_Generator.inlines.hh Congruence.defs.hh Congruence.inlines.hh Generator_System.inlines.hh Grid_Generator_System.inlines.hh Congruence_System.inlines.hh Scalar_Products.defs.hh Scalar_Products.inlines.hh Matrix.defs.hh Matrix.inlines.hh Matrix.templates.hh Swapping_Vector.defs.hh Swapping_Vector.inlines.hh MIP_Problem.types.hh MIP_Problem.defs.hh MIP_Problem.inlines.hh MIP_Problem.templates.hh PIP_Tree.types.hh PIP_Tree.defs.hh PIP_Tree.inlines.hh PIP_Problem.types.hh PIP_Problem.defs.hh PIP_Problem.inlines.hh PIP_Problem.templates.hh Poly_Con_Relation.defs.hh Poly_Con_Relation.inlines.hh Poly_Gen_Relation.defs.hh Poly_Gen_Relation.inlines.hh BHRZ03_Certificate.defs.hh BHRZ03_Certificate.inlines.hh H79_Certificate.defs.hh H79_Certificate.inlines.hh Grid_Certificate.defs.hh Grid_Certificate.inlines.hh Partial_Function.defs.hh Partial_Function.inlines.hh Polyhedron.defs.hh Ph_Status.inlines.hh Polyhedron.inlines.hh Polyhedron_chdims.templates.hh Polyhedron_conversion.templates.hh Polyhedron_minimize.templates.hh Polyhedron_simplify.templates.hh Polyhedron.templates.hh Grid.defs.hh Grid_Status.inlines.hh Grid.inlines.hh Grid.templates.hh C_Polyhedron.defs.hh C_Polyhedron.inlines.hh NNC_Polyhedron.defs.hh NNC_Polyhedron.inlines.hh Widening_Function.types.hh Widening_Function.defs.hh Widening_Function.inlines.hh Ptr_Iterator.defs.hh Ptr_Iterator.inlines.hh DB_Row.defs.hh DB_Row.inlines.hh DB_Row.templates.hh DB_Matrix.defs.hh DB_Matrix.inlines.hh DB_Matrix.templates.hh BD_Shape.defs.hh BDS_Status.inlines.hh BD_Shape.inlines.hh BD_Shape.templates.hh OR_Matrix.defs.hh OR_Matrix.inlines.hh OR_Matrix.templates.hh Octagonal_Shape.defs.hh Og_Status.inlines.hh Octagonal_Shape.inlines.hh Octagonal_Shape.templates.hh Determinate.types.hh Determinate.defs.hh Determinate.inlines.hh Powerset.types.hh Powerset.defs.hh Powerset.inlines.hh Powerset.templates.hh Pointset_Powerset.types.hh Pointset_Powerset.defs.hh Pointset_Powerset.inlines.hh Pointset_Powerset.templates.hh Partially_Reduced_Product.types.hh Partially_Reduced_Product.defs.hh Partially_Reduced_Product.inlines.hh Partially_Reduced_Product.templates.hh Weight_Profiler.defs.hh max_space_dimension.hh algorithms.hh termination.defs.hh termination.templates.hh wrap_assign.hh wrap_string.hh Floating_Point_Expression.types.hh Floating_Point_Expression.defs.hh Floating_Point_Expression.inlines.hh Floating_Point_Expression.templates.hh Cast_Floating_Point_Expression.types.hh Cast_Floating_Point_Expression.defs.hh Cast_Floating_Point_Expression.inlines.hh Cast_Floating_Point_Expression.templates.hh Constant_Floating_Point_Expression.types.hh Constant_Floating_Point_Expression.defs.hh Constant_Floating_Point_Expression.inlines.hh Variable_Floating_Point_Expression.types.hh Variable_Floating_Point_Expression.defs.hh Variable_Floating_Point_Expression.inlines.hh Sum_Floating_Point_Expression.types.hh Sum_Floating_Point_Expression.defs.hh Sum_Floating_Point_Expression.inlines.hh Sum_Floating_Point_Expression.templates.hh Difference_Floating_Point_Expression.types.hh Difference_Floating_Point_Expression.defs.hh Difference_Floating_Point_Expression.inlines.hh Difference_Floating_Point_Expression.templates.hh Multiplication_Floating_Point_Expression.types.hh Multiplication_Floating_Point_Expression.defs.hh Multiplication_Floating_Point_Expression.inlines.hh Multiplication_Floating_Point_Expression.templates.hh Division_Floating_Point_Expression.types.hh Division_Floating_Point_Expression.defs.hh Division_Floating_Point_Expression.inlines.hh Division_Floating_Point_Expression.templates.hh Opposite_Floating_Point_Expression.types.hh Opposite_Floating_Point_Expression.defs.hh Opposite_Floating_Point_Expression.inlines.hh Doubly_Linked_Object.types.hh EList.types.hh EList_Iterator.types.hh Handler.types.hh Pending_Element.types.hh Pending_List.types.hh Time.types.hh Watchdog.types.hh Threshold_Watcher.types.hh Handler.defs.hh Handler.inlines.hh Time.defs.hh Time.inlines.hh Doubly_Linked_Object.defs.hh Doubly_Linked_Object.inlines.hh EList_Iterator.defs.hh EList_Iterator.inlines.hh EList.defs.hh EList.inlines.hh Pending_Element.defs.hh Pending_Element.inlines.hh Pending_List.defs.hh Pending_List.inlines.hh Pending_List.templates.hh Watchdog.defs.hh Watchdog.inlines.hh Threshold_Watcher.defs.hh Threshold_Watcher.inlines.hh Threshold_Watcher.templates.hh ) || echo "$i" ; \
1078done > ppl_include_files.hh
1079../utils/build_header \
1080        -I .. -I ../src \
1081        ../src/ppl_header.hh >ppl.hh
1082../utils/text2cxxarray --name=BUGS_array --decl-only \
1083        ../BUGS >>BUGS.hh
1084../utils/text2cxxarray --name=BUGS_array \
1085        ../BUGS >BUGS.cc
1086../utils/text2cxxarray --name=COPYING_array --decl-only \
1087        ../COPYING >>COPYING.hh
1088../utils/text2cxxarray --name=COPYING_array \
1089        ../COPYING >COPYING.cc
1090../utils/text2cxxarray --name=CREDITS_array --decl-only \
1091        ../CREDITS >>CREDITS.hh
1092../utils/text2cxxarray --name=CREDITS_array \
1093        ../CREDITS >CREDITS.cc
1094make  all-am
1095make[3]: Entering directory `/home/pong/sage-current/spkg/build/ppl-1.0/src/src'
1096/bin/sh ../libtool  --tag=CXX   --mode=compile g++ -DHAVE_CONFIG_H -I. -I..  -I.. -I../src -I/home/pong/sage-current/local/include   -g -O2 -frounding-math  -I/home/pong/sage-current/local/include -W -Wall -MT assert.lo -MD -MP -MF .deps/assert.Tpo -c -o assert.lo assert.cc
1097libtool: compile:  g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -I/home/pong/sage-current/local/include -g -O2 -frounding-math -I/home/pong/sage-current/local/include -W -Wall -MT assert.lo -MD -MP -MF .deps/assert.Tpo -c assert.cc  -fPIC -DPIC -o .libs/assert.o
1098libtool: compile:  g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -I/home/pong/sage-current/local/include -g -O2 -frounding-math -I/home/pong/sage-current/local/include -W -Wall -MT assert.lo -MD -MP -MF .deps/assert.Tpo -c assert.cc -o assert.o >/dev/null 2>&1
1099mv -f .deps/assert.Tpo .deps/assert.Plo
1100/bin/sh ../libtool  --tag=CXX   --mode=compile g++ -DHAVE_CONFIG_H -I. -I..  -I.. -I../src -I/home/pong/sage-current/local/include   -g -O2 -frounding-math  -I/home/pong/sage-current/local/include -W -Wall -MT Box.lo -MD -MP -MF .deps/Box.Tpo -c -o Box.lo Box.cc
1101libtool: compile:  g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -I/home/pong/sage-current/local/include -g -O2 -frounding-math -I/home/pong/sage-current/local/include -W -Wall -MT Box.lo -MD -MP -MF .deps/Box.Tpo -c Box.cc  -fPIC -DPIC -o .libs/Box.o
1102In file included from checked.defs.hh:30:0,
1103                 from Checked_Number.defs.hh:28,
1104                 from Coefficient.types.hh:16,
1105                 from Coefficient.defs.hh:27,
1106                 from Box.defs.hh:29,
1107                 from Box.cc:25:
1108mp_std_bits.defs.hh:47:7: error: redefinition of 'class std::numeric_limits<__gmp_expr<__mpz_struct [1], __mpz_struct [1]> >'
1109/usr/include/gmpxx.h:3269:21: error: previous definition of 'class std::numeric_limits<__gmp_expr<__mpz_struct [1], __mpz_struct [1]> >'
1110mp_std_bits.defs.hh:108:7: error: redefinition of 'class std::numeric_limits<__gmp_expr<__mpq_struct [1], __mpq_struct [1]> >'
1111/usr/include/gmpxx.h:3306:21: error: previous definition of 'class std::numeric_limits<__gmp_expr<__mpq_struct [1], __mpq_struct [1]> >'
1112make[3]: *** [Box.lo] Error 1
1113make[3]: Leaving directory `/home/pong/sage-current/spkg/build/ppl-1.0/src/src'
1114make[2]: *** [all] Error 2
1115make[2]: Leaving directory `/home/pong/sage-current/spkg/build/ppl-1.0/src/src'
1116make[1]: *** [all-recursive] Error 1
1117make[1]: Leaving directory `/home/pong/sage-current/spkg/build/ppl-1.0/src'
1118make: *** [all] Error 2
1119Error building the Parma Polyhedra Library.
1120
1121real    0m34.416s
1122user    0m14.243s
1123sys     0m5.943s
1124************************************************************************
1125Error installing package ppl-1.0
1126************************************************************************
1127Please email sage-devel (http://groups.google.com/group/sage-devel)
1128explaining the problem and including the relevant part of the log file
1129  /home/pong/sage-current/spkg/logs/ppl-1.0.log
1130Describe your computer, operating system, etc.
1131If you want to try to fix the problem yourself, *don't* just cd to
1132/home/pong/sage-current/spkg/build/ppl-1.0 and type 'make' or whatever is appropriate.
1133Instead, the following commands setup all environment variables
1134correctly and load a subshell for you to debug the error:
1135  (cd '/home/pong/sage-current/spkg/build/ppl-1.0' && '/home/pong/sage-current/sage' -sh)
1136When you are done debugging, you can type "exit" to leave the subshell.
1137************************************************************************