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