# Makefile.in generated by automake 1.11.1 from Makefile.am. # @configure_input@ # Copyright (C) 1994, 1995, 1996, 1997, 1998, 1999, 2000, 2001, 2002, # 2003, 2004, 2005, 2006, 2007, 2008, 2009 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-2011 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://www.cs.unipr.it/ppl/ . VPATH = @srcdir@ 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@ XFAIL_TESTS = check_PROGRAMS = $(am__EXEEXT_4) $(am__EXEEXT_5) subdir = tests/Box DIST_COMMON = $(dist_check_SCRIPTS) $(srcdir)/Makefile.am \ $(srcdir)/Makefile.in ACLOCAL_M4 = $(top_srcdir)/aclocal.m4 am__aclocal_m4_deps = $(top_srcdir)/m4/ac_check_ciao.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_double_exact_output.m4 \ $(top_srcdir)/m4/ac_cxx_flexible_arrays.m4 \ $(top_srcdir)/m4/ac_cxx_float_binary_format.m4 \ $(top_srcdir)/m4/ac_cxx_float_exact_output.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_long_double_exact_output.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_remainder_bug.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/lib-ld.m4 \ $(top_srcdir)/m4/lib-link.m4 $(top_srcdir)/m4/lib-prefix.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 = CONFIG_CLEAN_VPATH_FILES = am__EXEEXT_1 = addconstraints1$(EXEEXT) addspacedims1$(EXEEXT) \ affinedimension1$(EXEEXT) affineimage1$(EXEEXT) \ affinepreimage1$(EXEEXT) ascii_dump_load1$(EXEEXT) \ bgp99extrapolation1$(EXEEXT) bhz03widening1$(EXEEXT) \ bounded1$(EXEEXT) boundedaffineimage1$(EXEEXT) \ boundedaffinepreimage1$(EXEEXT) cc76narrowing1$(EXEEXT) \ cc76widening$(EXEEXT) concatenate1$(EXEEXT) \ congruences1$(EXEEXT) constrains1$(EXEEXT) \ constraints1$(EXEEXT) contains1$(EXEEXT) \ containsintegerpoint1$(EXEEXT) difference1$(EXEEXT) \ discrete1$(EXEEXT) disjoint1$(EXEEXT) empty1$(EXEEXT) \ equality1$(EXEEXT) expandspacedim1$(EXEEXT) \ foldspacedims1$(EXEEXT) frequency1$(EXEEXT) \ frombdshape1$(EXEEXT) frombox1$(EXEEXT) fromgensys1$(EXEEXT) \ fromgrid1$(EXEEXT) frompartiallyreducedproduct1$(EXEEXT) \ frompolyhedron1$(EXEEXT) frompolyhedron2$(EXEEXT) \ fromspacedim1$(EXEEXT) generalizedaffineimage1$(EXEEXT) \ generalizedaffineimage2$(EXEEXT) \ generalizedaffinepreimage1$(EXEEXT) geomcovers1$(EXEEXT) \ intersection1$(EXEEXT) interval1$(EXEEXT) \ limitedcc76extrapolation1$(EXEEXT) mapspacedims1$(EXEEXT) \ max_min1$(EXEEXT) maxspacedim1$(EXEEXT) membytes1$(EXEEXT) \ minconstraints1$(EXEEXT) propagateconstraints1$(EXEEXT) \ propagateconstraints2$(EXEEXT) relations1$(EXEEXT) \ relations2$(EXEEXT) relations3$(EXEEXT) relations4$(EXEEXT) \ refinewithconstraint1$(EXEEXT) refinewithconstraint2$(EXEEXT) \ refinewithconstraints1$(EXEEXT) refinewithcongruence1$(EXEEXT) \ refinewithcongruences1$(EXEEXT) removespacedims1$(EXEEXT) \ simplifyusingcontext1$(EXEEXT) timeelapse1$(EXEEXT) \ topclosed1$(EXEEXT) unconstrain1$(EXEEXT) universe1$(EXEEXT) \ upperbound1$(EXEEXT) upperboundifexact1$(EXEEXT) \ wrap1$(EXEEXT) writebox1$(EXEEXT) am__EXEEXT_2 = nnc_frompolyhedron1$(EXEEXT) @BUILD_WATCHDOG_LIBRARY_TRUE@am__EXEEXT_3 = \ @BUILD_WATCHDOG_LIBRARY_TRUE@ refinewithconstraints2$(EXEEXT) am__EXEEXT_4 = $(am__EXEEXT_1) $(am__EXEEXT_2) $(am__EXEEXT_3) am__EXEEXT_5 = am_addconstraints1_OBJECTS = addconstraints1.$(OBJEXT) addconstraints1_OBJECTS = $(am_addconstraints1_OBJECTS) addconstraints1_LDADD = $(LDADD) addconstraints1_DEPENDENCIES = $(top_builddir)/utils/libppl_utils.a \ $(top_builddir)/tests/libppl_tests.a \ $(top_builddir)/src/libppl.la AM_V_lt = $(am__v_lt_$(V)) am__v_lt_ = $(am__v_lt_$(AM_DEFAULT_VERBOSITY)) am__v_lt_0 = --silent am_addspacedims1_OBJECTS = addspacedims1.$(OBJEXT) addspacedims1_OBJECTS = $(am_addspacedims1_OBJECTS) addspacedims1_LDADD = $(LDADD) addspacedims1_DEPENDENCIES = $(top_builddir)/utils/libppl_utils.a \ $(top_builddir)/tests/libppl_tests.a \ $(top_builddir)/src/libppl.la am_affinedimension1_OBJECTS = affinedimension1.$(OBJEXT) affinedimension1_OBJECTS = $(am_affinedimension1_OBJECTS) affinedimension1_LDADD = $(LDADD) affinedimension1_DEPENDENCIES = $(top_builddir)/utils/libppl_utils.a \ $(top_builddir)/tests/libppl_tests.a \ $(top_builddir)/src/libppl.la am_affineimage1_OBJECTS = affineimage1.$(OBJEXT) affineimage1_OBJECTS = $(am_affineimage1_OBJECTS) affineimage1_LDADD = $(LDADD) affineimage1_DEPENDENCIES = $(top_builddir)/utils/libppl_utils.a \ $(top_builddir)/tests/libppl_tests.a \ $(top_builddir)/src/libppl.la am_affinepreimage1_OBJECTS = affinepreimage1.$(OBJEXT) affinepreimage1_OBJECTS = $(am_affinepreimage1_OBJECTS) affinepreimage1_LDADD = $(LDADD) affinepreimage1_DEPENDENCIES = $(top_builddir)/utils/libppl_utils.a \ $(top_builddir)/tests/libppl_tests.a \ $(top_builddir)/src/libppl.la am_ascii_dump_load1_OBJECTS = ascii_dump_load1.$(OBJEXT) ascii_dump_load1_OBJECTS = $(am_ascii_dump_load1_OBJECTS) ascii_dump_load1_LDADD = $(LDADD) ascii_dump_load1_DEPENDENCIES = $(top_builddir)/utils/libppl_utils.a \ $(top_builddir)/tests/libppl_tests.a \ $(top_builddir)/src/libppl.la am_bgp99extrapolation1_OBJECTS = bgp99extrapolation1.$(OBJEXT) bgp99extrapolation1_OBJECTS = $(am_bgp99extrapolation1_OBJECTS) bgp99extrapolation1_LDADD = $(LDADD) bgp99extrapolation1_DEPENDENCIES = \ $(top_builddir)/utils/libppl_utils.a \ $(top_builddir)/tests/libppl_tests.a \ $(top_builddir)/src/libppl.la am_bhz03widening1_OBJECTS = bhz03widening1.$(OBJEXT) bhz03widening1_OBJECTS = $(am_bhz03widening1_OBJECTS) bhz03widening1_LDADD = $(LDADD) bhz03widening1_DEPENDENCIES = $(top_builddir)/utils/libppl_utils.a \ $(top_builddir)/tests/libppl_tests.a \ $(top_builddir)/src/libppl.la am_bounded1_OBJECTS = bounded1.$(OBJEXT) bounded1_OBJECTS = $(am_bounded1_OBJECTS) bounded1_LDADD = $(LDADD) bounded1_DEPENDENCIES = $(top_builddir)/utils/libppl_utils.a \ $(top_builddir)/tests/libppl_tests.a \ $(top_builddir)/src/libppl.la am_boundedaffineimage1_OBJECTS = boundedaffineimage1.$(OBJEXT) boundedaffineimage1_OBJECTS = $(am_boundedaffineimage1_OBJECTS) boundedaffineimage1_LDADD = $(LDADD) boundedaffineimage1_DEPENDENCIES = \ $(top_builddir)/utils/libppl_utils.a \ $(top_builddir)/tests/libppl_tests.a \ $(top_builddir)/src/libppl.la am_boundedaffinepreimage1_OBJECTS = boundedaffinepreimage1.$(OBJEXT) boundedaffinepreimage1_OBJECTS = $(am_boundedaffinepreimage1_OBJECTS) boundedaffinepreimage1_LDADD = $(LDADD) boundedaffinepreimage1_DEPENDENCIES = \ $(top_builddir)/utils/libppl_utils.a \ $(top_builddir)/tests/libppl_tests.a \ $(top_builddir)/src/libppl.la am_cc76narrowing1_OBJECTS = cc76narrowing1.$(OBJEXT) cc76narrowing1_OBJECTS = $(am_cc76narrowing1_OBJECTS) cc76narrowing1_LDADD = $(LDADD) cc76narrowing1_DEPENDENCIES = $(top_builddir)/utils/libppl_utils.a \ $(top_builddir)/tests/libppl_tests.a \ $(top_builddir)/src/libppl.la am_cc76widening_OBJECTS = cc76widening.$(OBJEXT) cc76widening_OBJECTS = $(am_cc76widening_OBJECTS) cc76widening_LDADD = $(LDADD) cc76widening_DEPENDENCIES = $(top_builddir)/utils/libppl_utils.a \ $(top_builddir)/tests/libppl_tests.a \ $(top_builddir)/src/libppl.la am_concatenate1_OBJECTS = concatenate1.$(OBJEXT) concatenate1_OBJECTS = $(am_concatenate1_OBJECTS) concatenate1_LDADD = $(LDADD) concatenate1_DEPENDENCIES = $(top_builddir)/utils/libppl_utils.a \ $(top_builddir)/tests/libppl_tests.a \ $(top_builddir)/src/libppl.la am_congruences1_OBJECTS = congruences1.$(OBJEXT) congruences1_OBJECTS = $(am_congruences1_OBJECTS) congruences1_LDADD = $(LDADD) congruences1_DEPENDENCIES = $(top_builddir)/utils/libppl_utils.a \ $(top_builddir)/tests/libppl_tests.a \ $(top_builddir)/src/libppl.la am_constrains1_OBJECTS = constrains1.$(OBJEXT) constrains1_OBJECTS = $(am_constrains1_OBJECTS) constrains1_LDADD = $(LDADD) constrains1_DEPENDENCIES = $(top_builddir)/utils/libppl_utils.a \ $(top_builddir)/tests/libppl_tests.a \ $(top_builddir)/src/libppl.la am_constraints1_OBJECTS = constraints1.$(OBJEXT) constraints1_OBJECTS = $(am_constraints1_OBJECTS) constraints1_LDADD = $(LDADD) constraints1_DEPENDENCIES = $(top_builddir)/utils/libppl_utils.a \ $(top_builddir)/tests/libppl_tests.a \ $(top_builddir)/src/libppl.la am_contains1_OBJECTS = contains1.$(OBJEXT) contains1_OBJECTS = $(am_contains1_OBJECTS) contains1_LDADD = $(LDADD) contains1_DEPENDENCIES = $(top_builddir)/utils/libppl_utils.a \ $(top_builddir)/tests/libppl_tests.a \ $(top_builddir)/src/libppl.la am_containsintegerpoint1_OBJECTS = containsintegerpoint1.$(OBJEXT) containsintegerpoint1_OBJECTS = $(am_containsintegerpoint1_OBJECTS) containsintegerpoint1_LDADD = $(LDADD) containsintegerpoint1_DEPENDENCIES = \ $(top_builddir)/utils/libppl_utils.a \ $(top_builddir)/tests/libppl_tests.a \ $(top_builddir)/src/libppl.la am_difference1_OBJECTS = difference1.$(OBJEXT) difference1_OBJECTS = $(am_difference1_OBJECTS) difference1_LDADD = $(LDADD) difference1_DEPENDENCIES = $(top_builddir)/utils/libppl_utils.a \ $(top_builddir)/tests/libppl_tests.a \ $(top_builddir)/src/libppl.la am_discrete1_OBJECTS = discrete1.$(OBJEXT) discrete1_OBJECTS = $(am_discrete1_OBJECTS) discrete1_LDADD = $(LDADD) discrete1_DEPENDENCIES = $(top_builddir)/utils/libppl_utils.a \ $(top_builddir)/tests/libppl_tests.a \ $(top_builddir)/src/libppl.la am_disjoint1_OBJECTS = disjoint1.$(OBJEXT) disjoint1_OBJECTS = $(am_disjoint1_OBJECTS) disjoint1_LDADD = $(LDADD) disjoint1_DEPENDENCIES = $(top_builddir)/utils/libppl_utils.a \ $(top_builddir)/tests/libppl_tests.a \ $(top_builddir)/src/libppl.la am_empty1_OBJECTS = empty1.$(OBJEXT) empty1_OBJECTS = $(am_empty1_OBJECTS) empty1_LDADD = $(LDADD) empty1_DEPENDENCIES = $(top_builddir)/utils/libppl_utils.a \ $(top_builddir)/tests/libppl_tests.a \ $(top_builddir)/src/libppl.la am_equality1_OBJECTS = equality1.$(OBJEXT) equality1_OBJECTS = $(am_equality1_OBJECTS) equality1_LDADD = $(LDADD) equality1_DEPENDENCIES = $(top_builddir)/utils/libppl_utils.a \ $(top_builddir)/tests/libppl_tests.a \ $(top_builddir)/src/libppl.la am_expandspacedim1_OBJECTS = expandspacedim1.$(OBJEXT) expandspacedim1_OBJECTS = $(am_expandspacedim1_OBJECTS) expandspacedim1_LDADD = $(LDADD) expandspacedim1_DEPENDENCIES = $(top_builddir)/utils/libppl_utils.a \ $(top_builddir)/tests/libppl_tests.a \ $(top_builddir)/src/libppl.la am_foldspacedims1_OBJECTS = foldspacedims1.$(OBJEXT) foldspacedims1_OBJECTS = $(am_foldspacedims1_OBJECTS) foldspacedims1_LDADD = $(LDADD) foldspacedims1_DEPENDENCIES = $(top_builddir)/utils/libppl_utils.a \ $(top_builddir)/tests/libppl_tests.a \ $(top_builddir)/src/libppl.la am_frequency1_OBJECTS = frequency1.$(OBJEXT) frequency1_OBJECTS = $(am_frequency1_OBJECTS) frequency1_LDADD = $(LDADD) frequency1_DEPENDENCIES = $(top_builddir)/utils/libppl_utils.a \ $(top_builddir)/tests/libppl_tests.a \ $(top_builddir)/src/libppl.la am_frombdshape1_OBJECTS = frombdshape1.$(OBJEXT) frombdshape1_OBJECTS = $(am_frombdshape1_OBJECTS) frombdshape1_LDADD = $(LDADD) frombdshape1_DEPENDENCIES = $(top_builddir)/utils/libppl_utils.a \ $(top_builddir)/tests/libppl_tests.a \ $(top_builddir)/src/libppl.la am_frombox1_OBJECTS = frombox1.$(OBJEXT) frombox1_OBJECTS = $(am_frombox1_OBJECTS) frombox1_LDADD = $(LDADD) frombox1_DEPENDENCIES = $(top_builddir)/utils/libppl_utils.a \ $(top_builddir)/tests/libppl_tests.a \ $(top_builddir)/src/libppl.la am_fromgensys1_OBJECTS = fromgensys1.$(OBJEXT) fromgensys1_OBJECTS = $(am_fromgensys1_OBJECTS) fromgensys1_LDADD = $(LDADD) fromgensys1_DEPENDENCIES = $(top_builddir)/utils/libppl_utils.a \ $(top_builddir)/tests/libppl_tests.a \ $(top_builddir)/src/libppl.la am_fromgrid1_OBJECTS = fromgrid1.$(OBJEXT) fromgrid1_OBJECTS = $(am_fromgrid1_OBJECTS) fromgrid1_LDADD = $(LDADD) fromgrid1_DEPENDENCIES = $(top_builddir)/utils/libppl_utils.a \ $(top_builddir)/tests/libppl_tests.a \ $(top_builddir)/src/libppl.la am_frompartiallyreducedproduct1_OBJECTS = \ frompartiallyreducedproduct1.$(OBJEXT) frompartiallyreducedproduct1_OBJECTS = \ $(am_frompartiallyreducedproduct1_OBJECTS) frompartiallyreducedproduct1_LDADD = $(LDADD) frompartiallyreducedproduct1_DEPENDENCIES = \ $(top_builddir)/utils/libppl_utils.a \ $(top_builddir)/tests/libppl_tests.a \ $(top_builddir)/src/libppl.la am_frompolyhedron1_OBJECTS = frompolyhedron1.$(OBJEXT) frompolyhedron1_OBJECTS = $(am_frompolyhedron1_OBJECTS) frompolyhedron1_LDADD = $(LDADD) frompolyhedron1_DEPENDENCIES = $(top_builddir)/utils/libppl_utils.a \ $(top_builddir)/tests/libppl_tests.a \ $(top_builddir)/src/libppl.la am_frompolyhedron2_OBJECTS = frompolyhedron2.$(OBJEXT) frompolyhedron2_OBJECTS = $(am_frompolyhedron2_OBJECTS) frompolyhedron2_LDADD = $(LDADD) frompolyhedron2_DEPENDENCIES = $(top_builddir)/utils/libppl_utils.a \ $(top_builddir)/tests/libppl_tests.a \ $(top_builddir)/src/libppl.la am_fromspacedim1_OBJECTS = fromspacedim1.$(OBJEXT) fromspacedim1_OBJECTS = $(am_fromspacedim1_OBJECTS) fromspacedim1_LDADD = $(LDADD) fromspacedim1_DEPENDENCIES = $(top_builddir)/utils/libppl_utils.a \ $(top_builddir)/tests/libppl_tests.a \ $(top_builddir)/src/libppl.la am_generalizedaffineimage1_OBJECTS = \ generalizedaffineimage1.$(OBJEXT) generalizedaffineimage1_OBJECTS = \ $(am_generalizedaffineimage1_OBJECTS) generalizedaffineimage1_LDADD = $(LDADD) generalizedaffineimage1_DEPENDENCIES = \ $(top_builddir)/utils/libppl_utils.a \ $(top_builddir)/tests/libppl_tests.a \ $(top_builddir)/src/libppl.la am_generalizedaffineimage2_OBJECTS = \ generalizedaffineimage2.$(OBJEXT) generalizedaffineimage2_OBJECTS = \ $(am_generalizedaffineimage2_OBJECTS) generalizedaffineimage2_LDADD = $(LDADD) generalizedaffineimage2_DEPENDENCIES = \ $(top_builddir)/utils/libppl_utils.a \ $(top_builddir)/tests/libppl_tests.a \ $(top_builddir)/src/libppl.la am_generalizedaffinepreimage1_OBJECTS = \ generalizedaffinepreimage1.$(OBJEXT) generalizedaffinepreimage1_OBJECTS = \ $(am_generalizedaffinepreimage1_OBJECTS) generalizedaffinepreimage1_LDADD = $(LDADD) generalizedaffinepreimage1_DEPENDENCIES = \ $(top_builddir)/utils/libppl_utils.a \ $(top_builddir)/tests/libppl_tests.a \ $(top_builddir)/src/libppl.la am_geomcovers1_OBJECTS = geomcovers1.$(OBJEXT) geomcovers1_OBJECTS = $(am_geomcovers1_OBJECTS) geomcovers1_LDADD = $(LDADD) geomcovers1_DEPENDENCIES = $(top_builddir)/utils/libppl_utils.a \ $(top_builddir)/tests/libppl_tests.a \ $(top_builddir)/src/libppl.la am_intersection1_OBJECTS = intersection1.$(OBJEXT) intersection1_OBJECTS = $(am_intersection1_OBJECTS) intersection1_LDADD = $(LDADD) intersection1_DEPENDENCIES = $(top_builddir)/utils/libppl_utils.a \ $(top_builddir)/tests/libppl_tests.a \ $(top_builddir)/src/libppl.la am_interval1_OBJECTS = interval1.$(OBJEXT) interval1_OBJECTS = $(am_interval1_OBJECTS) interval1_LDADD = $(LDADD) interval1_DEPENDENCIES = $(top_builddir)/utils/libppl_utils.a \ $(top_builddir)/tests/libppl_tests.a \ $(top_builddir)/src/libppl.la am_limitedcc76extrapolation1_OBJECTS = \ limitedcc76extrapolation1.$(OBJEXT) limitedcc76extrapolation1_OBJECTS = \ $(am_limitedcc76extrapolation1_OBJECTS) limitedcc76extrapolation1_LDADD = $(LDADD) limitedcc76extrapolation1_DEPENDENCIES = \ $(top_builddir)/utils/libppl_utils.a \ $(top_builddir)/tests/libppl_tests.a \ $(top_builddir)/src/libppl.la am_mapspacedims1_OBJECTS = mapspacedims1.$(OBJEXT) mapspacedims1_OBJECTS = $(am_mapspacedims1_OBJECTS) mapspacedims1_LDADD = $(LDADD) mapspacedims1_DEPENDENCIES = $(top_builddir)/utils/libppl_utils.a \ $(top_builddir)/tests/libppl_tests.a \ $(top_builddir)/src/libppl.la am_max_min1_OBJECTS = max_min1.$(OBJEXT) max_min1_OBJECTS = $(am_max_min1_OBJECTS) max_min1_LDADD = $(LDADD) max_min1_DEPENDENCIES = $(top_builddir)/utils/libppl_utils.a \ $(top_builddir)/tests/libppl_tests.a \ $(top_builddir)/src/libppl.la am_maxspacedim1_OBJECTS = maxspacedim1.$(OBJEXT) maxspacedim1_OBJECTS = $(am_maxspacedim1_OBJECTS) maxspacedim1_LDADD = $(LDADD) maxspacedim1_DEPENDENCIES = $(top_builddir)/utils/libppl_utils.a \ $(top_builddir)/tests/libppl_tests.a \ $(top_builddir)/src/libppl.la am_membytes1_OBJECTS = membytes1.$(OBJEXT) membytes1_OBJECTS = $(am_membytes1_OBJECTS) membytes1_LDADD = $(LDADD) membytes1_DEPENDENCIES = $(top_builddir)/utils/libppl_utils.a \ $(top_builddir)/tests/libppl_tests.a \ $(top_builddir)/src/libppl.la am_minconstraints1_OBJECTS = minconstraints1.$(OBJEXT) minconstraints1_OBJECTS = $(am_minconstraints1_OBJECTS) minconstraints1_LDADD = $(LDADD) minconstraints1_DEPENDENCIES = $(top_builddir)/utils/libppl_utils.a \ $(top_builddir)/tests/libppl_tests.a \ $(top_builddir)/src/libppl.la am_nnc_frompolyhedron1_OBJECTS = \ nnc_frompolyhedron1-frompolyhedron1.$(OBJEXT) nnc_frompolyhedron1_OBJECTS = $(am_nnc_frompolyhedron1_OBJECTS) nnc_frompolyhedron1_LDADD = $(LDADD) nnc_frompolyhedron1_DEPENDENCIES = \ $(top_builddir)/utils/libppl_utils.a \ $(top_builddir)/tests/libppl_tests.a \ $(top_builddir)/src/libppl.la nnc_frompolyhedron1_LINK = $(LIBTOOL) $(AM_V_lt) --tag=CXX \ $(AM_LIBTOOLFLAGS) $(LIBTOOLFLAGS) --mode=link $(CXXLD) \ $(nnc_frompolyhedron1_CXXFLAGS) $(CXXFLAGS) $(AM_LDFLAGS) \ $(LDFLAGS) -o $@ am_propagateconstraints1_OBJECTS = propagateconstraints1.$(OBJEXT) propagateconstraints1_OBJECTS = $(am_propagateconstraints1_OBJECTS) propagateconstraints1_LDADD = $(LDADD) propagateconstraints1_DEPENDENCIES = \ $(top_builddir)/utils/libppl_utils.a \ $(top_builddir)/tests/libppl_tests.a \ $(top_builddir)/src/libppl.la am_propagateconstraints2_OBJECTS = propagateconstraints2.$(OBJEXT) propagateconstraints2_OBJECTS = $(am_propagateconstraints2_OBJECTS) propagateconstraints2_LDADD = $(LDADD) propagateconstraints2_DEPENDENCIES = \ $(top_builddir)/utils/libppl_utils.a \ $(top_builddir)/tests/libppl_tests.a \ $(top_builddir)/src/libppl.la am_refinewithcongruence1_OBJECTS = refinewithcongruence1.$(OBJEXT) refinewithcongruence1_OBJECTS = $(am_refinewithcongruence1_OBJECTS) refinewithcongruence1_LDADD = $(LDADD) refinewithcongruence1_DEPENDENCIES = \ $(top_builddir)/utils/libppl_utils.a \ $(top_builddir)/tests/libppl_tests.a \ $(top_builddir)/src/libppl.la am_refinewithcongruences1_OBJECTS = refinewithcongruences1.$(OBJEXT) refinewithcongruences1_OBJECTS = $(am_refinewithcongruences1_OBJECTS) refinewithcongruences1_LDADD = $(LDADD) refinewithcongruences1_DEPENDENCIES = \ $(top_builddir)/utils/libppl_utils.a \ $(top_builddir)/tests/libppl_tests.a \ $(top_builddir)/src/libppl.la am_refinewithconstraint1_OBJECTS = refinewithconstraint1.$(OBJEXT) refinewithconstraint1_OBJECTS = $(am_refinewithconstraint1_OBJECTS) refinewithconstraint1_LDADD = $(LDADD) refinewithconstraint1_DEPENDENCIES = \ $(top_builddir)/utils/libppl_utils.a \ $(top_builddir)/tests/libppl_tests.a \ $(top_builddir)/src/libppl.la am_refinewithconstraint2_OBJECTS = refinewithconstraint2.$(OBJEXT) refinewithconstraint2_OBJECTS = $(am_refinewithconstraint2_OBJECTS) refinewithconstraint2_LDADD = $(LDADD) refinewithconstraint2_DEPENDENCIES = \ $(top_builddir)/utils/libppl_utils.a \ $(top_builddir)/tests/libppl_tests.a \ $(top_builddir)/src/libppl.la am_refinewithconstraints1_OBJECTS = refinewithconstraints1.$(OBJEXT) refinewithconstraints1_OBJECTS = $(am_refinewithconstraints1_OBJECTS) refinewithconstraints1_LDADD = $(LDADD) refinewithconstraints1_DEPENDENCIES = \ $(top_builddir)/utils/libppl_utils.a \ $(top_builddir)/tests/libppl_tests.a \ $(top_builddir)/src/libppl.la am__refinewithconstraints2_SOURCES_DIST = refinewithconstraints2.cc am__objects_1 = \ refinewithconstraints2-refinewithconstraints2.$(OBJEXT) @BUILD_WATCHDOG_LIBRARY_TRUE@am_refinewithconstraints2_OBJECTS = \ @BUILD_WATCHDOG_LIBRARY_TRUE@ $(am__objects_1) refinewithconstraints2_OBJECTS = $(am_refinewithconstraints2_OBJECTS) am__DEPENDENCIES_1 = $(top_builddir)/utils/libppl_utils.a \ $(top_builddir)/tests/libppl_tests.a \ $(top_builddir)/src/libppl.la @BUILD_WATCHDOG_LIBRARY_TRUE@refinewithconstraints2_DEPENDENCIES = \ @BUILD_WATCHDOG_LIBRARY_TRUE@ $(am__DEPENDENCIES_1) \ @BUILD_WATCHDOG_LIBRARY_TRUE@ $(top_builddir)/Watchdog/src/libpwl.la am_relations1_OBJECTS = relations1.$(OBJEXT) relations1_OBJECTS = $(am_relations1_OBJECTS) relations1_LDADD = $(LDADD) relations1_DEPENDENCIES = $(top_builddir)/utils/libppl_utils.a \ $(top_builddir)/tests/libppl_tests.a \ $(top_builddir)/src/libppl.la am_relations2_OBJECTS = relations2.$(OBJEXT) relations2_OBJECTS = $(am_relations2_OBJECTS) relations2_LDADD = $(LDADD) relations2_DEPENDENCIES = $(top_builddir)/utils/libppl_utils.a \ $(top_builddir)/tests/libppl_tests.a \ $(top_builddir)/src/libppl.la am_relations3_OBJECTS = relations3.$(OBJEXT) relations3_OBJECTS = $(am_relations3_OBJECTS) relations3_LDADD = $(LDADD) relations3_DEPENDENCIES = $(top_builddir)/utils/libppl_utils.a \ $(top_builddir)/tests/libppl_tests.a \ $(top_builddir)/src/libppl.la am_relations4_OBJECTS = relations4.$(OBJEXT) relations4_OBJECTS = $(am_relations4_OBJECTS) relations4_LDADD = $(LDADD) relations4_DEPENDENCIES = $(top_builddir)/utils/libppl_utils.a \ $(top_builddir)/tests/libppl_tests.a \ $(top_builddir)/src/libppl.la am_removespacedims1_OBJECTS = removespacedims1.$(OBJEXT) removespacedims1_OBJECTS = $(am_removespacedims1_OBJECTS) removespacedims1_LDADD = $(LDADD) removespacedims1_DEPENDENCIES = $(top_builddir)/utils/libppl_utils.a \ $(top_builddir)/tests/libppl_tests.a \ $(top_builddir)/src/libppl.la am_simplifyusingcontext1_OBJECTS = simplifyusingcontext1.$(OBJEXT) simplifyusingcontext1_OBJECTS = $(am_simplifyusingcontext1_OBJECTS) simplifyusingcontext1_LDADD = $(LDADD) simplifyusingcontext1_DEPENDENCIES = \ $(top_builddir)/utils/libppl_utils.a \ $(top_builddir)/tests/libppl_tests.a \ $(top_builddir)/src/libppl.la am_timeelapse1_OBJECTS = timeelapse1.$(OBJEXT) timeelapse1_OBJECTS = $(am_timeelapse1_OBJECTS) timeelapse1_LDADD = $(LDADD) timeelapse1_DEPENDENCIES = $(top_builddir)/utils/libppl_utils.a \ $(top_builddir)/tests/libppl_tests.a \ $(top_builddir)/src/libppl.la am_topclosed1_OBJECTS = topclosed1.$(OBJEXT) topclosed1_OBJECTS = $(am_topclosed1_OBJECTS) topclosed1_LDADD = $(LDADD) topclosed1_DEPENDENCIES = $(top_builddir)/utils/libppl_utils.a \ $(top_builddir)/tests/libppl_tests.a \ $(top_builddir)/src/libppl.la am_unconstrain1_OBJECTS = unconstrain1.$(OBJEXT) unconstrain1_OBJECTS = $(am_unconstrain1_OBJECTS) unconstrain1_LDADD = $(LDADD) unconstrain1_DEPENDENCIES = $(top_builddir)/utils/libppl_utils.a \ $(top_builddir)/tests/libppl_tests.a \ $(top_builddir)/src/libppl.la am_universe1_OBJECTS = universe1.$(OBJEXT) universe1_OBJECTS = $(am_universe1_OBJECTS) universe1_LDADD = $(LDADD) universe1_DEPENDENCIES = $(top_builddir)/utils/libppl_utils.a \ $(top_builddir)/tests/libppl_tests.a \ $(top_builddir)/src/libppl.la am_upperbound1_OBJECTS = upperbound1.$(OBJEXT) upperbound1_OBJECTS = $(am_upperbound1_OBJECTS) upperbound1_LDADD = $(LDADD) upperbound1_DEPENDENCIES = $(top_builddir)/utils/libppl_utils.a \ $(top_builddir)/tests/libppl_tests.a \ $(top_builddir)/src/libppl.la am_upperboundifexact1_OBJECTS = upperboundifexact1.$(OBJEXT) upperboundifexact1_OBJECTS = $(am_upperboundifexact1_OBJECTS) upperboundifexact1_LDADD = $(LDADD) upperboundifexact1_DEPENDENCIES = \ $(top_builddir)/utils/libppl_utils.a \ $(top_builddir)/tests/libppl_tests.a \ $(top_builddir)/src/libppl.la am_wrap1_OBJECTS = wrap1.$(OBJEXT) wrap1_OBJECTS = $(am_wrap1_OBJECTS) wrap1_LDADD = $(LDADD) wrap1_DEPENDENCIES = $(top_builddir)/utils/libppl_utils.a \ $(top_builddir)/tests/libppl_tests.a \ $(top_builddir)/src/libppl.la am_writebox1_OBJECTS = writebox1.$(OBJEXT) writebox1_OBJECTS = $(am_writebox1_OBJECTS) writebox1_LDADD = $(LDADD) writebox1_DEPENDENCIES = $(top_builddir)/utils/libppl_utils.a \ $(top_builddir)/tests/libppl_tests.a \ $(top_builddir)/src/libppl.la 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_$(V)) am__v_CXX_ = $(am__v_CXX_$(AM_DEFAULT_VERBOSITY)) am__v_CXX_0 = @echo " CXX " $@; AM_V_at = $(am__v_at_$(V)) am__v_at_ = $(am__v_at_$(AM_DEFAULT_VERBOSITY)) am__v_at_0 = @ 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_$(V)) am__v_CXXLD_ = $(am__v_CXXLD_$(AM_DEFAULT_VERBOSITY)) am__v_CXXLD_0 = @echo " CXXLD " $@; AM_V_GEN = $(am__v_GEN_$(V)) am__v_GEN_ = $(am__v_GEN_$(AM_DEFAULT_VERBOSITY)) am__v_GEN_0 = @echo " GEN " $@; SOURCES = $(addconstraints1_SOURCES) $(addspacedims1_SOURCES) \ $(affinedimension1_SOURCES) $(affineimage1_SOURCES) \ $(affinepreimage1_SOURCES) $(ascii_dump_load1_SOURCES) \ $(bgp99extrapolation1_SOURCES) $(bhz03widening1_SOURCES) \ $(bounded1_SOURCES) $(boundedaffineimage1_SOURCES) \ $(boundedaffinepreimage1_SOURCES) $(cc76narrowing1_SOURCES) \ $(cc76widening_SOURCES) $(concatenate1_SOURCES) \ $(congruences1_SOURCES) $(constrains1_SOURCES) \ $(constraints1_SOURCES) $(contains1_SOURCES) \ $(containsintegerpoint1_SOURCES) $(difference1_SOURCES) \ $(discrete1_SOURCES) $(disjoint1_SOURCES) $(empty1_SOURCES) \ $(equality1_SOURCES) $(expandspacedim1_SOURCES) \ $(foldspacedims1_SOURCES) $(frequency1_SOURCES) \ $(frombdshape1_SOURCES) $(frombox1_SOURCES) \ $(fromgensys1_SOURCES) $(fromgrid1_SOURCES) \ $(frompartiallyreducedproduct1_SOURCES) \ $(frompolyhedron1_SOURCES) $(frompolyhedron2_SOURCES) \ $(fromspacedim1_SOURCES) $(generalizedaffineimage1_SOURCES) \ $(generalizedaffineimage2_SOURCES) \ $(generalizedaffinepreimage1_SOURCES) $(geomcovers1_SOURCES) \ $(intersection1_SOURCES) $(interval1_SOURCES) \ $(limitedcc76extrapolation1_SOURCES) $(mapspacedims1_SOURCES) \ $(max_min1_SOURCES) $(maxspacedim1_SOURCES) \ $(membytes1_SOURCES) $(minconstraints1_SOURCES) \ $(nnc_frompolyhedron1_SOURCES) \ $(propagateconstraints1_SOURCES) \ $(propagateconstraints2_SOURCES) \ $(refinewithcongruence1_SOURCES) \ $(refinewithcongruences1_SOURCES) \ $(refinewithconstraint1_SOURCES) \ $(refinewithconstraint2_SOURCES) \ $(refinewithconstraints1_SOURCES) \ $(refinewithconstraints2_SOURCES) $(relations1_SOURCES) \ $(relations2_SOURCES) $(relations3_SOURCES) \ $(relations4_SOURCES) $(removespacedims1_SOURCES) \ $(simplifyusingcontext1_SOURCES) $(timeelapse1_SOURCES) \ $(topclosed1_SOURCES) $(unconstrain1_SOURCES) \ $(universe1_SOURCES) $(upperbound1_SOURCES) \ $(upperboundifexact1_SOURCES) $(wrap1_SOURCES) \ $(writebox1_SOURCES) DIST_SOURCES = $(addconstraints1_SOURCES) $(addspacedims1_SOURCES) \ $(affinedimension1_SOURCES) $(affineimage1_SOURCES) \ $(affinepreimage1_SOURCES) $(ascii_dump_load1_SOURCES) \ $(bgp99extrapolation1_SOURCES) $(bhz03widening1_SOURCES) \ $(bounded1_SOURCES) $(boundedaffineimage1_SOURCES) \ $(boundedaffinepreimage1_SOURCES) $(cc76narrowing1_SOURCES) \ $(cc76widening_SOURCES) $(concatenate1_SOURCES) \ $(congruences1_SOURCES) $(constrains1_SOURCES) \ $(constraints1_SOURCES) $(contains1_SOURCES) \ $(containsintegerpoint1_SOURCES) $(difference1_SOURCES) \ $(discrete1_SOURCES) $(disjoint1_SOURCES) $(empty1_SOURCES) \ $(equality1_SOURCES) $(expandspacedim1_SOURCES) \ $(foldspacedims1_SOURCES) $(frequency1_SOURCES) \ $(frombdshape1_SOURCES) $(frombox1_SOURCES) \ $(fromgensys1_SOURCES) $(fromgrid1_SOURCES) \ $(frompartiallyreducedproduct1_SOURCES) \ $(frompolyhedron1_SOURCES) $(frompolyhedron2_SOURCES) \ $(fromspacedim1_SOURCES) $(generalizedaffineimage1_SOURCES) \ $(generalizedaffineimage2_SOURCES) \ $(generalizedaffinepreimage1_SOURCES) $(geomcovers1_SOURCES) \ $(intersection1_SOURCES) $(interval1_SOURCES) \ $(limitedcc76extrapolation1_SOURCES) $(mapspacedims1_SOURCES) \ $(max_min1_SOURCES) $(maxspacedim1_SOURCES) \ $(membytes1_SOURCES) $(minconstraints1_SOURCES) \ $(nnc_frompolyhedron1_SOURCES) \ $(propagateconstraints1_SOURCES) \ $(propagateconstraints2_SOURCES) \ $(refinewithcongruence1_SOURCES) \ $(refinewithcongruences1_SOURCES) \ $(refinewithconstraint1_SOURCES) \ $(refinewithconstraint2_SOURCES) \ $(refinewithconstraints1_SOURCES) \ $(am__refinewithconstraints2_SOURCES_DIST) \ $(relations1_SOURCES) $(relations2_SOURCES) \ $(relations3_SOURCES) $(relations4_SOURCES) \ $(removespacedims1_SOURCES) $(simplifyusingcontext1_SOURCES) \ $(timeelapse1_SOURCES) $(topclosed1_SOURCES) \ $(unconstrain1_SOURCES) $(universe1_SOURCES) \ $(upperbound1_SOURCES) $(upperboundifexact1_SOURCES) \ $(wrap1_SOURCES) $(writebox1_SOURCES) ETAGS = etags CTAGS = ctags am__tty_colors = \ red=; grn=; lgn=; blu=; std= 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@ 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@ LIBGMP = @LIBGMP@ LIBGMPXX = @LIBGMPXX@ LIBGMPXX_PREFIX = @LIBGMPXX_PREFIX@ LIBGMP_PREFIX = @LIBGMP_PREFIX@ LIBOBJS = @LIBOBJS@ LIBS = @LIBS@ LIBTOOL = @LIBTOOL@ LIPO = @LIPO@ LN_S = @LN_S@ LTLIBGMP = @LTLIBGMP@ LTLIBGMPXX = @LTLIBGMPXX@ LTLIBOBJS = @LTLIBOBJS@ M4 = @M4@ M4_DEBUGFILE = @M4_DEBUGFILE@ MAKEINFO = @MAKEINFO@ 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_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@ subdirs = @subdirs@ 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@ @VALGRIND_TESTS_ENABLED_FALSE@CHECKER = @VALGRIND_TESTS_ENABLED_TRUE@CHECKER = \ @VALGRIND_TESTS_ENABLED_TRUE@$(VALGRIND) --tool=memcheck -q --trace-children=yes --leak-check=yes \ @VALGRIND_TESTS_ENABLED_TRUE@--num-callers=40 --leak-resolution=high \ @VALGRIND_TESTS_ENABLED_TRUE@--suppressions=$(top_srcdir)/tests/valgrind_suppressions TESTS_ENVIRONMENT = $(CHECKER) AM_CPPFLAGS = \ $(TEST_CPPFLAGS) \ -I$(top_builddir)/src \ -I$(top_srcdir)/src \ -I$(top_srcdir)/tests \ -I$(top_srcdir)/utils \ @extra_includes@ \ @debug_flag@ LDADD = \ $(top_builddir)/utils/libppl_utils.a \ $(top_builddir)/tests/libppl_tests.a \ $(top_builddir)/src/libppl.la \ @extra_libraries@ ORIGINAL_TESTS = \ addconstraints1 \ addspacedims1 \ affinedimension1 \ affineimage1 \ affinepreimage1 \ ascii_dump_load1 \ bgp99extrapolation1 \ bhz03widening1 \ bounded1 \ boundedaffineimage1 \ boundedaffinepreimage1 \ cc76narrowing1 \ cc76widening \ concatenate1 \ congruences1 \ constrains1 \ constraints1 \ contains1 \ containsintegerpoint1 \ difference1 \ discrete1 \ disjoint1 \ empty1 \ equality1 \ expandspacedim1 \ foldspacedims1 \ frequency1 \ frombdshape1 \ frombox1 \ fromgensys1 \ fromgrid1 \ frompartiallyreducedproduct1 \ frompolyhedron1 \ frompolyhedron2 \ fromspacedim1 \ generalizedaffineimage1 generalizedaffineimage2 \ generalizedaffinepreimage1 \ geomcovers1 \ intersection1 \ interval1 \ limitedcc76extrapolation1 \ mapspacedims1 \ max_min1 \ maxspacedim1 \ membytes1 \ minconstraints1 \ propagateconstraints1 propagateconstraints2 \ relations1 relations2 relations3 relations4 \ refinewithconstraint1 refinewithconstraint2 \ refinewithconstraints1 \ refinewithcongruence1 \ refinewithcongruences1 \ removespacedims1 \ simplifyusingcontext1 \ timeelapse1 \ topclosed1 \ unconstrain1 \ universe1 \ upperbound1 \ upperboundifexact1 \ wrap1 \ writebox1 DERIVED_TESTS = \ nnc_frompolyhedron1 ALL_TESTS = $(ORIGINAL_TESTS) $(DERIVED_TESTS) $(WATCHDOG_TESTS) # This will be overridden by the `run_tests' script. TEST_CPPFLAGS = -DBOX_INSTANCE=rt_r_oc dist_check_SCRIPTS = run_tests TESTS = run_tests.stamp @SUPPORTED_FLOAT_TRUE@FLOAT_INSTANCES = fl_r_oc @SUPPORTED_DOUBLE_TRUE@DOUBLE_INSTANCES = db_r_oc @SUPPORTED_LONG_DOUBLE_TRUE@LONG_DOUBLE_INSTANCES = ld_r_oc # NOTE: rt_r_oc must be the first in the list. INSTANCES = \ rt_r_oc \ $(LONG_DOUBLE_INSTANCES) \ $(DOUBLE_INSTANCES) \ $(FLOAT_INSTANCES) # # Sources for the tests # addconstraints1_SOURCES = addconstraints1.cc addspacedims1_SOURCES = addspacedims1.cc affinedimension1_SOURCES = affinedimension1.cc affineimage1_SOURCES = affineimage1.cc affinepreimage1_SOURCES = affinepreimage1.cc ascii_dump_load1_SOURCES = ascii_dump_load1.cc bgp99extrapolation1_SOURCES = bgp99extrapolation1.cc bhz03widening1_SOURCES = bhz03widening1.cc bounded1_SOURCES = bounded1.cc boundedaffineimage1_SOURCES = boundedaffineimage1.cc boundedaffinepreimage1_SOURCES = boundedaffinepreimage1.cc cc76narrowing1_SOURCES = cc76narrowing1.cc cc76widening_SOURCES = cc76widening.cc concatenate1_SOURCES = concatenate1.cc congruences1_SOURCES = congruences1.cc constrains1_SOURCES = constrains1.cc constraints1_SOURCES = constraints1.cc contains1_SOURCES = contains1.cc containsintegerpoint1_SOURCES = containsintegerpoint1.cc difference1_SOURCES = difference1.cc discrete1_SOURCES = discrete1.cc disjoint1_SOURCES = disjoint1.cc empty1_SOURCES = empty1.cc equality1_SOURCES = equality1.cc expandspacedim1_SOURCES = expandspacedim1.cc foldspacedims1_SOURCES = foldspacedims1.cc frequency1_SOURCES = frequency1.cc frombdshape1_SOURCES = frombdshape1.cc frombox1_SOURCES = frombox1.cc fromgensys1_SOURCES = fromgensys1.cc fromgrid1_SOURCES = fromgrid1.cc frompolyhedron1_SOURCES = frompolyhedron1.cc frompolyhedron2_SOURCES = frompolyhedron2.cc frompartiallyreducedproduct1_SOURCES = frompartiallyreducedproduct1.cc fromspacedim1_SOURCES = fromspacedim1.cc generalizedaffineimage1_SOURCES = generalizedaffineimage1.cc generalizedaffineimage2_SOURCES = generalizedaffineimage2.cc generalizedaffinepreimage1_SOURCES = generalizedaffinepreimage1.cc geomcovers1_SOURCES = geomcovers1.cc intersection1_SOURCES = intersection1.cc interval1_SOURCES = interval1.cc limitedcc76extrapolation1_SOURCES = limitedcc76extrapolation1.cc mapspacedims1_SOURCES = mapspacedims1.cc max_min1_SOURCES = max_min1.cc maxspacedim1_SOURCES = maxspacedim1.cc membytes1_SOURCES = membytes1.cc minconstraints1_SOURCES = minconstraints1.cc relations1_SOURCES = relations1.cc relations2_SOURCES = relations2.cc relations3_SOURCES = relations3.cc relations4_SOURCES = relations4.cc propagateconstraints1_SOURCES = propagateconstraints1.cc propagateconstraints2_SOURCES = propagateconstraints2.cc refinewithcongruence1_SOURCES = refinewithcongruence1.cc refinewithcongruences1_SOURCES = refinewithcongruences1.cc refinewithconstraint1_SOURCES = refinewithconstraint1.cc refinewithconstraint2_SOURCES = refinewithconstraint2.cc refinewithconstraints1_SOURCES = refinewithconstraints1.cc removespacedims1_SOURCES = removespacedims1.cc simplifyusingcontext1_SOURCES = simplifyusingcontext1.cc timeelapse1_SOURCES = timeelapse1.cc topclosed1_SOURCES = topclosed1.cc unconstrain1_SOURCES = unconstrain1.cc universe1_SOURCES = universe1.cc upperbound1_SOURCES = upperbound1.cc upperboundifexact1_SOURCES = upperboundifexact1.cc wrap1_SOURCES = wrap1.cc writebox1_SOURCES = writebox1.cc refinewithconstraints2_SRCS = refinewithconstraints2.cc @BUILD_WATCHDOG_LIBRARY_TRUE@WATCHDOG_TESTS = refinewithconstraints2 @BUILD_WATCHDOG_LIBRARY_TRUE@refinewithconstraints2_SOURCES = $(refinewithconstraints2_SRCS) @BUILD_WATCHDOG_LIBRARY_TRUE@refinewithconstraints2_CPPFLAGS = \ @BUILD_WATCHDOG_LIBRARY_TRUE@$(AM_CPPFLAGS) \ @BUILD_WATCHDOG_LIBRARY_TRUE@-I$(top_builddir)/Watchdog \ @BUILD_WATCHDOG_LIBRARY_TRUE@-I$(top_builddir)/Watchdog/src @BUILD_WATCHDOG_LIBRARY_TRUE@refinewithconstraints2_LDADD = $(LDADD) $(top_builddir)/Watchdog/src/libpwl.la # # Sources and compilation flags for the derived check programs # DERIVED_CXXFLAGS = -DDERIVED_TEST $(AM_CXXFLAGS) nnc_frompolyhedron1_SOURCES = frompolyhedron1.cc nnc_frompolyhedron1_CXXFLAGS = $(DERIVED_CXXFLAGS) BUGS = EXTRA_DIST = $(refinewithconstraints2_SRCS) MOSTLYCLEANFILES = \ ascii_dump_load1.dat CLEANFILES = \ run_tests.stamp DISTCLEANFILES = \ dirty_marker all: 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 tests/Box/Makefile'; \ $(am__cd) $(top_srcdir) && \ $(AUTOMAKE) --foreign tests/Box/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): clean-checkPROGRAMS: @list='$(check_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 addconstraints1$(EXEEXT): $(addconstraints1_OBJECTS) $(addconstraints1_DEPENDENCIES) @rm -f addconstraints1$(EXEEXT) $(AM_V_CXXLD)$(CXXLINK) $(addconstraints1_OBJECTS) $(addconstraints1_LDADD) $(LIBS) addspacedims1$(EXEEXT): $(addspacedims1_OBJECTS) $(addspacedims1_DEPENDENCIES) @rm -f addspacedims1$(EXEEXT) $(AM_V_CXXLD)$(CXXLINK) $(addspacedims1_OBJECTS) $(addspacedims1_LDADD) $(LIBS) affinedimension1$(EXEEXT): $(affinedimension1_OBJECTS) $(affinedimension1_DEPENDENCIES) @rm -f affinedimension1$(EXEEXT) $(AM_V_CXXLD)$(CXXLINK) $(affinedimension1_OBJECTS) $(affinedimension1_LDADD) $(LIBS) affineimage1$(EXEEXT): $(affineimage1_OBJECTS) $(affineimage1_DEPENDENCIES) @rm -f affineimage1$(EXEEXT) $(AM_V_CXXLD)$(CXXLINK) $(affineimage1_OBJECTS) $(affineimage1_LDADD) $(LIBS) affinepreimage1$(EXEEXT): $(affinepreimage1_OBJECTS) $(affinepreimage1_DEPENDENCIES) @rm -f affinepreimage1$(EXEEXT) $(AM_V_CXXLD)$(CXXLINK) $(affinepreimage1_OBJECTS) $(affinepreimage1_LDADD) $(LIBS) ascii_dump_load1$(EXEEXT): $(ascii_dump_load1_OBJECTS) $(ascii_dump_load1_DEPENDENCIES) @rm -f ascii_dump_load1$(EXEEXT) $(AM_V_CXXLD)$(CXXLINK) $(ascii_dump_load1_OBJECTS) $(ascii_dump_load1_LDADD) $(LIBS) bgp99extrapolation1$(EXEEXT): $(bgp99extrapolation1_OBJECTS) $(bgp99extrapolation1_DEPENDENCIES) @rm -f bgp99extrapolation1$(EXEEXT) $(AM_V_CXXLD)$(CXXLINK) $(bgp99extrapolation1_OBJECTS) $(bgp99extrapolation1_LDADD) $(LIBS) bhz03widening1$(EXEEXT): $(bhz03widening1_OBJECTS) $(bhz03widening1_DEPENDENCIES) @rm -f bhz03widening1$(EXEEXT) $(AM_V_CXXLD)$(CXXLINK) $(bhz03widening1_OBJECTS) $(bhz03widening1_LDADD) $(LIBS) bounded1$(EXEEXT): $(bounded1_OBJECTS) $(bounded1_DEPENDENCIES) @rm -f bounded1$(EXEEXT) $(AM_V_CXXLD)$(CXXLINK) $(bounded1_OBJECTS) $(bounded1_LDADD) $(LIBS) boundedaffineimage1$(EXEEXT): $(boundedaffineimage1_OBJECTS) $(boundedaffineimage1_DEPENDENCIES) @rm -f boundedaffineimage1$(EXEEXT) $(AM_V_CXXLD)$(CXXLINK) $(boundedaffineimage1_OBJECTS) $(boundedaffineimage1_LDADD) $(LIBS) boundedaffinepreimage1$(EXEEXT): $(boundedaffinepreimage1_OBJECTS) $(boundedaffinepreimage1_DEPENDENCIES) @rm -f boundedaffinepreimage1$(EXEEXT) $(AM_V_CXXLD)$(CXXLINK) $(boundedaffinepreimage1_OBJECTS) $(boundedaffinepreimage1_LDADD) $(LIBS) cc76narrowing1$(EXEEXT): $(cc76narrowing1_OBJECTS) $(cc76narrowing1_DEPENDENCIES) @rm -f cc76narrowing1$(EXEEXT) $(AM_V_CXXLD)$(CXXLINK) $(cc76narrowing1_OBJECTS) $(cc76narrowing1_LDADD) $(LIBS) cc76widening$(EXEEXT): $(cc76widening_OBJECTS) $(cc76widening_DEPENDENCIES) @rm -f cc76widening$(EXEEXT) $(AM_V_CXXLD)$(CXXLINK) $(cc76widening_OBJECTS) $(cc76widening_LDADD) $(LIBS) concatenate1$(EXEEXT): $(concatenate1_OBJECTS) $(concatenate1_DEPENDENCIES) @rm -f concatenate1$(EXEEXT) $(AM_V_CXXLD)$(CXXLINK) $(concatenate1_OBJECTS) $(concatenate1_LDADD) $(LIBS) congruences1$(EXEEXT): $(congruences1_OBJECTS) $(congruences1_DEPENDENCIES) @rm -f congruences1$(EXEEXT) $(AM_V_CXXLD)$(CXXLINK) $(congruences1_OBJECTS) $(congruences1_LDADD) $(LIBS) constrains1$(EXEEXT): $(constrains1_OBJECTS) $(constrains1_DEPENDENCIES) @rm -f constrains1$(EXEEXT) $(AM_V_CXXLD)$(CXXLINK) $(constrains1_OBJECTS) $(constrains1_LDADD) $(LIBS) constraints1$(EXEEXT): $(constraints1_OBJECTS) $(constraints1_DEPENDENCIES) @rm -f constraints1$(EXEEXT) $(AM_V_CXXLD)$(CXXLINK) $(constraints1_OBJECTS) $(constraints1_LDADD) $(LIBS) contains1$(EXEEXT): $(contains1_OBJECTS) $(contains1_DEPENDENCIES) @rm -f contains1$(EXEEXT) $(AM_V_CXXLD)$(CXXLINK) $(contains1_OBJECTS) $(contains1_LDADD) $(LIBS) containsintegerpoint1$(EXEEXT): $(containsintegerpoint1_OBJECTS) $(containsintegerpoint1_DEPENDENCIES) @rm -f containsintegerpoint1$(EXEEXT) $(AM_V_CXXLD)$(CXXLINK) $(containsintegerpoint1_OBJECTS) $(containsintegerpoint1_LDADD) $(LIBS) difference1$(EXEEXT): $(difference1_OBJECTS) $(difference1_DEPENDENCIES) @rm -f difference1$(EXEEXT) $(AM_V_CXXLD)$(CXXLINK) $(difference1_OBJECTS) $(difference1_LDADD) $(LIBS) discrete1$(EXEEXT): $(discrete1_OBJECTS) $(discrete1_DEPENDENCIES) @rm -f discrete1$(EXEEXT) $(AM_V_CXXLD)$(CXXLINK) $(discrete1_OBJECTS) $(discrete1_LDADD) $(LIBS) disjoint1$(EXEEXT): $(disjoint1_OBJECTS) $(disjoint1_DEPENDENCIES) @rm -f disjoint1$(EXEEXT) $(AM_V_CXXLD)$(CXXLINK) $(disjoint1_OBJECTS) $(disjoint1_LDADD) $(LIBS) empty1$(EXEEXT): $(empty1_OBJECTS) $(empty1_DEPENDENCIES) @rm -f empty1$(EXEEXT) $(AM_V_CXXLD)$(CXXLINK) $(empty1_OBJECTS) $(empty1_LDADD) $(LIBS) equality1$(EXEEXT): $(equality1_OBJECTS) $(equality1_DEPENDENCIES) @rm -f equality1$(EXEEXT) $(AM_V_CXXLD)$(CXXLINK) $(equality1_OBJECTS) $(equality1_LDADD) $(LIBS) expandspacedim1$(EXEEXT): $(expandspacedim1_OBJECTS) $(expandspacedim1_DEPENDENCIES) @rm -f expandspacedim1$(EXEEXT) $(AM_V_CXXLD)$(CXXLINK) $(expandspacedim1_OBJECTS) $(expandspacedim1_LDADD) $(LIBS) foldspacedims1$(EXEEXT): $(foldspacedims1_OBJECTS) $(foldspacedims1_DEPENDENCIES) @rm -f foldspacedims1$(EXEEXT) $(AM_V_CXXLD)$(CXXLINK) $(foldspacedims1_OBJECTS) $(foldspacedims1_LDADD) $(LIBS) frequency1$(EXEEXT): $(frequency1_OBJECTS) $(frequency1_DEPENDENCIES) @rm -f frequency1$(EXEEXT) $(AM_V_CXXLD)$(CXXLINK) $(frequency1_OBJECTS) $(frequency1_LDADD) $(LIBS) frombdshape1$(EXEEXT): $(frombdshape1_OBJECTS) $(frombdshape1_DEPENDENCIES) @rm -f frombdshape1$(EXEEXT) $(AM_V_CXXLD)$(CXXLINK) $(frombdshape1_OBJECTS) $(frombdshape1_LDADD) $(LIBS) frombox1$(EXEEXT): $(frombox1_OBJECTS) $(frombox1_DEPENDENCIES) @rm -f frombox1$(EXEEXT) $(AM_V_CXXLD)$(CXXLINK) $(frombox1_OBJECTS) $(frombox1_LDADD) $(LIBS) fromgensys1$(EXEEXT): $(fromgensys1_OBJECTS) $(fromgensys1_DEPENDENCIES) @rm -f fromgensys1$(EXEEXT) $(AM_V_CXXLD)$(CXXLINK) $(fromgensys1_OBJECTS) $(fromgensys1_LDADD) $(LIBS) fromgrid1$(EXEEXT): $(fromgrid1_OBJECTS) $(fromgrid1_DEPENDENCIES) @rm -f fromgrid1$(EXEEXT) $(AM_V_CXXLD)$(CXXLINK) $(fromgrid1_OBJECTS) $(fromgrid1_LDADD) $(LIBS) frompartiallyreducedproduct1$(EXEEXT): $(frompartiallyreducedproduct1_OBJECTS) $(frompartiallyreducedproduct1_DEPENDENCIES) @rm -f frompartiallyreducedproduct1$(EXEEXT) $(AM_V_CXXLD)$(CXXLINK) $(frompartiallyreducedproduct1_OBJECTS) $(frompartiallyreducedproduct1_LDADD) $(LIBS) frompolyhedron1$(EXEEXT): $(frompolyhedron1_OBJECTS) $(frompolyhedron1_DEPENDENCIES) @rm -f frompolyhedron1$(EXEEXT) $(AM_V_CXXLD)$(CXXLINK) $(frompolyhedron1_OBJECTS) $(frompolyhedron1_LDADD) $(LIBS) frompolyhedron2$(EXEEXT): $(frompolyhedron2_OBJECTS) $(frompolyhedron2_DEPENDENCIES) @rm -f frompolyhedron2$(EXEEXT) $(AM_V_CXXLD)$(CXXLINK) $(frompolyhedron2_OBJECTS) $(frompolyhedron2_LDADD) $(LIBS) fromspacedim1$(EXEEXT): $(fromspacedim1_OBJECTS) $(fromspacedim1_DEPENDENCIES) @rm -f fromspacedim1$(EXEEXT) $(AM_V_CXXLD)$(CXXLINK) $(fromspacedim1_OBJECTS) $(fromspacedim1_LDADD) $(LIBS) generalizedaffineimage1$(EXEEXT): $(generalizedaffineimage1_OBJECTS) $(generalizedaffineimage1_DEPENDENCIES) @rm -f generalizedaffineimage1$(EXEEXT) $(AM_V_CXXLD)$(CXXLINK) $(generalizedaffineimage1_OBJECTS) $(generalizedaffineimage1_LDADD) $(LIBS) generalizedaffineimage2$(EXEEXT): $(generalizedaffineimage2_OBJECTS) $(generalizedaffineimage2_DEPENDENCIES) @rm -f generalizedaffineimage2$(EXEEXT) $(AM_V_CXXLD)$(CXXLINK) $(generalizedaffineimage2_OBJECTS) $(generalizedaffineimage2_LDADD) $(LIBS) generalizedaffinepreimage1$(EXEEXT): $(generalizedaffinepreimage1_OBJECTS) $(generalizedaffinepreimage1_DEPENDENCIES) @rm -f generalizedaffinepreimage1$(EXEEXT) $(AM_V_CXXLD)$(CXXLINK) $(generalizedaffinepreimage1_OBJECTS) $(generalizedaffinepreimage1_LDADD) $(LIBS) geomcovers1$(EXEEXT): $(geomcovers1_OBJECTS) $(geomcovers1_DEPENDENCIES) @rm -f geomcovers1$(EXEEXT) $(AM_V_CXXLD)$(CXXLINK) $(geomcovers1_OBJECTS) $(geomcovers1_LDADD) $(LIBS) intersection1$(EXEEXT): $(intersection1_OBJECTS) $(intersection1_DEPENDENCIES) @rm -f intersection1$(EXEEXT) $(AM_V_CXXLD)$(CXXLINK) $(intersection1_OBJECTS) $(intersection1_LDADD) $(LIBS) interval1$(EXEEXT): $(interval1_OBJECTS) $(interval1_DEPENDENCIES) @rm -f interval1$(EXEEXT) $(AM_V_CXXLD)$(CXXLINK) $(interval1_OBJECTS) $(interval1_LDADD) $(LIBS) limitedcc76extrapolation1$(EXEEXT): $(limitedcc76extrapolation1_OBJECTS) $(limitedcc76extrapolation1_DEPENDENCIES) @rm -f limitedcc76extrapolation1$(EXEEXT) $(AM_V_CXXLD)$(CXXLINK) $(limitedcc76extrapolation1_OBJECTS) $(limitedcc76extrapolation1_LDADD) $(LIBS) mapspacedims1$(EXEEXT): $(mapspacedims1_OBJECTS) $(mapspacedims1_DEPENDENCIES) @rm -f mapspacedims1$(EXEEXT) $(AM_V_CXXLD)$(CXXLINK) $(mapspacedims1_OBJECTS) $(mapspacedims1_LDADD) $(LIBS) max_min1$(EXEEXT): $(max_min1_OBJECTS) $(max_min1_DEPENDENCIES) @rm -f max_min1$(EXEEXT) $(AM_V_CXXLD)$(CXXLINK) $(max_min1_OBJECTS) $(max_min1_LDADD) $(LIBS) maxspacedim1$(EXEEXT): $(maxspacedim1_OBJECTS) $(maxspacedim1_DEPENDENCIES) @rm -f maxspacedim1$(EXEEXT) $(AM_V_CXXLD)$(CXXLINK) $(maxspacedim1_OBJECTS) $(maxspacedim1_LDADD) $(LIBS) membytes1$(EXEEXT): $(membytes1_OBJECTS) $(membytes1_DEPENDENCIES) @rm -f membytes1$(EXEEXT) $(AM_V_CXXLD)$(CXXLINK) $(membytes1_OBJECTS) $(membytes1_LDADD) $(LIBS) minconstraints1$(EXEEXT): $(minconstraints1_OBJECTS) $(minconstraints1_DEPENDENCIES) @rm -f minconstraints1$(EXEEXT) $(AM_V_CXXLD)$(CXXLINK) $(minconstraints1_OBJECTS) $(minconstraints1_LDADD) $(LIBS) nnc_frompolyhedron1$(EXEEXT): $(nnc_frompolyhedron1_OBJECTS) $(nnc_frompolyhedron1_DEPENDENCIES) @rm -f nnc_frompolyhedron1$(EXEEXT) $(AM_V_CXXLD)$(nnc_frompolyhedron1_LINK) $(nnc_frompolyhedron1_OBJECTS) $(nnc_frompolyhedron1_LDADD) $(LIBS) propagateconstraints1$(EXEEXT): $(propagateconstraints1_OBJECTS) $(propagateconstraints1_DEPENDENCIES) @rm -f propagateconstraints1$(EXEEXT) $(AM_V_CXXLD)$(CXXLINK) $(propagateconstraints1_OBJECTS) $(propagateconstraints1_LDADD) $(LIBS) propagateconstraints2$(EXEEXT): $(propagateconstraints2_OBJECTS) $(propagateconstraints2_DEPENDENCIES) @rm -f propagateconstraints2$(EXEEXT) $(AM_V_CXXLD)$(CXXLINK) $(propagateconstraints2_OBJECTS) $(propagateconstraints2_LDADD) $(LIBS) refinewithcongruence1$(EXEEXT): $(refinewithcongruence1_OBJECTS) $(refinewithcongruence1_DEPENDENCIES) @rm -f refinewithcongruence1$(EXEEXT) $(AM_V_CXXLD)$(CXXLINK) $(refinewithcongruence1_OBJECTS) $(refinewithcongruence1_LDADD) $(LIBS) refinewithcongruences1$(EXEEXT): $(refinewithcongruences1_OBJECTS) $(refinewithcongruences1_DEPENDENCIES) @rm -f refinewithcongruences1$(EXEEXT) $(AM_V_CXXLD)$(CXXLINK) $(refinewithcongruences1_OBJECTS) $(refinewithcongruences1_LDADD) $(LIBS) refinewithconstraint1$(EXEEXT): $(refinewithconstraint1_OBJECTS) $(refinewithconstraint1_DEPENDENCIES) @rm -f refinewithconstraint1$(EXEEXT) $(AM_V_CXXLD)$(CXXLINK) $(refinewithconstraint1_OBJECTS) $(refinewithconstraint1_LDADD) $(LIBS) refinewithconstraint2$(EXEEXT): $(refinewithconstraint2_OBJECTS) $(refinewithconstraint2_DEPENDENCIES) @rm -f refinewithconstraint2$(EXEEXT) $(AM_V_CXXLD)$(CXXLINK) $(refinewithconstraint2_OBJECTS) $(refinewithconstraint2_LDADD) $(LIBS) refinewithconstraints1$(EXEEXT): $(refinewithconstraints1_OBJECTS) $(refinewithconstraints1_DEPENDENCIES) @rm -f refinewithconstraints1$(EXEEXT) $(AM_V_CXXLD)$(CXXLINK) $(refinewithconstraints1_OBJECTS) $(refinewithconstraints1_LDADD) $(LIBS) refinewithconstraints2$(EXEEXT): $(refinewithconstraints2_OBJECTS) $(refinewithconstraints2_DEPENDENCIES) @rm -f refinewithconstraints2$(EXEEXT) $(AM_V_CXXLD)$(CXXLINK) $(refinewithconstraints2_OBJECTS) $(refinewithconstraints2_LDADD) $(LIBS) relations1$(EXEEXT): $(relations1_OBJECTS) $(relations1_DEPENDENCIES) @rm -f relations1$(EXEEXT) $(AM_V_CXXLD)$(CXXLINK) $(relations1_OBJECTS) $(relations1_LDADD) $(LIBS) relations2$(EXEEXT): $(relations2_OBJECTS) $(relations2_DEPENDENCIES) @rm -f relations2$(EXEEXT) $(AM_V_CXXLD)$(CXXLINK) $(relations2_OBJECTS) $(relations2_LDADD) $(LIBS) relations3$(EXEEXT): $(relations3_OBJECTS) $(relations3_DEPENDENCIES) @rm -f relations3$(EXEEXT) $(AM_V_CXXLD)$(CXXLINK) $(relations3_OBJECTS) $(relations3_LDADD) $(LIBS) relations4$(EXEEXT): $(relations4_OBJECTS) $(relations4_DEPENDENCIES) @rm -f relations4$(EXEEXT) $(AM_V_CXXLD)$(CXXLINK) $(relations4_OBJECTS) $(relations4_LDADD) $(LIBS) removespacedims1$(EXEEXT): $(removespacedims1_OBJECTS) $(removespacedims1_DEPENDENCIES) @rm -f removespacedims1$(EXEEXT) $(AM_V_CXXLD)$(CXXLINK) $(removespacedims1_OBJECTS) $(removespacedims1_LDADD) $(LIBS) simplifyusingcontext1$(EXEEXT): $(simplifyusingcontext1_OBJECTS) $(simplifyusingcontext1_DEPENDENCIES) @rm -f simplifyusingcontext1$(EXEEXT) $(AM_V_CXXLD)$(CXXLINK) $(simplifyusingcontext1_OBJECTS) $(simplifyusingcontext1_LDADD) $(LIBS) timeelapse1$(EXEEXT): $(timeelapse1_OBJECTS) $(timeelapse1_DEPENDENCIES) @rm -f timeelapse1$(EXEEXT) $(AM_V_CXXLD)$(CXXLINK) $(timeelapse1_OBJECTS) $(timeelapse1_LDADD) $(LIBS) topclosed1$(EXEEXT): $(topclosed1_OBJECTS) $(topclosed1_DEPENDENCIES) @rm -f topclosed1$(EXEEXT) $(AM_V_CXXLD)$(CXXLINK) $(topclosed1_OBJECTS) $(topclosed1_LDADD) $(LIBS) unconstrain1$(EXEEXT): $(unconstrain1_OBJECTS) $(unconstrain1_DEPENDENCIES) @rm -f unconstrain1$(EXEEXT) $(AM_V_CXXLD)$(CXXLINK) $(unconstrain1_OBJECTS) $(unconstrain1_LDADD) $(LIBS) universe1$(EXEEXT): $(universe1_OBJECTS) $(universe1_DEPENDENCIES) @rm -f universe1$(EXEEXT) $(AM_V_CXXLD)$(CXXLINK) $(universe1_OBJECTS) $(universe1_LDADD) $(LIBS) upperbound1$(EXEEXT): $(upperbound1_OBJECTS) $(upperbound1_DEPENDENCIES) @rm -f upperbound1$(EXEEXT) $(AM_V_CXXLD)$(CXXLINK) $(upperbound1_OBJECTS) $(upperbound1_LDADD) $(LIBS) upperboundifexact1$(EXEEXT): $(upperboundifexact1_OBJECTS) $(upperboundifexact1_DEPENDENCIES) @rm -f upperboundifexact1$(EXEEXT) $(AM_V_CXXLD)$(CXXLINK) $(upperboundifexact1_OBJECTS) $(upperboundifexact1_LDADD) $(LIBS) wrap1$(EXEEXT): $(wrap1_OBJECTS) $(wrap1_DEPENDENCIES) @rm -f wrap1$(EXEEXT) $(AM_V_CXXLD)$(CXXLINK) $(wrap1_OBJECTS) $(wrap1_LDADD) $(LIBS) writebox1$(EXEEXT): $(writebox1_OBJECTS) $(writebox1_DEPENDENCIES) @rm -f writebox1$(EXEEXT) $(AM_V_CXXLD)$(CXXLINK) $(writebox1_OBJECTS) $(writebox1_LDADD) $(LIBS) mostlyclean-compile: -rm -f *.$(OBJEXT) distclean-compile: -rm -f *.tab.c @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/addconstraints1.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/addspacedims1.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/affinedimension1.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/affineimage1.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/affinepreimage1.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/ascii_dump_load1.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/bgp99extrapolation1.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/bhz03widening1.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/bounded1.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/boundedaffineimage1.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/boundedaffinepreimage1.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/cc76narrowing1.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/cc76widening.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/concatenate1.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/congruences1.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/constrains1.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/constraints1.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/contains1.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/containsintegerpoint1.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/difference1.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/discrete1.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/disjoint1.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/empty1.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/equality1.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/expandspacedim1.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/foldspacedims1.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/frequency1.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/frombdshape1.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/frombox1.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/fromgensys1.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/fromgrid1.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/frompartiallyreducedproduct1.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/frompolyhedron1.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/frompolyhedron2.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/fromspacedim1.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/generalizedaffineimage1.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/generalizedaffineimage2.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/generalizedaffinepreimage1.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/geomcovers1.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/intersection1.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/interval1.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/limitedcc76extrapolation1.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/mapspacedims1.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/max_min1.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/maxspacedim1.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/membytes1.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/minconstraints1.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/nnc_frompolyhedron1-frompolyhedron1.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/propagateconstraints1.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/propagateconstraints2.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/refinewithcongruence1.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/refinewithcongruences1.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/refinewithconstraint1.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/refinewithconstraint2.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/refinewithconstraints1.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/refinewithconstraints2-refinewithconstraints2.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/relations1.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/relations2.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/relations3.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/relations4.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/removespacedims1.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/simplifyusingcontext1.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/timeelapse1.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/topclosed1.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/unconstrain1.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/universe1.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/upperbound1.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/upperboundifexact1.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/wrap1.Po@am__quote@ @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/writebox1.Po@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 @am__fastdepCXX_FALSE@ $(AM_V_CXX) @AM_BACKSLASH@ @AMDEP_TRUE@@am__fastdepCXX_FALSE@ source='$<' object='$@' libtool=no @AMDEPBACKSLASH@ @AMDEP_TRUE@@am__fastdepCXX_FALSE@ DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@ @am__fastdepCXX_FALSE@ $(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 @am__fastdepCXX_FALSE@ $(AM_V_CXX) @AM_BACKSLASH@ @AMDEP_TRUE@@am__fastdepCXX_FALSE@ source='$<' object='$@' libtool=no @AMDEPBACKSLASH@ @AMDEP_TRUE@@am__fastdepCXX_FALSE@ DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@ @am__fastdepCXX_FALSE@ $(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 @am__fastdepCXX_FALSE@ $(AM_V_CXX) @AM_BACKSLASH@ @AMDEP_TRUE@@am__fastdepCXX_FALSE@ source='$<' object='$@' libtool=yes @AMDEPBACKSLASH@ @AMDEP_TRUE@@am__fastdepCXX_FALSE@ DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@ @am__fastdepCXX_FALSE@ $(LTCXXCOMPILE) -c -o $@ $< nnc_frompolyhedron1-frompolyhedron1.o: frompolyhedron1.cc @am__fastdepCXX_TRUE@ $(AM_V_CXX)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(nnc_frompolyhedron1_CXXFLAGS) $(CXXFLAGS) -MT nnc_frompolyhedron1-frompolyhedron1.o -MD -MP -MF $(DEPDIR)/nnc_frompolyhedron1-frompolyhedron1.Tpo -c -o nnc_frompolyhedron1-frompolyhedron1.o `test -f 'frompolyhedron1.cc' || echo '$(srcdir)/'`frompolyhedron1.cc @am__fastdepCXX_TRUE@ $(AM_V_at)$(am__mv) $(DEPDIR)/nnc_frompolyhedron1-frompolyhedron1.Tpo $(DEPDIR)/nnc_frompolyhedron1-frompolyhedron1.Po @am__fastdepCXX_FALSE@ $(AM_V_CXX) @AM_BACKSLASH@ @AMDEP_TRUE@@am__fastdepCXX_FALSE@ source='frompolyhedron1.cc' object='nnc_frompolyhedron1-frompolyhedron1.o' libtool=no @AMDEPBACKSLASH@ @AMDEP_TRUE@@am__fastdepCXX_FALSE@ DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@ @am__fastdepCXX_FALSE@ $(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(nnc_frompolyhedron1_CXXFLAGS) $(CXXFLAGS) -c -o nnc_frompolyhedron1-frompolyhedron1.o `test -f 'frompolyhedron1.cc' || echo '$(srcdir)/'`frompolyhedron1.cc nnc_frompolyhedron1-frompolyhedron1.obj: frompolyhedron1.cc @am__fastdepCXX_TRUE@ $(AM_V_CXX)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(nnc_frompolyhedron1_CXXFLAGS) $(CXXFLAGS) -MT nnc_frompolyhedron1-frompolyhedron1.obj -MD -MP -MF $(DEPDIR)/nnc_frompolyhedron1-frompolyhedron1.Tpo -c -o nnc_frompolyhedron1-frompolyhedron1.obj `if test -f 'frompolyhedron1.cc'; then $(CYGPATH_W) 'frompolyhedron1.cc'; else $(CYGPATH_W) '$(srcdir)/frompolyhedron1.cc'; fi` @am__fastdepCXX_TRUE@ $(AM_V_at)$(am__mv) $(DEPDIR)/nnc_frompolyhedron1-frompolyhedron1.Tpo $(DEPDIR)/nnc_frompolyhedron1-frompolyhedron1.Po @am__fastdepCXX_FALSE@ $(AM_V_CXX) @AM_BACKSLASH@ @AMDEP_TRUE@@am__fastdepCXX_FALSE@ source='frompolyhedron1.cc' object='nnc_frompolyhedron1-frompolyhedron1.obj' libtool=no @AMDEPBACKSLASH@ @AMDEP_TRUE@@am__fastdepCXX_FALSE@ DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@ @am__fastdepCXX_FALSE@ $(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) $(nnc_frompolyhedron1_CXXFLAGS) $(CXXFLAGS) -c -o nnc_frompolyhedron1-frompolyhedron1.obj `if test -f 'frompolyhedron1.cc'; then $(CYGPATH_W) 'frompolyhedron1.cc'; else $(CYGPATH_W) '$(srcdir)/frompolyhedron1.cc'; fi` refinewithconstraints2-refinewithconstraints2.o: refinewithconstraints2.cc @am__fastdepCXX_TRUE@ $(AM_V_CXX)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(refinewithconstraints2_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT refinewithconstraints2-refinewithconstraints2.o -MD -MP -MF $(DEPDIR)/refinewithconstraints2-refinewithconstraints2.Tpo -c -o refinewithconstraints2-refinewithconstraints2.o `test -f 'refinewithconstraints2.cc' || echo '$(srcdir)/'`refinewithconstraints2.cc @am__fastdepCXX_TRUE@ $(AM_V_at)$(am__mv) $(DEPDIR)/refinewithconstraints2-refinewithconstraints2.Tpo $(DEPDIR)/refinewithconstraints2-refinewithconstraints2.Po @am__fastdepCXX_FALSE@ $(AM_V_CXX) @AM_BACKSLASH@ @AMDEP_TRUE@@am__fastdepCXX_FALSE@ source='refinewithconstraints2.cc' object='refinewithconstraints2-refinewithconstraints2.o' libtool=no @AMDEPBACKSLASH@ @AMDEP_TRUE@@am__fastdepCXX_FALSE@ DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@ @am__fastdepCXX_FALSE@ $(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(refinewithconstraints2_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o refinewithconstraints2-refinewithconstraints2.o `test -f 'refinewithconstraints2.cc' || echo '$(srcdir)/'`refinewithconstraints2.cc refinewithconstraints2-refinewithconstraints2.obj: refinewithconstraints2.cc @am__fastdepCXX_TRUE@ $(AM_V_CXX)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(refinewithconstraints2_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT refinewithconstraints2-refinewithconstraints2.obj -MD -MP -MF $(DEPDIR)/refinewithconstraints2-refinewithconstraints2.Tpo -c -o refinewithconstraints2-refinewithconstraints2.obj `if test -f 'refinewithconstraints2.cc'; then $(CYGPATH_W) 'refinewithconstraints2.cc'; else $(CYGPATH_W) '$(srcdir)/refinewithconstraints2.cc'; fi` @am__fastdepCXX_TRUE@ $(AM_V_at)$(am__mv) $(DEPDIR)/refinewithconstraints2-refinewithconstraints2.Tpo $(DEPDIR)/refinewithconstraints2-refinewithconstraints2.Po @am__fastdepCXX_FALSE@ $(AM_V_CXX) @AM_BACKSLASH@ @AMDEP_TRUE@@am__fastdepCXX_FALSE@ source='refinewithconstraints2.cc' object='refinewithconstraints2-refinewithconstraints2.obj' libtool=no @AMDEPBACKSLASH@ @AMDEP_TRUE@@am__fastdepCXX_FALSE@ DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@ @am__fastdepCXX_FALSE@ $(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(refinewithconstraints2_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o refinewithconstraints2-refinewithconstraints2.obj `if test -f 'refinewithconstraints2.cc'; then $(CYGPATH_W) 'refinewithconstraints2.cc'; else $(CYGPATH_W) '$(srcdir)/refinewithconstraints2.cc'; fi` mostlyclean-libtool: -rm -f *.lo clean-libtool: -rm -rf .libs _libs ID: $(HEADERS) $(SOURCES) $(LISP) $(TAGS_FILES) list='$(SOURCES) $(HEADERS) $(LISP) $(TAGS_FILES)'; \ unique=`for i in $$list; do \ if test -f "$$i"; then echo $$i; else echo $(srcdir)/$$i; fi; \ done | \ $(AWK) '{ files[$$0] = 1; nonempty = 1; } \ END { if (nonempty) { for (i in files) print i; }; }'`; \ mkid -fID $$unique tags: TAGS TAGS: $(HEADERS) $(SOURCES) $(TAGS_DEPENDENCIES) \ $(TAGS_FILES) $(LISP) set x; \ here=`pwd`; \ list='$(SOURCES) $(HEADERS) $(LISP) $(TAGS_FILES)'; \ unique=`for i in $$list; do \ if test -f "$$i"; then echo $$i; else echo $(srcdir)/$$i; fi; \ done | \ $(AWK) '{ files[$$0] = 1; nonempty = 1; } \ END { if (nonempty) { for (i in files) print i; }; }'`; \ 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 CTAGS: $(HEADERS) $(SOURCES) $(TAGS_DEPENDENCIES) \ $(TAGS_FILES) $(LISP) list='$(SOURCES) $(HEADERS) $(LISP) $(TAGS_FILES)'; \ unique=`for i in $$list; do \ if test -f "$$i"; then echo $$i; else echo $(srcdir)/$$i; fi; \ done | \ $(AWK) '{ files[$$0] = 1; nonempty = 1; } \ END { if (nonempty) { for (i in files) print i; }; }'`; \ 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" distclean-tags: -rm -f TAGS ID GTAGS GRTAGS GSYMS GPATH tags check-TESTS: $(TESTS) @failed=0; all=0; xfail=0; xpass=0; skip=0; \ srcdir=$(srcdir); export srcdir; \ list=' $(TESTS) '; \ $(am__tty_colors); \ if test -n "$$list"; then \ for tst in $$list; do \ if test -f ./$$tst; then dir=./; \ elif test -f $$tst; then dir=; \ else dir="$(srcdir)/"; fi; \ if $(TESTS_ENVIRONMENT) $${dir}$$tst; then \ all=`expr $$all + 1`; \ case " $(XFAIL_TESTS) " in \ *[\ \ ]$$tst[\ \ ]*) \ xpass=`expr $$xpass + 1`; \ failed=`expr $$failed + 1`; \ col=$$red; res=XPASS; \ ;; \ *) \ col=$$grn; res=PASS; \ ;; \ esac; \ elif test $$? -ne 77; then \ all=`expr $$all + 1`; \ case " $(XFAIL_TESTS) " in \ *[\ \ ]$$tst[\ \ ]*) \ xfail=`expr $$xfail + 1`; \ col=$$lgn; res=XFAIL; \ ;; \ *) \ failed=`expr $$failed + 1`; \ col=$$red; res=FAIL; \ ;; \ esac; \ else \ skip=`expr $$skip + 1`; \ col=$$blu; res=SKIP; \ fi; \ echo "$${col}$$res$${std}: $$tst"; \ done; \ if test "$$all" -eq 1; then \ tests="test"; \ All=""; \ else \ tests="tests"; \ All="All "; \ fi; \ if test "$$failed" -eq 0; then \ if test "$$xfail" -eq 0; then \ banner="$$All$$all $$tests passed"; \ else \ if test "$$xfail" -eq 1; then failures=failure; else failures=failures; fi; \ banner="$$All$$all $$tests behaved as expected ($$xfail expected $$failures)"; \ fi; \ else \ if test "$$xpass" -eq 0; then \ banner="$$failed of $$all $$tests failed"; \ else \ if test "$$xpass" -eq 1; then passes=pass; else passes=passes; fi; \ banner="$$failed of $$all $$tests did not behave as expected ($$xpass unexpected $$passes)"; \ fi; \ fi; \ dashes="$$banner"; \ skipped=""; \ if test "$$skip" -ne 0; then \ if test "$$skip" -eq 1; then \ skipped="($$skip test was not run)"; \ else \ skipped="($$skip tests were not run)"; \ fi; \ test `echo "$$skipped" | wc -c` -le `echo "$$banner" | wc -c` || \ dashes="$$skipped"; \ fi; \ report=""; \ if test "$$failed" -ne 0 && test -n "$(PACKAGE_BUGREPORT)"; then \ report="Please report to $(PACKAGE_BUGREPORT)"; \ test `echo "$$report" | wc -c` -le `echo "$$banner" | wc -c` || \ dashes="$$report"; \ fi; \ dashes=`echo "$$dashes" | sed s/./=/g`; \ if test "$$failed" -eq 0; then \ echo "$$grn$$dashes"; \ else \ echo "$$red$$dashes"; \ fi; \ echo "$$banner"; \ test -z "$$skipped" || echo "$$skipped"; \ test -z "$$report" || echo "$$report"; \ echo "$$dashes$$std"; \ test "$$failed" -eq 0; \ else :; fi 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 check-am: all-am $(MAKE) $(AM_MAKEFLAGS) $(check_PROGRAMS) \ $(dist_check_SCRIPTS) $(MAKE) $(AM_MAKEFLAGS) check-TESTS check: check-am all-am: Makefile installdirs: install: 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: $(MAKE) $(AM_MAKEFLAGS) INSTALL_PROGRAM="$(INSTALL_STRIP_PROGRAM)" \ install_sh_PROGRAM="$(INSTALL_STRIP_PROGRAM)" INSTALL_STRIP_FLAG=-s \ `test -z '$(STRIP)' || \ echo "INSTALL_PROGRAM_ENV=STRIPPROG='$(STRIP)'"` install mostlyclean-generic: -test -z "$(MOSTLYCLEANFILES)" || rm -f $(MOSTLYCLEANFILES) 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) -test -z "$(DISTCLEANFILES)" || rm -f $(DISTCLEANFILES) maintainer-clean-generic: @echo "This command is intended for maintainers to use" @echo "it deletes files that may require special tools to rebuild." clean: clean-am clean-am: clean-checkPROGRAMS clean-generic 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-dvi: install-dvi-am install-dvi-am: install-exec-am: 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: .MAKE: check-am install-am install-strip .PHONY: CTAGS GTAGS all all-am check check-TESTS check-am clean \ clean-checkPROGRAMS clean-generic clean-libtool ctags \ distclean distclean-compile distclean-generic \ distclean-libtool distclean-tags distdir dvi dvi-am html \ html-am info info-am install install-am install-data \ install-data-am install-dvi install-dvi-am install-exec \ install-exec-am install-html install-html-am install-info \ install-info-am 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 uninstall uninstall-am .PHONY: run_tests.stamp run_tests.stamp: run_tests +MAKE="$(MAKE)" $(srcdir)/run_tests echo "true" >run_tests.stamp chmod +x run_tests.stamp print_check_PROGRAMS: echo $(check_PROGRAMS) print_INSTANCES: echo $(INSTANCES) $(top_builddir)/utils/libppl_utils.a: $(MAKE) $(AM_MAKEFLAGS) -C $(top_builddir)/utils libppl_utils.a $(top_builddir)/tests/libppl_tests.a: $(MAKE) $(AM_MAKEFLAGS) -C $(top_builddir)/tests libppl_tests.a $(top_builddir)/src/libppl.la: $(MAKE) $(AM_MAKEFLAGS) -C $(top_builddir)/src libppl.la $(top_builddir)/Watchdog/src/libpwl.la: $(MAKE) $(AM_MAKEFLAGS) -C $(top_builddir)/Watchdog/src libpwl.la # 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: