1# Makefile.in generated by automake 1.14.1 from Makefile.am. 2# @configure_input@ 3 4# Copyright (C) 1994-2013 Free Software Foundation, Inc. 5 6# This Makefile.in is free software; the Free Software Foundation 7# gives unlimited permission to copy and/or distribute it, 8# with or without modifications, as long as this notice is preserved. 9 10# This program is distributed in the hope that it will be useful, 11# but WITHOUT ANY WARRANTY, to the extent permitted by law; without 12# even the implied warranty of MERCHANTABILITY or FITNESS FOR A 13# PARTICULAR PURPOSE. 14 15@SET_MAKE@ 16 17# Automake source file for the Parma Polyhedra Library. 18# Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> 19# Copyright (C) 2010-2016 BUGSENG srl (http://bugseng.com) 20# 21# This file is part of the Parma Polyhedra Library (PPL). 22# 23# The PPL is free software; you can redistribute it and/or modify it 24# under the terms of the GNU General Public License as published by the 25# Free Software Foundation; either version 3 of the License, or (at your 26# option) any later version. 27# 28# The PPL is distributed in the hope that it will be useful, but WITHOUT 29# ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or 30# FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License 31# for more details. 32# 33# You should have received a copy of the GNU General Public License 34# along with this program; if not, write to the Free Software Foundation, 35# Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA. 36# 37# For the most up-to-date information see the Parma Polyhedra Library 38# site: http://bugseng.com/products/ppl/ . 39 40VPATH = @srcdir@ 41am__is_gnu_make = test -n '$(MAKEFILE_LIST)' && test -n '$(MAKELEVEL)' 42am__make_running_with_option = \ 43 case $${target_option-} in \ 44 ?) ;; \ 45 *) echo "am__make_running_with_option: internal error: invalid" \ 46 "target option '$${target_option-}' specified" >&2; \ 47 exit 1;; \ 48 esac; \ 49 has_opt=no; \ 50 sane_makeflags=$$MAKEFLAGS; \ 51 if $(am__is_gnu_make); then \ 52 sane_makeflags=$$MFLAGS; \ 53 else \ 54 case $$MAKEFLAGS in \ 55 *\\[\ \ ]*) \ 56 bs=\\; \ 57 sane_makeflags=`printf '%s\n' "$$MAKEFLAGS" \ 58 | sed "s/$$bs$$bs[$$bs $$bs ]*//g"`;; \ 59 esac; \ 60 fi; \ 61 skip_next=no; \ 62 strip_trailopt () \ 63 { \ 64 flg=`printf '%s\n' "$$flg" | sed "s/$$1.*$$//"`; \ 65 }; \ 66 for flg in $$sane_makeflags; do \ 67 test $$skip_next = yes && { skip_next=no; continue; }; \ 68 case $$flg in \ 69 *=*|--*) continue;; \ 70 -*I) strip_trailopt 'I'; skip_next=yes;; \ 71 -*I?*) strip_trailopt 'I';; \ 72 -*O) strip_trailopt 'O'; skip_next=yes;; \ 73 -*O?*) strip_trailopt 'O';; \ 74 -*l) strip_trailopt 'l'; skip_next=yes;; \ 75 -*l?*) strip_trailopt 'l';; \ 76 -[dEDm]) skip_next=yes;; \ 77 -[JT]) skip_next=yes;; \ 78 esac; \ 79 case $$flg in \ 80 *$$target_option*) has_opt=yes; break;; \ 81 esac; \ 82 done; \ 83 test $$has_opt = yes 84am__make_dryrun = (target_option=n; $(am__make_running_with_option)) 85am__make_keepgoing = (target_option=k; $(am__make_running_with_option)) 86pkgdatadir = $(datadir)/@PACKAGE@ 87pkgincludedir = $(includedir)/@PACKAGE@ 88pkglibdir = $(libdir)/@PACKAGE@ 89pkglibexecdir = $(libexecdir)/@PACKAGE@ 90am__cd = CDPATH="$${ZSH_VERSION+.}$(PATH_SEPARATOR)" && cd 91install_sh_DATA = $(install_sh) -c -m 644 92install_sh_PROGRAM = $(install_sh) -c 93install_sh_SCRIPT = $(install_sh) -c 94INSTALL_HEADER = $(INSTALL_DATA) 95transform = $(program_transform_name) 96NORMAL_INSTALL = : 97PRE_INSTALL = : 98POST_INSTALL = : 99NORMAL_UNINSTALL = : 100PRE_UNINSTALL = : 101POST_UNINSTALL = : 102build_triplet = @build@ 103host_triplet = @host@ 104subdir = tests 105DIST_COMMON = $(srcdir)/Makefile.in $(srcdir)/Makefile.am \ 106 $(top_srcdir)/mkinstalldirs $(top_srcdir)/depcomp \ 107 $(noinst_HEADERS) README 108ACLOCAL_M4 = $(top_srcdir)/aclocal.m4 109am__aclocal_m4_deps = $(top_srcdir)/m4/ac_check_ciao.m4 \ 110 $(top_srcdir)/m4/ac_check_cxx11.m4 \ 111 $(top_srcdir)/m4/ac_check_fpu_control.m4 \ 112 $(top_srcdir)/m4/ac_check_gmp.m4 \ 113 $(top_srcdir)/m4/ac_check_sicstus_prolog.m4 \ 114 $(top_srcdir)/m4/ac_check_swi_prolog.m4 \ 115 $(top_srcdir)/m4/ac_check_xsb_prolog.m4 \ 116 $(top_srcdir)/m4/ac_check_yap.m4 \ 117 $(top_srcdir)/m4/ac_cxx_attribute_weak.m4 \ 118 $(top_srcdir)/m4/ac_cxx_double_binary_format.m4 \ 119 $(top_srcdir)/m4/ac_cxx_float_binary_format.m4 \ 120 $(top_srcdir)/m4/ac_cxx_ieee_inexact_flag.m4 \ 121 $(top_srcdir)/m4/ac_cxx_limit_memory.m4 \ 122 $(top_srcdir)/m4/ac_cxx_long_double_binary_format.m4 \ 123 $(top_srcdir)/m4/ac_cxx_plain_char_is_signed.m4 \ 124 $(top_srcdir)/m4/ac_cxx_proper_long_double.m4 \ 125 $(top_srcdir)/m4/ac_cxx_zero_length_arrays.m4 \ 126 $(top_srcdir)/m4/ac_prog_jar.m4 \ 127 $(top_srcdir)/m4/ac_prog_java.m4 \ 128 $(top_srcdir)/m4/ac_prog_javac.m4 \ 129 $(top_srcdir)/m4/ac_prog_javah.m4 \ 130 $(top_srcdir)/m4/ac_text_md5sum.m4 \ 131 $(top_srcdir)/m4/ac_use_libtool.m4 $(top_srcdir)/m4/libtool.m4 \ 132 $(top_srcdir)/m4/ltoptions.m4 $(top_srcdir)/m4/ltsugar.m4 \ 133 $(top_srcdir)/m4/ltversion.m4 $(top_srcdir)/m4/lt~obsolete.m4 \ 134 $(top_srcdir)/m4/m4.m4 $(top_srcdir)/m4/ocaml.m4 \ 135 $(top_srcdir)/configure.ac 136am__configure_deps = $(am__aclocal_m4_deps) $(CONFIGURE_DEPENDENCIES) \ 137 $(ACLOCAL_M4) 138mkinstalldirs = $(SHELL) $(top_srcdir)/mkinstalldirs 139CONFIG_HEADER = $(top_builddir)/config.h 140CONFIG_CLEAN_FILES = 141CONFIG_CLEAN_VPATH_FILES = 142ARFLAGS = cru 143AM_V_AR = $(am__v_AR_@AM_V@) 144am__v_AR_ = $(am__v_AR_@AM_DEFAULT_V@) 145am__v_AR_0 = @echo " AR " $@; 146am__v_AR_1 = 147libppl_tests_a_AR = $(AR) $(ARFLAGS) 148libppl_tests_a_LIBADD = 149am_libppl_tests_a_OBJECTS = files.$(OBJEXT) ppl_test.$(OBJEXT) 150libppl_tests_a_OBJECTS = $(am_libppl_tests_a_OBJECTS) 151AM_V_P = $(am__v_P_@AM_V@) 152am__v_P_ = $(am__v_P_@AM_DEFAULT_V@) 153am__v_P_0 = false 154am__v_P_1 = : 155AM_V_GEN = $(am__v_GEN_@AM_V@) 156am__v_GEN_ = $(am__v_GEN_@AM_DEFAULT_V@) 157am__v_GEN_0 = @echo " GEN " $@; 158am__v_GEN_1 = 159AM_V_at = $(am__v_at_@AM_V@) 160am__v_at_ = $(am__v_at_@AM_DEFAULT_V@) 161am__v_at_0 = @ 162am__v_at_1 = 163DEFAULT_INCLUDES = -I.@am__isrc@ -I$(top_builddir) 164depcomp = $(SHELL) $(top_srcdir)/depcomp 165am__depfiles_maybe = depfiles 166am__mv = mv -f 167CXXCOMPILE = $(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) \ 168 $(AM_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) 169AM_V_lt = $(am__v_lt_@AM_V@) 170am__v_lt_ = $(am__v_lt_@AM_DEFAULT_V@) 171am__v_lt_0 = --silent 172am__v_lt_1 = 173LTCXXCOMPILE = $(LIBTOOL) $(AM_V_lt) --tag=CXX $(AM_LIBTOOLFLAGS) \ 174 $(LIBTOOLFLAGS) --mode=compile $(CXX) $(DEFS) \ 175 $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) \ 176 $(AM_CXXFLAGS) $(CXXFLAGS) 177AM_V_CXX = $(am__v_CXX_@AM_V@) 178am__v_CXX_ = $(am__v_CXX_@AM_DEFAULT_V@) 179am__v_CXX_0 = @echo " CXX " $@; 180am__v_CXX_1 = 181CXXLD = $(CXX) 182CXXLINK = $(LIBTOOL) $(AM_V_lt) --tag=CXX $(AM_LIBTOOLFLAGS) \ 183 $(LIBTOOLFLAGS) --mode=link $(CXXLD) $(AM_CXXFLAGS) \ 184 $(CXXFLAGS) $(AM_LDFLAGS) $(LDFLAGS) -o $@ 185AM_V_CXXLD = $(am__v_CXXLD_@AM_V@) 186am__v_CXXLD_ = $(am__v_CXXLD_@AM_DEFAULT_V@) 187am__v_CXXLD_0 = @echo " CXXLD " $@; 188am__v_CXXLD_1 = 189COMPILE = $(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) \ 190 $(CPPFLAGS) $(AM_CFLAGS) $(CFLAGS) 191LTCOMPILE = $(LIBTOOL) $(AM_V_lt) --tag=CC $(AM_LIBTOOLFLAGS) \ 192 $(LIBTOOLFLAGS) --mode=compile $(CC) $(DEFS) \ 193 $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) \ 194 $(AM_CFLAGS) $(CFLAGS) 195AM_V_CC = $(am__v_CC_@AM_V@) 196am__v_CC_ = $(am__v_CC_@AM_DEFAULT_V@) 197am__v_CC_0 = @echo " CC " $@; 198am__v_CC_1 = 199CCLD = $(CC) 200LINK = $(LIBTOOL) $(AM_V_lt) --tag=CC $(AM_LIBTOOLFLAGS) \ 201 $(LIBTOOLFLAGS) --mode=link $(CCLD) $(AM_CFLAGS) $(CFLAGS) \ 202 $(AM_LDFLAGS) $(LDFLAGS) -o $@ 203AM_V_CCLD = $(am__v_CCLD_@AM_V@) 204am__v_CCLD_ = $(am__v_CCLD_@AM_DEFAULT_V@) 205am__v_CCLD_0 = @echo " CCLD " $@; 206am__v_CCLD_1 = 207SOURCES = $(libppl_tests_a_SOURCES) 208DIST_SOURCES = $(libppl_tests_a_SOURCES) 209RECURSIVE_TARGETS = all-recursive check-recursive cscopelist-recursive \ 210 ctags-recursive dvi-recursive html-recursive info-recursive \ 211 install-data-recursive install-dvi-recursive \ 212 install-exec-recursive install-html-recursive \ 213 install-info-recursive install-pdf-recursive \ 214 install-ps-recursive install-recursive installcheck-recursive \ 215 installdirs-recursive pdf-recursive ps-recursive \ 216 tags-recursive uninstall-recursive 217am__can_run_installinfo = \ 218 case $$AM_UPDATE_INFO_DIR in \ 219 n|no|NO) false;; \ 220 *) (install-info --version) >/dev/null 2>&1;; \ 221 esac 222HEADERS = $(noinst_HEADERS) 223RECURSIVE_CLEAN_TARGETS = mostlyclean-recursive clean-recursive \ 224 distclean-recursive maintainer-clean-recursive 225am__recursive_targets = \ 226 $(RECURSIVE_TARGETS) \ 227 $(RECURSIVE_CLEAN_TARGETS) \ 228 $(am__extra_recursive_targets) 229AM_RECURSIVE_TARGETS = $(am__recursive_targets:-recursive=) TAGS CTAGS \ 230 distdir 231am__tagged_files = $(HEADERS) $(SOURCES) $(TAGS_FILES) $(LISP) 232# Read a list of newline-separated strings from the standard input, 233# and print each of them once, without duplicates. Input order is 234# *not* preserved. 235am__uniquify_input = $(AWK) '\ 236 BEGIN { nonempty = 0; } \ 237 { items[$$0] = 1; nonempty = 1; } \ 238 END { if (nonempty) { for (i in items) print i; }; } \ 239' 240# Make sure the list of sources is unique. This is necessary because, 241# e.g., the same source file might be shared among _SOURCES variables 242# for different programs/libraries. 243am__define_uniq_tagged_files = \ 244 list='$(am__tagged_files)'; \ 245 unique=`for i in $$list; do \ 246 if test -f "$$i"; then echo $$i; else echo $(srcdir)/$$i; fi; \ 247 done | $(am__uniquify_input)` 248ETAGS = etags 249CTAGS = ctags 250DIST_SUBDIRS = $(SUBDIRS) 251DISTFILES = $(DIST_COMMON) $(DIST_SOURCES) $(TEXINFOS) $(EXTRA_DIST) 252am__relativize = \ 253 dir0=`pwd`; \ 254 sed_first='s,^\([^/]*\)/.*$$,\1,'; \ 255 sed_rest='s,^[^/]*/*,,'; \ 256 sed_last='s,^.*/\([^/]*\)$$,\1,'; \ 257 sed_butlast='s,/*[^/]*$$,,'; \ 258 while test -n "$$dir1"; do \ 259 first=`echo "$$dir1" | sed -e "$$sed_first"`; \ 260 if test "$$first" != "."; then \ 261 if test "$$first" = ".."; then \ 262 dir2=`echo "$$dir0" | sed -e "$$sed_last"`/"$$dir2"; \ 263 dir0=`echo "$$dir0" | sed -e "$$sed_butlast"`; \ 264 else \ 265 first2=`echo "$$dir2" | sed -e "$$sed_first"`; \ 266 if test "$$first2" = "$$first"; then \ 267 dir2=`echo "$$dir2" | sed -e "$$sed_rest"`; \ 268 else \ 269 dir2="../$$dir2"; \ 270 fi; \ 271 dir0="$$dir0"/"$$first"; \ 272 fi; \ 273 fi; \ 274 dir1=`echo "$$dir1" | sed -e "$$sed_rest"`; \ 275 done; \ 276 reldir="$$dir2" 277ACLOCAL = @ACLOCAL@ 278AMTAR = @AMTAR@ 279AM_DEFAULT_VERBOSITY = @AM_DEFAULT_VERBOSITY@ 280AR = @AR@ 281AUTOCONF = @AUTOCONF@ 282AUTOHEADER = @AUTOHEADER@ 283AUTOMAKE = @AUTOMAKE@ 284AWK = @AWK@ 285CC = @CC@ 286CCDEPMODE = @CCDEPMODE@ 287CFLAGS = @CFLAGS@ 288CIAO_PROLOG = @CIAO_PROLOG@ 289CIAO_PROLOG_INCLUDE_OPTIONS = @CIAO_PROLOG_INCLUDE_OPTIONS@ 290CONFIGURE_OPTIONS = @CONFIGURE_OPTIONS@ 291CPP = @CPP@ 292CPPFLAGS = @CPPFLAGS@ 293CXX = @CXX@ 294CXXCPP = @CXXCPP@ 295CXXDEPMODE = @CXXDEPMODE@ 296CXXFLAGS = @CXXFLAGS@ 297CYGPATH_W = @CYGPATH_W@ 298DEFS = @DEFS@ 299DEPDIR = @DEPDIR@ 300DLLTOOL = @DLLTOOL@ 301DSYMUTIL = @DSYMUTIL@ 302DUMPBIN = @DUMPBIN@ 303ECHO_C = @ECHO_C@ 304ECHO_N = @ECHO_N@ 305ECHO_T = @ECHO_T@ 306EGREP = @EGREP@ 307EXEEXT = @EXEEXT@ 308FGREP = @FGREP@ 309GNU_PROLOG = @GNU_PROLOG@ 310GREP = @GREP@ 311INSTALL = @INSTALL@ 312INSTALL_DATA = @INSTALL_DATA@ 313INSTALL_PROGRAM = @INSTALL_PROGRAM@ 314INSTALL_SCRIPT = @INSTALL_SCRIPT@ 315INSTALL_STRIP_PROGRAM = @INSTALL_STRIP_PROGRAM@ 316ISODATE = @ISODATE@ 317JAR = @JAR@ 318JAVA = @JAVA@ 319JAVAC = @JAVAC@ 320JAVAH = @JAVAH@ 321JNIFLAGS = @JNIFLAGS@ 322LD = @LD@ 323LDFLAGS = @LDFLAGS@ 324LIBEXT = @LIBEXT@ 325LIBOBJS = @LIBOBJS@ 326LIBS = @LIBS@ 327LIBTOOL = @LIBTOOL@ 328LIPO = @LIPO@ 329LN_S = @LN_S@ 330LTLIBOBJS = @LTLIBOBJS@ 331M4 = @M4@ 332M4_DEBUGFILE = @M4_DEBUGFILE@ 333MAKEINFO = @MAKEINFO@ 334MANIFEST_TOOL = @MANIFEST_TOOL@ 335MD5SUM = @MD5SUM@ 336MKDIR_P = @MKDIR_P@ 337NM = @NM@ 338NMEDIT = @NMEDIT@ 339OBJDUMP = @OBJDUMP@ 340OBJEXT = @OBJEXT@ 341OCAMLBEST = @OCAMLBEST@ 342OCAMLBUILD = @OCAMLBUILD@ 343OCAMLC = @OCAMLC@ 344OCAMLCDOTOPT = @OCAMLCDOTOPT@ 345OCAMLDEP = @OCAMLDEP@ 346OCAMLDOC = @OCAMLDOC@ 347OCAMLLIB = @OCAMLLIB@ 348OCAMLMKLIB = @OCAMLMKLIB@ 349OCAMLMKTOP = @OCAMLMKTOP@ 350OCAMLOPT = @OCAMLOPT@ 351OCAMLOPTDOTOPT = @OCAMLOPTDOTOPT@ 352OCAMLVERSION = @OCAMLVERSION@ 353OTOOL = @OTOOL@ 354OTOOL64 = @OTOOL64@ 355PACKAGE = @PACKAGE@ 356PACKAGE_BUGREPORT = @PACKAGE_BUGREPORT@ 357PACKAGE_NAME = @PACKAGE_NAME@ 358PACKAGE_STRING = @PACKAGE_STRING@ 359PACKAGE_TARNAME = @PACKAGE_TARNAME@ 360PACKAGE_URL = @PACKAGE_URL@ 361PACKAGE_VERSION = @PACKAGE_VERSION@ 362PATH_SEPARATOR = @PATH_SEPARATOR@ 363PERL = @PERL@ 364PPL_VERSION_BETA = @PPL_VERSION_BETA@ 365PPL_VERSION_MAJOR = @PPL_VERSION_MAJOR@ 366PPL_VERSION_MINOR = @PPL_VERSION_MINOR@ 367PPL_VERSION_REVISION = @PPL_VERSION_REVISION@ 368RANLIB = @RANLIB@ 369SED = @SED@ 370SET_MAKE = @SET_MAKE@ 371SHELL = @SHELL@ 372SHREXT = @SHREXT@ 373SICSTUS_PROLOG_INCLUDE_OPTIONS = @SICSTUS_PROLOG_INCLUDE_OPTIONS@ 374STRIP = @STRIP@ 375SWI_PROLOG = @SWI_PROLOG@ 376SWI_PROLOG_INCLUDE_OPTIONS = @SWI_PROLOG_INCLUDE_OPTIONS@ 377SWI_PROLOG_LD = @SWI_PROLOG_LD@ 378SWI_PROLOG_LD_OPTIONS = @SWI_PROLOG_LD_OPTIONS@ 379TEXT_MD5SUM = @TEXT_MD5SUM@ 380VALGRIND = @VALGRIND@ 381VERSION = @VERSION@ 382XSB_PROLOG_INCLUDE_OPTIONS = @XSB_PROLOG_INCLUDE_OPTIONS@ 383YAP_PROLOG = @YAP_PROLOG@ 384YAP_PROLOG_INCLUDE_OPTIONS = @YAP_PROLOG_INCLUDE_OPTIONS@ 385YAP_PROLOG_LD_OPTIONS = @YAP_PROLOG_LD_OPTIONS@ 386abs_builddir = @abs_builddir@ 387abs_srcdir = @abs_srcdir@ 388abs_top_builddir = @abs_top_builddir@ 389abs_top_srcdir = @abs_top_srcdir@ 390ac_ct_AR = @ac_ct_AR@ 391ac_ct_CC = @ac_ct_CC@ 392ac_ct_CXX = @ac_ct_CXX@ 393ac_ct_DUMPBIN = @ac_ct_DUMPBIN@ 394am__include = @am__include@ 395am__leading_dot = @am__leading_dot@ 396am__quote = @am__quote@ 397am__tar = @am__tar@ 398am__untar = @am__untar@ 399bindir = @bindir@ 400build = @build@ 401build_alias = @build_alias@ 402build_cpu = @build_cpu@ 403build_os = @build_os@ 404build_vendor = @build_vendor@ 405builddir = @builddir@ 406ciao_prolog = @ciao_prolog@ 407coefficient_mnemonic = @coefficient_mnemonic@ 408datadir = @datadir@ 409datarootdir = @datarootdir@ 410debug_flag = @debug_flag@ 411docdir = @docdir@ 412dvidir = @dvidir@ 413exec_prefix = @exec_prefix@ 414extra_includes = @extra_includes@ 415extra_libraries = @extra_libraries@ 416host = @host@ 417host_alias = @host_alias@ 418host_cpu = @host_cpu@ 419host_os = @host_os@ 420host_vendor = @host_vendor@ 421htmldir = @htmldir@ 422includedir = @includedir@ 423infodir = @infodir@ 424install_sh = @install_sh@ 425libdir = @libdir@ 426libexecdir = @libexecdir@ 427localedir = @localedir@ 428localstatedir = @localstatedir@ 429mandir = @mandir@ 430mkdir_p = @mkdir_p@ 431mlgmp_dir = @mlgmp_dir@ 432oldincludedir = @oldincludedir@ 433pdfdir = @pdfdir@ 434prefix = @prefix@ 435program_transform_name = @program_transform_name@ 436psdir = @psdir@ 437required_instantiations = @required_instantiations@ 438required_instantiations_c_cxx_headers = @required_instantiations_c_cxx_headers@ 439required_instantiations_c_cxx_objects = @required_instantiations_c_cxx_objects@ 440required_instantiations_c_cxx_sources = @required_instantiations_c_cxx_sources@ 441required_instantiations_canonical_names = @required_instantiations_canonical_names@ 442required_instantiations_java_classes = @required_instantiations_java_classes@ 443required_instantiations_java_cxx_headers = @required_instantiations_java_cxx_headers@ 444required_instantiations_java_cxx_headers_sources = @required_instantiations_java_cxx_headers_sources@ 445required_instantiations_java_cxx_objects = @required_instantiations_java_cxx_objects@ 446required_instantiations_java_cxx_sources = @required_instantiations_java_cxx_sources@ 447required_instantiations_java_sources = @required_instantiations_java_sources@ 448required_instantiations_ocaml_cxx_headers = @required_instantiations_ocaml_cxx_headers@ 449required_instantiations_ocaml_cxx_objects = @required_instantiations_ocaml_cxx_objects@ 450required_instantiations_ocaml_cxx_sources = @required_instantiations_ocaml_cxx_sources@ 451required_instantiations_prolog_cxx_headers = @required_instantiations_prolog_cxx_headers@ 452required_instantiations_prolog_cxx_objects = @required_instantiations_prolog_cxx_objects@ 453required_instantiations_prolog_cxx_sources = @required_instantiations_prolog_cxx_sources@ 454required_instantiations_prolog_generated_test_sources = @required_instantiations_prolog_generated_test_sources@ 455sbindir = @sbindir@ 456sharedstatedir = @sharedstatedir@ 457sicstus_prolog = @sicstus_prolog@ 458srcdir = @srcdir@ 459swi_prolog = @swi_prolog@ 460swi_prolog_ld = @swi_prolog_ld@ 461sysconfdir = @sysconfdir@ 462target_alias = @target_alias@ 463top_build_prefix = @top_build_prefix@ 464top_builddir = @top_builddir@ 465top_srcdir = @top_srcdir@ 466uudecode = @uudecode@ 467xsb_prolog = @xsb_prolog@ 468yap_prolog = @yap_prolog@ 469SUBDIRS = \ 470. \ 471Concrete_Expression \ 472CO_Tree \ 473PIP_Problem \ 474Powerset \ 475Partially_Reduced_Product \ 476Box \ 477MIP_Problem \ 478Octagonal_Shape \ 479BD_Shape \ 480Polyhedron \ 481Grid \ 482Watchdog 483 484AM_CPPFLAGS = -I$(top_builddir)/src -I$(top_srcdir)/src @extra_includes@ 485check_LIBRARIES = libppl_tests.a 486libppl_tests_a_SOURCES = \ 487files.hh \ 488files.cc \ 489ppl_test.cc 490 491LDADD = \ 492$(top_builddir)/src/libppl.la \ 493libppl_tests.a \ 494@extra_libraries@ 495 496noinst_HEADERS = \ 497ppl_test.hh \ 498Random_Number_Generator_defs.hh \ 499Random_Number_Generator_inlines.hh \ 500Random_Number_Generator_types.hh 501 502EXTRA_DIST = valgrind_suppressions 503all: all-recursive 504 505.SUFFIXES: 506.SUFFIXES: .cc .lo .o .obj 507$(srcdir)/Makefile.in: $(srcdir)/Makefile.am $(am__configure_deps) 508 @for dep in $?; do \ 509 case '$(am__configure_deps)' in \ 510 *$$dep*) \ 511 ( cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh ) \ 512 && { if test -f $@; then exit 0; else break; fi; }; \ 513 exit 1;; \ 514 esac; \ 515 done; \ 516 echo ' cd $(top_srcdir) && $(AUTOMAKE) --foreign tests/Makefile'; \ 517 $(am__cd) $(top_srcdir) && \ 518 $(AUTOMAKE) --foreign tests/Makefile 519.PRECIOUS: Makefile 520Makefile: $(srcdir)/Makefile.in $(top_builddir)/config.status 521 @case '$?' in \ 522 *config.status*) \ 523 cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh;; \ 524 *) \ 525 echo ' cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@ $(am__depfiles_maybe)'; \ 526 cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@ $(am__depfiles_maybe);; \ 527 esac; 528 529$(top_builddir)/config.status: $(top_srcdir)/configure $(CONFIG_STATUS_DEPENDENCIES) 530 cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh 531 532$(top_srcdir)/configure: $(am__configure_deps) 533 cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh 534$(ACLOCAL_M4): $(am__aclocal_m4_deps) 535 cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh 536$(am__aclocal_m4_deps): 537 538clean-checkLIBRARIES: 539 -test -z "$(check_LIBRARIES)" || rm -f $(check_LIBRARIES) 540 541libppl_tests.a: $(libppl_tests_a_OBJECTS) $(libppl_tests_a_DEPENDENCIES) $(EXTRA_libppl_tests_a_DEPENDENCIES) 542 $(AM_V_at)-rm -f libppl_tests.a 543 $(AM_V_AR)$(libppl_tests_a_AR) libppl_tests.a $(libppl_tests_a_OBJECTS) $(libppl_tests_a_LIBADD) 544 $(AM_V_at)$(RANLIB) libppl_tests.a 545 546mostlyclean-compile: 547 -rm -f *.$(OBJEXT) 548 549distclean-compile: 550 -rm -f *.tab.c 551 552@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/files.Po@am__quote@ 553@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/ppl_test.Po@am__quote@ 554 555.cc.o: 556@am__fastdepCXX_TRUE@ $(AM_V_CXX)$(CXXCOMPILE) -MT $@ -MD -MP -MF $(DEPDIR)/$*.Tpo -c -o $@ $< 557@am__fastdepCXX_TRUE@ $(AM_V_at)$(am__mv) $(DEPDIR)/$*.Tpo $(DEPDIR)/$*.Po 558@AMDEP_TRUE@@am__fastdepCXX_FALSE@ $(AM_V_CXX)source='$<' object='$@' libtool=no @AMDEPBACKSLASH@ 559@AMDEP_TRUE@@am__fastdepCXX_FALSE@ DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@ 560@am__fastdepCXX_FALSE@ $(AM_V_CXX@am__nodep@)$(CXXCOMPILE) -c -o $@ $< 561 562.cc.obj: 563@am__fastdepCXX_TRUE@ $(AM_V_CXX)$(CXXCOMPILE) -MT $@ -MD -MP -MF $(DEPDIR)/$*.Tpo -c -o $@ `$(CYGPATH_W) '$<'` 564@am__fastdepCXX_TRUE@ $(AM_V_at)$(am__mv) $(DEPDIR)/$*.Tpo $(DEPDIR)/$*.Po 565@AMDEP_TRUE@@am__fastdepCXX_FALSE@ $(AM_V_CXX)source='$<' object='$@' libtool=no @AMDEPBACKSLASH@ 566@AMDEP_TRUE@@am__fastdepCXX_FALSE@ DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@ 567@am__fastdepCXX_FALSE@ $(AM_V_CXX@am__nodep@)$(CXXCOMPILE) -c -o $@ `$(CYGPATH_W) '$<'` 568 569.cc.lo: 570@am__fastdepCXX_TRUE@ $(AM_V_CXX)$(LTCXXCOMPILE) -MT $@ -MD -MP -MF $(DEPDIR)/$*.Tpo -c -o $@ $< 571@am__fastdepCXX_TRUE@ $(AM_V_at)$(am__mv) $(DEPDIR)/$*.Tpo $(DEPDIR)/$*.Plo 572@AMDEP_TRUE@@am__fastdepCXX_FALSE@ $(AM_V_CXX)source='$<' object='$@' libtool=yes @AMDEPBACKSLASH@ 573@AMDEP_TRUE@@am__fastdepCXX_FALSE@ DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@ 574@am__fastdepCXX_FALSE@ $(AM_V_CXX@am__nodep@)$(LTCXXCOMPILE) -c -o $@ $< 575 576mostlyclean-libtool: 577 -rm -f *.lo 578 579clean-libtool: 580 -rm -rf .libs _libs 581 582# This directory's subdirectories are mostly independent; you can cd 583# into them and run 'make' without going through this Makefile. 584# To change the values of 'make' variables: instead of editing Makefiles, 585# (1) if the variable is set in 'config.status', edit 'config.status' 586# (which will cause the Makefiles to be regenerated when you run 'make'); 587# (2) otherwise, pass the desired values on the 'make' command line. 588$(am__recursive_targets): 589 @fail=; \ 590 if $(am__make_keepgoing); then \ 591 failcom='fail=yes'; \ 592 else \ 593 failcom='exit 1'; \ 594 fi; \ 595 dot_seen=no; \ 596 target=`echo $@ | sed s/-recursive//`; \ 597 case "$@" in \ 598 distclean-* | maintainer-clean-*) list='$(DIST_SUBDIRS)' ;; \ 599 *) list='$(SUBDIRS)' ;; \ 600 esac; \ 601 for subdir in $$list; do \ 602 echo "Making $$target in $$subdir"; \ 603 if test "$$subdir" = "."; then \ 604 dot_seen=yes; \ 605 local_target="$$target-am"; \ 606 else \ 607 local_target="$$target"; \ 608 fi; \ 609 ($(am__cd) $$subdir && $(MAKE) $(AM_MAKEFLAGS) $$local_target) \ 610 || eval $$failcom; \ 611 done; \ 612 if test "$$dot_seen" = "no"; then \ 613 $(MAKE) $(AM_MAKEFLAGS) "$$target-am" || exit 1; \ 614 fi; test -z "$$fail" 615 616ID: $(am__tagged_files) 617 $(am__define_uniq_tagged_files); mkid -fID $$unique 618tags: tags-recursive 619TAGS: tags 620 621tags-am: $(TAGS_DEPENDENCIES) $(am__tagged_files) 622 set x; \ 623 here=`pwd`; \ 624 if ($(ETAGS) --etags-include --version) >/dev/null 2>&1; then \ 625 include_option=--etags-include; \ 626 empty_fix=.; \ 627 else \ 628 include_option=--include; \ 629 empty_fix=; \ 630 fi; \ 631 list='$(SUBDIRS)'; for subdir in $$list; do \ 632 if test "$$subdir" = .; then :; else \ 633 test ! -f $$subdir/TAGS || \ 634 set "$$@" "$$include_option=$$here/$$subdir/TAGS"; \ 635 fi; \ 636 done; \ 637 $(am__define_uniq_tagged_files); \ 638 shift; \ 639 if test -z "$(ETAGS_ARGS)$$*$$unique"; then :; else \ 640 test -n "$$unique" || unique=$$empty_fix; \ 641 if test $$# -gt 0; then \ 642 $(ETAGS) $(ETAGSFLAGS) $(AM_ETAGSFLAGS) $(ETAGS_ARGS) \ 643 "$$@" $$unique; \ 644 else \ 645 $(ETAGS) $(ETAGSFLAGS) $(AM_ETAGSFLAGS) $(ETAGS_ARGS) \ 646 $$unique; \ 647 fi; \ 648 fi 649ctags: ctags-recursive 650 651CTAGS: ctags 652ctags-am: $(TAGS_DEPENDENCIES) $(am__tagged_files) 653 $(am__define_uniq_tagged_files); \ 654 test -z "$(CTAGS_ARGS)$$unique" \ 655 || $(CTAGS) $(CTAGSFLAGS) $(AM_CTAGSFLAGS) $(CTAGS_ARGS) \ 656 $$unique 657 658GTAGS: 659 here=`$(am__cd) $(top_builddir) && pwd` \ 660 && $(am__cd) $(top_srcdir) \ 661 && gtags -i $(GTAGS_ARGS) "$$here" 662cscopelist: cscopelist-recursive 663 664cscopelist-am: $(am__tagged_files) 665 list='$(am__tagged_files)'; \ 666 case "$(srcdir)" in \ 667 [\\/]* | ?:[\\/]*) sdir="$(srcdir)" ;; \ 668 *) sdir=$(subdir)/$(srcdir) ;; \ 669 esac; \ 670 for i in $$list; do \ 671 if test -f "$$i"; then \ 672 echo "$(subdir)/$$i"; \ 673 else \ 674 echo "$$sdir/$$i"; \ 675 fi; \ 676 done >> $(top_builddir)/cscope.files 677 678distclean-tags: 679 -rm -f TAGS ID GTAGS GRTAGS GSYMS GPATH tags 680 681distdir: $(DISTFILES) 682 @srcdirstrip=`echo "$(srcdir)" | sed 's/[].[^$$\\*]/\\\\&/g'`; \ 683 topsrcdirstrip=`echo "$(top_srcdir)" | sed 's/[].[^$$\\*]/\\\\&/g'`; \ 684 list='$(DISTFILES)'; \ 685 dist_files=`for file in $$list; do echo $$file; done | \ 686 sed -e "s|^$$srcdirstrip/||;t" \ 687 -e "s|^$$topsrcdirstrip/|$(top_builddir)/|;t"`; \ 688 case $$dist_files in \ 689 */*) $(MKDIR_P) `echo "$$dist_files" | \ 690 sed '/\//!d;s|^|$(distdir)/|;s,/[^/]*$$,,' | \ 691 sort -u` ;; \ 692 esac; \ 693 for file in $$dist_files; do \ 694 if test -f $$file || test -d $$file; then d=.; else d=$(srcdir); fi; \ 695 if test -d $$d/$$file; then \ 696 dir=`echo "/$$file" | sed -e 's,/[^/]*$$,,'`; \ 697 if test -d "$(distdir)/$$file"; then \ 698 find "$(distdir)/$$file" -type d ! -perm -700 -exec chmod u+rwx {} \;; \ 699 fi; \ 700 if test -d $(srcdir)/$$file && test $$d != $(srcdir); then \ 701 cp -fpR $(srcdir)/$$file "$(distdir)$$dir" || exit 1; \ 702 find "$(distdir)/$$file" -type d ! -perm -700 -exec chmod u+rwx {} \;; \ 703 fi; \ 704 cp -fpR $$d/$$file "$(distdir)$$dir" || exit 1; \ 705 else \ 706 test -f "$(distdir)/$$file" \ 707 || cp -p $$d/$$file "$(distdir)/$$file" \ 708 || exit 1; \ 709 fi; \ 710 done 711 @list='$(DIST_SUBDIRS)'; for subdir in $$list; do \ 712 if test "$$subdir" = .; then :; else \ 713 $(am__make_dryrun) \ 714 || test -d "$(distdir)/$$subdir" \ 715 || $(MKDIR_P) "$(distdir)/$$subdir" \ 716 || exit 1; \ 717 dir1=$$subdir; dir2="$(distdir)/$$subdir"; \ 718 $(am__relativize); \ 719 new_distdir=$$reldir; \ 720 dir1=$$subdir; dir2="$(top_distdir)"; \ 721 $(am__relativize); \ 722 new_top_distdir=$$reldir; \ 723 echo " (cd $$subdir && $(MAKE) $(AM_MAKEFLAGS) top_distdir="$$new_top_distdir" distdir="$$new_distdir" \\"; \ 724 echo " am__remove_distdir=: am__skip_length_check=: am__skip_mode_fix=: distdir)"; \ 725 ($(am__cd) $$subdir && \ 726 $(MAKE) $(AM_MAKEFLAGS) \ 727 top_distdir="$$new_top_distdir" \ 728 distdir="$$new_distdir" \ 729 am__remove_distdir=: \ 730 am__skip_length_check=: \ 731 am__skip_mode_fix=: \ 732 distdir) \ 733 || exit 1; \ 734 fi; \ 735 done 736check-am: all-am 737 $(MAKE) $(AM_MAKEFLAGS) $(check_LIBRARIES) 738check: check-recursive 739all-am: Makefile $(HEADERS) 740installdirs: installdirs-recursive 741installdirs-am: 742install: install-recursive 743install-exec: install-exec-recursive 744install-data: install-data-recursive 745uninstall: uninstall-recursive 746 747install-am: all-am 748 @$(MAKE) $(AM_MAKEFLAGS) install-exec-am install-data-am 749 750installcheck: installcheck-recursive 751install-strip: 752 if test -z '$(STRIP)'; then \ 753 $(MAKE) $(AM_MAKEFLAGS) INSTALL_PROGRAM="$(INSTALL_STRIP_PROGRAM)" \ 754 install_sh_PROGRAM="$(INSTALL_STRIP_PROGRAM)" INSTALL_STRIP_FLAG=-s \ 755 install; \ 756 else \ 757 $(MAKE) $(AM_MAKEFLAGS) INSTALL_PROGRAM="$(INSTALL_STRIP_PROGRAM)" \ 758 install_sh_PROGRAM="$(INSTALL_STRIP_PROGRAM)" INSTALL_STRIP_FLAG=-s \ 759 "INSTALL_PROGRAM_ENV=STRIPPROG='$(STRIP)'" install; \ 760 fi 761mostlyclean-generic: 762 763clean-generic: 764 765distclean-generic: 766 -test -z "$(CONFIG_CLEAN_FILES)" || rm -f $(CONFIG_CLEAN_FILES) 767 -test . = "$(srcdir)" || test -z "$(CONFIG_CLEAN_VPATH_FILES)" || rm -f $(CONFIG_CLEAN_VPATH_FILES) 768 769maintainer-clean-generic: 770 @echo "This command is intended for maintainers to use" 771 @echo "it deletes files that may require special tools to rebuild." 772clean: clean-recursive 773 774clean-am: clean-checkLIBRARIES clean-generic clean-libtool \ 775 mostlyclean-am 776 777distclean: distclean-recursive 778 -rm -rf ./$(DEPDIR) 779 -rm -f Makefile 780distclean-am: clean-am distclean-compile distclean-generic \ 781 distclean-tags 782 783dvi: dvi-recursive 784 785dvi-am: 786 787html: html-recursive 788 789html-am: 790 791info: info-recursive 792 793info-am: 794 795install-data-am: 796 797install-dvi: install-dvi-recursive 798 799install-dvi-am: 800 801install-exec-am: 802 803install-html: install-html-recursive 804 805install-html-am: 806 807install-info: install-info-recursive 808 809install-info-am: 810 811install-man: 812 813install-pdf: install-pdf-recursive 814 815install-pdf-am: 816 817install-ps: install-ps-recursive 818 819install-ps-am: 820 821installcheck-am: 822 823maintainer-clean: maintainer-clean-recursive 824 -rm -rf ./$(DEPDIR) 825 -rm -f Makefile 826maintainer-clean-am: distclean-am maintainer-clean-generic 827 828mostlyclean: mostlyclean-recursive 829 830mostlyclean-am: mostlyclean-compile mostlyclean-generic \ 831 mostlyclean-libtool 832 833pdf: pdf-recursive 834 835pdf-am: 836 837ps: ps-recursive 838 839ps-am: 840 841uninstall-am: 842 843.MAKE: $(am__recursive_targets) check-am install-am install-strip 844 845.PHONY: $(am__recursive_targets) CTAGS GTAGS TAGS all all-am check \ 846 check-am clean clean-checkLIBRARIES clean-generic \ 847 clean-libtool cscopelist-am ctags ctags-am distclean \ 848 distclean-compile distclean-generic distclean-libtool \ 849 distclean-tags distdir dvi dvi-am html html-am info info-am \ 850 install install-am install-data install-data-am install-dvi \ 851 install-dvi-am install-exec install-exec-am install-html \ 852 install-html-am install-info install-info-am install-man \ 853 install-pdf install-pdf-am install-ps install-ps-am \ 854 install-strip installcheck installcheck-am installdirs \ 855 installdirs-am maintainer-clean maintainer-clean-generic \ 856 mostlyclean mostlyclean-compile mostlyclean-generic \ 857 mostlyclean-libtool pdf pdf-am ps ps-am tags tags-am uninstall \ 858 uninstall-am 859 860 861# Tell versions [3.59,3.63) of GNU make to not export all variables. 862# Otherwise a system limit (for SysV at least) may be exceeded. 863.NOEXPORT: 864