[PPL-devel] Fwd: Re: Issue regarding Java Interface
Stefan Pranger
stefan.pranger at student.tugraz.at
Thu Aug 2 09:56:26 CEST 2018
Hello,
I'm currently trying to install ppl with a java interface, which I need
to prism-games. I am following their install instructions.
So far I have tried to install ppl which I have downloaded from here:
http://www.bugseng.com/ppl-download
To install ppl I ran:
./configure --enable-interfaces=java
make
sudo make install
As I have written in my first mail I am expecting a .jar file in a
subfolder in /usr/local/lib, which I do not have.
I have attached the output that the three commands produce. Configure
tells me that it can't find any java version. Could it be that
./configure does not recognize my java version?
I would really appreciate your help!
with best regards,
Pranger Stefan
-------- Forwarded Message --------
Subject: Re: Issue regarding Java Interface
Date: Wed, 1 Aug 2018 16:49:25 +0200
From: Roberto Bagnara <roberto.bagnara at bugseng.com>
Organization: BUGSENG srl
To: Stefan Pranger <stefan.pranger at student.tugraz.at>
CC: support at bugseng.com
Hi there.
I guess you are using the free version, right?
support at bugseng.com is for commercial support.
Please direct your query to ppl-devel at cs.unipr.it .
I suggest you include a complete typescript in your
message, along with the version of PPL you are trying
to build.
Kind regards,
Roberto Bagnara
--
Roberto Bagnara, Ph.D.
CEO/CTO, BUGSENG (http://bugseng.com)
Member, ISO/IEC JTC1/SC22/WG14 - C Standardization Working Group
Member, MISRA C Working Group
Mobile: +39 339 8593517
On 08/01/2018 03:38 PM, Stefan Pranger wrote:
> Hello,
>
> I'm currently trying to install ppl with a java interface on my ubuntu 16.04 machine.
>
> I've downloaded the zip-version of ppl from http://www.bugseng.com/ppl-download and installed it via:
> ./configure --enable-interfaces=java
> make
> sudo make install
>
> since I passed the enable java interface flag I'm expecting libppl.so in /usr/local/lib as well as a subfolder containing ppl_java.jar and libppl_java.so. The last two are missing.
>
> When running ./configure the checks for java all return no, which does concern me, since I have java installed:
>
> java version "1.8.0_181"
> Java(TM) SE Runtime Environment (build 1.8.0_181-b13)
> Java HotSpot(TM) 64-Bit Server VM (build 25.181-b13, mixed mode)
>
> I'm going to need ppl for prism-games (https://www.prismmodelchecker.org/games/installation.php) and I followed their installation guide.
>
> I appreciate any further help.
>
>
> with the best regards
> Stefan Pranger
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20180802/f0c397f5/attachment.htm>
-------------- next part --------------
checking build system type... x86_64-pc-linux-gnu
checking host system type... x86_64-pc-linux-gnu
checking for a BSD-compatible install... /usr/bin/install -c
checking whether build environment is sane... yes
checking for a thread-safe mkdir -p... /bin/mkdir -p
checking for gawk... gawk
checking whether make sets $(MAKE)... yes
checking whether make supports nested variables... yes
checking whether UID '1000' is supported by ustar format... yes
checking whether GID '1000' is supported by ustar format... yes
checking how to create a ustar tar archive... gnutar
checking for gcc... gcc
checking whether the C compiler works... yes
checking for C compiler default output file name... a.out
checking for suffix of executables...
checking whether we are cross compiling... no
checking for suffix of object files... o
checking whether we are using the GNU C compiler... yes
checking whether gcc accepts -g... yes
checking for gcc option to accept ISO C89... none needed
checking whether gcc understands -c and -o together... yes
checking for style of include used by make... GNU
checking dependency style of gcc... gcc3
checking whether we are actually using the Intel C compiler... no
checking whether we are actually using clang... no
checking whether we are actually using llvm-gcc... no
checking for g++... g++
checking whether we are using the GNU C++ compiler... yes
checking whether g++ accepts -g... yes
checking dependency style of g++... gcc3
checking whether we are actually using the Intel C++ compiler... no
checking whether we are actually using clang++... no
checking whether we are actually using llvm-g++... no
checking for grep that handles long lines and -e... /bin/grep
checking for fgrep... /bin/grep -F
checking for egrep... /bin/grep -E
checking for a sed that does not truncate output... /bin/sed
checking how to run the C++ preprocessor... g++ -E
checking whether make sets $(MAKE)... (cached) yes
checking whether to compile with debug info... yes
checking whether to compile for profiling... no
checking whether to compile for test coverage... no
checking whether to enable checking of run-time assertions... no
checking whether to enable even more run-time assertions... no
checking whether to enable optimizations... standard
checking for which architecture to optimize... default
checking whether to use (a specific) floating point arithmetic... default
checking whether to use precompiled headers... no
checking the type of integral values to use as coefficients... GMP mpz
checking for an ANSI C-conforming const... yes
checking for inline... inline
checking how to run the C preprocessor... gcc -E
checking for ANSI C header files... yes
checking for sys/types.h... yes
checking for sys/stat.h... yes
checking for stdlib.h... yes
checking for string.h... yes
checking for memory.h... yes
checking for strings.h... yes
checking for inttypes.h... yes
checking for stdint.h... yes
checking for unistd.h... yes
checking whether byte ordering is bigendian... no
checking for typeof syntax and keyword spelling... typeof
checking size of char... 1
checking size of short... 2
checking size of int... 4
checking size of long... 8
checking size of long long... 8
checking size of size_t... 8
checking size of float... 4
checking size of double... 8
checking size of long double... 16
checking size of int*... 8
checking size of fp... 8
checking for perl... /usr/bin/perl
checking for library containing sqrt... none required
checking fenv.h usability... yes
checking fenv.h presence... yes
checking for fenv.h... yes
checking ieeefp.h usability... no
checking ieeefp.h presence... no
checking for ieeefp.h... no
checking if it is possible to control the FPU... yes
checking whether the plain char type is signed... yes
checking whether the C++ compiler provides proper long doubles... yes
checking the binary format of C++ floats... IEEE754 Single Precision
checking the binary format of C++ doubles... IEEE754 Double Precision
checking the binary format of C++ long doubles... Intel Double-Extended
checking whether std::floor(long double) is buggy... no
checking whether the C++ compiler supports zero-length arrays... yes
checking whether the IEEE inexact flag is supported in C++... yes
checking whether the C++ compiler supports __attribute__ ((weak))... yes
checking for fenv.h... (cached) yes
checking for ieeefp.h... (cached) no
checking getopt.h usability... yes
checking getopt.h presence... yes
checking for getopt.h... yes
checking signal.h usability... yes
checking signal.h presence... yes
checking for signal.h... yes
checking for string.h... (cached) yes
checking for strings.h... (cached) yes
checking sys/resource.h usability... yes
checking sys/resource.h presence... yes
checking for sys/resource.h... yes
checking sys/time.h usability... yes
checking sys/time.h presence... yes
checking for sys/time.h... yes
checking for sys/types.h... (cached) yes
checking for unistd.h... (cached) yes
checking whether ffs is declared... yes
checking whether getenv is declared... yes
checking whether strtof is declared... yes
checking whether strtod is declared... yes
checking whether strtold is declared... yes
checking whether strtoll is declared... yes
checking whether strtoull is declared... yes
checking whether fma is declared... yes
checking whether fmaf is declared... yes
checking whether fmal is declared... yes
checking whether rintf is declared... yes
checking whether rintl is declared... yes
checking for int_fast16_t... yes
checking for int_fast32_t... yes
checking for int_fast64_t... yes
checking for uint_fast16_t... yes
checking for uint_fast32_t... yes
checking for uint_fast64_t... yes
checking for uintptr_t... yes
checking how to print strings... printf
checking for a sed that does not truncate output... (cached) /bin/sed
checking for ld used by gcc... /usr/bin/ld
checking if the linker (/usr/bin/ld) is GNU ld... yes
checking for BSD- or MS-compatible name lister (nm)... /usr/bin/nm -B
checking the name lister (/usr/bin/nm -B) interface... BSD nm
checking whether ln -s works... yes
checking the maximum length of command line arguments... 1572864
checking whether the shell understands some XSI constructs... yes
checking whether the shell understands "+="... yes
checking how to convert x86_64-pc-linux-gnu file names to x86_64-pc-linux-gnu format... func_convert_file_noop
checking how to convert x86_64-pc-linux-gnu file names to toolchain format... func_convert_file_noop
checking for /usr/bin/ld option to reload object files... -r
checking for objdump... objdump
checking how to recognize dependent libraries... pass_all
checking for dlltool... no
checking how to associate runtime and link libraries... printf %s\n
checking for ar... ar
checking for archiver @FILE support... @
checking for strip... strip
checking for ranlib... ranlib
checking command to parse /usr/bin/nm -B output from gcc object... ok
checking for sysroot... no
checking for mt... mt
checking if mt is a manifest tool... no
checking for dlfcn.h... yes
checking for objdir... .libs
checking if gcc supports -fno-rtti -fno-exceptions... no
checking for gcc option to produce PIC... -fPIC -DPIC
checking if gcc PIC flag -fPIC -DPIC works... yes
checking if gcc static flag -static works... yes
checking if gcc supports -c -o file.o... yes
checking if gcc supports -c -o file.o... (cached) yes
checking whether the gcc linker (/usr/bin/ld -m elf_x86_64) supports shared libraries... yes
checking whether -lc should be explicitly linked in... no
checking dynamic linker characteristics... GNU/Linux ld.so
checking how to hardcode library paths into programs... immediate
checking for shl_load... no
checking for shl_load in -ldld... no
checking for dlopen... no
checking for dlopen in -ldl... yes
checking whether a program can dlopen itself... yes
checking whether a statically linked program can dlopen itself... no
checking whether stripping libraries is possible... yes
checking if libtool supports shared libraries... yes
checking whether to build shared libraries... yes
checking whether to build static libraries... yes
checking how to run the C++ preprocessor... g++ -E
checking for ld used by g++... /usr/bin/ld -m elf_x86_64
checking if the linker (/usr/bin/ld -m elf_x86_64) is GNU ld... yes
checking whether the g++ linker (/usr/bin/ld -m elf_x86_64) supports shared libraries... yes
checking for g++ option to produce PIC... -fPIC -DPIC
checking if g++ PIC flag -fPIC -DPIC works... yes
checking if g++ static flag -static works... yes
checking if g++ supports -c -o file.o... yes
checking if g++ supports -c -o file.o... (cached) yes
checking whether the g++ linker (/usr/bin/ld -m elf_x86_64) supports shared libraries... yes
checking dynamic linker characteristics... (cached) GNU/Linux ld.so
checking how to hardcode library paths into programs... immediate
configure: creating ./config.lt
config.lt: creating libtool
checking for the GMP library version 4.1.3 or above... yes
checking size of mp_limb_t... 8
checking whether GMP has been compiled with support for exceptions... yes
checking for __mpz_struct._mp_alloc... yes
checking for __mpz_struct._mp_size... yes
checking for __mpz_struct._mp_d... yes
checking whether to build the ppl_lcdd program... yes
checking whether to build the ppl_lpsol program... yes
checking whether to build the ppl_pips program... yes
checking whether to build the PPL documentation... yes
checking which interfaces are enabled... java
checking for javac... no
checking for java... no
checking for jar... no
checking for javah... no
checking whether jlong can contain data pointers... no
checking which instantiations are enabled... Polyhedron at Grid@Rational_Box at BD_Shape<mpz_class>@BD_Shape<mpq_class>@Octagonal_Shape<mpz_class>@Octagonal_Shape<mpq_class>@Constraints_Product<C_Polyhedron,Grid>@Pointset_Powerset<C_Polyhedron>@Pointset_Powerset<NNC_Polyhedron>@Double_Box at BD_Shape<double>@Octagonal_Shape<double>
checking whether tests should be run under Valgrind... no
checking whether `make check' does a thorough or quick check... quick
checking for md5sum... md5sum
checking for the text md5sum command... md5sum -t
checking glpk.h usability... no
checking glpk.h presence... no
checking for glpk.h... no
checking glpk/glpk.h usability... no
checking glpk/glpk.h presence... no
checking for glpk/glpk.h... no
checking whether RLIMIT_DATA is declared... yes
checking whether RLIMIT_RSS is declared... yes
checking whether RLIMIT_VMEM is declared... no
checking whether RLIMIT_AS is declared... yes
checking whether getrusage is declared... yes
checking whether setrlimit is declared... yes
checking whether setitimer is declared... yes
checking whether sigaction is declared... yes
checking for timeval... yes
checking for siginfo_t... yes
checking whether we can limit memory in C++ using setrlimit()... no
checking if the C++ compiler supports C++11 features... no
checking that generated files are newer than configure... done
configure: creating ./config.status
config.status: creating Makefile
config.status: creating ppl.lsm
config.status: creating src/Makefile
config.status: creating src/version.hh
config.status: creating src/ppl-config.cc
config.status: creating tests/Makefile
config.status: creating tests/BD_Shape/Makefile
config.status: creating tests/Box/Makefile
config.status: creating tests/Concrete_Expression/Makefile
config.status: creating tests/CO_Tree/Makefile
config.status: creating tests/Grid/Makefile
config.status: creating tests/MIP_Problem/Makefile
config.status: creating tests/Octagonal_Shape/Makefile
config.status: creating tests/Partially_Reduced_Product/Makefile
config.status: creating tests/PIP_Problem/Makefile
config.status: creating tests/Polyhedron/Makefile
config.status: creating tests/Powerset/Makefile
config.status: creating tests/Watchdog/Makefile
config.status: creating utils/Makefile
config.status: creating m4/Makefile
config.status: creating demos/Makefile
config.status: creating demos/ppl_lcdd/Makefile
config.status: creating demos/ppl_lcdd/examples/Makefile
config.status: creating demos/ppl_lpsol/Makefile
config.status: creating demos/ppl_lpsol/examples/Makefile
config.status: creating demos/ppl_pips/Makefile
config.status: creating demos/ppl_pips/examples/Makefile
config.status: creating doc/Makefile
config.status: creating doc/user.doxyconf-latex
config.status: creating doc/devref.doxyconf-latex
config.status: creating doc/user.doxyconf-html
config.status: creating doc/devref.doxyconf-html
config.status: creating doc/user-language-interface.doxyconf
config.status: creating doc/devref-language-interface.doxyconf
config.status: creating interfaces/Makefile
config.status: creating interfaces/C/Makefile
config.status: creating interfaces/C/ppl_c_version.h
config.status: creating interfaces/C/tests/Makefile
config.status: creating interfaces/Java/Makefile
config.status: creating interfaces/Java/jni/Makefile
config.status: creating interfaces/Java/tests/Makefile
config.status: creating interfaces/Java/parma_polyhedra_library/Makefile
config.status: creating interfaces/OCaml/Makefile
config.status: creating interfaces/OCaml/tests/Makefile
config.status: creating interfaces/Prolog/Makefile
config.status: creating interfaces/Prolog/Ciao/Makefile
config.status: creating interfaces/Prolog/GNU/Makefile
config.status: creating interfaces/Prolog/SICStus/Makefile
config.status: creating interfaces/Prolog/SWI/Makefile
config.status: creating interfaces/Prolog/XSB/Makefile
config.status: creating interfaces/Prolog/YAP/Makefile
config.status: creating interfaces/Prolog/tests/Makefile
config.status: creating config.h
config.status: executing depfiles commands
config.status: executing libtool commands
-------------- next part --------------
make all-recursive
make[1]: Entering directory '/home/stefan/Downloads/ppl-1.2'
Making all in .
make[2]: Entering directory '/home/stefan/Downloads/ppl-1.2'
/bin/sed -f ./ppl-config.sed config.h >ppl-config.h
make[2]: Leaving directory '/home/stefan/Downloads/ppl-1.2'
Making all in utils
make[2]: Entering directory '/home/stefan/Downloads/ppl-1.2/utils'
g++ -DHAVE_CONFIG_H -I. -I.. -g -O2 -frounding-math -W -Wall -MT timings.o -MD -MP -MF .deps/timings.Tpo -c -o timings.o timings.cc
mv -f .deps/timings.Tpo .deps/timings.Po
rm -f libppl_utils.a
ar cru libppl_utils.a timings.o
ranlib libppl_utils.a
make[2]: Leaving directory '/home/stefan/Downloads/ppl-1.2/utils'
Making all in src
make[2]: Entering directory '/home/stefan/Downloads/ppl-1.2/src'
for file in namespaces.hh compiler.hh assertions.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_Adapter_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_Adapter_defs.hh Expression_Adapter_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 ; \
do \
i="#include \"$file\"" ; \
( cd ../src ; /bin/grep -F -q "$i" namespaces.hh compiler.hh assertions.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_Adapter_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_Adapter_defs.hh Expression_Adapter_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" ; \
done > ppl_include_files.hh
../utils/build_header \
-I .. -I ../src \
../src/ppl_header.hh >ppl.hh
make all-am
make[3]: Entering directory '/home/stefan/Downloads/ppl-1.2/src'
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT assertions.lo -MD -MP -MF .deps/assertions.Tpo -c -o assertions.lo assertions.cc
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT assertions.lo -MD -MP -MF .deps/assertions.Tpo -c assertions.cc -fPIC -DPIC -o .libs/assertions.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT assertions.lo -MD -MP -MF .deps/assertions.Tpo -c assertions.cc -o assertions.o >/dev/null 2>&1
mv -f .deps/assertions.Tpo .deps/assertions.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Box.lo -MD -MP -MF .deps/Box.Tpo -c -o Box.lo Box.cc
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Box.lo -MD -MP -MF .deps/Box.Tpo -c Box.cc -fPIC -DPIC -o .libs/Box.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Box.lo -MD -MP -MF .deps/Box.Tpo -c Box.cc -o Box.o >/dev/null 2>&1
mv -f .deps/Box.Tpo .deps/Box.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT checked.lo -MD -MP -MF .deps/checked.Tpo -c -o checked.lo checked.cc
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT checked.lo -MD -MP -MF .deps/checked.Tpo -c checked.cc -fPIC -DPIC -o .libs/checked.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT checked.lo -MD -MP -MF .deps/checked.Tpo -c checked.cc -o checked.o >/dev/null 2>&1
mv -f .deps/checked.Tpo .deps/checked.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Checked_Number.lo -MD -MP -MF .deps/Checked_Number.Tpo -c -o Checked_Number.lo Checked_Number.cc
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Checked_Number.lo -MD -MP -MF .deps/Checked_Number.Tpo -c Checked_Number.cc -fPIC -DPIC -o .libs/Checked_Number.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Checked_Number.lo -MD -MP -MF .deps/Checked_Number.Tpo -c Checked_Number.cc -o Checked_Number.o >/dev/null 2>&1
mv -f .deps/Checked_Number.Tpo .deps/Checked_Number.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Float.lo -MD -MP -MF .deps/Float.Tpo -c -o Float.lo Float.cc
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Float.lo -MD -MP -MF .deps/Float.Tpo -c Float.cc -fPIC -DPIC -o .libs/Float.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Float.lo -MD -MP -MF .deps/Float.Tpo -c Float.cc -o Float.o >/dev/null 2>&1
mv -f .deps/Float.Tpo .deps/Float.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT fpu-ia32.lo -MD -MP -MF .deps/fpu-ia32.Tpo -c -o fpu-ia32.lo fpu-ia32.cc
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT fpu-ia32.lo -MD -MP -MF .deps/fpu-ia32.Tpo -c fpu-ia32.cc -fPIC -DPIC -o .libs/fpu-ia32.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT fpu-ia32.lo -MD -MP -MF .deps/fpu-ia32.Tpo -c fpu-ia32.cc -o fpu-ia32.o >/dev/null 2>&1
mv -f .deps/fpu-ia32.Tpo .deps/fpu-ia32.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT BDS_Status.lo -MD -MP -MF .deps/BDS_Status.Tpo -c -o BDS_Status.lo BDS_Status.cc
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT BDS_Status.lo -MD -MP -MF .deps/BDS_Status.Tpo -c BDS_Status.cc -fPIC -DPIC -o .libs/BDS_Status.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT BDS_Status.lo -MD -MP -MF .deps/BDS_Status.Tpo -c BDS_Status.cc -o BDS_Status.o >/dev/null 2>&1
mv -f .deps/BDS_Status.Tpo .deps/BDS_Status.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Box_Status.lo -MD -MP -MF .deps/Box_Status.Tpo -c -o Box_Status.lo Box_Status.cc
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Box_Status.lo -MD -MP -MF .deps/Box_Status.Tpo -c Box_Status.cc -fPIC -DPIC -o .libs/Box_Status.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Box_Status.lo -MD -MP -MF .deps/Box_Status.Tpo -c Box_Status.cc -o Box_Status.o >/dev/null 2>&1
mv -f .deps/Box_Status.Tpo .deps/Box_Status.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Og_Status.lo -MD -MP -MF .deps/Og_Status.Tpo -c -o Og_Status.lo Og_Status.cc
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Og_Status.lo -MD -MP -MF .deps/Og_Status.Tpo -c Og_Status.cc -fPIC -DPIC -o .libs/Og_Status.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Og_Status.lo -MD -MP -MF .deps/Og_Status.Tpo -c Og_Status.cc -o Og_Status.o >/dev/null 2>&1
mv -f .deps/Og_Status.Tpo .deps/Og_Status.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Concrete_Expression.lo -MD -MP -MF .deps/Concrete_Expression.Tpo -c -o Concrete_Expression.lo Concrete_Expression.cc
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Concrete_Expression.lo -MD -MP -MF .deps/Concrete_Expression.Tpo -c Concrete_Expression.cc -fPIC -DPIC -o .libs/Concrete_Expression.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Concrete_Expression.lo -MD -MP -MF .deps/Concrete_Expression.Tpo -c Concrete_Expression.cc -o Concrete_Expression.o >/dev/null 2>&1
mv -f .deps/Concrete_Expression.Tpo .deps/Concrete_Expression.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Constraint.lo -MD -MP -MF .deps/Constraint.Tpo -c -o Constraint.lo Constraint.cc
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Constraint.lo -MD -MP -MF .deps/Constraint.Tpo -c Constraint.cc -fPIC -DPIC -o .libs/Constraint.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Constraint.lo -MD -MP -MF .deps/Constraint.Tpo -c Constraint.cc -o Constraint.o >/dev/null 2>&1
mv -f .deps/Constraint.Tpo .deps/Constraint.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Constraint_System.lo -MD -MP -MF .deps/Constraint_System.Tpo -c -o Constraint_System.lo Constraint_System.cc
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Constraint_System.lo -MD -MP -MF .deps/Constraint_System.Tpo -c Constraint_System.cc -fPIC -DPIC -o .libs/Constraint_System.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Constraint_System.lo -MD -MP -MF .deps/Constraint_System.Tpo -c Constraint_System.cc -o Constraint_System.o >/dev/null 2>&1
mv -f .deps/Constraint_System.Tpo .deps/Constraint_System.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Congruence.lo -MD -MP -MF .deps/Congruence.Tpo -c -o Congruence.lo Congruence.cc
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Congruence.lo -MD -MP -MF .deps/Congruence.Tpo -c Congruence.cc -fPIC -DPIC -o .libs/Congruence.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Congruence.lo -MD -MP -MF .deps/Congruence.Tpo -c Congruence.cc -o Congruence.o >/dev/null 2>&1
mv -f .deps/Congruence.Tpo .deps/Congruence.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Congruence_System.lo -MD -MP -MF .deps/Congruence_System.Tpo -c -o Congruence_System.lo Congruence_System.cc
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Congruence_System.lo -MD -MP -MF .deps/Congruence_System.Tpo -c Congruence_System.cc -fPIC -DPIC -o .libs/Congruence_System.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Congruence_System.lo -MD -MP -MF .deps/Congruence_System.Tpo -c Congruence_System.cc -o Congruence_System.o >/dev/null 2>&1
mv -f .deps/Congruence_System.Tpo .deps/Congruence_System.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Generator_System.lo -MD -MP -MF .deps/Generator_System.Tpo -c -o Generator_System.lo Generator_System.cc
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Generator_System.lo -MD -MP -MF .deps/Generator_System.Tpo -c Generator_System.cc -fPIC -DPIC -o .libs/Generator_System.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Generator_System.lo -MD -MP -MF .deps/Generator_System.Tpo -c Generator_System.cc -o Generator_System.o >/dev/null 2>&1
mv -f .deps/Generator_System.Tpo .deps/Generator_System.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Grid_Generator_System.lo -MD -MP -MF .deps/Grid_Generator_System.Tpo -c -o Grid_Generator_System.lo Grid_Generator_System.cc
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Grid_Generator_System.lo -MD -MP -MF .deps/Grid_Generator_System.Tpo -c Grid_Generator_System.cc -fPIC -DPIC -o .libs/Grid_Generator_System.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Grid_Generator_System.lo -MD -MP -MF .deps/Grid_Generator_System.Tpo -c Grid_Generator_System.cc -o Grid_Generator_System.o >/dev/null 2>&1
mv -f .deps/Grid_Generator_System.Tpo .deps/Grid_Generator_System.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Generator.lo -MD -MP -MF .deps/Generator.Tpo -c -o Generator.lo Generator.cc
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Generator.lo -MD -MP -MF .deps/Generator.Tpo -c Generator.cc -fPIC -DPIC -o .libs/Generator.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Generator.lo -MD -MP -MF .deps/Generator.Tpo -c Generator.cc -o Generator.o >/dev/null 2>&1
mv -f .deps/Generator.Tpo .deps/Generator.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Grid_Generator.lo -MD -MP -MF .deps/Grid_Generator.Tpo -c -o Grid_Generator.lo Grid_Generator.cc
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Grid_Generator.lo -MD -MP -MF .deps/Grid_Generator.Tpo -c Grid_Generator.cc -fPIC -DPIC -o .libs/Grid_Generator.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Grid_Generator.lo -MD -MP -MF .deps/Grid_Generator.Tpo -c Grid_Generator.cc -o Grid_Generator.o >/dev/null 2>&1
mv -f .deps/Grid_Generator.Tpo .deps/Grid_Generator.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Handler.lo -MD -MP -MF .deps/Handler.Tpo -c -o Handler.lo Handler.cc
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Handler.lo -MD -MP -MF .deps/Handler.Tpo -c Handler.cc -fPIC -DPIC -o .libs/Handler.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Handler.lo -MD -MP -MF .deps/Handler.Tpo -c Handler.cc -o Handler.o >/dev/null 2>&1
mv -f .deps/Handler.Tpo .deps/Handler.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Init.lo -MD -MP -MF .deps/Init.Tpo -c -o Init.lo Init.cc
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Init.lo -MD -MP -MF .deps/Init.Tpo -c Init.cc -fPIC -DPIC -o .libs/Init.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Init.lo -MD -MP -MF .deps/Init.Tpo -c Init.cc -o Init.o >/dev/null 2>&1
mv -f .deps/Init.Tpo .deps/Init.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Coefficient.lo -MD -MP -MF .deps/Coefficient.Tpo -c -o Coefficient.lo Coefficient.cc
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Coefficient.lo -MD -MP -MF .deps/Coefficient.Tpo -c Coefficient.cc -fPIC -DPIC -o .libs/Coefficient.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Coefficient.lo -MD -MP -MF .deps/Coefficient.Tpo -c Coefficient.cc -o Coefficient.o >/dev/null 2>&1
mv -f .deps/Coefficient.Tpo .deps/Coefficient.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Linear_Expression.lo -MD -MP -MF .deps/Linear_Expression.Tpo -c -o Linear_Expression.lo Linear_Expression.cc
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Linear_Expression.lo -MD -MP -MF .deps/Linear_Expression.Tpo -c Linear_Expression.cc -fPIC -DPIC -o .libs/Linear_Expression.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Linear_Expression.lo -MD -MP -MF .deps/Linear_Expression.Tpo -c Linear_Expression.cc -o Linear_Expression.o >/dev/null 2>&1
mv -f .deps/Linear_Expression.Tpo .deps/Linear_Expression.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Linear_Expression_Impl.lo -MD -MP -MF .deps/Linear_Expression_Impl.Tpo -c -o Linear_Expression_Impl.lo Linear_Expression_Impl.cc
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Linear_Expression_Impl.lo -MD -MP -MF .deps/Linear_Expression_Impl.Tpo -c Linear_Expression_Impl.cc -fPIC -DPIC -o .libs/Linear_Expression_Impl.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Linear_Expression_Impl.lo -MD -MP -MF .deps/Linear_Expression_Impl.Tpo -c Linear_Expression_Impl.cc -o Linear_Expression_Impl.o >/dev/null 2>&1
mv -f .deps/Linear_Expression_Impl.Tpo .deps/Linear_Expression_Impl.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Linear_Expression_Interface.lo -MD -MP -MF .deps/Linear_Expression_Interface.Tpo -c -o Linear_Expression_Interface.lo Linear_Expression_Interface.cc
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Linear_Expression_Interface.lo -MD -MP -MF .deps/Linear_Expression_Interface.Tpo -c Linear_Expression_Interface.cc -fPIC -DPIC -o .libs/Linear_Expression_Interface.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Linear_Expression_Interface.lo -MD -MP -MF .deps/Linear_Expression_Interface.Tpo -c Linear_Expression_Interface.cc -o Linear_Expression_Interface.o >/dev/null 2>&1
mv -f .deps/Linear_Expression_Interface.Tpo .deps/Linear_Expression_Interface.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Linear_Form.lo -MD -MP -MF .deps/Linear_Form.Tpo -c -o Linear_Form.lo Linear_Form.cc
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Linear_Form.lo -MD -MP -MF .deps/Linear_Form.Tpo -c Linear_Form.cc -fPIC -DPIC -o .libs/Linear_Form.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Linear_Form.lo -MD -MP -MF .deps/Linear_Form.Tpo -c Linear_Form.cc -o Linear_Form.o >/dev/null 2>&1
mv -f .deps/Linear_Form.Tpo .deps/Linear_Form.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Scalar_Products.lo -MD -MP -MF .deps/Scalar_Products.Tpo -c -o Scalar_Products.lo Scalar_Products.cc
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Scalar_Products.lo -MD -MP -MF .deps/Scalar_Products.Tpo -c Scalar_Products.cc -fPIC -DPIC -o .libs/Scalar_Products.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Scalar_Products.lo -MD -MP -MF .deps/Scalar_Products.Tpo -c Scalar_Products.cc -o Scalar_Products.o >/dev/null 2>&1
mv -f .deps/Scalar_Products.Tpo .deps/Scalar_Products.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT MIP_Problem.lo -MD -MP -MF .deps/MIP_Problem.Tpo -c -o MIP_Problem.lo MIP_Problem.cc
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT MIP_Problem.lo -MD -MP -MF .deps/MIP_Problem.Tpo -c MIP_Problem.cc -fPIC -DPIC -o .libs/MIP_Problem.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT MIP_Problem.lo -MD -MP -MF .deps/MIP_Problem.Tpo -c MIP_Problem.cc -o MIP_Problem.o >/dev/null 2>&1
mv -f .deps/MIP_Problem.Tpo .deps/MIP_Problem.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT PIP_Tree.lo -MD -MP -MF .deps/PIP_Tree.Tpo -c -o PIP_Tree.lo PIP_Tree.cc
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT PIP_Tree.lo -MD -MP -MF .deps/PIP_Tree.Tpo -c PIP_Tree.cc -fPIC -DPIC -o .libs/PIP_Tree.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT PIP_Tree.lo -MD -MP -MF .deps/PIP_Tree.Tpo -c PIP_Tree.cc -o PIP_Tree.o >/dev/null 2>&1
mv -f .deps/PIP_Tree.Tpo .deps/PIP_Tree.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT PIP_Problem.lo -MD -MP -MF .deps/PIP_Problem.Tpo -c -o PIP_Problem.lo PIP_Problem.cc
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT PIP_Problem.lo -MD -MP -MF .deps/PIP_Problem.Tpo -c PIP_Problem.cc -fPIC -DPIC -o .libs/PIP_Problem.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT PIP_Problem.lo -MD -MP -MF .deps/PIP_Problem.Tpo -c PIP_Problem.cc -o PIP_Problem.o >/dev/null 2>&1
mv -f .deps/PIP_Problem.Tpo .deps/PIP_Problem.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Poly_Con_Relation.lo -MD -MP -MF .deps/Poly_Con_Relation.Tpo -c -o Poly_Con_Relation.lo Poly_Con_Relation.cc
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Poly_Con_Relation.lo -MD -MP -MF .deps/Poly_Con_Relation.Tpo -c Poly_Con_Relation.cc -fPIC -DPIC -o .libs/Poly_Con_Relation.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Poly_Con_Relation.lo -MD -MP -MF .deps/Poly_Con_Relation.Tpo -c Poly_Con_Relation.cc -o Poly_Con_Relation.o >/dev/null 2>&1
mv -f .deps/Poly_Con_Relation.Tpo .deps/Poly_Con_Relation.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Poly_Gen_Relation.lo -MD -MP -MF .deps/Poly_Gen_Relation.Tpo -c -o Poly_Gen_Relation.lo Poly_Gen_Relation.cc
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Poly_Gen_Relation.lo -MD -MP -MF .deps/Poly_Gen_Relation.Tpo -c Poly_Gen_Relation.cc -fPIC -DPIC -o .libs/Poly_Gen_Relation.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Poly_Gen_Relation.lo -MD -MP -MF .deps/Poly_Gen_Relation.Tpo -c Poly_Gen_Relation.cc -o Poly_Gen_Relation.o >/dev/null 2>&1
mv -f .deps/Poly_Gen_Relation.Tpo .deps/Poly_Gen_Relation.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT BHRZ03_Certificate.lo -MD -MP -MF .deps/BHRZ03_Certificate.Tpo -c -o BHRZ03_Certificate.lo BHRZ03_Certificate.cc
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT BHRZ03_Certificate.lo -MD -MP -MF .deps/BHRZ03_Certificate.Tpo -c BHRZ03_Certificate.cc -fPIC -DPIC -o .libs/BHRZ03_Certificate.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT BHRZ03_Certificate.lo -MD -MP -MF .deps/BHRZ03_Certificate.Tpo -c BHRZ03_Certificate.cc -o BHRZ03_Certificate.o >/dev/null 2>&1
mv -f .deps/BHRZ03_Certificate.Tpo .deps/BHRZ03_Certificate.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT H79_Certificate.lo -MD -MP -MF .deps/H79_Certificate.Tpo -c -o H79_Certificate.lo H79_Certificate.cc
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT H79_Certificate.lo -MD -MP -MF .deps/H79_Certificate.Tpo -c H79_Certificate.cc -fPIC -DPIC -o .libs/H79_Certificate.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT H79_Certificate.lo -MD -MP -MF .deps/H79_Certificate.Tpo -c H79_Certificate.cc -o H79_Certificate.o >/dev/null 2>&1
mv -f .deps/H79_Certificate.Tpo .deps/H79_Certificate.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Grid_Certificate.lo -MD -MP -MF .deps/Grid_Certificate.Tpo -c -o Grid_Certificate.lo Grid_Certificate.cc
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Grid_Certificate.lo -MD -MP -MF .deps/Grid_Certificate.Tpo -c Grid_Certificate.cc -fPIC -DPIC -o .libs/Grid_Certificate.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Grid_Certificate.lo -MD -MP -MF .deps/Grid_Certificate.Tpo -c Grid_Certificate.cc -o Grid_Certificate.o >/dev/null 2>&1
mv -f .deps/Grid_Certificate.Tpo .deps/Grid_Certificate.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Partial_Function.lo -MD -MP -MF .deps/Partial_Function.Tpo -c -o Partial_Function.lo Partial_Function.cc
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Partial_Function.lo -MD -MP -MF .deps/Partial_Function.Tpo -c Partial_Function.cc -fPIC -DPIC -o .libs/Partial_Function.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Partial_Function.lo -MD -MP -MF .deps/Partial_Function.Tpo -c Partial_Function.cc -o Partial_Function.o >/dev/null 2>&1
mv -f .deps/Partial_Function.Tpo .deps/Partial_Function.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Polyhedron_nonpublic.lo -MD -MP -MF .deps/Polyhedron_nonpublic.Tpo -c -o Polyhedron_nonpublic.lo Polyhedron_nonpublic.cc
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Polyhedron_nonpublic.lo -MD -MP -MF .deps/Polyhedron_nonpublic.Tpo -c Polyhedron_nonpublic.cc -fPIC -DPIC -o .libs/Polyhedron_nonpublic.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Polyhedron_nonpublic.lo -MD -MP -MF .deps/Polyhedron_nonpublic.Tpo -c Polyhedron_nonpublic.cc -o Polyhedron_nonpublic.o >/dev/null 2>&1
mv -f .deps/Polyhedron_nonpublic.Tpo .deps/Polyhedron_nonpublic.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Polyhedron_public.lo -MD -MP -MF .deps/Polyhedron_public.Tpo -c -o Polyhedron_public.lo Polyhedron_public.cc
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Polyhedron_public.lo -MD -MP -MF .deps/Polyhedron_public.Tpo -c Polyhedron_public.cc -fPIC -DPIC -o .libs/Polyhedron_public.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Polyhedron_public.lo -MD -MP -MF .deps/Polyhedron_public.Tpo -c Polyhedron_public.cc -o Polyhedron_public.o >/dev/null 2>&1
mv -f .deps/Polyhedron_public.Tpo .deps/Polyhedron_public.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Polyhedron_chdims.lo -MD -MP -MF .deps/Polyhedron_chdims.Tpo -c -o Polyhedron_chdims.lo Polyhedron_chdims.cc
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Polyhedron_chdims.lo -MD -MP -MF .deps/Polyhedron_chdims.Tpo -c Polyhedron_chdims.cc -fPIC -DPIC -o .libs/Polyhedron_chdims.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Polyhedron_chdims.lo -MD -MP -MF .deps/Polyhedron_chdims.Tpo -c Polyhedron_chdims.cc -o Polyhedron_chdims.o >/dev/null 2>&1
mv -f .deps/Polyhedron_chdims.Tpo .deps/Polyhedron_chdims.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Polyhedron_widenings.lo -MD -MP -MF .deps/Polyhedron_widenings.Tpo -c -o Polyhedron_widenings.lo Polyhedron_widenings.cc
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Polyhedron_widenings.lo -MD -MP -MF .deps/Polyhedron_widenings.Tpo -c Polyhedron_widenings.cc -fPIC -DPIC -o .libs/Polyhedron_widenings.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Polyhedron_widenings.lo -MD -MP -MF .deps/Polyhedron_widenings.Tpo -c Polyhedron_widenings.cc -o Polyhedron_widenings.o >/dev/null 2>&1
mv -f .deps/Polyhedron_widenings.Tpo .deps/Polyhedron_widenings.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT C_Polyhedron.lo -MD -MP -MF .deps/C_Polyhedron.Tpo -c -o C_Polyhedron.lo C_Polyhedron.cc
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT C_Polyhedron.lo -MD -MP -MF .deps/C_Polyhedron.Tpo -c C_Polyhedron.cc -fPIC -DPIC -o .libs/C_Polyhedron.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT C_Polyhedron.lo -MD -MP -MF .deps/C_Polyhedron.Tpo -c C_Polyhedron.cc -o C_Polyhedron.o >/dev/null 2>&1
mv -f .deps/C_Polyhedron.Tpo .deps/C_Polyhedron.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT NNC_Polyhedron.lo -MD -MP -MF .deps/NNC_Polyhedron.Tpo -c -o NNC_Polyhedron.lo NNC_Polyhedron.cc
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT NNC_Polyhedron.lo -MD -MP -MF .deps/NNC_Polyhedron.Tpo -c NNC_Polyhedron.cc -fPIC -DPIC -o .libs/NNC_Polyhedron.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT NNC_Polyhedron.lo -MD -MP -MF .deps/NNC_Polyhedron.Tpo -c NNC_Polyhedron.cc -o NNC_Polyhedron.o >/dev/null 2>&1
mv -f .deps/NNC_Polyhedron.Tpo .deps/NNC_Polyhedron.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Grid_nonpublic.lo -MD -MP -MF .deps/Grid_nonpublic.Tpo -c -o Grid_nonpublic.lo Grid_nonpublic.cc
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Grid_nonpublic.lo -MD -MP -MF .deps/Grid_nonpublic.Tpo -c Grid_nonpublic.cc -fPIC -DPIC -o .libs/Grid_nonpublic.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Grid_nonpublic.lo -MD -MP -MF .deps/Grid_nonpublic.Tpo -c Grid_nonpublic.cc -o Grid_nonpublic.o >/dev/null 2>&1
mv -f .deps/Grid_nonpublic.Tpo .deps/Grid_nonpublic.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Grid_public.lo -MD -MP -MF .deps/Grid_public.Tpo -c -o Grid_public.lo Grid_public.cc
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Grid_public.lo -MD -MP -MF .deps/Grid_public.Tpo -c Grid_public.cc -fPIC -DPIC -o .libs/Grid_public.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Grid_public.lo -MD -MP -MF .deps/Grid_public.Tpo -c Grid_public.cc -o Grid_public.o >/dev/null 2>&1
mv -f .deps/Grid_public.Tpo .deps/Grid_public.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Grid_chdims.lo -MD -MP -MF .deps/Grid_chdims.Tpo -c -o Grid_chdims.lo Grid_chdims.cc
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Grid_chdims.lo -MD -MP -MF .deps/Grid_chdims.Tpo -c Grid_chdims.cc -fPIC -DPIC -o .libs/Grid_chdims.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Grid_chdims.lo -MD -MP -MF .deps/Grid_chdims.Tpo -c Grid_chdims.cc -o Grid_chdims.o >/dev/null 2>&1
mv -f .deps/Grid_chdims.Tpo .deps/Grid_chdims.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Grid_widenings.lo -MD -MP -MF .deps/Grid_widenings.Tpo -c -o Grid_widenings.lo Grid_widenings.cc
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Grid_widenings.lo -MD -MP -MF .deps/Grid_widenings.Tpo -c Grid_widenings.cc -fPIC -DPIC -o .libs/Grid_widenings.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Grid_widenings.lo -MD -MP -MF .deps/Grid_widenings.Tpo -c Grid_widenings.cc -o Grid_widenings.o >/dev/null 2>&1
mv -f .deps/Grid_widenings.Tpo .deps/Grid_widenings.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT BD_Shape.lo -MD -MP -MF .deps/BD_Shape.Tpo -c -o BD_Shape.lo BD_Shape.cc
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT BD_Shape.lo -MD -MP -MF .deps/BD_Shape.Tpo -c BD_Shape.cc -fPIC -DPIC -o .libs/BD_Shape.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT BD_Shape.lo -MD -MP -MF .deps/BD_Shape.Tpo -c BD_Shape.cc -o BD_Shape.o >/dev/null 2>&1
mv -f .deps/BD_Shape.Tpo .deps/BD_Shape.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Octagonal_Shape.lo -MD -MP -MF .deps/Octagonal_Shape.Tpo -c -o Octagonal_Shape.lo Octagonal_Shape.cc
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Octagonal_Shape.lo -MD -MP -MF .deps/Octagonal_Shape.Tpo -c Octagonal_Shape.cc -fPIC -DPIC -o .libs/Octagonal_Shape.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Octagonal_Shape.lo -MD -MP -MF .deps/Octagonal_Shape.Tpo -c Octagonal_Shape.cc -o Octagonal_Shape.o >/dev/null 2>&1
mv -f .deps/Octagonal_Shape.Tpo .deps/Octagonal_Shape.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Pointset_Powerset.lo -MD -MP -MF .deps/Pointset_Powerset.Tpo -c -o Pointset_Powerset.lo Pointset_Powerset.cc
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Pointset_Powerset.lo -MD -MP -MF .deps/Pointset_Powerset.Tpo -c Pointset_Powerset.cc -fPIC -DPIC -o .libs/Pointset_Powerset.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Pointset_Powerset.lo -MD -MP -MF .deps/Pointset_Powerset.Tpo -c Pointset_Powerset.cc -o Pointset_Powerset.o >/dev/null 2>&1
mv -f .deps/Pointset_Powerset.Tpo .deps/Pointset_Powerset.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT CO_Tree.lo -MD -MP -MF .deps/CO_Tree.Tpo -c -o CO_Tree.lo CO_Tree.cc
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT CO_Tree.lo -MD -MP -MF .deps/CO_Tree.Tpo -c CO_Tree.cc -fPIC -DPIC -o .libs/CO_Tree.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT CO_Tree.lo -MD -MP -MF .deps/CO_Tree.Tpo -c CO_Tree.cc -o CO_Tree.o >/dev/null 2>&1
mv -f .deps/CO_Tree.Tpo .deps/CO_Tree.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Sparse_Row.lo -MD -MP -MF .deps/Sparse_Row.Tpo -c -o Sparse_Row.lo Sparse_Row.cc
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Sparse_Row.lo -MD -MP -MF .deps/Sparse_Row.Tpo -c Sparse_Row.cc -fPIC -DPIC -o .libs/Sparse_Row.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Sparse_Row.lo -MD -MP -MF .deps/Sparse_Row.Tpo -c Sparse_Row.cc -o Sparse_Row.o >/dev/null 2>&1
mv -f .deps/Sparse_Row.Tpo .deps/Sparse_Row.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Dense_Row.lo -MD -MP -MF .deps/Dense_Row.Tpo -c -o Dense_Row.lo Dense_Row.cc
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Dense_Row.lo -MD -MP -MF .deps/Dense_Row.Tpo -c Dense_Row.cc -fPIC -DPIC -o .libs/Dense_Row.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Dense_Row.lo -MD -MP -MF .deps/Dense_Row.Tpo -c Dense_Row.cc -o Dense_Row.o >/dev/null 2>&1
mv -f .deps/Dense_Row.Tpo .deps/Dense_Row.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Bit_Matrix.lo -MD -MP -MF .deps/Bit_Matrix.Tpo -c -o Bit_Matrix.lo Bit_Matrix.cc
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Bit_Matrix.lo -MD -MP -MF .deps/Bit_Matrix.Tpo -c Bit_Matrix.cc -fPIC -DPIC -o .libs/Bit_Matrix.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Bit_Matrix.lo -MD -MP -MF .deps/Bit_Matrix.Tpo -c Bit_Matrix.cc -o Bit_Matrix.o >/dev/null 2>&1
mv -f .deps/Bit_Matrix.Tpo .deps/Bit_Matrix.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Bit_Row.lo -MD -MP -MF .deps/Bit_Row.Tpo -c -o Bit_Row.lo Bit_Row.cc
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Bit_Row.lo -MD -MP -MF .deps/Bit_Row.Tpo -c Bit_Row.cc -fPIC -DPIC -o .libs/Bit_Row.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Bit_Row.lo -MD -MP -MF .deps/Bit_Row.Tpo -c Bit_Row.cc -o Bit_Row.o >/dev/null 2>&1
mv -f .deps/Bit_Row.Tpo .deps/Bit_Row.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Ph_Status.lo -MD -MP -MF .deps/Ph_Status.Tpo -c -o Ph_Status.lo Ph_Status.cc
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Ph_Status.lo -MD -MP -MF .deps/Ph_Status.Tpo -c Ph_Status.cc -fPIC -DPIC -o .libs/Ph_Status.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Ph_Status.lo -MD -MP -MF .deps/Ph_Status.Tpo -c Ph_Status.cc -o Ph_Status.o >/dev/null 2>&1
mv -f .deps/Ph_Status.Tpo .deps/Ph_Status.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Grid_Status.lo -MD -MP -MF .deps/Grid_Status.Tpo -c -o Grid_Status.lo Grid_Status.cc
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Grid_Status.lo -MD -MP -MF .deps/Grid_Status.Tpo -c Grid_Status.cc -fPIC -DPIC -o .libs/Grid_Status.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Grid_Status.lo -MD -MP -MF .deps/Grid_Status.Tpo -c Grid_Status.cc -o Grid_Status.o >/dev/null 2>&1
mv -f .deps/Grid_Status.Tpo .deps/Grid_Status.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Variable.lo -MD -MP -MF .deps/Variable.Tpo -c -o Variable.lo Variable.cc
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Variable.lo -MD -MP -MF .deps/Variable.Tpo -c Variable.cc -fPIC -DPIC -o .libs/Variable.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Variable.lo -MD -MP -MF .deps/Variable.Tpo -c Variable.cc -o Variable.o >/dev/null 2>&1
mv -f .deps/Variable.Tpo .deps/Variable.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Variables_Set.lo -MD -MP -MF .deps/Variables_Set.Tpo -c -o Variables_Set.lo Variables_Set.cc
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Variables_Set.lo -MD -MP -MF .deps/Variables_Set.Tpo -c Variables_Set.cc -fPIC -DPIC -o .libs/Variables_Set.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Variables_Set.lo -MD -MP -MF .deps/Variables_Set.Tpo -c Variables_Set.cc -o Variables_Set.o >/dev/null 2>&1
mv -f .deps/Variables_Set.Tpo .deps/Variables_Set.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Grid_conversion.lo -MD -MP -MF .deps/Grid_conversion.Tpo -c -o Grid_conversion.lo Grid_conversion.cc
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Grid_conversion.lo -MD -MP -MF .deps/Grid_conversion.Tpo -c Grid_conversion.cc -fPIC -DPIC -o .libs/Grid_conversion.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Grid_conversion.lo -MD -MP -MF .deps/Grid_conversion.Tpo -c Grid_conversion.cc -o Grid_conversion.o >/dev/null 2>&1
mv -f .deps/Grid_conversion.Tpo .deps/Grid_conversion.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Grid_simplify.lo -MD -MP -MF .deps/Grid_simplify.Tpo -c -o Grid_simplify.lo Grid_simplify.cc
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Grid_simplify.lo -MD -MP -MF .deps/Grid_simplify.Tpo -c Grid_simplify.cc -fPIC -DPIC -o .libs/Grid_simplify.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Grid_simplify.lo -MD -MP -MF .deps/Grid_simplify.Tpo -c Grid_simplify.cc -o Grid_simplify.o >/dev/null 2>&1
mv -f .deps/Grid_simplify.Tpo .deps/Grid_simplify.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT set_GMP_memory_alloc_funcs.lo -MD -MP -MF .deps/set_GMP_memory_alloc_funcs.Tpo -c -o set_GMP_memory_alloc_funcs.lo set_GMP_memory_alloc_funcs.cc
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT set_GMP_memory_alloc_funcs.lo -MD -MP -MF .deps/set_GMP_memory_alloc_funcs.Tpo -c set_GMP_memory_alloc_funcs.cc -fPIC -DPIC -o .libs/set_GMP_memory_alloc_funcs.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT set_GMP_memory_alloc_funcs.lo -MD -MP -MF .deps/set_GMP_memory_alloc_funcs.Tpo -c set_GMP_memory_alloc_funcs.cc -o set_GMP_memory_alloc_funcs.o >/dev/null 2>&1
mv -f .deps/set_GMP_memory_alloc_funcs.Tpo .deps/set_GMP_memory_alloc_funcs.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT stdiobuf.lo -MD -MP -MF .deps/stdiobuf.Tpo -c -o stdiobuf.lo stdiobuf.cc
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT stdiobuf.lo -MD -MP -MF .deps/stdiobuf.Tpo -c stdiobuf.cc -fPIC -DPIC -o .libs/stdiobuf.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT stdiobuf.lo -MD -MP -MF .deps/stdiobuf.Tpo -c stdiobuf.cc -o stdiobuf.o >/dev/null 2>&1
mv -f .deps/stdiobuf.Tpo .deps/stdiobuf.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT c_streambuf.lo -MD -MP -MF .deps/c_streambuf.Tpo -c -o c_streambuf.lo c_streambuf.cc
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT c_streambuf.lo -MD -MP -MF .deps/c_streambuf.Tpo -c c_streambuf.cc -fPIC -DPIC -o .libs/c_streambuf.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT c_streambuf.lo -MD -MP -MF .deps/c_streambuf.Tpo -c c_streambuf.cc -o c_streambuf.o >/dev/null 2>&1
mv -f .deps/c_streambuf.Tpo .deps/c_streambuf.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT globals.lo -MD -MP -MF .deps/globals.Tpo -c -o globals.lo globals.cc
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT globals.lo -MD -MP -MF .deps/globals.Tpo -c globals.cc -fPIC -DPIC -o .libs/globals.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT globals.lo -MD -MP -MF .deps/globals.Tpo -c globals.cc -o globals.o >/dev/null 2>&1
mv -f .deps/globals.Tpo .deps/globals.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT mp_std_bits.lo -MD -MP -MF .deps/mp_std_bits.Tpo -c -o mp_std_bits.lo mp_std_bits.cc
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT mp_std_bits.lo -MD -MP -MF .deps/mp_std_bits.Tpo -c mp_std_bits.cc -fPIC -DPIC -o .libs/mp_std_bits.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT mp_std_bits.lo -MD -MP -MF .deps/mp_std_bits.Tpo -c mp_std_bits.cc -o mp_std_bits.o >/dev/null 2>&1
mv -f .deps/mp_std_bits.Tpo .deps/mp_std_bits.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Weight_Profiler.lo -MD -MP -MF .deps/Weight_Profiler.Tpo -c -o Weight_Profiler.lo Weight_Profiler.cc
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Weight_Profiler.lo -MD -MP -MF .deps/Weight_Profiler.Tpo -c Weight_Profiler.cc -fPIC -DPIC -o .libs/Weight_Profiler.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Weight_Profiler.lo -MD -MP -MF .deps/Weight_Profiler.Tpo -c Weight_Profiler.cc -o Weight_Profiler.o >/dev/null 2>&1
mv -f .deps/Weight_Profiler.Tpo .deps/Weight_Profiler.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT version.lo -MD -MP -MF .deps/version.Tpo -c -o version.lo version.cc
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT version.lo -MD -MP -MF .deps/version.Tpo -c version.cc -fPIC -DPIC -o .libs/version.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT version.lo -MD -MP -MF .deps/version.Tpo -c version.cc -o version.o >/dev/null 2>&1
mv -f .deps/version.Tpo .deps/version.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT termination.lo -MD -MP -MF .deps/termination.Tpo -c -o termination.lo termination.cc
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT termination.lo -MD -MP -MF .deps/termination.Tpo -c termination.cc -fPIC -DPIC -o .libs/termination.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT termination.lo -MD -MP -MF .deps/termination.Tpo -c termination.cc -o termination.o >/dev/null 2>&1
mv -f .deps/termination.Tpo .deps/termination.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT wrap_string.lo -MD -MP -MF .deps/wrap_string.Tpo -c -o wrap_string.lo wrap_string.cc
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT wrap_string.lo -MD -MP -MF .deps/wrap_string.Tpo -c wrap_string.cc -fPIC -DPIC -o .libs/wrap_string.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT wrap_string.lo -MD -MP -MF .deps/wrap_string.Tpo -c wrap_string.cc -o wrap_string.o >/dev/null 2>&1
mv -f .deps/wrap_string.Tpo .deps/wrap_string.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Time.lo -MD -MP -MF .deps/Time.Tpo -c -o Time.lo Time.cc
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Time.lo -MD -MP -MF .deps/Time.Tpo -c Time.cc -fPIC -DPIC -o .libs/Time.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Time.lo -MD -MP -MF .deps/Time.Tpo -c Time.cc -o Time.o >/dev/null 2>&1
mv -f .deps/Time.Tpo .deps/Time.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Watchdog.lo -MD -MP -MF .deps/Watchdog.Tpo -c -o Watchdog.lo Watchdog.cc
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Watchdog.lo -MD -MP -MF .deps/Watchdog.Tpo -c Watchdog.cc -fPIC -DPIC -o .libs/Watchdog.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Watchdog.lo -MD -MP -MF .deps/Watchdog.Tpo -c Watchdog.cc -o Watchdog.o >/dev/null 2>&1
mv -f .deps/Watchdog.Tpo .deps/Watchdog.Plo
/bin/bash ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Threshold_Watcher.lo -MD -MP -MF .deps/Threshold_Watcher.Tpo -c -o Threshold_Watcher.lo Threshold_Watcher.cc
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Threshold_Watcher.lo -MD -MP -MF .deps/Threshold_Watcher.Tpo -c Threshold_Watcher.cc -fPIC -DPIC -o .libs/Threshold_Watcher.o
libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT Threshold_Watcher.lo -MD -MP -MF .deps/Threshold_Watcher.Tpo -c Threshold_Watcher.cc -o Threshold_Watcher.o >/dev/null 2>&1
mv -f .deps/Threshold_Watcher.Tpo .deps/Threshold_Watcher.Plo
/bin/bash ../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -version-info 14:0:0 -o libppl.la -rpath /usr/local/lib assertions.lo Box.lo checked.lo Checked_Number.lo Float.lo fpu-ia32.lo BDS_Status.lo Box_Status.lo Og_Status.lo Concrete_Expression.lo Constraint.lo Constraint_System.lo Congruence.lo Congruence_System.lo Generator_System.lo Grid_Generator_System.lo Generator.lo Grid_Generator.lo Handler.lo Init.lo Coefficient.lo Linear_Expression.lo Linear_Expression_Impl.lo Linear_Expression_Interface.lo Linear_Form.lo Scalar_Products.lo MIP_Problem.lo PIP_Tree.lo PIP_Problem.lo Poly_Con_Relation.lo Poly_Gen_Relation.lo BHRZ03_Certificate.lo H79_Certificate.lo Grid_Certificate.lo Partial_Function.lo Polyhedron_nonpublic.lo Polyhedron_public.lo Polyhedron_chdims.lo Polyhedron_widenings.lo C_Polyhedron.lo NNC_Polyhedron.lo Grid_nonpublic.lo Grid_public.lo Grid_chdims.lo Grid_widenings.lo BD_Shape.lo Octagonal_Shape.lo Pointset_Powerset.lo CO_Tree.lo Sparse_Row.lo Dense_Row.lo Bit_Matrix.lo Bit_Row.lo Ph_Status.lo Grid_Status.lo Variable.lo Variables_Set.lo Grid_conversion.lo Grid_simplify.lo set_GMP_memory_alloc_funcs.lo stdiobuf.lo c_streambuf.lo globals.lo mp_std_bits.lo Weight_Profiler.lo version.lo termination.lo wrap_string.lo Time.lo Watchdog.lo Threshold_Watcher.lo -lgmpxx -lgmp
libtool: link: rm -fr .libs/libppl.a .libs/libppl.la .libs/libppl.lai .libs/libppl.so .libs/libppl.so.14 .libs/libppl.so.14.0.0
libtool: link: g++ -fPIC -DPIC -shared -nostdlib /usr/lib/gcc/x86_64-linux-gnu/5/../../../x86_64-linux-gnu/crti.o /usr/lib/gcc/x86_64-linux-gnu/5/crtbeginS.o .libs/assertions.o .libs/Box.o .libs/checked.o .libs/Checked_Number.o .libs/Float.o .libs/fpu-ia32.o .libs/BDS_Status.o .libs/Box_Status.o .libs/Og_Status.o .libs/Concrete_Expression.o .libs/Constraint.o .libs/Constraint_System.o .libs/Congruence.o .libs/Congruence_System.o .libs/Generator_System.o .libs/Grid_Generator_System.o .libs/Generator.o .libs/Grid_Generator.o .libs/Handler.o .libs/Init.o .libs/Coefficient.o .libs/Linear_Expression.o .libs/Linear_Expression_Impl.o .libs/Linear_Expression_Interface.o .libs/Linear_Form.o .libs/Scalar_Products.o .libs/MIP_Problem.o .libs/PIP_Tree.o .libs/PIP_Problem.o .libs/Poly_Con_Relation.o .libs/Poly_Gen_Relation.o .libs/BHRZ03_Certificate.o .libs/H79_Certificate.o .libs/Grid_Certificate.o .libs/Partial_Function.o .libs/Polyhedron_nonpublic.o .libs/Polyhedron_public.o .libs/Polyhedron_chdims.o .libs/Polyhedron_widenings.o .libs/C_Polyhedron.o .libs/NNC_Polyhedron.o .libs/Grid_nonpublic.o .libs/Grid_public.o .libs/Grid_chdims.o .libs/Grid_widenings.o .libs/BD_Shape.o .libs/Octagonal_Shape.o .libs/Pointset_Powerset.o .libs/CO_Tree.o .libs/Sparse_Row.o .libs/Dense_Row.o .libs/Bit_Matrix.o .libs/Bit_Row.o .libs/Ph_Status.o .libs/Grid_Status.o .libs/Variable.o .libs/Variables_Set.o .libs/Grid_conversion.o .libs/Grid_simplify.o .libs/set_GMP_memory_alloc_funcs.o .libs/stdiobuf.o .libs/c_streambuf.o .libs/globals.o .libs/mp_std_bits.o .libs/Weight_Profiler.o .libs/version.o .libs/termination.o .libs/wrap_string.o .libs/Time.o .libs/Watchdog.o .libs/Threshold_Watcher.o -lgmpxx -lgmp -L/usr/lib/gcc/x86_64-linux-gnu/5 -L/usr/lib/gcc/x86_64-linux-gnu/5/../../../x86_64-linux-gnu -L/usr/lib/gcc/x86_64-linux-gnu/5/../../../../lib -L/lib/x86_64-linux-gnu -L/lib/../lib -L/usr/lib/x86_64-linux-gnu -L/usr/lib/../lib -L/usr/lib/gcc/x86_64-linux-gnu/5/../../.. -lstdc++ -lm -lc -lgcc_s /usr/lib/gcc/x86_64-linux-gnu/5/crtendS.o /usr/lib/gcc/x86_64-linux-gnu/5/../../../x86_64-linux-gnu/crtn.o -O2 -Wl,-soname -Wl,libppl.so.14 -o .libs/libppl.so.14.0.0
libtool: link: (cd ".libs" && rm -f "libppl.so.14" && ln -s "libppl.so.14.0.0" "libppl.so.14")
libtool: link: (cd ".libs" && rm -f "libppl.so" && ln -s "libppl.so.14.0.0" "libppl.so")
libtool: link: ar cru .libs/libppl.a assertions.o Box.o checked.o Checked_Number.o Float.o fpu-ia32.o BDS_Status.o Box_Status.o Og_Status.o Concrete_Expression.o Constraint.o Constraint_System.o Congruence.o Congruence_System.o Generator_System.o Grid_Generator_System.o Generator.o Grid_Generator.o Handler.o Init.o Coefficient.o Linear_Expression.o Linear_Expression_Impl.o Linear_Expression_Interface.o Linear_Form.o Scalar_Products.o MIP_Problem.o PIP_Tree.o PIP_Problem.o Poly_Con_Relation.o Poly_Gen_Relation.o BHRZ03_Certificate.o H79_Certificate.o Grid_Certificate.o Partial_Function.o Polyhedron_nonpublic.o Polyhedron_public.o Polyhedron_chdims.o Polyhedron_widenings.o C_Polyhedron.o NNC_Polyhedron.o Grid_nonpublic.o Grid_public.o Grid_chdims.o Grid_widenings.o BD_Shape.o Octagonal_Shape.o Pointset_Powerset.o CO_Tree.o Sparse_Row.o Dense_Row.o Bit_Matrix.o Bit_Row.o Ph_Status.o Grid_Status.o Variable.o Variables_Set.o Grid_conversion.o Grid_simplify.o set_GMP_memory_alloc_funcs.o stdiobuf.o c_streambuf.o globals.o mp_std_bits.o Weight_Profiler.o version.o termination.o wrap_string.o Time.o Watchdog.o Threshold_Watcher.o
libtool: link: ranlib .libs/libppl.a
libtool: link: ( cd ".libs" && rm -f "libppl.la" && ln -s "../libppl.la" "libppl.la" )
g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -MT ppl-config.o -MD -MP -MF .deps/ppl-config.Tpo -c -o ppl-config.o ppl-config.cc
mv -f .deps/ppl-config.Tpo .deps/ppl-config.Po
/bin/bash ../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o ppl-config BUGS.o COPYING.o CREDITS.o ppl-config.o -lgmpxx -lgmp libppl.la
libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/ppl-config BUGS.o COPYING.o CREDITS.o ppl-config.o ./.libs/libppl.so -lgmpxx -lgmp
make[3]: Leaving directory '/home/stefan/Downloads/ppl-1.2/src'
make[2]: Leaving directory '/home/stefan/Downloads/ppl-1.2/src'
Making all in tests
make[2]: Entering directory '/home/stefan/Downloads/ppl-1.2/tests'
Making all in .
make[3]: Entering directory '/home/stefan/Downloads/ppl-1.2/tests'
make[3]: Nothing to be done for 'all-am'.
make[3]: Leaving directory '/home/stefan/Downloads/ppl-1.2/tests'
Making all in Concrete_Expression
make[3]: Entering directory '/home/stefan/Downloads/ppl-1.2/tests/Concrete_Expression'
make[3]: Nothing to be done for 'all'.
make[3]: Leaving directory '/home/stefan/Downloads/ppl-1.2/tests/Concrete_Expression'
Making all in CO_Tree
make[3]: Entering directory '/home/stefan/Downloads/ppl-1.2/tests/CO_Tree'
make[3]: Nothing to be done for 'all'.
make[3]: Leaving directory '/home/stefan/Downloads/ppl-1.2/tests/CO_Tree'
Making all in PIP_Problem
make[3]: Entering directory '/home/stefan/Downloads/ppl-1.2/tests/PIP_Problem'
make[3]: Nothing to be done for 'all'.
make[3]: Leaving directory '/home/stefan/Downloads/ppl-1.2/tests/PIP_Problem'
Making all in Powerset
make[3]: Entering directory '/home/stefan/Downloads/ppl-1.2/tests/Powerset'
make[3]: Nothing to be done for 'all'.
make[3]: Leaving directory '/home/stefan/Downloads/ppl-1.2/tests/Powerset'
Making all in Partially_Reduced_Product
make[3]: Entering directory '/home/stefan/Downloads/ppl-1.2/tests/Partially_Reduced_Product'
make[3]: Nothing to be done for 'all'.
make[3]: Leaving directory '/home/stefan/Downloads/ppl-1.2/tests/Partially_Reduced_Product'
Making all in Box
make[3]: Entering directory '/home/stefan/Downloads/ppl-1.2/tests/Box'
make[3]: Nothing to be done for 'all'.
make[3]: Leaving directory '/home/stefan/Downloads/ppl-1.2/tests/Box'
Making all in MIP_Problem
make[3]: Entering directory '/home/stefan/Downloads/ppl-1.2/tests/MIP_Problem'
make[3]: Nothing to be done for 'all'.
make[3]: Leaving directory '/home/stefan/Downloads/ppl-1.2/tests/MIP_Problem'
Making all in Octagonal_Shape
make[3]: Entering directory '/home/stefan/Downloads/ppl-1.2/tests/Octagonal_Shape'
make[3]: Nothing to be done for 'all'.
make[3]: Leaving directory '/home/stefan/Downloads/ppl-1.2/tests/Octagonal_Shape'
Making all in BD_Shape
make[3]: Entering directory '/home/stefan/Downloads/ppl-1.2/tests/BD_Shape'
make[3]: Nothing to be done for 'all'.
make[3]: Leaving directory '/home/stefan/Downloads/ppl-1.2/tests/BD_Shape'
Making all in Polyhedron
make[3]: Entering directory '/home/stefan/Downloads/ppl-1.2/tests/Polyhedron'
make[3]: Nothing to be done for 'all'.
make[3]: Leaving directory '/home/stefan/Downloads/ppl-1.2/tests/Polyhedron'
Making all in Grid
make[3]: Entering directory '/home/stefan/Downloads/ppl-1.2/tests/Grid'
make[3]: Nothing to be done for 'all'.
make[3]: Leaving directory '/home/stefan/Downloads/ppl-1.2/tests/Grid'
Making all in Watchdog
make[3]: Entering directory '/home/stefan/Downloads/ppl-1.2/tests/Watchdog'
make[3]: Nothing to be done for 'all'.
make[3]: Leaving directory '/home/stefan/Downloads/ppl-1.2/tests/Watchdog'
make[2]: Leaving directory '/home/stefan/Downloads/ppl-1.2/tests'
Making all in interfaces
make[2]: Entering directory '/home/stefan/Downloads/ppl-1.2/interfaces'
echo "m4_define(\`m4_interface_classes_names', \`Polyhedron at Grid@Rational_Box at BD_Shape_mpz_class@BD_Shape_mpq_class at Octagonal_Shape_mpz_class@Octagonal_Shape_mpq_class at Constraints_Product_C_Polyhedron_Grid@Pointset_Powerset_C_Polyhedron at Pointset_Powerset_NNC_Polyhedron@Double_Box at BD_Shape_double@Octagonal_Shape_double')" > ppl_interface_instantiations.m4
echo "m4_define(\`m4_cplusplus_classes_names', \`Polyhedron at Grid@Rational_Box at BD_Shape<mpz_class>@BD_Shape<mpq_class>@Octagonal_Shape<mpz_class>@Octagonal_Shape<mpq_class>@Constraints_Product<C_Polyhedron,Grid>@Pointset_Powerset<C_Polyhedron>@Pointset_Powerset<NNC_Polyhedron>@Double_Box at BD_Shape<double>@Octagonal_Shape<double>')" >> ppl_interface_instantiations.m4
make all-recursive
make[3]: Entering directory '/home/stefan/Downloads/ppl-1.2/interfaces'
Making all in .
make[4]: Entering directory '/home/stefan/Downloads/ppl-1.2/interfaces'
make[4]: Nothing to be done for 'all-am'.
make[4]: Leaving directory '/home/stefan/Downloads/ppl-1.2/interfaces'
make[3]: Leaving directory '/home/stefan/Downloads/ppl-1.2/interfaces'
make[2]: Leaving directory '/home/stefan/Downloads/ppl-1.2/interfaces'
Making all in demos
make[2]: Entering directory '/home/stefan/Downloads/ppl-1.2/demos'
Making all in ppl_lcdd
make[3]: Entering directory '/home/stefan/Downloads/ppl-1.2/demos/ppl_lcdd'
Making all in examples
make[4]: Entering directory '/home/stefan/Downloads/ppl-1.2/demos/ppl_lcdd/examples'
make[4]: Nothing to be done for 'all'.
make[4]: Leaving directory '/home/stefan/Downloads/ppl-1.2/demos/ppl_lcdd/examples'
make[4]: Entering directory '/home/stefan/Downloads/ppl-1.2/demos/ppl_lcdd'
g++ -DHAVE_CONFIG_H -I. -I../.. -I../.. -I../../src -I../../utils -g -O2 -frounding-math -W -Wall -MT ppl_lcdd.o -MD -MP -MF .deps/ppl_lcdd.Tpo -c -o ppl_lcdd.o ppl_lcdd.cc
mv -f .deps/ppl_lcdd.Tpo .deps/ppl_lcdd.Po
/bin/bash ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o ppl_lcdd ppl_lcdd.o ../../src/libppl.la ../../utils/libppl_utils.a -lgmpxx -lgmp
libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/ppl_lcdd ppl_lcdd.o ../../src/.libs/libppl.so ../../utils/libppl_utils.a -lgmpxx -lgmp
make[4]: Leaving directory '/home/stefan/Downloads/ppl-1.2/demos/ppl_lcdd'
make[3]: Leaving directory '/home/stefan/Downloads/ppl-1.2/demos/ppl_lcdd'
Making all in ppl_lpsol
make[3]: Entering directory '/home/stefan/Downloads/ppl-1.2/demos/ppl_lpsol'
Making all in examples
make[4]: Entering directory '/home/stefan/Downloads/ppl-1.2/demos/ppl_lpsol/examples'
make[4]: Nothing to be done for 'all'.
make[4]: Leaving directory '/home/stefan/Downloads/ppl-1.2/demos/ppl_lpsol/examples'
make[4]: Entering directory '/home/stefan/Downloads/ppl-1.2/demos/ppl_lpsol'
make[4]: Nothing to be done for 'all-am'.
make[4]: Leaving directory '/home/stefan/Downloads/ppl-1.2/demos/ppl_lpsol'
make[3]: Leaving directory '/home/stefan/Downloads/ppl-1.2/demos/ppl_lpsol'
Making all in ppl_pips
make[3]: Entering directory '/home/stefan/Downloads/ppl-1.2/demos/ppl_pips'
Making all in examples
make[4]: Entering directory '/home/stefan/Downloads/ppl-1.2/demos/ppl_pips/examples'
make[4]: Nothing to be done for 'all'.
make[4]: Leaving directory '/home/stefan/Downloads/ppl-1.2/demos/ppl_pips/examples'
make[4]: Entering directory '/home/stefan/Downloads/ppl-1.2/demos/ppl_pips'
g++ -DHAVE_CONFIG_H -I. -I../.. -I../.. -I../../src -I../../utils -g -O2 -frounding-math -W -Wall -MT ppl_pips.o -MD -MP -MF .deps/ppl_pips.Tpo -c -o ppl_pips.o ppl_pips.cc
mv -f .deps/ppl_pips.Tpo .deps/ppl_pips.Po
/bin/bash ../../libtool --tag=CXX --mode=link g++ -g -O2 -frounding-math -W -Wall -o ppl_pips ppl_pips.o ../../src/libppl.la ../../utils/libppl_utils.a -lgmpxx -lgmp
libtool: link: g++ -g -O2 -frounding-math -W -Wall -o .libs/ppl_pips ppl_pips.o ../../src/.libs/libppl.so ../../utils/libppl_utils.a -lgmpxx -lgmp
make[4]: Leaving directory '/home/stefan/Downloads/ppl-1.2/demos/ppl_pips'
make[3]: Leaving directory '/home/stefan/Downloads/ppl-1.2/demos/ppl_pips'
make[3]: Entering directory '/home/stefan/Downloads/ppl-1.2/demos'
make[3]: Nothing to be done for 'all-am'.
make[3]: Leaving directory '/home/stefan/Downloads/ppl-1.2/demos'
make[2]: Leaving directory '/home/stefan/Downloads/ppl-1.2/demos'
Making all in doc
make[2]: Entering directory '/home/stefan/Downloads/ppl-1.2/doc'
make[2]: Nothing to be done for 'all'.
make[2]: Leaving directory '/home/stefan/Downloads/ppl-1.2/doc'
Making all in m4
make[2]: Entering directory '/home/stefan/Downloads/ppl-1.2/m4'
make[2]: Nothing to be done for 'all'.
make[2]: Leaving directory '/home/stefan/Downloads/ppl-1.2/m4'
make[1]: Leaving directory '/home/stefan/Downloads/ppl-1.2'
-------------- next part --------------
Making install in .
make[1]: Entering directory '/home/stefan/Downloads/ppl-1.2'
make[2]: Entering directory '/home/stefan/Downloads/ppl-1.2'
make[2]: Nothing to be done for 'install-exec-am'.
make[2]: Nothing to be done for 'install-data-am'.
make[2]: Leaving directory '/home/stefan/Downloads/ppl-1.2'
make[1]: Leaving directory '/home/stefan/Downloads/ppl-1.2'
Making install in utils
make[1]: Entering directory '/home/stefan/Downloads/ppl-1.2/utils'
make[2]: Entering directory '/home/stefan/Downloads/ppl-1.2/utils'
make[2]: Nothing to be done for 'install-exec-am'.
make[2]: Nothing to be done for 'install-data-am'.
make[2]: Leaving directory '/home/stefan/Downloads/ppl-1.2/utils'
make[1]: Leaving directory '/home/stefan/Downloads/ppl-1.2/utils'
Making install in src
make[1]: Entering directory '/home/stefan/Downloads/ppl-1.2/src'
make install-am
make[2]: Entering directory '/home/stefan/Downloads/ppl-1.2/src'
make[3]: Entering directory '/home/stefan/Downloads/ppl-1.2/src'
/bin/mkdir -p '/usr/local/lib'
/bin/bash ../libtool --mode=install /usr/bin/install -c libppl.la '/usr/local/lib'
libtool: install: /usr/bin/install -c .libs/libppl.so.14.0.0 /usr/local/lib/libppl.so.14.0.0
libtool: install: (cd /usr/local/lib && { ln -s -f libppl.so.14.0.0 libppl.so.14 || { rm -f libppl.so.14 && ln -s libppl.so.14.0.0 libppl.so.14; }; })
libtool: install: (cd /usr/local/lib && { ln -s -f libppl.so.14.0.0 libppl.so || { rm -f libppl.so && ln -s libppl.so.14.0.0 libppl.so; }; })
libtool: install: /usr/bin/install -c .libs/libppl.lai /usr/local/lib/libppl.la
libtool: install: /usr/bin/install -c .libs/libppl.a /usr/local/lib/libppl.a
libtool: install: chmod 644 /usr/local/lib/libppl.a
libtool: install: ranlib /usr/local/lib/libppl.a
libtool: finish: PATH="/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/snap/bin:/sbin" ldconfig -n /usr/local/lib
----------------------------------------------------------------------
Libraries have been installed in:
/usr/local/lib
If you ever happen to want to link against installed libraries
in a given directory, LIBDIR, you must either use libtool, and
specify the full pathname of the library, or use the `-LLIBDIR'
flag during linking and do at least one of the following:
- add LIBDIR to the `LD_LIBRARY_PATH' environment variable
during execution
- add LIBDIR to the `LD_RUN_PATH' environment variable
during linking
- use the `-Wl,-rpath -Wl,LIBDIR' linker flag
- have your system administrator add LIBDIR to `/etc/ld.so.conf'
See any operating system documentation about shared libraries for
more information, such as the ld(1) and ld.so(8) manual pages.
----------------------------------------------------------------------
/bin/mkdir -p '/usr/local/bin'
/bin/bash ../libtool --mode=install /usr/bin/install -c ppl-config '/usr/local/bin'
libtool: install: /usr/bin/install -c .libs/ppl-config /usr/local/bin/ppl-config
make[3]: Leaving directory '/home/stefan/Downloads/ppl-1.2/src'
make[2]: Leaving directory '/home/stefan/Downloads/ppl-1.2/src'
make[1]: Leaving directory '/home/stefan/Downloads/ppl-1.2/src'
Making install in tests
make[1]: Entering directory '/home/stefan/Downloads/ppl-1.2/tests'
Making install in .
make[2]: Entering directory '/home/stefan/Downloads/ppl-1.2/tests'
make[3]: Entering directory '/home/stefan/Downloads/ppl-1.2/tests'
make[3]: Nothing to be done for 'install-exec-am'.
make[3]: Nothing to be done for 'install-data-am'.
make[3]: Leaving directory '/home/stefan/Downloads/ppl-1.2/tests'
make[2]: Leaving directory '/home/stefan/Downloads/ppl-1.2/tests'
Making install in Concrete_Expression
make[2]: Entering directory '/home/stefan/Downloads/ppl-1.2/tests/Concrete_Expression'
make[3]: Entering directory '/home/stefan/Downloads/ppl-1.2/tests/Concrete_Expression'
make[3]: Nothing to be done for 'install-exec-am'.
make[3]: Nothing to be done for 'install-data-am'.
make[3]: Leaving directory '/home/stefan/Downloads/ppl-1.2/tests/Concrete_Expression'
make[2]: Leaving directory '/home/stefan/Downloads/ppl-1.2/tests/Concrete_Expression'
Making install in CO_Tree
make[2]: Entering directory '/home/stefan/Downloads/ppl-1.2/tests/CO_Tree'
make[3]: Entering directory '/home/stefan/Downloads/ppl-1.2/tests/CO_Tree'
make[3]: Nothing to be done for 'install-exec-am'.
make[3]: Nothing to be done for 'install-data-am'.
make[3]: Leaving directory '/home/stefan/Downloads/ppl-1.2/tests/CO_Tree'
make[2]: Leaving directory '/home/stefan/Downloads/ppl-1.2/tests/CO_Tree'
Making install in PIP_Problem
make[2]: Entering directory '/home/stefan/Downloads/ppl-1.2/tests/PIP_Problem'
make[3]: Entering directory '/home/stefan/Downloads/ppl-1.2/tests/PIP_Problem'
make[3]: Nothing to be done for 'install-exec-am'.
make[3]: Nothing to be done for 'install-data-am'.
make[3]: Leaving directory '/home/stefan/Downloads/ppl-1.2/tests/PIP_Problem'
make[2]: Leaving directory '/home/stefan/Downloads/ppl-1.2/tests/PIP_Problem'
Making install in Powerset
make[2]: Entering directory '/home/stefan/Downloads/ppl-1.2/tests/Powerset'
make[3]: Entering directory '/home/stefan/Downloads/ppl-1.2/tests/Powerset'
make[3]: Nothing to be done for 'install-exec-am'.
make[3]: Nothing to be done for 'install-data-am'.
make[3]: Leaving directory '/home/stefan/Downloads/ppl-1.2/tests/Powerset'
make[2]: Leaving directory '/home/stefan/Downloads/ppl-1.2/tests/Powerset'
Making install in Partially_Reduced_Product
make[2]: Entering directory '/home/stefan/Downloads/ppl-1.2/tests/Partially_Reduced_Product'
make[3]: Entering directory '/home/stefan/Downloads/ppl-1.2/tests/Partially_Reduced_Product'
make[3]: Nothing to be done for 'install-exec-am'.
make[3]: Nothing to be done for 'install-data-am'.
make[3]: Leaving directory '/home/stefan/Downloads/ppl-1.2/tests/Partially_Reduced_Product'
make[2]: Leaving directory '/home/stefan/Downloads/ppl-1.2/tests/Partially_Reduced_Product'
Making install in Box
make[2]: Entering directory '/home/stefan/Downloads/ppl-1.2/tests/Box'
make[3]: Entering directory '/home/stefan/Downloads/ppl-1.2/tests/Box'
make[3]: Nothing to be done for 'install-exec-am'.
make[3]: Nothing to be done for 'install-data-am'.
make[3]: Leaving directory '/home/stefan/Downloads/ppl-1.2/tests/Box'
make[2]: Leaving directory '/home/stefan/Downloads/ppl-1.2/tests/Box'
Making install in MIP_Problem
make[2]: Entering directory '/home/stefan/Downloads/ppl-1.2/tests/MIP_Problem'
make[3]: Entering directory '/home/stefan/Downloads/ppl-1.2/tests/MIP_Problem'
make[3]: Nothing to be done for 'install-exec-am'.
make[3]: Nothing to be done for 'install-data-am'.
make[3]: Leaving directory '/home/stefan/Downloads/ppl-1.2/tests/MIP_Problem'
make[2]: Leaving directory '/home/stefan/Downloads/ppl-1.2/tests/MIP_Problem'
Making install in Octagonal_Shape
make[2]: Entering directory '/home/stefan/Downloads/ppl-1.2/tests/Octagonal_Shape'
make[3]: Entering directory '/home/stefan/Downloads/ppl-1.2/tests/Octagonal_Shape'
make[3]: Nothing to be done for 'install-exec-am'.
make[3]: Nothing to be done for 'install-data-am'.
make[3]: Leaving directory '/home/stefan/Downloads/ppl-1.2/tests/Octagonal_Shape'
make[2]: Leaving directory '/home/stefan/Downloads/ppl-1.2/tests/Octagonal_Shape'
Making install in BD_Shape
make[2]: Entering directory '/home/stefan/Downloads/ppl-1.2/tests/BD_Shape'
make[3]: Entering directory '/home/stefan/Downloads/ppl-1.2/tests/BD_Shape'
make[3]: Nothing to be done for 'install-exec-am'.
make[3]: Nothing to be done for 'install-data-am'.
make[3]: Leaving directory '/home/stefan/Downloads/ppl-1.2/tests/BD_Shape'
make[2]: Leaving directory '/home/stefan/Downloads/ppl-1.2/tests/BD_Shape'
Making install in Polyhedron
make[2]: Entering directory '/home/stefan/Downloads/ppl-1.2/tests/Polyhedron'
make[3]: Entering directory '/home/stefan/Downloads/ppl-1.2/tests/Polyhedron'
make[3]: Nothing to be done for 'install-exec-am'.
make[3]: Nothing to be done for 'install-data-am'.
make[3]: Leaving directory '/home/stefan/Downloads/ppl-1.2/tests/Polyhedron'
make[2]: Leaving directory '/home/stefan/Downloads/ppl-1.2/tests/Polyhedron'
Making install in Grid
make[2]: Entering directory '/home/stefan/Downloads/ppl-1.2/tests/Grid'
make[3]: Entering directory '/home/stefan/Downloads/ppl-1.2/tests/Grid'
make[3]: Nothing to be done for 'install-exec-am'.
make[3]: Nothing to be done for 'install-data-am'.
make[3]: Leaving directory '/home/stefan/Downloads/ppl-1.2/tests/Grid'
make[2]: Leaving directory '/home/stefan/Downloads/ppl-1.2/tests/Grid'
Making install in Watchdog
make[2]: Entering directory '/home/stefan/Downloads/ppl-1.2/tests/Watchdog'
make[3]: Entering directory '/home/stefan/Downloads/ppl-1.2/tests/Watchdog'
make[3]: Nothing to be done for 'install-exec-am'.
make[3]: Nothing to be done for 'install-data-am'.
make[3]: Leaving directory '/home/stefan/Downloads/ppl-1.2/tests/Watchdog'
make[2]: Leaving directory '/home/stefan/Downloads/ppl-1.2/tests/Watchdog'
make[1]: Leaving directory '/home/stefan/Downloads/ppl-1.2/tests'
Making install in interfaces
make[1]: Entering directory '/home/stefan/Downloads/ppl-1.2/interfaces'
make install-recursive
make[2]: Entering directory '/home/stefan/Downloads/ppl-1.2/interfaces'
Making install in .
make[3]: Entering directory '/home/stefan/Downloads/ppl-1.2/interfaces'
make[4]: Entering directory '/home/stefan/Downloads/ppl-1.2/interfaces'
make[4]: Nothing to be done for 'install-exec-am'.
make[4]: Nothing to be done for 'install-data-am'.
make[4]: Leaving directory '/home/stefan/Downloads/ppl-1.2/interfaces'
make[3]: Leaving directory '/home/stefan/Downloads/ppl-1.2/interfaces'
make[2]: Leaving directory '/home/stefan/Downloads/ppl-1.2/interfaces'
make[1]: Leaving directory '/home/stefan/Downloads/ppl-1.2/interfaces'
Making install in demos
make[1]: Entering directory '/home/stefan/Downloads/ppl-1.2/demos'
Making install in ppl_lcdd
make[2]: Entering directory '/home/stefan/Downloads/ppl-1.2/demos/ppl_lcdd'
Making install in examples
make[3]: Entering directory '/home/stefan/Downloads/ppl-1.2/demos/ppl_lcdd/examples'
make[4]: Entering directory '/home/stefan/Downloads/ppl-1.2/demos/ppl_lcdd/examples'
make[4]: Nothing to be done for 'install-exec-am'.
make[4]: Nothing to be done for 'install-data-am'.
make[4]: Leaving directory '/home/stefan/Downloads/ppl-1.2/demos/ppl_lcdd/examples'
make[3]: Leaving directory '/home/stefan/Downloads/ppl-1.2/demos/ppl_lcdd/examples'
make[3]: Entering directory '/home/stefan/Downloads/ppl-1.2/demos/ppl_lcdd'
make[4]: Entering directory '/home/stefan/Downloads/ppl-1.2/demos/ppl_lcdd'
/bin/mkdir -p '/usr/local/bin'
/bin/bash ../../libtool --mode=install /usr/bin/install -c ppl_lcdd '/usr/local/bin'
libtool: install: /usr/bin/install -c .libs/ppl_lcdd /usr/local/bin/ppl_lcdd
/bin/mkdir -p '/usr/local/share/man/man1'
/usr/bin/install -c -m 644 ppl_lcdd.1 '/usr/local/share/man/man1'
make[4]: Leaving directory '/home/stefan/Downloads/ppl-1.2/demos/ppl_lcdd'
make[3]: Leaving directory '/home/stefan/Downloads/ppl-1.2/demos/ppl_lcdd'
make[2]: Leaving directory '/home/stefan/Downloads/ppl-1.2/demos/ppl_lcdd'
Making install in ppl_lpsol
make[2]: Entering directory '/home/stefan/Downloads/ppl-1.2/demos/ppl_lpsol'
Making install in examples
make[3]: Entering directory '/home/stefan/Downloads/ppl-1.2/demos/ppl_lpsol/examples'
make[4]: Entering directory '/home/stefan/Downloads/ppl-1.2/demos/ppl_lpsol/examples'
make[4]: Nothing to be done for 'install-exec-am'.
make[4]: Nothing to be done for 'install-data-am'.
make[4]: Leaving directory '/home/stefan/Downloads/ppl-1.2/demos/ppl_lpsol/examples'
make[3]: Leaving directory '/home/stefan/Downloads/ppl-1.2/demos/ppl_lpsol/examples'
make[3]: Entering directory '/home/stefan/Downloads/ppl-1.2/demos/ppl_lpsol'
make[4]: Entering directory '/home/stefan/Downloads/ppl-1.2/demos/ppl_lpsol'
/bin/mkdir -p '/usr/local/share/man/man1'
/usr/bin/install -c -m 644 ppl_lpsol.1 '/usr/local/share/man/man1'
make[4]: Leaving directory '/home/stefan/Downloads/ppl-1.2/demos/ppl_lpsol'
make[3]: Leaving directory '/home/stefan/Downloads/ppl-1.2/demos/ppl_lpsol'
make[2]: Leaving directory '/home/stefan/Downloads/ppl-1.2/demos/ppl_lpsol'
Making install in ppl_pips
make[2]: Entering directory '/home/stefan/Downloads/ppl-1.2/demos/ppl_pips'
Making install in examples
make[3]: Entering directory '/home/stefan/Downloads/ppl-1.2/demos/ppl_pips/examples'
make[4]: Entering directory '/home/stefan/Downloads/ppl-1.2/demos/ppl_pips/examples'
make[4]: Nothing to be done for 'install-exec-am'.
make[4]: Nothing to be done for 'install-data-am'.
make[4]: Leaving directory '/home/stefan/Downloads/ppl-1.2/demos/ppl_pips/examples'
make[3]: Leaving directory '/home/stefan/Downloads/ppl-1.2/demos/ppl_pips/examples'
make[3]: Entering directory '/home/stefan/Downloads/ppl-1.2/demos/ppl_pips'
make[4]: Entering directory '/home/stefan/Downloads/ppl-1.2/demos/ppl_pips'
/bin/mkdir -p '/usr/local/bin'
/bin/bash ../../libtool --mode=install /usr/bin/install -c ppl_pips '/usr/local/bin'
libtool: install: /usr/bin/install -c .libs/ppl_pips /usr/local/bin/ppl_pips
/bin/mkdir -p '/usr/local/share/man/man1'
/usr/bin/install -c -m 644 ppl_pips.1 '/usr/local/share/man/man1'
make[4]: Leaving directory '/home/stefan/Downloads/ppl-1.2/demos/ppl_pips'
make[3]: Leaving directory '/home/stefan/Downloads/ppl-1.2/demos/ppl_pips'
make[2]: Leaving directory '/home/stefan/Downloads/ppl-1.2/demos/ppl_pips'
make[2]: Entering directory '/home/stefan/Downloads/ppl-1.2/demos'
make[3]: Entering directory '/home/stefan/Downloads/ppl-1.2/demos'
make[3]: Nothing to be done for 'install-exec-am'.
make[3]: Nothing to be done for 'install-data-am'.
make[3]: Leaving directory '/home/stefan/Downloads/ppl-1.2/demos'
make[2]: Leaving directory '/home/stefan/Downloads/ppl-1.2/demos'
make[1]: Leaving directory '/home/stefan/Downloads/ppl-1.2/demos'
Making install in doc
make[1]: Entering directory '/home/stefan/Downloads/ppl-1.2/doc'
make[2]: Entering directory '/home/stefan/Downloads/ppl-1.2/doc'
make[2]: Nothing to be done for 'install-exec-am'.
for ball in ppl-user-1.2-html.tar.gz ; do \
test -f $ball || test -f ./$ball \
|| false || make $ball; \
dir=`basename $ball .tar.gz`; \
/bin/bash ../mkinstalldirs /usr/local/share/doc/ppl/$dir; \
gunzip -c `if test -f $ball; then echo .; else echo .; fi`/$ball | tar xf - ; \
if test -d $dir/ocamldoc; then \
/bin/bash ../mkinstalldirs /usr/local/share/doc/ppl/$dir/ocamldoc; \
for file in $dir/ocamldoc/*; do \
/usr/bin/install -c -m 644 $file \
/usr/local/share/doc/ppl/$dir/ocamldoc/`basename $file`; \
done; \
fi; \
for file in $dir/*; do \
/usr/bin/install -c -m 644 $file /usr/local/share/doc/ppl/$dir/`basename $file`; \
done; \
done
/bin/bash ../mkinstalldirs /usr/local/share/doc/ppl
for file in gpl.pdf fdl.pdf ppl-user-1.2.pdf ; do \
test -f $file || test -f ./$file \
|| false || make $file; \
/usr/bin/install -c -m 644 `if test -f $file; then echo .; else echo .; fi`/$file /usr/local/share/doc/ppl/$file; \
done
/bin/bash ../mkinstalldirs /usr/local/share/doc/ppl
for file in gpl.ps.gz fdl.ps.gz ppl-user-1.2.ps.gz ; do \
test -f $file || test -f ./$file \
|| false || make $file; \
/usr/bin/install -c -m 644 `if test -f $file; then echo .; else echo .; fi`/$file /usr/local/share/doc/ppl/$file; \
done
/bin/bash ../mkinstalldirs /usr/local/share/doc/ppl
for file in ./*.txt ./README.doc; do \
/usr/bin/install -c -m 644 $file /usr/local/share/doc/ppl/`basename $file`; \
done
for file in BUGS COPYING CREDITS ChangeLog NEWS README README.configure TODO ; do \
/usr/bin/install -c -m 644 ./../$file /usr/local/share/doc/ppl/$file; \
done
/bin/mkdir -p '/usr/local/share/man/man1'
/usr/bin/install -c -m 644 ppl-config.1 '/usr/local/share/man/man1'
/bin/mkdir -p '/usr/local/share/man/man3'
/usr/bin/install -c -m 644 libppl.3 libppl_c.3 '/usr/local/share/man/man3'
make[2]: Leaving directory '/home/stefan/Downloads/ppl-1.2/doc'
make[1]: Leaving directory '/home/stefan/Downloads/ppl-1.2/doc'
Making install in m4
make[1]: Entering directory '/home/stefan/Downloads/ppl-1.2/m4'
make[2]: Entering directory '/home/stefan/Downloads/ppl-1.2/m4'
make[2]: Nothing to be done for 'install-exec-am'.
/bin/mkdir -p '/usr/local/share/aclocal'
/usr/bin/install -c -m 644 ppl.m4 ppl_c.m4 '/usr/local/share/aclocal'
make[2]: Leaving directory '/home/stefan/Downloads/ppl-1.2/m4'
make[1]: Leaving directory '/home/stefan/Downloads/ppl-1.2/m4'
More information about the PPL-devel
mailing list