# Makefile.in generated by automake 1.14.1 from Makefile.am. # @configure_input@ # Copyright (C) 1994-2013 Free Software Foundation, Inc. # This Makefile.in is free software; the Free Software Foundation # gives unlimited permission to copy and/or distribute it, # with or without modifications, as long as this notice is preserved. # This program is distributed in the hope that it will be useful, # but WITHOUT ANY WARRANTY, to the extent permitted by law; without # even the implied warranty of MERCHANTABILITY or FITNESS FOR A # PARTICULAR PURPOSE. @SET_MAKE@ # Automake source file for the Parma Polyhedra Library. # Copyright (C) 2001-2010 Roberto Bagnara # Copyright (C) 2010-2016 BUGSENG srl (http://bugseng.com) # # This file is part of the Parma Polyhedra Library (PPL). # # The PPL is free software; you can redistribute it and/or modify it # under the terms of the GNU General Public License as published by the # Free Software Foundation; either version 3 of the License, or (at your # option) any later version. # # The PPL is distributed in the hope that it will be useful, but WITHOUT # ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or # FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License # for more details. # # You should have received a copy of the GNU General Public License # along with this program; if not, write to the Free Software Foundation, # Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA. # # For the most up-to-date information see the Parma Polyhedra Library # site: http://bugseng.com/products/ppl/ . # Libtool -version-info for libppl.la. # # 1. Start with version information of `0:0:0' for each Libtool library. # # 2. Update the version information only immediately before a public # release of your software. More frequent updates are unnecessary, # and only guarantee that the current interface number gets larger # faster. # # 3. If the library source code has changed at all since the last # update, then increment REVISION (`C:R:A' becomes `C:r+1:A'). # # 4. If any interfaces have been added, removed, or changed since the # last update, increment CURRENT, and set REVISION to 0. # # 5. If any interfaces have been added since the last public release, # then increment AGE. # # 6. If any interfaces have been removed since the last public release, # then set AGE to 0. # # PPL release -version-info # 0.1 ----- # 0.2 ----- # 0.3 0:0:0 # 0.4 1:0:1 # 0.5 2:0:0 # 0.6 3:0:0 # 0.7 4:0:0 # 0.8 5:0:0 # 0.9 6:0:0 # 0.10 7:0:0 # 0.10.1 8:0:1 # 0.10.2 8:0:1 # 0.11 9:0:0 # 0.12 10:0:0 # 0.12.1 11:0:0 # 1.0 12:0:0 # 1.1 13:0:0 # 1.2 14:0:0 VPATH = @srcdir@ am__is_gnu_make = test -n '$(MAKEFILE_LIST)' && test -n '$(MAKELEVEL)' am__make_running_with_option = \ case $${target_option-} in \ ?) ;; \ *) echo "am__make_running_with_option: internal error: invalid" \ "target option '$${target_option-}' specified" >&2; \ exit 1;; \ esac; \ has_opt=no; \ sane_makeflags=$$MAKEFLAGS; \ if $(am__is_gnu_make); then \ sane_makeflags=$$MFLAGS; \ else \ case $$MAKEFLAGS in \ *\\[\ \ ]*) \ bs=\\; \ sane_makeflags=`printf '%s\n' "$$MAKEFLAGS" \ | sed "s/$$bs$$bs[$$bs $$bs ]*//g"`;; \ esac; \ fi; \ skip_next=no; \ strip_trailopt () \ { \ flg=`printf '%s\n' "$$flg" | sed "s/$$1.*$$//"`; \ }; \ for flg in $$sane_makeflags; do \ test $$skip_next = yes && { skip_next=no; continue; }; \ case $$flg in \ *=*|--*) continue;; \ -*I) strip_trailopt 'I'; skip_next=yes;; \ -*I?*) strip_trailopt 'I';; \ -*O) strip_trailopt 'O'; skip_next=yes;; \ -*O?*) strip_trailopt 'O';; \ -*l) strip_trailopt 'l'; skip_next=yes;; \ -*l?*) strip_trailopt 'l';; \ -[dEDm]) skip_next=yes;; \ -[JT]) skip_next=yes;; \ esac; \ case $$flg in \ *$$target_option*) has_opt=yes; break;; \ esac; \ done; \ test $$has_opt = yes am__make_dryrun = (target_option=n; $(am__make_running_with_option)) am__make_keepgoing = (target_option=k; $(am__make_running_with_option)) pkgdatadir = $(datadir)/@PACKAGE@ pkgincludedir = $(includedir)/@PACKAGE@ pkglibdir = $(libdir)/@PACKAGE@ pkglibexecdir = $(libexecdir)/@PACKAGE@ am__cd = CDPATH="$${ZSH_VERSION+.}$(PATH_SEPARATOR)" && cd install_sh_DATA = $(install_sh) -c -m 644 install_sh_PROGRAM = $(install_sh) -c install_sh_SCRIPT = $(install_sh) -c INSTALL_HEADER = $(INSTALL_DATA) transform = $(program_transform_name) NORMAL_INSTALL = : PRE_INSTALL = : POST_INSTALL = : NORMAL_UNINSTALL = : PRE_UNINSTALL = : POST_UNINSTALL = : build_triplet = @build@ host_triplet = @host@ bin_PROGRAMS = ppl-config$(EXEEXT) subdir = src DIST_COMMON = $(srcdir)/Makefile.in $(srcdir)/Makefile.am \ $(top_srcdir)/mkinstalldirs $(srcdir)/version.hh.in \ $(srcdir)/ppl-config.cc.in $(top_srcdir)/depcomp \ $(am__include_HEADERS_DIST) $(am__noinst_HEADERS_DIST) ACLOCAL_M4 = $(top_srcdir)/aclocal.m4 am__aclocal_m4_deps = $(top_srcdir)/m4/ac_check_ciao.m4 \ $(top_srcdir)/m4/ac_check_cxx11.m4 \ $(top_srcdir)/m4/ac_check_fpu_control.m4 \ $(top_srcdir)/m4/ac_check_gmp.m4 \ $(top_srcdir)/m4/ac_check_sicstus_prolog.m4 \ $(top_srcdir)/m4/ac_check_swi_prolog.m4 \ $(top_srcdir)/m4/ac_check_xsb_prolog.m4 \ $(top_srcdir)/m4/ac_check_yap.m4 \ $(top_srcdir)/m4/ac_cxx_attribute_weak.m4 \ $(top_srcdir)/m4/ac_cxx_double_binary_format.m4 \ $(top_srcdir)/m4/ac_cxx_float_binary_format.m4 \ $(top_srcdir)/m4/ac_cxx_ieee_inexact_flag.m4 \ $(top_srcdir)/m4/ac_cxx_limit_memory.m4 \ $(top_srcdir)/m4/ac_cxx_long_double_binary_format.m4 \ $(top_srcdir)/m4/ac_cxx_plain_char_is_signed.m4 \ $(top_srcdir)/m4/ac_cxx_proper_long_double.m4 \ $(top_srcdir)/m4/ac_cxx_zero_length_arrays.m4 \ $(top_srcdir)/m4/ac_prog_jar.m4 \ $(top_srcdir)/m4/ac_prog_java.m4 \ $(top_srcdir)/m4/ac_prog_javac.m4 \ $(top_srcdir)/m4/ac_prog_javah.m4 \ $(top_srcdir)/m4/ac_text_md5sum.m4 \ $(top_srcdir)/m4/ac_use_libtool.m4 $(top_srcdir)/m4/libtool.m4 \ $(top_srcdir)/m4/ltoptions.m4 $(top_srcdir)/m4/ltsugar.m4 \ $(top_srcdir)/m4/ltversion.m4 $(top_srcdir)/m4/lt~obsolete.m4 \ $(top_srcdir)/m4/m4.m4 $(top_srcdir)/m4/ocaml.m4 \ $(top_srcdir)/configure.ac am__configure_deps = $(am__aclocal_m4_deps) $(CONFIGURE_DEPENDENCIES) \ $(ACLOCAL_M4) mkinstalldirs = $(SHELL) $(top_srcdir)/mkinstalldirs CONFIG_HEADER = $(top_builddir)/config.h CONFIG_CLEAN_FILES = version.hh ppl-config.cc CONFIG_CLEAN_VPATH_FILES = am__vpath_adj_setup = srcdirstrip=`echo "$(srcdir)" | sed 's|.|.|g'`; am__vpath_adj = case $$p in \ $(srcdir)/*) f=`echo "$$p" | sed "s|^$$srcdirstrip/||"`;; \ *) f=$$p;; \ esac; am__strip_dir = f=`echo $$p | sed -e 's|^.*/||'`; am__install_max = 40 am__nobase_strip_setup = \ srcdirstrip=`echo "$(srcdir)" | sed 's/[].[^$$\\*|]/\\\\&/g'` am__nobase_strip = \ for p in $$list; do echo "$$p"; done | sed -e "s|$$srcdirstrip/||" am__nobase_list = $(am__nobase_strip_setup); \ for p in $$list; do echo "$$p $$p"; done | \ sed "s| $$srcdirstrip/| |;"' / .*\//!s/ .*/ ./; s,\( .*\)/[^/]*$$,\1,' | \ $(AWK) 'BEGIN { files["."] = "" } { files[$$2] = files[$$2] " " $$1; \ if (++n[$$2] == $(am__install_max)) \ { print $$2, files[$$2]; n[$$2] = 0; files[$$2] = "" } } \ END { for (dir in files) print dir, files[dir] }' am__base_list = \ sed '$$!N;$$!N;$$!N;$$!N;$$!N;$$!N;$$!N;s/\n/ /g' | \ sed '$$!N;$$!N;$$!N;$$!N;s/\n/ /g' am__uninstall_files_from_dir = { \ test -z "$$files" \ || { test ! -d "$$dir" && test ! -f "$$dir" && test ! -r "$$dir"; } \ || { echo " ( cd '$$dir' && rm -f" $$files ")"; \ $(am__cd) "$$dir" && rm -f $$files; }; \ } am__installdirs = "$(DESTDIR)$(libdir)" "$(DESTDIR)$(bindir)" \ "$(DESTDIR)$(includedir)" LTLIBRARIES = $(lib_LTLIBRARIES) libppl_la_DEPENDENCIES = am__libppl_la_SOURCES_DIST = assertions.cc Box.cc checked.cc \ Checked_Number.cc Float.cc fpu-ia32.cc BDS_Status.cc \ Box_Status.cc Og_Status.cc Concrete_Expression.cc \ Constraint.cc Constraint_System.cc Congruence.cc \ Congruence_System.cc Generator_System.cc \ Grid_Generator_System.cc Generator.cc Grid_Generator.cc \ Handler.cc Init.cc Coefficient.cc Linear_Expression.cc \ Linear_Expression_Impl.cc Linear_Expression_Interface.cc \ Linear_Form.cc Scalar_Products.cc MIP_Problem.cc PIP_Tree.cc \ PIP_Problem.cc Poly_Con_Relation.cc Poly_Gen_Relation.cc \ BHRZ03_Certificate.cc H79_Certificate.cc Grid_Certificate.cc \ Partial_Function.cc Polyhedron_nonpublic.cc \ Polyhedron_public.cc Polyhedron_chdims.cc \ Polyhedron_widenings.cc C_Polyhedron.cc NNC_Polyhedron.cc \ Grid_nonpublic.cc Grid_public.cc Grid_chdims.cc \ Grid_widenings.cc BD_Shape.cc Octagonal_Shape.cc \ Pointset_Powerset.cc CO_Tree.cc Sparse_Row.cc Dense_Row.cc \ Bit_Matrix.cc Bit_Row.cc Ph_Status.cc Grid_Status.cc \ Variable.cc Variables_Set.cc Grid_conversion.cc \ Grid_simplify.cc set_GMP_memory_alloc_funcs.cc stdiobuf.cc \ c_streambuf.cc globals.cc mp_std_bits.cc Weight_Profiler.cc \ version.cc 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_defs.hh PIP_Tree_inlines.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 \ Ph_Status_idefs.hh Grid_Status_idefs.hh Box_Status_idefs.hh \ BDS_Status_idefs.hh Og_Status_idefs.hh \ swapping_sort_templates.hh termination.cc wrap_string.cc \ Time.cc Watchdog.cc Threshold_Watcher.cc am__objects_1 = am__objects_2 = $(am__objects_1) $(am__objects_1) am_libppl_la_OBJECTS = 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 $(am__objects_2) $(am__objects_1) termination.lo \ wrap_string.lo Time.lo Watchdog.lo Threshold_Watcher.lo libppl_la_OBJECTS = $(am_libppl_la_OBJECTS) AM_V_lt = $(am__v_lt_@AM_V@) am__v_lt_ = $(am__v_lt_@AM_DEFAULT_V@) am__v_lt_0 = --silent am__v_lt_1 = libppl_la_LINK = $(LIBTOOL) $(AM_V_lt) --tag=CXX $(AM_LIBTOOLFLAGS) \ $(LIBTOOLFLAGS) --mode=link $(CXXLD) $(AM_CXXFLAGS) \ $(CXXFLAGS) $(libppl_la_LDFLAGS) $(LDFLAGS) -o $@ PROGRAMS = $(bin_PROGRAMS) am_ppl_config_OBJECTS = BUGS.$(OBJEXT) COPYING.$(OBJEXT) \ CREDITS.$(OBJEXT) nodist_ppl_config_OBJECTS = ppl-config.$(OBJEXT) ppl_config_OBJECTS = $(am_ppl_config_OBJECTS) \ $(nodist_ppl_config_OBJECTS) ppl_config_DEPENDENCIES = libppl.la AM_V_P = $(am__v_P_@AM_V@) am__v_P_ = $(am__v_P_@AM_DEFAULT_V@) am__v_P_0 = false am__v_P_1 = : AM_V_GEN = $(am__v_GEN_@AM_V@) am__v_GEN_ = $(am__v_GEN_@AM_DEFAULT_V@) am__v_GEN_0 = @echo " GEN " $@; am__v_GEN_1 = AM_V_at = $(am__v_at_@AM_V@) am__v_at_ = $(am__v_at_@AM_DEFAULT_V@) am__v_at_0 = @ am__v_at_1 = DEFAULT_INCLUDES = -I.@am__isrc@ -I$(top_builddir) depcomp = $(SHELL) $(top_srcdir)/depcomp am__depfiles_maybe = depfiles am__mv = mv -f CXXCOMPILE = $(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) \ $(AM_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) LTCXXCOMPILE = $(LIBTOOL) $(AM_V_lt) --tag=CXX $(AM_LIBTOOLFLAGS) \ $(LIBTOOLFLAGS) --mode=compile $(CXX) $(DEFS) \ $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) \ $(AM_CXXFLAGS) $(CXXFLAGS) AM_V_CXX = $(am__v_CXX_@AM_V@) am__v_CXX_ = $(am__v_CXX_@AM_DEFAULT_V@) am__v_CXX_0 = @echo " CXX " $@; am__v_CXX_1 = CXXLD = $(CXX) CXXLINK = $(LIBTOOL) $(AM_V_lt) --tag=CXX $(AM_LIBTOOLFLAGS) \ $(LIBTOOLFLAGS) --mode=link $(CXXLD) $(AM_CXXFLAGS) \ $(CXXFLAGS) $(AM_LDFLAGS) $(LDFLAGS) -o $@ AM_V_CXXLD = $(am__v_CXXLD_@AM_V@) am__v_CXXLD_ = $(am__v_CXXLD_@AM_DEFAULT_V@) am__v_CXXLD_0 = @echo " CXXLD " $@; am__v_CXXLD_1 = COMPILE = $(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) \ $(CPPFLAGS) $(AM_CFLAGS) $(CFLAGS) LTCOMPILE = $(LIBTOOL) $(AM_V_lt) --tag=CC $(AM_LIBTOOLFLAGS) \ $(LIBTOOLFLAGS) --mode=compile $(CC) $(DEFS) \ $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) \ $(AM_CFLAGS) $(CFLAGS) AM_V_CC = $(am__v_CC_@AM_V@) am__v_CC_ = $(am__v_CC_@AM_DEFAULT_V@) am__v_CC_0 = @echo " CC " $@; am__v_CC_1 = CCLD = $(CC) LINK = $(LIBTOOL) $(AM_V_lt) --tag=CC $(AM_LIBTOOLFLAGS) \ $(LIBTOOLFLAGS) --mode=link $(CCLD) $(AM_CFLAGS) $(CFLAGS) \ $(AM_LDFLAGS) $(LDFLAGS) -o $@ AM_V_CCLD = $(am__v_CCLD_@AM_V@) am__v_CCLD_ = $(am__v_CCLD_@AM_DEFAULT_V@) am__v_CCLD_0 = @echo " CCLD " $@; am__v_CCLD_1 = SOURCES = $(libppl_la_SOURCES) $(ppl_config_SOURCES) \ $(nodist_ppl_config_SOURCES) DIST_SOURCES = $(am__libppl_la_SOURCES_DIST) $(ppl_config_SOURCES) am__can_run_installinfo = \ case $$AM_UPDATE_INFO_DIR in \ n|no|NO) false;; \ *) (install-info --version) >/dev/null 2>&1;; \ esac am__include_HEADERS_DIST = ppl.hh am__noinst_HEADERS_DIST = ppl.hh HEADERS = $(include_HEADERS) $(nodist_noinst_HEADERS) \ $(noinst_HEADERS) am__tagged_files = $(HEADERS) $(SOURCES) $(TAGS_FILES) $(LISP) # Read a list of newline-separated strings from the standard input, # and print each of them once, without duplicates. Input order is # *not* preserved. am__uniquify_input = $(AWK) '\ BEGIN { nonempty = 0; } \ { items[$$0] = 1; nonempty = 1; } \ END { if (nonempty) { for (i in items) print i; }; } \ ' # Make sure the list of sources is unique. This is necessary because, # e.g., the same source file might be shared among _SOURCES variables # for different programs/libraries. am__define_uniq_tagged_files = \ list='$(am__tagged_files)'; \ unique=`for i in $$list; do \ if test -f "$$i"; then echo $$i; else echo $(srcdir)/$$i; fi; \ done | $(am__uniquify_input)` ETAGS = etags CTAGS = ctags DISTFILES = $(DIST_COMMON) $(DIST_SOURCES) $(TEXINFOS) $(EXTRA_DIST) ACLOCAL = @ACLOCAL@ AMTAR = @AMTAR@ AM_DEFAULT_VERBOSITY = @AM_DEFAULT_VERBOSITY@ AR = @AR@ AUTOCONF = @AUTOCONF@ AUTOHEADER = @AUTOHEADER@ AUTOMAKE = @AUTOMAKE@ AWK = @AWK@ CC = @CC@ CCDEPMODE = @CCDEPMODE@ CFLAGS = @CFLAGS@ CIAO_PROLOG = @CIAO_PROLOG@ CIAO_PROLOG_INCLUDE_OPTIONS = @CIAO_PROLOG_INCLUDE_OPTIONS@ CONFIGURE_OPTIONS = @CONFIGURE_OPTIONS@ CPP = @CPP@ CPPFLAGS = @CPPFLAGS@ CXX = @CXX@ CXXCPP = @CXXCPP@ CXXDEPMODE = @CXXDEPMODE@ CXXFLAGS = @CXXFLAGS@ CYGPATH_W = @CYGPATH_W@ DEFS = @DEFS@ DEPDIR = @DEPDIR@ DLLTOOL = @DLLTOOL@ DSYMUTIL = @DSYMUTIL@ DUMPBIN = @DUMPBIN@ ECHO_C = @ECHO_C@ ECHO_N = @ECHO_N@ ECHO_T = @ECHO_T@ EGREP = @EGREP@ EXEEXT = @EXEEXT@ FGREP = @FGREP@ GNU_PROLOG = @GNU_PROLOG@ GREP = @GREP@ INSTALL = @INSTALL@ INSTALL_DATA = @INSTALL_DATA@ INSTALL_PROGRAM = @INSTALL_PROGRAM@ INSTALL_SCRIPT = @INSTALL_SCRIPT@ INSTALL_STRIP_PROGRAM = @INSTALL_STRIP_PROGRAM@ ISODATE = @ISODATE@ JAR = @JAR@ JAVA = @JAVA@ JAVAC = @JAVAC@ JAVAH = @JAVAH@ JNIFLAGS = @JNIFLAGS@ LD = @LD@ LDFLAGS = @LDFLAGS@ LIBEXT = @LIBEXT@ LIBOBJS = @LIBOBJS@ LIBS = @LIBS@ LIBTOOL = @LIBTOOL@ LIPO = @LIPO@ LN_S = @LN_S@ LTLIBOBJS = @LTLIBOBJS@ M4 = @M4@ M4_DEBUGFILE = @M4_DEBUGFILE@ MAKEINFO = @MAKEINFO@ MANIFEST_TOOL = @MANIFEST_TOOL@ MD5SUM = @MD5SUM@ MKDIR_P = @MKDIR_P@ NM = @NM@ NMEDIT = @NMEDIT@ OBJDUMP = @OBJDUMP@ OBJEXT = @OBJEXT@ OCAMLBEST = @OCAMLBEST@ OCAMLBUILD = @OCAMLBUILD@ OCAMLC = @OCAMLC@ OCAMLCDOTOPT = @OCAMLCDOTOPT@ OCAMLDEP = @OCAMLDEP@ OCAMLDOC = @OCAMLDOC@ OCAMLLIB = @OCAMLLIB@ OCAMLMKLIB = @OCAMLMKLIB@ OCAMLMKTOP = @OCAMLMKTOP@ OCAMLOPT = @OCAMLOPT@ OCAMLOPTDOTOPT = @OCAMLOPTDOTOPT@ OCAMLVERSION = @OCAMLVERSION@ OTOOL = @OTOOL@ OTOOL64 = @OTOOL64@ PACKAGE = @PACKAGE@ PACKAGE_BUGREPORT = @PACKAGE_BUGREPORT@ PACKAGE_NAME = @PACKAGE_NAME@ PACKAGE_STRING = @PACKAGE_STRING@ PACKAGE_TARNAME = @PACKAGE_TARNAME@ PACKAGE_URL = @PACKAGE_URL@ PACKAGE_VERSION = @PACKAGE_VERSION@ PATH_SEPARATOR = @PATH_SEPARATOR@ PERL = @PERL@ PPL_VERSION_BETA = @PPL_VERSION_BETA@ PPL_VERSION_MAJOR = @PPL_VERSION_MAJOR@ PPL_VERSION_MINOR = @PPL_VERSION_MINOR@ PPL_VERSION_REVISION = @PPL_VERSION_REVISION@ RANLIB = @RANLIB@ SED = @SED@ SET_MAKE = @SET_MAKE@ SHELL = @SHELL@ SHREXT = @SHREXT@ SICSTUS_PROLOG_INCLUDE_OPTIONS = @SICSTUS_PROLOG_INCLUDE_OPTIONS@ STRIP = @STRIP@ SWI_PROLOG = @SWI_PROLOG@ SWI_PROLOG_INCLUDE_OPTIONS = @SWI_PROLOG_INCLUDE_OPTIONS@ SWI_PROLOG_LD = @SWI_PROLOG_LD@ SWI_PROLOG_LD_OPTIONS = @SWI_PROLOG_LD_OPTIONS@ TEXT_MD5SUM = @TEXT_MD5SUM@ VALGRIND = @VALGRIND@ VERSION = @VERSION@ XSB_PROLOG_INCLUDE_OPTIONS = @XSB_PROLOG_INCLUDE_OPTIONS@ YAP_PROLOG = @YAP_PROLOG@ YAP_PROLOG_INCLUDE_OPTIONS = @YAP_PROLOG_INCLUDE_OPTIONS@ YAP_PROLOG_LD_OPTIONS = @YAP_PROLOG_LD_OPTIONS@ abs_builddir = @abs_builddir@ abs_srcdir = @abs_srcdir@ abs_top_builddir = @abs_top_builddir@ abs_top_srcdir = @abs_top_srcdir@ ac_ct_AR = @ac_ct_AR@ ac_ct_CC = @ac_ct_CC@ ac_ct_CXX = @ac_ct_CXX@ ac_ct_DUMPBIN = @ac_ct_DUMPBIN@ am__include = @am__include@ am__leading_dot = @am__leading_dot@ am__quote = @am__quote@ am__tar = @am__tar@ am__untar = @am__untar@ bindir = @bindir@ build = @build@ build_alias = @build_alias@ build_cpu = @build_cpu@ build_os = @build_os@ build_vendor = @build_vendor@ builddir = @builddir@ ciao_prolog = @ciao_prolog@ coefficient_mnemonic = @coefficient_mnemonic@ datadir = @datadir@ datarootdir = @datarootdir@ debug_flag = @debug_flag@ docdir = @docdir@ dvidir = @dvidir@ exec_prefix = @exec_prefix@ extra_includes = @extra_includes@ extra_libraries = @extra_libraries@ host = @host@ host_alias = @host_alias@ host_cpu = @host_cpu@ host_os = @host_os@ host_vendor = @host_vendor@ htmldir = @htmldir@ includedir = @includedir@ infodir = @infodir@ install_sh = @install_sh@ libdir = @libdir@ libexecdir = @libexecdir@ localedir = @localedir@ localstatedir = @localstatedir@ mandir = @mandir@ mkdir_p = @mkdir_p@ mlgmp_dir = @mlgmp_dir@ oldincludedir = @oldincludedir@ pdfdir = @pdfdir@ prefix = @prefix@ program_transform_name = @program_transform_name@ psdir = @psdir@ required_instantiations = @required_instantiations@ required_instantiations_c_cxx_headers = @required_instantiations_c_cxx_headers@ required_instantiations_c_cxx_objects = @required_instantiations_c_cxx_objects@ required_instantiations_c_cxx_sources = @required_instantiations_c_cxx_sources@ required_instantiations_canonical_names = @required_instantiations_canonical_names@ required_instantiations_java_classes = @required_instantiations_java_classes@ required_instantiations_java_cxx_headers = @required_instantiations_java_cxx_headers@ required_instantiations_java_cxx_headers_sources = @required_instantiations_java_cxx_headers_sources@ required_instantiations_java_cxx_objects = @required_instantiations_java_cxx_objects@ required_instantiations_java_cxx_sources = @required_instantiations_java_cxx_sources@ required_instantiations_java_sources = @required_instantiations_java_sources@ required_instantiations_ocaml_cxx_headers = @required_instantiations_ocaml_cxx_headers@ required_instantiations_ocaml_cxx_objects = @required_instantiations_ocaml_cxx_objects@ required_instantiations_ocaml_cxx_sources = @required_instantiations_ocaml_cxx_sources@ required_instantiations_prolog_cxx_headers = @required_instantiations_prolog_cxx_headers@ required_instantiations_prolog_cxx_objects = @required_instantiations_prolog_cxx_objects@ required_instantiations_prolog_cxx_sources = @required_instantiations_prolog_cxx_sources@ required_instantiations_prolog_generated_test_sources = @required_instantiations_prolog_generated_test_sources@ sbindir = @sbindir@ sharedstatedir = @sharedstatedir@ sicstus_prolog = @sicstus_prolog@ srcdir = @srcdir@ swi_prolog = @swi_prolog@ swi_prolog_ld = @swi_prolog_ld@ sysconfdir = @sysconfdir@ target_alias = @target_alias@ top_build_prefix = @top_build_prefix@ top_builddir = @top_builddir@ top_srcdir = @top_srcdir@ uudecode = @uudecode@ xsb_prolog = @xsb_prolog@ yap_prolog = @yap_prolog@ LIBPPL_LT_CURRENT = 14 LIBPPL_LT_REVISION = 0 LIBPPL_LT_AGE = 0 AM_CPPFLAGS = \ -I$(top_builddir) \ -I$(top_srcdir)/src \ @extra_includes@ lib_LTLIBRARIES = libppl.la ppl_config_SOURCES = \ BUGS.hh \ BUGS.cc \ COPYING.hh \ COPYING.cc \ CREDITS.hh \ CREDITS.cc nodist_ppl_config_SOURCES = \ ppl-config.cc \ ppl.hh ppl_config_LDADD = \ @extra_libraries@ \ libppl.la @USE_CHECKED_INTEGERS_TRUE@COEFFICIENT_TYPES_INCLUDE_FILES = @USE_GMP_INTEGERS_TRUE@COEFFICIENT_TYPES_INCLUDE_FILES = \ @USE_GMP_INTEGERS_TRUE@ GMP_Integer_types.hh @USE_NATIVE_INTEGERS_TRUE@COEFFICIENT_TYPES_INCLUDE_FILES = @USE_CHECKED_INTEGERS_TRUE@COEFFICIENT_DEFS_INCLUDE_FILES = @USE_GMP_INTEGERS_TRUE@COEFFICIENT_DEFS_INCLUDE_FILES = \ @USE_GMP_INTEGERS_TRUE@ GMP_Integer_defs.hh \ @USE_GMP_INTEGERS_TRUE@ GMP_Integer_inlines.hh @USE_NATIVE_INTEGERS_TRUE@COEFFICIENT_DEFS_INCLUDE_FILES = # The ordering of the following list *matters*! INCLUDE_FILES = \ 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 \ $(COEFFICIENT_TYPES_INCLUDE_FILES) \ 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 \ $(COEFFICIENT_DEFS_INCLUDE_FILES) \ 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 #Any_Pointset_types.hh \ #Any_Pointset_defs.hh \ #Any_Pointset_inlines.hh \ #Ask_Tell_types.hh \ #Ask_Tell_defs.hh \ #Ask_Tell_inlines.hh \ #Ask_Tell_templates.hh \ #Pointset_Ask_Tell_types.hh \ #Pointset_Ask_Tell_defs.hh \ #Pointset_Ask_Tell_inlines.hh \ #Pointset_Ask_Tell_templates.hh NESTED_INCLUDE_FILES = \ Ph_Status_idefs.hh \ Grid_Status_idefs.hh \ Box_Status_idefs.hh \ BDS_Status_idefs.hh \ Og_Status_idefs.hh libppl_la_SOURCES = \ assertions.cc \ Box.cc \ checked.cc \ Checked_Number.cc \ Float.cc \ fpu-ia32.cc \ BDS_Status.cc \ Box_Status.cc \ Og_Status.cc \ Concrete_Expression.cc \ Constraint.cc \ Constraint_System.cc \ Congruence.cc \ Congruence_System.cc \ Generator_System.cc \ Grid_Generator_System.cc \ Generator.cc \ Grid_Generator.cc \ Handler.cc \ Init.cc \ Coefficient.cc \ Linear_Expression.cc \ Linear_Expression_Impl.cc \ Linear_Expression_Interface.cc \ Linear_Form.cc \ Scalar_Products.cc \ MIP_Problem.cc \ PIP_Tree.cc \ PIP_Problem.cc \ Poly_Con_Relation.cc \ Poly_Gen_Relation.cc \ BHRZ03_Certificate.cc \ H79_Certificate.cc \ Grid_Certificate.cc \ Partial_Function.cc \ Polyhedron_nonpublic.cc \ Polyhedron_public.cc \ Polyhedron_chdims.cc \ Polyhedron_widenings.cc \ C_Polyhedron.cc \ NNC_Polyhedron.cc \ Grid_nonpublic.cc \ Grid_public.cc \ Grid_chdims.cc \ Grid_widenings.cc \ BD_Shape.cc \ Octagonal_Shape.cc \ Pointset_Powerset.cc \ CO_Tree.cc \ Sparse_Row.cc \ Dense_Row.cc \ Bit_Matrix.cc \ Bit_Row.cc \ Ph_Status.cc \ Grid_Status.cc \ Variable.cc \ Variables_Set.cc \ Grid_conversion.cc \ Grid_simplify.cc \ set_GMP_memory_alloc_funcs.cc \ stdiobuf.cc \ c_streambuf.cc \ globals.cc \ mp_std_bits.cc \ Weight_Profiler.cc \ version.cc \ $(INCLUDE_FILES) \ $(NESTED_INCLUDE_FILES) \ swapping_sort_templates.hh \ termination.cc \ wrap_string.cc \ Time.cc \ Watchdog.cc \ Threshold_Watcher.cc #Pointset_Ask_Tell.cc @NO_UNDEFINED_TRUE@NO_UNDEFINED_FLAG = -no-undefined libppl_la_LIBADD = @extra_libraries@ libppl_la_LDFLAGS = \ $(NO_UNDEFINED_FLAG) \ -version-info $(LIBPPL_LT_CURRENT):$(LIBPPL_LT_REVISION):$(LIBPPL_LT_AGE) @BUILD_CXX_INTERFACE_TRUE@include_HEADERS = ppl.hh @BUILD_CXX_INTERFACE_FALSE@noinst_HEADERS = ppl.hh nodist_noinst_HEADERS = ppl_include_files.hh EXTRA_DIST = ppl_header.hh ppl-config.cc.in version.hh.in @USE_PRECOMPILED_HEADERS_FALSE@PRECOMPILED = @USE_PRECOMPILED_HEADERS_TRUE@PRECOMPILED = ppl.hh.gch BUILT_SOURCES = \ $(include_HEADERS) \ $(nodist_noinst_HEADERS) \ $(noinst_HEADERS) \ $(PRECOMPILED) \ BUGS.hh \ BUGS.cc \ COPYING.hh \ COPYING.cc \ CREDITS.hh \ CREDITS.cc CLEANFILES = $(BUILT_SOURCES) all: $(BUILT_SOURCES) $(MAKE) $(AM_MAKEFLAGS) all-am .SUFFIXES: .SUFFIXES: .cc .lo .o .obj $(srcdir)/Makefile.in: $(srcdir)/Makefile.am $(am__configure_deps) @for dep in $?; do \ case '$(am__configure_deps)' in \ *$$dep*) \ ( cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh ) \ && { if test -f $@; then exit 0; else break; fi; }; \ exit 1;; \ esac; \ done; \ echo ' cd $(top_srcdir) && $(AUTOMAKE) --foreign src/Makefile'; \ $(am__cd) $(top_srcdir) && \ $(AUTOMAKE) --foreign src/Makefile .PRECIOUS: Makefile Makefile: $(srcdir)/Makefile.in $(top_builddir)/config.status @case '$?' in \ *config.status*) \ cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh;; \ *) \ echo ' cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@ $(am__depfiles_maybe)'; \ cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@ $(am__depfiles_maybe);; \ esac; $(top_builddir)/config.status: $(top_srcdir)/configure $(CONFIG_STATUS_DEPENDENCIES) cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh $(top_srcdir)/configure: $(am__configure_deps) cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh $(ACLOCAL_M4): $(am__aclocal_m4_deps) cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh $(am__aclocal_m4_deps): version.hh: $(top_builddir)/config.status $(srcdir)/version.hh.in cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@ ppl-config.cc: $(top_builddir)/config.status $(srcdir)/ppl-config.cc.in cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@ install-libLTLIBRARIES: $(lib_LTLIBRARIES) @$(NORMAL_INSTALL) @list='$(lib_LTLIBRARIES)'; test -n "$(libdir)" || list=; \ list2=; for p in $$list; do \ if test -f $$p; then \ list2="$$list2 $$p"; \ else :; fi; \ done; \ test -z "$$list2" || { \ echo " $(MKDIR_P) '$(DESTDIR)$(libdir)'"; \ $(MKDIR_P) "$(DESTDIR)$(libdir)" || exit 1; \ echo " $(LIBTOOL) $(AM_LIBTOOLFLAGS) $(LIBTOOLFLAGS) --mode=install $(INSTALL) $(INSTALL_STRIP_FLAG) $$list2 '$(DESTDIR)$(libdir)'"; \ $(LIBTOOL) $(AM_LIBTOOLFLAGS) $(LIBTOOLFLAGS) --mode=install $(INSTALL) $(INSTALL_STRIP_FLAG) $$list2 "$(DESTDIR)$(libdir)"; \ } uninstall-libLTLIBRARIES: @$(NORMAL_UNINSTALL) @list='$(lib_LTLIBRARIES)'; test -n "$(libdir)" || list=; \ for p in $$list; do \ $(am__strip_dir) \ echo " $(LIBTOOL) $(AM_LIBTOOLFLAGS) $(LIBTOOLFLAGS) --mode=uninstall rm -f '$(DESTDIR)$(libdir)/$$f'"; \ $(LIBTOOL) $(AM_LIBTOOLFLAGS) $(LIBTOOLFLAGS) --mode=uninstall rm -f "$(DESTDIR)$(libdir)/$$f"; \ done clean-libLTLIBRARIES: -test -z "$(lib_LTLIBRARIES)" || rm -f $(lib_LTLIBRARIES) @list='$(lib_LTLIBRARIES)'; \ locs=`for p in $$list; do echo $$p; done | \ sed 's|^[^/]*$$|.|; s|/[^/]*$$||; s|$$|/so_locations|' | \ sort -u`; \ test -z "$$locs" || { \ echo rm -f $${locs}; \ rm -f $${locs}; \ } libppl.la: $(libppl_la_OBJECTS) $(libppl_la_DEPENDENCIES) $(EXTRA_libppl_la_DEPENDENCIES) $(AM_V_CXXLD)$(libppl_la_LINK) -rpath $(libdir) $(libppl_la_OBJECTS) $(libppl_la_LIBADD) $(LIBS) install-binPROGRAMS: $(bin_PROGRAMS) @$(NORMAL_INSTALL) @list='$(bin_PROGRAMS)'; test -n "$(bindir)" || list=; \ if test -n "$$list"; then \ echo " $(MKDIR_P) '$(DESTDIR)$(bindir)'"; \ $(MKDIR_P) "$(DESTDIR)$(bindir)" || exit 1; \ fi; \ for p in $$list; do echo "$$p $$p"; done | \ sed 's/$(EXEEXT)$$//' | \ while read p p1; do if test -f $$p \ || test -f $$p1 \ ; then echo "$$p"; echo "$$p"; else :; fi; \ done | \ sed -e 'p;s,.*/,,;n;h' \ -e 's|.*|.|' \ -e 'p;x;s,.*/,,;s/$(EXEEXT)$$//;$(transform);s/$$/$(EXEEXT)/' | \ sed 'N;N;N;s,\n, ,g' | \ $(AWK) 'BEGIN { files["."] = ""; dirs["."] = 1 } \ { d=$$3; if (dirs[d] != 1) { print "d", d; dirs[d] = 1 } \ if ($$2 == $$4) files[d] = files[d] " " $$1; \ else { print "f", $$3 "/" $$4, $$1; } } \ END { for (d in files) print "f", d, files[d] }' | \ while read type dir files; do \ if test "$$dir" = .; then dir=; else dir=/$$dir; fi; \ test -z "$$files" || { \ echo " $(INSTALL_PROGRAM_ENV) $(LIBTOOL) $(AM_LIBTOOLFLAGS) $(LIBTOOLFLAGS) --mode=install $(INSTALL_PROGRAM) $$files '$(DESTDIR)$(bindir)$$dir'"; \ $(INSTALL_PROGRAM_ENV) $(LIBTOOL) $(AM_LIBTOOLFLAGS) $(LIBTOOLFLAGS) --mode=install $(INSTALL_PROGRAM) $$files "$(DESTDIR)$(bindir)$$dir" || exit $$?; \ } \ ; done uninstall-binPROGRAMS: @$(NORMAL_UNINSTALL) @list='$(bin_PROGRAMS)'; test -n "$(bindir)" || list=; \ files=`for p in $$list; do echo "$$p"; done | \ sed -e 'h;s,^.*/,,;s/$(EXEEXT)$$//;$(transform)' \ -e 's/$$/$(EXEEXT)/' \ `; \ test -n "$$list" || exit 0; \ echo " ( cd '$(DESTDIR)$(bindir)' && rm -f" $$files ")"; \ cd "$(DESTDIR)$(bindir)" && rm -f $$files clean-binPROGRAMS: @list='$(bin_PROGRAMS)'; test -n "$$list" || exit 0; \ echo " rm -f" $$list; \ rm -f $$list || exit $$?; \ test -n "$(EXEEXT)" || exit 0; \ list=`for p in $$list; do echo "$$p"; done | sed 's/$(EXEEXT)$$//'`; \ echo " rm -f" $$list; \ rm -f $$list ppl-config$(EXEEXT): $(ppl_config_OBJECTS) $(ppl_config_DEPENDENCIES) $(EXTRA_ppl_config_DEPENDENCIES) @rm -f ppl-config$(EXEEXT) $(AM_V_CXXLD)$(CXXLINK) $(ppl_config_OBJECTS) $(ppl_config_LDADD) $(LIBS) mostlyclean-compile: -rm -f *.$(OBJEXT) distclean-compile: -rm -f *.tab.c @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/BDS_Status.Plo@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/BD_Shape.Plo@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/BHRZ03_Certificate.Plo@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/BUGS.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Bit_Matrix.Plo@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Bit_Row.Plo@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Box.Plo@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Box_Status.Plo@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/COPYING.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/CO_Tree.Plo@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/CREDITS.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/C_Polyhedron.Plo@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Checked_Number.Plo@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Coefficient.Plo@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Concrete_Expression.Plo@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Congruence.Plo@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Congruence_System.Plo@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Constraint.Plo@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Constraint_System.Plo@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Dense_Row.Plo@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Float.Plo@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Generator.Plo@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Generator_System.Plo@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Grid_Certificate.Plo@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Grid_Generator.Plo@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Grid_Generator_System.Plo@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Grid_Status.Plo@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Grid_chdims.Plo@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Grid_conversion.Plo@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Grid_nonpublic.Plo@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Grid_public.Plo@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Grid_simplify.Plo@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Grid_widenings.Plo@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/H79_Certificate.Plo@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Handler.Plo@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Init.Plo@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Linear_Expression.Plo@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Linear_Expression_Impl.Plo@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Linear_Expression_Interface.Plo@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Linear_Form.Plo@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/MIP_Problem.Plo@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/NNC_Polyhedron.Plo@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Octagonal_Shape.Plo@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Og_Status.Plo@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/PIP_Problem.Plo@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/PIP_Tree.Plo@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Partial_Function.Plo@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Ph_Status.Plo@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Pointset_Powerset.Plo@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Poly_Con_Relation.Plo@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Poly_Gen_Relation.Plo@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Polyhedron_chdims.Plo@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Polyhedron_nonpublic.Plo@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Polyhedron_public.Plo@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Polyhedron_widenings.Plo@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Scalar_Products.Plo@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Sparse_Row.Plo@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Threshold_Watcher.Plo@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Time.Plo@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Variable.Plo@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Variables_Set.Plo@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Watchdog.Plo@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Weight_Profiler.Plo@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/assertions.Plo@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/c_streambuf.Plo@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/checked.Plo@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/fpu-ia32.Plo@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/globals.Plo@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/mp_std_bits.Plo@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/ppl-config.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/set_GMP_memory_alloc_funcs.Plo@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/stdiobuf.Plo@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/termination.Plo@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/version.Plo@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/wrap_string.Plo@am__quote@ .cc.o: @am__fastdepCXX_TRUE@ $(AM_V_CXX)$(CXXCOMPILE) -MT $@ -MD -MP -MF $(DEPDIR)/$*.Tpo -c -o $@ $< @am__fastdepCXX_TRUE@ $(AM_V_at)$(am__mv) $(DEPDIR)/$*.Tpo $(DEPDIR)/$*.Po @AMDEP_TRUE@@am__fastdepCXX_FALSE@ $(AM_V_CXX)source='$<' object='$@' libtool=no @AMDEPBACKSLASH@ @AMDEP_TRUE@@am__fastdepCXX_FALSE@ DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@ @am__fastdepCXX_FALSE@ $(AM_V_CXX@am__nodep@)$(CXXCOMPILE) -c -o $@ $< .cc.obj: @am__fastdepCXX_TRUE@ $(AM_V_CXX)$(CXXCOMPILE) -MT $@ -MD -MP -MF $(DEPDIR)/$*.Tpo -c -o $@ `$(CYGPATH_W) '$<'` @am__fastdepCXX_TRUE@ $(AM_V_at)$(am__mv) $(DEPDIR)/$*.Tpo $(DEPDIR)/$*.Po @AMDEP_TRUE@@am__fastdepCXX_FALSE@ $(AM_V_CXX)source='$<' object='$@' libtool=no @AMDEPBACKSLASH@ @AMDEP_TRUE@@am__fastdepCXX_FALSE@ DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@ @am__fastdepCXX_FALSE@ $(AM_V_CXX@am__nodep@)$(CXXCOMPILE) -c -o $@ `$(CYGPATH_W) '$<'` .cc.lo: @am__fastdepCXX_TRUE@ $(AM_V_CXX)$(LTCXXCOMPILE) -MT $@ -MD -MP -MF $(DEPDIR)/$*.Tpo -c -o $@ $< @am__fastdepCXX_TRUE@ $(AM_V_at)$(am__mv) $(DEPDIR)/$*.Tpo $(DEPDIR)/$*.Plo @AMDEP_TRUE@@am__fastdepCXX_FALSE@ $(AM_V_CXX)source='$<' object='$@' libtool=yes @AMDEPBACKSLASH@ @AMDEP_TRUE@@am__fastdepCXX_FALSE@ DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@ @am__fastdepCXX_FALSE@ $(AM_V_CXX@am__nodep@)$(LTCXXCOMPILE) -c -o $@ $< mostlyclean-libtool: -rm -f *.lo clean-libtool: -rm -rf .libs _libs install-includeHEADERS: $(include_HEADERS) @$(NORMAL_INSTALL) @list='$(include_HEADERS)'; test -n "$(includedir)" || list=; \ if test -n "$$list"; then \ echo " $(MKDIR_P) '$(DESTDIR)$(includedir)'"; \ $(MKDIR_P) "$(DESTDIR)$(includedir)" || exit 1; \ fi; \ for p in $$list; do \ if test -f "$$p"; then d=; else d="$(srcdir)/"; fi; \ echo "$$d$$p"; \ done | $(am__base_list) | \ while read files; do \ echo " $(INSTALL_HEADER) $$files '$(DESTDIR)$(includedir)'"; \ $(INSTALL_HEADER) $$files "$(DESTDIR)$(includedir)" || exit $$?; \ done uninstall-includeHEADERS: @$(NORMAL_UNINSTALL) @list='$(include_HEADERS)'; test -n "$(includedir)" || list=; \ files=`for p in $$list; do echo $$p; done | sed -e 's|^.*/||'`; \ dir='$(DESTDIR)$(includedir)'; $(am__uninstall_files_from_dir) ID: $(am__tagged_files) $(am__define_uniq_tagged_files); mkid -fID $$unique tags: tags-am TAGS: tags tags-am: $(TAGS_DEPENDENCIES) $(am__tagged_files) set x; \ here=`pwd`; \ $(am__define_uniq_tagged_files); \ shift; \ if test -z "$(ETAGS_ARGS)$$*$$unique"; then :; else \ test -n "$$unique" || unique=$$empty_fix; \ if test $$# -gt 0; then \ $(ETAGS) $(ETAGSFLAGS) $(AM_ETAGSFLAGS) $(ETAGS_ARGS) \ "$$@" $$unique; \ else \ $(ETAGS) $(ETAGSFLAGS) $(AM_ETAGSFLAGS) $(ETAGS_ARGS) \ $$unique; \ fi; \ fi ctags: ctags-am CTAGS: ctags ctags-am: $(TAGS_DEPENDENCIES) $(am__tagged_files) $(am__define_uniq_tagged_files); \ test -z "$(CTAGS_ARGS)$$unique" \ || $(CTAGS) $(CTAGSFLAGS) $(AM_CTAGSFLAGS) $(CTAGS_ARGS) \ $$unique GTAGS: here=`$(am__cd) $(top_builddir) && pwd` \ && $(am__cd) $(top_srcdir) \ && gtags -i $(GTAGS_ARGS) "$$here" cscopelist: cscopelist-am cscopelist-am: $(am__tagged_files) list='$(am__tagged_files)'; \ case "$(srcdir)" in \ [\\/]* | ?:[\\/]*) sdir="$(srcdir)" ;; \ *) sdir=$(subdir)/$(srcdir) ;; \ esac; \ for i in $$list; do \ if test -f "$$i"; then \ echo "$(subdir)/$$i"; \ else \ echo "$$sdir/$$i"; \ fi; \ done >> $(top_builddir)/cscope.files distclean-tags: -rm -f TAGS ID GTAGS GRTAGS GSYMS GPATH tags distdir: $(DISTFILES) @srcdirstrip=`echo "$(srcdir)" | sed 's/[].[^$$\\*]/\\\\&/g'`; \ topsrcdirstrip=`echo "$(top_srcdir)" | sed 's/[].[^$$\\*]/\\\\&/g'`; \ list='$(DISTFILES)'; \ dist_files=`for file in $$list; do echo $$file; done | \ sed -e "s|^$$srcdirstrip/||;t" \ -e "s|^$$topsrcdirstrip/|$(top_builddir)/|;t"`; \ case $$dist_files in \ */*) $(MKDIR_P) `echo "$$dist_files" | \ sed '/\//!d;s|^|$(distdir)/|;s,/[^/]*$$,,' | \ sort -u` ;; \ esac; \ for file in $$dist_files; do \ if test -f $$file || test -d $$file; then d=.; else d=$(srcdir); fi; \ if test -d $$d/$$file; then \ dir=`echo "/$$file" | sed -e 's,/[^/]*$$,,'`; \ if test -d "$(distdir)/$$file"; then \ find "$(distdir)/$$file" -type d ! -perm -700 -exec chmod u+rwx {} \;; \ fi; \ if test -d $(srcdir)/$$file && test $$d != $(srcdir); then \ cp -fpR $(srcdir)/$$file "$(distdir)$$dir" || exit 1; \ find "$(distdir)/$$file" -type d ! -perm -700 -exec chmod u+rwx {} \;; \ fi; \ cp -fpR $$d/$$file "$(distdir)$$dir" || exit 1; \ else \ test -f "$(distdir)/$$file" \ || cp -p $$d/$$file "$(distdir)/$$file" \ || exit 1; \ fi; \ done $(MAKE) $(AM_MAKEFLAGS) \ top_distdir="$(top_distdir)" distdir="$(distdir)" \ dist-hook check-am: all-am check: $(BUILT_SOURCES) $(MAKE) $(AM_MAKEFLAGS) check-am all-am: Makefile $(LTLIBRARIES) $(PROGRAMS) $(HEADERS) install-binPROGRAMS: install-libLTLIBRARIES installdirs: for dir in "$(DESTDIR)$(libdir)" "$(DESTDIR)$(bindir)" "$(DESTDIR)$(includedir)"; do \ test -z "$$dir" || $(MKDIR_P) "$$dir"; \ done install: $(BUILT_SOURCES) $(MAKE) $(AM_MAKEFLAGS) install-am install-exec: install-exec-am install-data: install-data-am uninstall: uninstall-am install-am: all-am @$(MAKE) $(AM_MAKEFLAGS) install-exec-am install-data-am installcheck: installcheck-am install-strip: if test -z '$(STRIP)'; then \ $(MAKE) $(AM_MAKEFLAGS) INSTALL_PROGRAM="$(INSTALL_STRIP_PROGRAM)" \ install_sh_PROGRAM="$(INSTALL_STRIP_PROGRAM)" INSTALL_STRIP_FLAG=-s \ install; \ else \ $(MAKE) $(AM_MAKEFLAGS) INSTALL_PROGRAM="$(INSTALL_STRIP_PROGRAM)" \ install_sh_PROGRAM="$(INSTALL_STRIP_PROGRAM)" INSTALL_STRIP_FLAG=-s \ "INSTALL_PROGRAM_ENV=STRIPPROG='$(STRIP)'" install; \ fi mostlyclean-generic: clean-generic: -test -z "$(CLEANFILES)" || rm -f $(CLEANFILES) distclean-generic: -test -z "$(CONFIG_CLEAN_FILES)" || rm -f $(CONFIG_CLEAN_FILES) -test . = "$(srcdir)" || test -z "$(CONFIG_CLEAN_VPATH_FILES)" || rm -f $(CONFIG_CLEAN_VPATH_FILES) maintainer-clean-generic: @echo "This command is intended for maintainers to use" @echo "it deletes files that may require special tools to rebuild." -test -z "$(BUILT_SOURCES)" || rm -f $(BUILT_SOURCES) clean: clean-am clean-am: clean-binPROGRAMS clean-generic clean-libLTLIBRARIES \ clean-libtool mostlyclean-am distclean: distclean-am -rm -rf ./$(DEPDIR) -rm -f Makefile distclean-am: clean-am distclean-compile distclean-generic \ distclean-tags dvi: dvi-am dvi-am: html: html-am html-am: info: info-am info-am: install-data-am: install-includeHEADERS install-dvi: install-dvi-am install-dvi-am: install-exec-am: install-binPROGRAMS install-libLTLIBRARIES install-html: install-html-am install-html-am: install-info: install-info-am install-info-am: install-man: install-pdf: install-pdf-am install-pdf-am: install-ps: install-ps-am install-ps-am: installcheck-am: maintainer-clean: maintainer-clean-am -rm -rf ./$(DEPDIR) -rm -f Makefile maintainer-clean-am: distclean-am maintainer-clean-generic mostlyclean: mostlyclean-am mostlyclean-am: mostlyclean-compile mostlyclean-generic \ mostlyclean-libtool pdf: pdf-am pdf-am: ps: ps-am ps-am: uninstall-am: uninstall-binPROGRAMS uninstall-includeHEADERS \ uninstall-libLTLIBRARIES .MAKE: all check install install-am install-strip .PHONY: CTAGS GTAGS TAGS all all-am check check-am clean \ clean-binPROGRAMS clean-generic clean-libLTLIBRARIES \ clean-libtool cscopelist-am ctags ctags-am dist-hook distclean \ distclean-compile distclean-generic distclean-libtool \ distclean-tags distdir dvi dvi-am html html-am info info-am \ install install-am install-binPROGRAMS install-data \ install-data-am install-dvi install-dvi-am install-exec \ install-exec-am install-html install-html-am \ install-includeHEADERS install-info install-info-am \ install-libLTLIBRARIES install-man install-pdf install-pdf-am \ install-ps install-ps-am install-strip installcheck \ installcheck-am installdirs maintainer-clean \ maintainer-clean-generic mostlyclean mostlyclean-compile \ mostlyclean-generic mostlyclean-libtool pdf pdf-am ps ps-am \ tags tags-am uninstall uninstall-am uninstall-binPROGRAMS \ uninstall-includeHEADERS uninstall-libLTLIBRARIES ppl_include_files.hh: $(INCLUDE_FILES) Makefile for file in $(INCLUDE_FILES) ; \ do \ i="#include \"$$file\"" ; \ ( cd $(top_srcdir)/src ; $(FGREP) -q "$$i" $(INCLUDE_FILES) ) || echo "$$i" ; \ done > $@ @HAVE_PERL_TRUE@ppl.hh: $(top_builddir)/ppl-config.h $(top_builddir)/src/version.hh ppl_header.hh ppl_include_files.hh $(INCLUDE_FILES) $(NESTED_INCLUDE_FILES) Makefile $(top_builddir)/utils/build_header @HAVE_PERL_TRUE@ $(top_builddir)/utils/build_header \ @HAVE_PERL_TRUE@ -I $(top_builddir) -I $(top_builddir)/src \ @HAVE_PERL_TRUE@ $(top_srcdir)/src/ppl_header.hh >$@ @HAVE_PERL_TRUE@BUGS.hh: $(top_builddir)/utils/text2cxxarray $(top_srcdir)/BUGS @HAVE_PERL_TRUE@ @echo "#ifndef PPL_BUGS_hh" >$@ @HAVE_PERL_TRUE@ @echo "#define PPL_BUGS_hh 1" >>$@ @HAVE_PERL_TRUE@ $(top_builddir)/utils/text2cxxarray --name=BUGS_array --decl-only \ @HAVE_PERL_TRUE@ $(top_srcdir)/BUGS >>$@ @HAVE_PERL_TRUE@ @echo "#endif // !defined(PPL_BUGS_hh)" >>$@ @HAVE_PERL_TRUE@BUGS.cc: $(top_builddir)/utils/text2cxxarray $(top_srcdir)/BUGS BUGS.hh @HAVE_PERL_TRUE@ @echo "#include \"BUGS.hh\"" >$@ @HAVE_PERL_TRUE@ $(top_builddir)/utils/text2cxxarray --name=BUGS_array \ @HAVE_PERL_TRUE@ $(top_srcdir)/BUGS >>$@ @HAVE_PERL_TRUE@COPYING.hh: $(top_builddir)/utils/text2cxxarray $(top_srcdir)/COPYING @HAVE_PERL_TRUE@ @echo "#ifndef PPL_COPYING_hh" >$@ @HAVE_PERL_TRUE@ @echo "#define PPL_COPYING_hh 1" >>$@ @HAVE_PERL_TRUE@ $(top_builddir)/utils/text2cxxarray --name=COPYING_array --decl-only \ @HAVE_PERL_TRUE@ $(top_srcdir)/COPYING >>$@ @HAVE_PERL_TRUE@ @echo "#endif // !defined(PPL_COPYING_hh)" >>$@ @HAVE_PERL_TRUE@COPYING.cc: $(top_builddir)/utils/text2cxxarray $(top_srcdir)/COPYING COPYING.hh @HAVE_PERL_TRUE@ @echo "#include \"COPYING.hh\"" >$@ @HAVE_PERL_TRUE@ $(top_builddir)/utils/text2cxxarray --name=COPYING_array \ @HAVE_PERL_TRUE@ $(top_srcdir)/COPYING >>$@ @HAVE_PERL_TRUE@CREDITS.hh: $(top_builddir)/utils/text2cxxarray $(top_srcdir)/CREDITS @HAVE_PERL_TRUE@ @echo "#ifndef PPL_CREDITS_hh" >$@ @HAVE_PERL_TRUE@ @echo "#define PPL_CREDITS_hh 1" >>$@ @HAVE_PERL_TRUE@ $(top_builddir)/utils/text2cxxarray --name=CREDITS_array --decl-only \ @HAVE_PERL_TRUE@ $(top_srcdir)/CREDITS >>$@ @HAVE_PERL_TRUE@ @echo "#endif // !defined(PPL_CREDITS_hh)" >>$@ @HAVE_PERL_TRUE@CREDITS.cc: $(top_builddir)/utils/text2cxxarray $(top_srcdir)/CREDITS CREDITS.hh @HAVE_PERL_TRUE@ @echo "#include \"CREDITS.hh\"" >$@ @HAVE_PERL_TRUE@ $(top_builddir)/utils/text2cxxarray --name=CREDITS_array \ @HAVE_PERL_TRUE@ $(top_srcdir)/CREDITS >>$@ @HAVE_PERL_FALSE@ppl.hh.sed: Makefile @HAVE_PERL_FALSE@ @echo "/^\/\* BEGIN ppl-config.h \*\/$$/ {" >$@ @HAVE_PERL_FALSE@ @echo " r $(top_builddir)/ppl-config.h" >>$@ @HAVE_PERL_FALSE@ @echo " : loop" >>$@ @HAVE_PERL_FALSE@ @echo " /\n\/\* END ppl-config.h \*\/$$/ !{" >>$@ @HAVE_PERL_FALSE@ @echo " N" >>$@ @HAVE_PERL_FALSE@ @echo " b loop" >>$@ @HAVE_PERL_FALSE@ @echo " }" >>$@ @HAVE_PERL_FALSE@ @echo " d" >>$@ @HAVE_PERL_FALSE@ @echo "}" >>$@ @HAVE_PERL_FALSE@ppl.hh: ppl.hh.dist ppl.hh.sed @HAVE_PERL_FALSE@ $(SED) -f ppl.hh.sed ppl.hh.dist >$@ @HAVE_PERL_FALSE@ rm -f ppl.hh.sed @HAVE_PERL_FALSE@BUGS.hh: BUGS.hh.dist @HAVE_PERL_FALSE@ cp -f BUGS.hh.dist $@ @HAVE_PERL_FALSE@BUGS.cc: BUGS.cc.dist @HAVE_PERL_FALSE@ cp -f BUGS.cc.dist $@ @HAVE_PERL_FALSE@COPYING.hh: COPYING.hh.dist @HAVE_PERL_FALSE@ cp -f COPYING.hh.dist $@ @HAVE_PERL_FALSE@COPYING.cc: COPYING.cc.dist @HAVE_PERL_FALSE@ cp -f COPYING.cc.dist $@ @HAVE_PERL_FALSE@CREDITS.hh: CREDITS.hh.dist @HAVE_PERL_FALSE@ cp -f CREDITS.hh.dist $@ @HAVE_PERL_FALSE@CREDITS.cc: CREDITS.cc.dist @HAVE_PERL_FALSE@ cp -f CREDITS.cc.dist $@ @USE_PRECOMPILED_HEADERS_TRUE@ppl.hh.gch: ppl.hh @USE_PRECOMPILED_HEADERS_TRUE@ $(CXXCOMPILE) -xc++-header -o $@ ppl.hh # ppl.hh is not distributed. # ppl.hh.dist, which is distributed, is a copy of ppl.hh; # likewise for BUGS.cc.dist, COPYING.cc.dist and CREDITS.cc.dist. dist-hook: mv -f $(distdir)/ppl.hh $(distdir)/ppl.hh.dist mv -f $(distdir)/BUGS.hh $(distdir)/BUGS.hh.dist mv -f $(distdir)/BUGS.cc $(distdir)/BUGS.cc.dist mv -f $(distdir)/COPYING.hh $(distdir)/COPYING.hh.dist mv -f $(distdir)/COPYING.cc $(distdir)/COPYING.cc.dist mv -f $(distdir)/CREDITS.hh $(distdir)/CREDITS.hh.dist mv -f $(distdir)/CREDITS.cc $(distdir)/CREDITS.cc.dist $(top_builddir)/utils/build_header: $(MAKE) $(AM_MAKEFLAGS) -C $(top_builddir)/utils build_header $(top_builddir)/utils/text2cxxarray: $(MAKE) $(AM_MAKEFLAGS) -C $(top_builddir)/utils text2cxxarray $(top_builddir)/ppl-config.h: $(MAKE) $(AM_MAKEFLAGS) -C $(top_builddir) ppl-config.h # Tell versions [3.59,3.63) of GNU make to not export all variables. # Otherwise a system limit (for SysV at least) may be exceeded. .NOEXPORT: