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
40# Libtool -version-info for libppl.la.
41#
42#  1. Start with version information of `0:0:0' for each Libtool library.
43#
44#  2. Update the version information only immediately before a public
45#     release of your software.  More frequent updates are unnecessary,
46#     and only guarantee that the current interface number gets larger
47#     faster.
48#
49#  3. If the library source code has changed at all since the last
50#     update, then increment REVISION (`C:R:A' becomes `C:r+1:A').
51#
52#  4. If any interfaces have been added, removed, or changed since the
53#     last update, increment CURRENT, and set REVISION to 0.
54#
55#  5. If any interfaces have been added since the last public release,
56#     then increment AGE.
57#
58#  6. If any interfaces have been removed since the last public release,
59#     then set AGE to 0.
60#
61#	PPL release		-version-info
62#	    0.1			    -----
63#	    0.2			    -----
64#	    0.3			    0:0:0
65#	    0.4			    1:0:1
66#	    0.5			    2:0:0
67#	    0.6			    3:0:0
68#	    0.7			    4:0:0
69#	    0.8			    5:0:0
70#	    0.9			    6:0:0
71#	    0.10		    7:0:0
72#	    0.10.1		    8:0:1
73#	    0.10.2		    8:0:1
74#	    0.11		    9:0:0
75#	    0.12		   10:0:0
76#	    0.12.1		   11:0:0
77#	    1.0			   12:0:0
78#	    1.1			   13:0:0
79#	    1.2			   14:0:0
80
81
82
83VPATH = @srcdir@
84am__is_gnu_make = test -n '$(MAKEFILE_LIST)' && test -n '$(MAKELEVEL)'
85am__make_running_with_option = \
86  case $${target_option-} in \
87      ?) ;; \
88      *) echo "am__make_running_with_option: internal error: invalid" \
89              "target option '$${target_option-}' specified" >&2; \
90         exit 1;; \
91  esac; \
92  has_opt=no; \
93  sane_makeflags=$$MAKEFLAGS; \
94  if $(am__is_gnu_make); then \
95    sane_makeflags=$$MFLAGS; \
96  else \
97    case $$MAKEFLAGS in \
98      *\\[\ \	]*) \
99        bs=\\; \
100        sane_makeflags=`printf '%s\n' "$$MAKEFLAGS" \
101          | sed "s/$$bs$$bs[$$bs $$bs	]*//g"`;; \
102    esac; \
103  fi; \
104  skip_next=no; \
105  strip_trailopt () \
106  { \
107    flg=`printf '%s\n' "$$flg" | sed "s/$$1.*$$//"`; \
108  }; \
109  for flg in $$sane_makeflags; do \
110    test $$skip_next = yes && { skip_next=no; continue; }; \
111    case $$flg in \
112      *=*|--*) continue;; \
113        -*I) strip_trailopt 'I'; skip_next=yes;; \
114      -*I?*) strip_trailopt 'I';; \
115        -*O) strip_trailopt 'O'; skip_next=yes;; \
116      -*O?*) strip_trailopt 'O';; \
117        -*l) strip_trailopt 'l'; skip_next=yes;; \
118      -*l?*) strip_trailopt 'l';; \
119      -[dEDm]) skip_next=yes;; \
120      -[JT]) skip_next=yes;; \
121    esac; \
122    case $$flg in \
123      *$$target_option*) has_opt=yes; break;; \
124    esac; \
125  done; \
126  test $$has_opt = yes
127am__make_dryrun = (target_option=n; $(am__make_running_with_option))
128am__make_keepgoing = (target_option=k; $(am__make_running_with_option))
129pkgdatadir = $(datadir)/@PACKAGE@
130pkgincludedir = $(includedir)/@PACKAGE@
131pkglibdir = $(libdir)/@PACKAGE@
132pkglibexecdir = $(libexecdir)/@PACKAGE@
133am__cd = CDPATH="$${ZSH_VERSION+.}$(PATH_SEPARATOR)" && cd
134install_sh_DATA = $(install_sh) -c -m 644
135install_sh_PROGRAM = $(install_sh) -c
136install_sh_SCRIPT = $(install_sh) -c
137INSTALL_HEADER = $(INSTALL_DATA)
138transform = $(program_transform_name)
139NORMAL_INSTALL = :
140PRE_INSTALL = :
141POST_INSTALL = :
142NORMAL_UNINSTALL = :
143PRE_UNINSTALL = :
144POST_UNINSTALL = :
145build_triplet = @build@
146host_triplet = @host@
147bin_PROGRAMS = ppl-config$(EXEEXT)
148subdir = src
149DIST_COMMON = $(srcdir)/Makefile.in $(srcdir)/Makefile.am \
150	$(top_srcdir)/mkinstalldirs $(srcdir)/version.hh.in \
151	$(srcdir)/ppl-config.cc.in $(top_srcdir)/depcomp \
152	$(am__include_HEADERS_DIST) $(am__noinst_HEADERS_DIST)
153ACLOCAL_M4 = $(top_srcdir)/aclocal.m4
154am__aclocal_m4_deps = $(top_srcdir)/m4/ac_check_ciao.m4 \
155	$(top_srcdir)/m4/ac_check_cxx11.m4 \
156	$(top_srcdir)/m4/ac_check_fpu_control.m4 \
157	$(top_srcdir)/m4/ac_check_gmp.m4 \
158	$(top_srcdir)/m4/ac_check_sicstus_prolog.m4 \
159	$(top_srcdir)/m4/ac_check_swi_prolog.m4 \
160	$(top_srcdir)/m4/ac_check_xsb_prolog.m4 \
161	$(top_srcdir)/m4/ac_check_yap.m4 \
162	$(top_srcdir)/m4/ac_cxx_attribute_weak.m4 \
163	$(top_srcdir)/m4/ac_cxx_double_binary_format.m4 \
164	$(top_srcdir)/m4/ac_cxx_float_binary_format.m4 \
165	$(top_srcdir)/m4/ac_cxx_ieee_inexact_flag.m4 \
166	$(top_srcdir)/m4/ac_cxx_limit_memory.m4 \
167	$(top_srcdir)/m4/ac_cxx_long_double_binary_format.m4 \
168	$(top_srcdir)/m4/ac_cxx_plain_char_is_signed.m4 \
169	$(top_srcdir)/m4/ac_cxx_proper_long_double.m4 \
170	$(top_srcdir)/m4/ac_cxx_zero_length_arrays.m4 \
171	$(top_srcdir)/m4/ac_prog_jar.m4 \
172	$(top_srcdir)/m4/ac_prog_java.m4 \
173	$(top_srcdir)/m4/ac_prog_javac.m4 \
174	$(top_srcdir)/m4/ac_prog_javah.m4 \
175	$(top_srcdir)/m4/ac_text_md5sum.m4 \
176	$(top_srcdir)/m4/ac_use_libtool.m4 $(top_srcdir)/m4/libtool.m4 \
177	$(top_srcdir)/m4/ltoptions.m4 $(top_srcdir)/m4/ltsugar.m4 \
178	$(top_srcdir)/m4/ltversion.m4 $(top_srcdir)/m4/lt~obsolete.m4 \
179	$(top_srcdir)/m4/m4.m4 $(top_srcdir)/m4/ocaml.m4 \
180	$(top_srcdir)/configure.ac
181am__configure_deps = $(am__aclocal_m4_deps) $(CONFIGURE_DEPENDENCIES) \
182	$(ACLOCAL_M4)
183mkinstalldirs = $(SHELL) $(top_srcdir)/mkinstalldirs
184CONFIG_HEADER = $(top_builddir)/config.h
185CONFIG_CLEAN_FILES = version.hh ppl-config.cc
186CONFIG_CLEAN_VPATH_FILES =
187am__vpath_adj_setup = srcdirstrip=`echo "$(srcdir)" | sed 's|.|.|g'`;
188am__vpath_adj = case $$p in \
189    $(srcdir)/*) f=`echo "$$p" | sed "s|^$$srcdirstrip/||"`;; \
190    *) f=$$p;; \
191  esac;
192am__strip_dir = f=`echo $$p | sed -e 's|^.*/||'`;
193am__install_max = 40
194am__nobase_strip_setup = \
195  srcdirstrip=`echo "$(srcdir)" | sed 's/[].[^$$\\*|]/\\\\&/g'`
196am__nobase_strip = \
197  for p in $$list; do echo "$$p"; done | sed -e "s|$$srcdirstrip/||"
198am__nobase_list = $(am__nobase_strip_setup); \
199  for p in $$list; do echo "$$p $$p"; done | \
200  sed "s| $$srcdirstrip/| |;"' / .*\//!s/ .*/ ./; s,\( .*\)/[^/]*$$,\1,' | \
201  $(AWK) 'BEGIN { files["."] = "" } { files[$$2] = files[$$2] " " $$1; \
202    if (++n[$$2] == $(am__install_max)) \
203      { print $$2, files[$$2]; n[$$2] = 0; files[$$2] = "" } } \
204    END { for (dir in files) print dir, files[dir] }'
205am__base_list = \
206  sed '$$!N;$$!N;$$!N;$$!N;$$!N;$$!N;$$!N;s/\n/ /g' | \
207  sed '$$!N;$$!N;$$!N;$$!N;s/\n/ /g'
208am__uninstall_files_from_dir = { \
209  test -z "$$files" \
210    || { test ! -d "$$dir" && test ! -f "$$dir" && test ! -r "$$dir"; } \
211    || { echo " ( cd '$$dir' && rm -f" $$files ")"; \
212         $(am__cd) "$$dir" && rm -f $$files; }; \
213  }
214am__installdirs = "$(DESTDIR)$(libdir)" "$(DESTDIR)$(bindir)" \
215	"$(DESTDIR)$(includedir)"
216LTLIBRARIES = $(lib_LTLIBRARIES)
217libppl_la_DEPENDENCIES =
218am__libppl_la_SOURCES_DIST = assertions.cc Box.cc checked.cc \
219	Checked_Number.cc Float.cc fpu-ia32.cc BDS_Status.cc \
220	Box_Status.cc Og_Status.cc Concrete_Expression.cc \
221	Constraint.cc Constraint_System.cc Congruence.cc \
222	Congruence_System.cc Generator_System.cc \
223	Grid_Generator_System.cc Generator.cc Grid_Generator.cc \
224	Handler.cc Init.cc Coefficient.cc Linear_Expression.cc \
225	Linear_Expression_Impl.cc Linear_Expression_Interface.cc \
226	Linear_Form.cc Scalar_Products.cc MIP_Problem.cc PIP_Tree.cc \
227	PIP_Problem.cc Poly_Con_Relation.cc Poly_Gen_Relation.cc \
228	BHRZ03_Certificate.cc H79_Certificate.cc Grid_Certificate.cc \
229	Partial_Function.cc Polyhedron_nonpublic.cc \
230	Polyhedron_public.cc Polyhedron_chdims.cc \
231	Polyhedron_widenings.cc C_Polyhedron.cc NNC_Polyhedron.cc \
232	Grid_nonpublic.cc Grid_public.cc Grid_chdims.cc \
233	Grid_widenings.cc BD_Shape.cc Octagonal_Shape.cc \
234	Pointset_Powerset.cc CO_Tree.cc Sparse_Row.cc Dense_Row.cc \
235	Bit_Matrix.cc Bit_Row.cc Ph_Status.cc Grid_Status.cc \
236	Variable.cc Variables_Set.cc Grid_conversion.cc \
237	Grid_simplify.cc set_GMP_memory_alloc_funcs.cc stdiobuf.cc \
238	c_streambuf.cc globals.cc mp_std_bits.cc Weight_Profiler.cc \
239	version.cc namespaces.hh compiler.hh assertions.hh \
240	meta_programming.hh Slow_Copy.hh Has_Assign_Or_Swap.hh \
241	assign_or_swap.hh mp_std_bits_defs.hh mp_std_bits_inlines.hh \
242	Concrete_Expression_types.hh Concrete_Expression_defs.hh \
243	Concrete_Expression_inlines.hh Temp_defs.hh Temp_inlines.hh \
244	Temp_templates.hh Coefficient_traits_template.hh \
245	Checked_Number_types.hh termination_types.hh \
246	GMP_Integer_types.hh Coefficient_types.hh stdiobuf_types.hh \
247	c_streambuf_types.hh globals_types.hh \
248	iterator_to_const_types.hh distances_types.hh \
249	Interval_Info_types.hh Interval_types.hh Box_types.hh \
250	Constraint_types.hh Generator_types.hh Grid_Generator_types.hh \
251	Congruence_types.hh Init_types.hh Dense_Row_types.hh \
252	CO_Tree_types.hh Sparse_Row_types.hh Matrix_types.hh \
253	Swapping_Vector_types.hh Variable_types.hh \
254	Variables_Set_types.hh Linear_Expression_types.hh \
255	Expression_Adapter_types.hh Expression_Hide_Last_types.hh \
256	Expression_Hide_Inhomo_types.hh \
257	Linear_Expression_Impl_types.hh \
258	Linear_Expression_Interface_types.hh Linear_System_types.hh \
259	Linear_Form_types.hh Bit_Row_types.hh Bit_Matrix_types.hh \
260	Constraint_System_types.hh Generator_System_types.hh \
261	Grid_Generator_System_types.hh Congruence_System_types.hh \
262	Scalar_Products_types.hh PIP_Tree_types.hh \
263	PIP_Problem_types.hh Poly_Con_Relation_types.hh \
264	Poly_Gen_Relation_types.hh BHRZ03_Certificate_types.hh \
265	H79_Certificate_types.hh Grid_Certificate_types.hh \
266	Partial_Function_types.hh Polyhedron_types.hh \
267	C_Polyhedron_types.hh NNC_Polyhedron_types.hh Grid_types.hh \
268	Ptr_Iterator_types.hh DB_Row_types.hh DB_Matrix_types.hh \
269	BD_Shape_types.hh OR_Matrix_types.hh Octagonal_Shape_types.hh \
270	fpu_types.hh Float_defs.hh Float_inlines.hh Float_templates.hh \
271	C_Integer.hh fpu_defs.hh fpu-c99_inlines.hh \
272	fpu-ia32_inlines.hh fpu-none_inlines.hh fpu-sparc_inlines.hh \
273	Rounding_Dir_defs.hh Rounding_Dir_inlines.hh Result_defs.hh \
274	Result_inlines.hh Numeric_Format_defs.hh checked_defs.hh \
275	checked_inlines.hh checked_int_inlines.hh \
276	checked_float_inlines.hh checked_mpz_inlines.hh \
277	checked_mpq_inlines.hh checked_ext_inlines.hh \
278	Checked_Number_defs.hh Checked_Number_inlines.hh \
279	Checked_Number_templates.hh WRD_coefficient_types_defs.hh \
280	WRD_coefficient_types_inlines.hh checked_numeric_limits.hh \
281	GMP_Integer_defs.hh GMP_Integer_inlines.hh Coefficient_defs.hh \
282	Coefficient_inlines.hh stdiobuf_defs.hh stdiobuf_inlines.hh \
283	c_streambuf_defs.hh c_streambuf_inlines.hh globals_defs.hh \
284	globals_inlines.hh math_utilities_defs.hh \
285	math_utilities_inlines.hh iterator_to_const_defs.hh \
286	iterator_to_const_inlines.hh distances_defs.hh \
287	distances_inlines.hh Boundary_defs.hh intervals_defs.hh \
288	Interval_Info_defs.hh Interval_Info_inlines.hh \
289	Interval_defs.hh Interval_inlines.hh Interval_templates.hh \
290	Box_defs.hh Box_Status_inlines.hh Box_inlines.hh \
291	Box_templates.hh Integer_Interval.hh Rational_Interval.hh \
292	Rational_Box.hh Variable_defs.hh Variable_inlines.hh \
293	Variables_Set_defs.hh Variables_Set_inlines.hh Init_defs.hh \
294	Init_inlines.hh initializer.hh Topology_types.hh \
295	Dense_Row_defs.hh Dense_Row_inlines.hh Dense_Row_templates.hh \
296	CO_Tree_defs.hh CO_Tree_inlines.hh CO_Tree_templates.hh \
297	Sparse_Row_defs.hh Sparse_Row_inlines.hh \
298	Sparse_Row_templates.hh Bit_Row_defs.hh Bit_Row_inlines.hh \
299	Linear_System_defs.hh Linear_System_inlines.hh \
300	Linear_System_templates.hh Bit_Matrix_defs.hh \
301	Bit_Matrix_inlines.hh Constraint_System_defs.hh \
302	Generator_System_defs.hh Grid_Generator_System_defs.hh \
303	Congruence_System_defs.hh Linear_Expression_defs.hh \
304	Linear_Expression_inlines.hh Expression_Adapter_defs.hh \
305	Expression_Adapter_inlines.hh Expression_Hide_Last_defs.hh \
306	Expression_Hide_Last_inlines.hh Expression_Hide_Inhomo_defs.hh \
307	Expression_Hide_Inhomo_inlines.hh \
308	Linear_Expression_Impl_defs.hh \
309	Linear_Expression_Impl_inlines.hh \
310	Linear_Expression_Impl_templates.hh \
311	Linear_Expression_Interface_defs.hh Linear_Form_defs.hh \
312	Linear_Form_inlines.hh Linear_Form_templates.hh linearize.hh \
313	Constraint_defs.hh Constraint_inlines.hh \
314	Constraint_System_inlines.hh Generator_defs.hh \
315	Generator_inlines.hh Grid_Generator_defs.hh \
316	Grid_Generator_inlines.hh Congruence_defs.hh \
317	Congruence_inlines.hh Generator_System_inlines.hh \
318	Grid_Generator_System_inlines.hh Congruence_System_inlines.hh \
319	Scalar_Products_defs.hh Scalar_Products_inlines.hh \
320	Matrix_defs.hh Matrix_inlines.hh Matrix_templates.hh \
321	Swapping_Vector_defs.hh Swapping_Vector_inlines.hh \
322	MIP_Problem_types.hh MIP_Problem_defs.hh \
323	MIP_Problem_inlines.hh MIP_Problem_templates.hh \
324	PIP_Tree_defs.hh PIP_Tree_inlines.hh PIP_Problem_defs.hh \
325	PIP_Problem_inlines.hh PIP_Problem_templates.hh \
326	Poly_Con_Relation_defs.hh Poly_Con_Relation_inlines.hh \
327	Poly_Gen_Relation_defs.hh Poly_Gen_Relation_inlines.hh \
328	BHRZ03_Certificate_defs.hh BHRZ03_Certificate_inlines.hh \
329	H79_Certificate_defs.hh H79_Certificate_inlines.hh \
330	Grid_Certificate_defs.hh Grid_Certificate_inlines.hh \
331	Partial_Function_defs.hh Partial_Function_inlines.hh \
332	Polyhedron_defs.hh Ph_Status_inlines.hh Polyhedron_inlines.hh \
333	Polyhedron_chdims_templates.hh \
334	Polyhedron_conversion_templates.hh \
335	Polyhedron_minimize_templates.hh \
336	Polyhedron_simplify_templates.hh Polyhedron_templates.hh \
337	Grid_defs.hh Grid_Status_inlines.hh Grid_inlines.hh \
338	Grid_templates.hh C_Polyhedron_defs.hh C_Polyhedron_inlines.hh \
339	NNC_Polyhedron_defs.hh NNC_Polyhedron_inlines.hh \
340	Widening_Function_types.hh Widening_Function_defs.hh \
341	Widening_Function_inlines.hh Ptr_Iterator_defs.hh \
342	Ptr_Iterator_inlines.hh DB_Row_defs.hh DB_Row_inlines.hh \
343	DB_Row_templates.hh DB_Matrix_defs.hh DB_Matrix_inlines.hh \
344	DB_Matrix_templates.hh BD_Shape_defs.hh BDS_Status_inlines.hh \
345	BD_Shape_inlines.hh BD_Shape_templates.hh OR_Matrix_defs.hh \
346	OR_Matrix_inlines.hh OR_Matrix_templates.hh \
347	Octagonal_Shape_defs.hh Og_Status_inlines.hh \
348	Octagonal_Shape_inlines.hh Octagonal_Shape_templates.hh \
349	Determinate_types.hh Determinate_defs.hh \
350	Determinate_inlines.hh Powerset_types.hh Powerset_defs.hh \
351	Powerset_inlines.hh Powerset_templates.hh \
352	Pointset_Powerset_types.hh Pointset_Powerset_defs.hh \
353	Pointset_Powerset_inlines.hh Pointset_Powerset_templates.hh \
354	Partially_Reduced_Product_types.hh \
355	Partially_Reduced_Product_defs.hh \
356	Partially_Reduced_Product_inlines.hh \
357	Partially_Reduced_Product_templates.hh Weight_Profiler_defs.hh \
358	max_space_dimension.hh algorithms.hh termination_defs.hh \
359	termination_templates.hh wrap_assign.hh wrap_string.hh \
360	Floating_Point_Expression_types.hh \
361	Floating_Point_Expression_defs.hh \
362	Floating_Point_Expression_inlines.hh \
363	Floating_Point_Expression_templates.hh \
364	Cast_Floating_Point_Expression_types.hh \
365	Cast_Floating_Point_Expression_defs.hh \
366	Cast_Floating_Point_Expression_inlines.hh \
367	Cast_Floating_Point_Expression_templates.hh \
368	Constant_Floating_Point_Expression_types.hh \
369	Constant_Floating_Point_Expression_defs.hh \
370	Constant_Floating_Point_Expression_inlines.hh \
371	Variable_Floating_Point_Expression_types.hh \
372	Variable_Floating_Point_Expression_defs.hh \
373	Variable_Floating_Point_Expression_inlines.hh \
374	Sum_Floating_Point_Expression_types.hh \
375	Sum_Floating_Point_Expression_defs.hh \
376	Sum_Floating_Point_Expression_inlines.hh \
377	Sum_Floating_Point_Expression_templates.hh \
378	Difference_Floating_Point_Expression_types.hh \
379	Difference_Floating_Point_Expression_defs.hh \
380	Difference_Floating_Point_Expression_inlines.hh \
381	Difference_Floating_Point_Expression_templates.hh \
382	Multiplication_Floating_Point_Expression_types.hh \
383	Multiplication_Floating_Point_Expression_defs.hh \
384	Multiplication_Floating_Point_Expression_inlines.hh \
385	Multiplication_Floating_Point_Expression_templates.hh \
386	Division_Floating_Point_Expression_types.hh \
387	Division_Floating_Point_Expression_defs.hh \
388	Division_Floating_Point_Expression_inlines.hh \
389	Division_Floating_Point_Expression_templates.hh \
390	Opposite_Floating_Point_Expression_types.hh \
391	Opposite_Floating_Point_Expression_defs.hh \
392	Opposite_Floating_Point_Expression_inlines.hh \
393	Doubly_Linked_Object_types.hh EList_types.hh \
394	EList_Iterator_types.hh Handler_types.hh \
395	Pending_Element_types.hh Pending_List_types.hh Time_types.hh \
396	Watchdog_types.hh Threshold_Watcher_types.hh Handler_defs.hh \
397	Handler_inlines.hh Time_defs.hh Time_inlines.hh \
398	Doubly_Linked_Object_defs.hh Doubly_Linked_Object_inlines.hh \
399	EList_Iterator_defs.hh EList_Iterator_inlines.hh EList_defs.hh \
400	EList_inlines.hh Pending_Element_defs.hh \
401	Pending_Element_inlines.hh Pending_List_defs.hh \
402	Pending_List_inlines.hh Pending_List_templates.hh \
403	Watchdog_defs.hh Watchdog_inlines.hh Threshold_Watcher_defs.hh \
404	Threshold_Watcher_inlines.hh Threshold_Watcher_templates.hh \
405	Ph_Status_idefs.hh Grid_Status_idefs.hh Box_Status_idefs.hh \
406	BDS_Status_idefs.hh Og_Status_idefs.hh \
407	swapping_sort_templates.hh termination.cc wrap_string.cc \
408	Time.cc Watchdog.cc Threshold_Watcher.cc
409am__objects_1 =
410am__objects_2 = $(am__objects_1) $(am__objects_1)
411am_libppl_la_OBJECTS = assertions.lo Box.lo checked.lo \
412	Checked_Number.lo Float.lo fpu-ia32.lo BDS_Status.lo \
413	Box_Status.lo Og_Status.lo Concrete_Expression.lo \
414	Constraint.lo Constraint_System.lo Congruence.lo \
415	Congruence_System.lo Generator_System.lo \
416	Grid_Generator_System.lo Generator.lo Grid_Generator.lo \
417	Handler.lo Init.lo Coefficient.lo Linear_Expression.lo \
418	Linear_Expression_Impl.lo Linear_Expression_Interface.lo \
419	Linear_Form.lo Scalar_Products.lo MIP_Problem.lo PIP_Tree.lo \
420	PIP_Problem.lo Poly_Con_Relation.lo Poly_Gen_Relation.lo \
421	BHRZ03_Certificate.lo H79_Certificate.lo Grid_Certificate.lo \
422	Partial_Function.lo Polyhedron_nonpublic.lo \
423	Polyhedron_public.lo Polyhedron_chdims.lo \
424	Polyhedron_widenings.lo C_Polyhedron.lo NNC_Polyhedron.lo \
425	Grid_nonpublic.lo Grid_public.lo Grid_chdims.lo \
426	Grid_widenings.lo BD_Shape.lo Octagonal_Shape.lo \
427	Pointset_Powerset.lo CO_Tree.lo Sparse_Row.lo Dense_Row.lo \
428	Bit_Matrix.lo Bit_Row.lo Ph_Status.lo Grid_Status.lo \
429	Variable.lo Variables_Set.lo Grid_conversion.lo \
430	Grid_simplify.lo set_GMP_memory_alloc_funcs.lo stdiobuf.lo \
431	c_streambuf.lo globals.lo mp_std_bits.lo Weight_Profiler.lo \
432	version.lo $(am__objects_2) $(am__objects_1) termination.lo \
433	wrap_string.lo Time.lo Watchdog.lo Threshold_Watcher.lo
434libppl_la_OBJECTS = $(am_libppl_la_OBJECTS)
435AM_V_lt = $(am__v_lt_@AM_V@)
436am__v_lt_ = $(am__v_lt_@AM_DEFAULT_V@)
437am__v_lt_0 = --silent
438am__v_lt_1 =
439libppl_la_LINK = $(LIBTOOL) $(AM_V_lt) --tag=CXX $(AM_LIBTOOLFLAGS) \
440	$(LIBTOOLFLAGS) --mode=link $(CXXLD) $(AM_CXXFLAGS) \
441	$(CXXFLAGS) $(libppl_la_LDFLAGS) $(LDFLAGS) -o $@
442PROGRAMS = $(bin_PROGRAMS)
443am_ppl_config_OBJECTS = BUGS.$(OBJEXT) COPYING.$(OBJEXT) \
444	CREDITS.$(OBJEXT)
445nodist_ppl_config_OBJECTS = ppl-config.$(OBJEXT)
446ppl_config_OBJECTS = $(am_ppl_config_OBJECTS) \
447	$(nodist_ppl_config_OBJECTS)
448ppl_config_DEPENDENCIES = libppl.la
449AM_V_P = $(am__v_P_@AM_V@)
450am__v_P_ = $(am__v_P_@AM_DEFAULT_V@)
451am__v_P_0 = false
452am__v_P_1 = :
453AM_V_GEN = $(am__v_GEN_@AM_V@)
454am__v_GEN_ = $(am__v_GEN_@AM_DEFAULT_V@)
455am__v_GEN_0 = @echo "  GEN     " $@;
456am__v_GEN_1 =
457AM_V_at = $(am__v_at_@AM_V@)
458am__v_at_ = $(am__v_at_@AM_DEFAULT_V@)
459am__v_at_0 = @
460am__v_at_1 =
461DEFAULT_INCLUDES = -I.@am__isrc@ -I$(top_builddir)
462depcomp = $(SHELL) $(top_srcdir)/depcomp
463am__depfiles_maybe = depfiles
464am__mv = mv -f
465CXXCOMPILE = $(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) \
466	$(AM_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS)
467LTCXXCOMPILE = $(LIBTOOL) $(AM_V_lt) --tag=CXX $(AM_LIBTOOLFLAGS) \
468	$(LIBTOOLFLAGS) --mode=compile $(CXX) $(DEFS) \
469	$(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) \
470	$(AM_CXXFLAGS) $(CXXFLAGS)
471AM_V_CXX = $(am__v_CXX_@AM_V@)
472am__v_CXX_ = $(am__v_CXX_@AM_DEFAULT_V@)
473am__v_CXX_0 = @echo "  CXX     " $@;
474am__v_CXX_1 =
475CXXLD = $(CXX)
476CXXLINK = $(LIBTOOL) $(AM_V_lt) --tag=CXX $(AM_LIBTOOLFLAGS) \
477	$(LIBTOOLFLAGS) --mode=link $(CXXLD) $(AM_CXXFLAGS) \
478	$(CXXFLAGS) $(AM_LDFLAGS) $(LDFLAGS) -o $@
479AM_V_CXXLD = $(am__v_CXXLD_@AM_V@)
480am__v_CXXLD_ = $(am__v_CXXLD_@AM_DEFAULT_V@)
481am__v_CXXLD_0 = @echo "  CXXLD   " $@;
482am__v_CXXLD_1 =
483COMPILE = $(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) \
484	$(CPPFLAGS) $(AM_CFLAGS) $(CFLAGS)
485LTCOMPILE = $(LIBTOOL) $(AM_V_lt) --tag=CC $(AM_LIBTOOLFLAGS) \
486	$(LIBTOOLFLAGS) --mode=compile $(CC) $(DEFS) \
487	$(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) \
488	$(AM_CFLAGS) $(CFLAGS)
489AM_V_CC = $(am__v_CC_@AM_V@)
490am__v_CC_ = $(am__v_CC_@AM_DEFAULT_V@)
491am__v_CC_0 = @echo "  CC      " $@;
492am__v_CC_1 =
493CCLD = $(CC)
494LINK = $(LIBTOOL) $(AM_V_lt) --tag=CC $(AM_LIBTOOLFLAGS) \
495	$(LIBTOOLFLAGS) --mode=link $(CCLD) $(AM_CFLAGS) $(CFLAGS) \
496	$(AM_LDFLAGS) $(LDFLAGS) -o $@
497AM_V_CCLD = $(am__v_CCLD_@AM_V@)
498am__v_CCLD_ = $(am__v_CCLD_@AM_DEFAULT_V@)
499am__v_CCLD_0 = @echo "  CCLD    " $@;
500am__v_CCLD_1 =
501SOURCES = $(libppl_la_SOURCES) $(ppl_config_SOURCES) \
502	$(nodist_ppl_config_SOURCES)
503DIST_SOURCES = $(am__libppl_la_SOURCES_DIST) $(ppl_config_SOURCES)
504am__can_run_installinfo = \
505  case $$AM_UPDATE_INFO_DIR in \
506    n|no|NO) false;; \
507    *) (install-info --version) >/dev/null 2>&1;; \
508  esac
509am__include_HEADERS_DIST = ppl.hh
510am__noinst_HEADERS_DIST = ppl.hh
511HEADERS = $(include_HEADERS) $(nodist_noinst_HEADERS) \
512	$(noinst_HEADERS)
513am__tagged_files = $(HEADERS) $(SOURCES) $(TAGS_FILES) $(LISP)
514# Read a list of newline-separated strings from the standard input,
515# and print each of them once, without duplicates.  Input order is
516# *not* preserved.
517am__uniquify_input = $(AWK) '\
518  BEGIN { nonempty = 0; } \
519  { items[$$0] = 1; nonempty = 1; } \
520  END { if (nonempty) { for (i in items) print i; }; } \
521'
522# Make sure the list of sources is unique.  This is necessary because,
523# e.g., the same source file might be shared among _SOURCES variables
524# for different programs/libraries.
525am__define_uniq_tagged_files = \
526  list='$(am__tagged_files)'; \
527  unique=`for i in $$list; do \
528    if test -f "$$i"; then echo $$i; else echo $(srcdir)/$$i; fi; \
529  done | $(am__uniquify_input)`
530ETAGS = etags
531CTAGS = ctags
532DISTFILES = $(DIST_COMMON) $(DIST_SOURCES) $(TEXINFOS) $(EXTRA_DIST)
533ACLOCAL = @ACLOCAL@
534AMTAR = @AMTAR@
535AM_DEFAULT_VERBOSITY = @AM_DEFAULT_VERBOSITY@
536AR = @AR@
537AUTOCONF = @AUTOCONF@
538AUTOHEADER = @AUTOHEADER@
539AUTOMAKE = @AUTOMAKE@
540AWK = @AWK@
541CC = @CC@
542CCDEPMODE = @CCDEPMODE@
543CFLAGS = @CFLAGS@
544CIAO_PROLOG = @CIAO_PROLOG@
545CIAO_PROLOG_INCLUDE_OPTIONS = @CIAO_PROLOG_INCLUDE_OPTIONS@
546CONFIGURE_OPTIONS = @CONFIGURE_OPTIONS@
547CPP = @CPP@
548CPPFLAGS = @CPPFLAGS@
549CXX = @CXX@
550CXXCPP = @CXXCPP@
551CXXDEPMODE = @CXXDEPMODE@
552CXXFLAGS = @CXXFLAGS@
553CYGPATH_W = @CYGPATH_W@
554DEFS = @DEFS@
555DEPDIR = @DEPDIR@
556DLLTOOL = @DLLTOOL@
557DSYMUTIL = @DSYMUTIL@
558DUMPBIN = @DUMPBIN@
559ECHO_C = @ECHO_C@
560ECHO_N = @ECHO_N@
561ECHO_T = @ECHO_T@
562EGREP = @EGREP@
563EXEEXT = @EXEEXT@
564FGREP = @FGREP@
565GNU_PROLOG = @GNU_PROLOG@
566GREP = @GREP@
567INSTALL = @INSTALL@
568INSTALL_DATA = @INSTALL_DATA@
569INSTALL_PROGRAM = @INSTALL_PROGRAM@
570INSTALL_SCRIPT = @INSTALL_SCRIPT@
571INSTALL_STRIP_PROGRAM = @INSTALL_STRIP_PROGRAM@
572ISODATE = @ISODATE@
573JAR = @JAR@
574JAVA = @JAVA@
575JAVAC = @JAVAC@
576JAVAH = @JAVAH@
577JNIFLAGS = @JNIFLAGS@
578LD = @LD@
579LDFLAGS = @LDFLAGS@
580LIBEXT = @LIBEXT@
581LIBOBJS = @LIBOBJS@
582LIBS = @LIBS@
583LIBTOOL = @LIBTOOL@
584LIPO = @LIPO@
585LN_S = @LN_S@
586LTLIBOBJS = @LTLIBOBJS@
587M4 = @M4@
588M4_DEBUGFILE = @M4_DEBUGFILE@
589MAKEINFO = @MAKEINFO@
590MANIFEST_TOOL = @MANIFEST_TOOL@
591MD5SUM = @MD5SUM@
592MKDIR_P = @MKDIR_P@
593NM = @NM@
594NMEDIT = @NMEDIT@
595OBJDUMP = @OBJDUMP@
596OBJEXT = @OBJEXT@
597OCAMLBEST = @OCAMLBEST@
598OCAMLBUILD = @OCAMLBUILD@
599OCAMLC = @OCAMLC@
600OCAMLCDOTOPT = @OCAMLCDOTOPT@
601OCAMLDEP = @OCAMLDEP@
602OCAMLDOC = @OCAMLDOC@
603OCAMLLIB = @OCAMLLIB@
604OCAMLMKLIB = @OCAMLMKLIB@
605OCAMLMKTOP = @OCAMLMKTOP@
606OCAMLOPT = @OCAMLOPT@
607OCAMLOPTDOTOPT = @OCAMLOPTDOTOPT@
608OCAMLVERSION = @OCAMLVERSION@
609OTOOL = @OTOOL@
610OTOOL64 = @OTOOL64@
611PACKAGE = @PACKAGE@
612PACKAGE_BUGREPORT = @PACKAGE_BUGREPORT@
613PACKAGE_NAME = @PACKAGE_NAME@
614PACKAGE_STRING = @PACKAGE_STRING@
615PACKAGE_TARNAME = @PACKAGE_TARNAME@
616PACKAGE_URL = @PACKAGE_URL@
617PACKAGE_VERSION = @PACKAGE_VERSION@
618PATH_SEPARATOR = @PATH_SEPARATOR@
619PERL = @PERL@
620PPL_VERSION_BETA = @PPL_VERSION_BETA@
621PPL_VERSION_MAJOR = @PPL_VERSION_MAJOR@
622PPL_VERSION_MINOR = @PPL_VERSION_MINOR@
623PPL_VERSION_REVISION = @PPL_VERSION_REVISION@
624RANLIB = @RANLIB@
625SED = @SED@
626SET_MAKE = @SET_MAKE@
627SHELL = @SHELL@
628SHREXT = @SHREXT@
629SICSTUS_PROLOG_INCLUDE_OPTIONS = @SICSTUS_PROLOG_INCLUDE_OPTIONS@
630STRIP = @STRIP@
631SWI_PROLOG = @SWI_PROLOG@
632SWI_PROLOG_INCLUDE_OPTIONS = @SWI_PROLOG_INCLUDE_OPTIONS@
633SWI_PROLOG_LD = @SWI_PROLOG_LD@
634SWI_PROLOG_LD_OPTIONS = @SWI_PROLOG_LD_OPTIONS@
635TEXT_MD5SUM = @TEXT_MD5SUM@
636VALGRIND = @VALGRIND@
637VERSION = @VERSION@
638XSB_PROLOG_INCLUDE_OPTIONS = @XSB_PROLOG_INCLUDE_OPTIONS@
639YAP_PROLOG = @YAP_PROLOG@
640YAP_PROLOG_INCLUDE_OPTIONS = @YAP_PROLOG_INCLUDE_OPTIONS@
641YAP_PROLOG_LD_OPTIONS = @YAP_PROLOG_LD_OPTIONS@
642abs_builddir = @abs_builddir@
643abs_srcdir = @abs_srcdir@
644abs_top_builddir = @abs_top_builddir@
645abs_top_srcdir = @abs_top_srcdir@
646ac_ct_AR = @ac_ct_AR@
647ac_ct_CC = @ac_ct_CC@
648ac_ct_CXX = @ac_ct_CXX@
649ac_ct_DUMPBIN = @ac_ct_DUMPBIN@
650am__include = @am__include@
651am__leading_dot = @am__leading_dot@
652am__quote = @am__quote@
653am__tar = @am__tar@
654am__untar = @am__untar@
655bindir = @bindir@
656build = @build@
657build_alias = @build_alias@
658build_cpu = @build_cpu@
659build_os = @build_os@
660build_vendor = @build_vendor@
661builddir = @builddir@
662ciao_prolog = @ciao_prolog@
663coefficient_mnemonic = @coefficient_mnemonic@
664datadir = @datadir@
665datarootdir = @datarootdir@
666debug_flag = @debug_flag@
667docdir = @docdir@
668dvidir = @dvidir@
669exec_prefix = @exec_prefix@
670extra_includes = @extra_includes@
671extra_libraries = @extra_libraries@
672host = @host@
673host_alias = @host_alias@
674host_cpu = @host_cpu@
675host_os = @host_os@
676host_vendor = @host_vendor@
677htmldir = @htmldir@
678includedir = @includedir@
679infodir = @infodir@
680install_sh = @install_sh@
681libdir = @libdir@
682libexecdir = @libexecdir@
683localedir = @localedir@
684localstatedir = @localstatedir@
685mandir = @mandir@
686mkdir_p = @mkdir_p@
687mlgmp_dir = @mlgmp_dir@
688oldincludedir = @oldincludedir@
689pdfdir = @pdfdir@
690prefix = @prefix@
691program_transform_name = @program_transform_name@
692psdir = @psdir@
693required_instantiations = @required_instantiations@
694required_instantiations_c_cxx_headers = @required_instantiations_c_cxx_headers@
695required_instantiations_c_cxx_objects = @required_instantiations_c_cxx_objects@
696required_instantiations_c_cxx_sources = @required_instantiations_c_cxx_sources@
697required_instantiations_canonical_names = @required_instantiations_canonical_names@
698required_instantiations_java_classes = @required_instantiations_java_classes@
699required_instantiations_java_cxx_headers = @required_instantiations_java_cxx_headers@
700required_instantiations_java_cxx_headers_sources = @required_instantiations_java_cxx_headers_sources@
701required_instantiations_java_cxx_objects = @required_instantiations_java_cxx_objects@
702required_instantiations_java_cxx_sources = @required_instantiations_java_cxx_sources@
703required_instantiations_java_sources = @required_instantiations_java_sources@
704required_instantiations_ocaml_cxx_headers = @required_instantiations_ocaml_cxx_headers@
705required_instantiations_ocaml_cxx_objects = @required_instantiations_ocaml_cxx_objects@
706required_instantiations_ocaml_cxx_sources = @required_instantiations_ocaml_cxx_sources@
707required_instantiations_prolog_cxx_headers = @required_instantiations_prolog_cxx_headers@
708required_instantiations_prolog_cxx_objects = @required_instantiations_prolog_cxx_objects@
709required_instantiations_prolog_cxx_sources = @required_instantiations_prolog_cxx_sources@
710required_instantiations_prolog_generated_test_sources = @required_instantiations_prolog_generated_test_sources@
711sbindir = @sbindir@
712sharedstatedir = @sharedstatedir@
713sicstus_prolog = @sicstus_prolog@
714srcdir = @srcdir@
715swi_prolog = @swi_prolog@
716swi_prolog_ld = @swi_prolog_ld@
717sysconfdir = @sysconfdir@
718target_alias = @target_alias@
719top_build_prefix = @top_build_prefix@
720top_builddir = @top_builddir@
721top_srcdir = @top_srcdir@
722uudecode = @uudecode@
723xsb_prolog = @xsb_prolog@
724yap_prolog = @yap_prolog@
725LIBPPL_LT_CURRENT = 14
726LIBPPL_LT_REVISION = 0
727LIBPPL_LT_AGE = 0
728AM_CPPFLAGS = \
729-I$(top_builddir) \
730-I$(top_srcdir)/src \
731@extra_includes@
732
733lib_LTLIBRARIES = libppl.la
734ppl_config_SOURCES = \
735BUGS.hh \
736BUGS.cc \
737COPYING.hh \
738COPYING.cc \
739CREDITS.hh \
740CREDITS.cc
741
742nodist_ppl_config_SOURCES = \
743ppl-config.cc \
744ppl.hh
745
746ppl_config_LDADD = \
747@extra_libraries@ \
748libppl.la
749
750@USE_CHECKED_INTEGERS_TRUE@COEFFICIENT_TYPES_INCLUDE_FILES =
751@USE_GMP_INTEGERS_TRUE@COEFFICIENT_TYPES_INCLUDE_FILES = \
752@USE_GMP_INTEGERS_TRUE@  GMP_Integer_types.hh
753
754@USE_NATIVE_INTEGERS_TRUE@COEFFICIENT_TYPES_INCLUDE_FILES =
755@USE_CHECKED_INTEGERS_TRUE@COEFFICIENT_DEFS_INCLUDE_FILES =
756@USE_GMP_INTEGERS_TRUE@COEFFICIENT_DEFS_INCLUDE_FILES = \
757@USE_GMP_INTEGERS_TRUE@  GMP_Integer_defs.hh \
758@USE_GMP_INTEGERS_TRUE@  GMP_Integer_inlines.hh
759
760@USE_NATIVE_INTEGERS_TRUE@COEFFICIENT_DEFS_INCLUDE_FILES =
761
762# The ordering of the following list *matters*!
763INCLUDE_FILES = \
764namespaces.hh \
765compiler.hh \
766assertions.hh \
767meta_programming.hh \
768Slow_Copy.hh \
769Has_Assign_Or_Swap.hh \
770assign_or_swap.hh \
771mp_std_bits_defs.hh \
772mp_std_bits_inlines.hh \
773Concrete_Expression_types.hh \
774Concrete_Expression_defs.hh \
775Concrete_Expression_inlines.hh \
776Temp_defs.hh \
777Temp_inlines.hh \
778Temp_templates.hh \
779Coefficient_traits_template.hh \
780Checked_Number_types.hh \
781termination_types.hh \
782$(COEFFICIENT_TYPES_INCLUDE_FILES) \
783Coefficient_types.hh \
784stdiobuf_types.hh \
785c_streambuf_types.hh \
786globals_types.hh \
787iterator_to_const_types.hh \
788distances_types.hh \
789Interval_Info_types.hh \
790Interval_types.hh \
791Box_types.hh \
792Constraint_types.hh \
793Generator_types.hh \
794Grid_Generator_types.hh \
795Congruence_types.hh \
796Init_types.hh \
797Dense_Row_types.hh \
798CO_Tree_types.hh \
799Sparse_Row_types.hh \
800Matrix_types.hh \
801Swapping_Vector_types.hh \
802Variable_types.hh \
803Variables_Set_types.hh \
804Linear_Expression_types.hh \
805Expression_Adapter_types.hh \
806Expression_Hide_Last_types.hh \
807Expression_Hide_Inhomo_types.hh \
808Linear_Expression_Impl_types.hh \
809Linear_Expression_Interface_types.hh \
810Linear_System_types.hh \
811Linear_Form_types.hh \
812Bit_Row_types.hh \
813Bit_Matrix_types.hh \
814Constraint_System_types.hh \
815Generator_System_types.hh \
816Grid_Generator_System_types.hh \
817Congruence_System_types.hh \
818Scalar_Products_types.hh \
819PIP_Tree_types.hh \
820PIP_Problem_types.hh \
821Poly_Con_Relation_types.hh \
822Poly_Gen_Relation_types.hh \
823BHRZ03_Certificate_types.hh \
824H79_Certificate_types.hh \
825Grid_Certificate_types.hh \
826Partial_Function_types.hh \
827Polyhedron_types.hh \
828C_Polyhedron_types.hh \
829NNC_Polyhedron_types.hh \
830Grid_types.hh \
831Ptr_Iterator_types.hh \
832DB_Row_types.hh \
833DB_Matrix_types.hh \
834BD_Shape_types.hh \
835OR_Matrix_types.hh \
836Octagonal_Shape_types.hh \
837fpu_types.hh \
838Float_defs.hh \
839Float_inlines.hh \
840Float_templates.hh \
841C_Integer.hh \
842fpu_defs.hh \
843fpu-c99_inlines.hh \
844fpu-ia32_inlines.hh \
845fpu-none_inlines.hh \
846fpu-sparc_inlines.hh \
847Rounding_Dir_defs.hh \
848Rounding_Dir_inlines.hh \
849Result_defs.hh \
850Result_inlines.hh \
851Numeric_Format_defs.hh \
852checked_defs.hh \
853checked_inlines.hh \
854checked_int_inlines.hh \
855checked_float_inlines.hh \
856checked_mpz_inlines.hh \
857checked_mpq_inlines.hh \
858checked_ext_inlines.hh \
859Checked_Number_defs.hh \
860Checked_Number_inlines.hh \
861Checked_Number_templates.hh \
862WRD_coefficient_types_defs.hh \
863WRD_coefficient_types_inlines.hh \
864checked_numeric_limits.hh \
865$(COEFFICIENT_DEFS_INCLUDE_FILES) \
866Coefficient_defs.hh \
867Coefficient_inlines.hh \
868stdiobuf_defs.hh \
869stdiobuf_inlines.hh \
870c_streambuf_defs.hh \
871c_streambuf_inlines.hh \
872globals_defs.hh \
873globals_inlines.hh \
874math_utilities_defs.hh \
875math_utilities_inlines.hh \
876iterator_to_const_defs.hh \
877iterator_to_const_inlines.hh \
878distances_defs.hh \
879distances_inlines.hh \
880Boundary_defs.hh \
881intervals_defs.hh \
882Interval_Info_defs.hh \
883Interval_Info_inlines.hh \
884Interval_defs.hh \
885Interval_inlines.hh \
886Interval_templates.hh \
887Box_defs.hh \
888Box_Status_inlines.hh \
889Box_inlines.hh \
890Box_templates.hh \
891Integer_Interval.hh \
892Rational_Interval.hh \
893Rational_Box.hh \
894Variable_defs.hh \
895Variable_inlines.hh \
896Variables_Set_defs.hh \
897Variables_Set_inlines.hh \
898Init_defs.hh \
899Init_inlines.hh \
900initializer.hh \
901Topology_types.hh \
902Dense_Row_defs.hh \
903Dense_Row_inlines.hh \
904Dense_Row_templates.hh \
905CO_Tree_defs.hh \
906CO_Tree_inlines.hh \
907CO_Tree_templates.hh \
908Sparse_Row_defs.hh \
909Sparse_Row_inlines.hh \
910Sparse_Row_templates.hh \
911Bit_Row_defs.hh \
912Bit_Row_inlines.hh \
913Linear_System_defs.hh \
914Linear_System_inlines.hh \
915Linear_System_templates.hh \
916Bit_Matrix_defs.hh \
917Bit_Matrix_inlines.hh \
918Constraint_System_defs.hh \
919Generator_System_defs.hh \
920Grid_Generator_System_defs.hh \
921Congruence_System_defs.hh \
922Linear_Expression_defs.hh \
923Linear_Expression_inlines.hh \
924Expression_Adapter_defs.hh \
925Expression_Adapter_inlines.hh \
926Expression_Hide_Last_defs.hh \
927Expression_Hide_Last_inlines.hh \
928Expression_Hide_Inhomo_defs.hh \
929Expression_Hide_Inhomo_inlines.hh \
930Linear_Expression_Impl_defs.hh \
931Linear_Expression_Impl_inlines.hh \
932Linear_Expression_Impl_templates.hh \
933Linear_Expression_Interface_defs.hh \
934Linear_Form_defs.hh \
935Linear_Form_inlines.hh \
936Linear_Form_templates.hh \
937linearize.hh \
938Constraint_defs.hh \
939Constraint_inlines.hh \
940Constraint_System_inlines.hh \
941Generator_defs.hh \
942Generator_inlines.hh \
943Grid_Generator_defs.hh \
944Grid_Generator_inlines.hh \
945Congruence_defs.hh \
946Congruence_inlines.hh \
947Generator_System_inlines.hh \
948Grid_Generator_System_inlines.hh \
949Congruence_System_inlines.hh \
950Scalar_Products_defs.hh \
951Scalar_Products_inlines.hh \
952Matrix_defs.hh \
953Matrix_inlines.hh \
954Matrix_templates.hh \
955Swapping_Vector_defs.hh \
956Swapping_Vector_inlines.hh \
957MIP_Problem_types.hh \
958MIP_Problem_defs.hh \
959MIP_Problem_inlines.hh \
960MIP_Problem_templates.hh \
961PIP_Tree_types.hh \
962PIP_Tree_defs.hh \
963PIP_Tree_inlines.hh \
964PIP_Problem_types.hh \
965PIP_Problem_defs.hh \
966PIP_Problem_inlines.hh \
967PIP_Problem_templates.hh \
968Poly_Con_Relation_defs.hh \
969Poly_Con_Relation_inlines.hh \
970Poly_Gen_Relation_defs.hh \
971Poly_Gen_Relation_inlines.hh \
972BHRZ03_Certificate_defs.hh \
973BHRZ03_Certificate_inlines.hh \
974H79_Certificate_defs.hh \
975H79_Certificate_inlines.hh \
976Grid_Certificate_defs.hh \
977Grid_Certificate_inlines.hh \
978Partial_Function_defs.hh \
979Partial_Function_inlines.hh \
980Polyhedron_defs.hh \
981Ph_Status_inlines.hh \
982Polyhedron_inlines.hh \
983Polyhedron_chdims_templates.hh \
984Polyhedron_conversion_templates.hh \
985Polyhedron_minimize_templates.hh \
986Polyhedron_simplify_templates.hh \
987Polyhedron_templates.hh \
988Grid_defs.hh \
989Grid_Status_inlines.hh \
990Grid_inlines.hh \
991Grid_templates.hh \
992C_Polyhedron_defs.hh \
993C_Polyhedron_inlines.hh \
994NNC_Polyhedron_defs.hh \
995NNC_Polyhedron_inlines.hh \
996Widening_Function_types.hh \
997Widening_Function_defs.hh \
998Widening_Function_inlines.hh \
999Ptr_Iterator_defs.hh \
1000Ptr_Iterator_inlines.hh \
1001DB_Row_defs.hh \
1002DB_Row_inlines.hh \
1003DB_Row_templates.hh \
1004DB_Matrix_defs.hh \
1005DB_Matrix_inlines.hh \
1006DB_Matrix_templates.hh \
1007BD_Shape_defs.hh \
1008BDS_Status_inlines.hh \
1009BD_Shape_inlines.hh \
1010BD_Shape_templates.hh \
1011OR_Matrix_defs.hh \
1012OR_Matrix_inlines.hh \
1013OR_Matrix_templates.hh \
1014Octagonal_Shape_defs.hh \
1015Og_Status_inlines.hh \
1016Octagonal_Shape_inlines.hh \
1017Octagonal_Shape_templates.hh \
1018Determinate_types.hh \
1019Determinate_defs.hh \
1020Determinate_inlines.hh \
1021Powerset_types.hh \
1022Powerset_defs.hh \
1023Powerset_inlines.hh \
1024Powerset_templates.hh \
1025Pointset_Powerset_types.hh \
1026Pointset_Powerset_defs.hh \
1027Pointset_Powerset_inlines.hh \
1028Pointset_Powerset_templates.hh \
1029Partially_Reduced_Product_types.hh \
1030Partially_Reduced_Product_defs.hh \
1031Partially_Reduced_Product_inlines.hh \
1032Partially_Reduced_Product_templates.hh \
1033Weight_Profiler_defs.hh \
1034max_space_dimension.hh \
1035algorithms.hh \
1036termination_defs.hh \
1037termination_templates.hh \
1038wrap_assign.hh \
1039wrap_string.hh \
1040Floating_Point_Expression_types.hh \
1041Floating_Point_Expression_defs.hh \
1042Floating_Point_Expression_inlines.hh \
1043Floating_Point_Expression_templates.hh \
1044Cast_Floating_Point_Expression_types.hh \
1045Cast_Floating_Point_Expression_defs.hh \
1046Cast_Floating_Point_Expression_inlines.hh \
1047Cast_Floating_Point_Expression_templates.hh \
1048Constant_Floating_Point_Expression_types.hh \
1049Constant_Floating_Point_Expression_defs.hh \
1050Constant_Floating_Point_Expression_inlines.hh \
1051Variable_Floating_Point_Expression_types.hh \
1052Variable_Floating_Point_Expression_defs.hh \
1053Variable_Floating_Point_Expression_inlines.hh \
1054Sum_Floating_Point_Expression_types.hh \
1055Sum_Floating_Point_Expression_defs.hh \
1056Sum_Floating_Point_Expression_inlines.hh \
1057Sum_Floating_Point_Expression_templates.hh \
1058Difference_Floating_Point_Expression_types.hh \
1059Difference_Floating_Point_Expression_defs.hh \
1060Difference_Floating_Point_Expression_inlines.hh \
1061Difference_Floating_Point_Expression_templates.hh \
1062Multiplication_Floating_Point_Expression_types.hh \
1063Multiplication_Floating_Point_Expression_defs.hh \
1064Multiplication_Floating_Point_Expression_inlines.hh \
1065Multiplication_Floating_Point_Expression_templates.hh \
1066Division_Floating_Point_Expression_types.hh \
1067Division_Floating_Point_Expression_defs.hh \
1068Division_Floating_Point_Expression_inlines.hh \
1069Division_Floating_Point_Expression_templates.hh \
1070Opposite_Floating_Point_Expression_types.hh \
1071Opposite_Floating_Point_Expression_defs.hh \
1072Opposite_Floating_Point_Expression_inlines.hh \
1073Doubly_Linked_Object_types.hh \
1074EList_types.hh \
1075EList_Iterator_types.hh \
1076Handler_types.hh \
1077Pending_Element_types.hh \
1078Pending_List_types.hh \
1079Time_types.hh \
1080Watchdog_types.hh \
1081Threshold_Watcher_types.hh \
1082Handler_defs.hh \
1083Handler_inlines.hh \
1084Time_defs.hh \
1085Time_inlines.hh \
1086Doubly_Linked_Object_defs.hh \
1087Doubly_Linked_Object_inlines.hh \
1088EList_Iterator_defs.hh \
1089EList_Iterator_inlines.hh \
1090EList_defs.hh \
1091EList_inlines.hh \
1092Pending_Element_defs.hh \
1093Pending_Element_inlines.hh \
1094Pending_List_defs.hh \
1095Pending_List_inlines.hh \
1096Pending_List_templates.hh \
1097Watchdog_defs.hh \
1098Watchdog_inlines.hh \
1099Threshold_Watcher_defs.hh \
1100Threshold_Watcher_inlines.hh \
1101Threshold_Watcher_templates.hh
1102
1103#Any_Pointset_types.hh \
1104#Any_Pointset_defs.hh \
1105#Any_Pointset_inlines.hh \
1106#Ask_Tell_types.hh \
1107#Ask_Tell_defs.hh \
1108#Ask_Tell_inlines.hh \
1109#Ask_Tell_templates.hh \
1110#Pointset_Ask_Tell_types.hh \
1111#Pointset_Ask_Tell_defs.hh \
1112#Pointset_Ask_Tell_inlines.hh \
1113#Pointset_Ask_Tell_templates.hh
1114NESTED_INCLUDE_FILES = \
1115Ph_Status_idefs.hh \
1116Grid_Status_idefs.hh \
1117Box_Status_idefs.hh \
1118BDS_Status_idefs.hh \
1119Og_Status_idefs.hh
1120
1121libppl_la_SOURCES = \
1122assertions.cc \
1123Box.cc \
1124checked.cc \
1125Checked_Number.cc \
1126Float.cc \
1127fpu-ia32.cc \
1128BDS_Status.cc \
1129Box_Status.cc \
1130Og_Status.cc \
1131Concrete_Expression.cc \
1132Constraint.cc \
1133Constraint_System.cc \
1134Congruence.cc \
1135Congruence_System.cc \
1136Generator_System.cc \
1137Grid_Generator_System.cc \
1138Generator.cc \
1139Grid_Generator.cc \
1140Handler.cc \
1141Init.cc \
1142Coefficient.cc \
1143Linear_Expression.cc \
1144Linear_Expression_Impl.cc \
1145Linear_Expression_Interface.cc \
1146Linear_Form.cc \
1147Scalar_Products.cc \
1148MIP_Problem.cc \
1149PIP_Tree.cc \
1150PIP_Problem.cc \
1151Poly_Con_Relation.cc \
1152Poly_Gen_Relation.cc \
1153BHRZ03_Certificate.cc \
1154H79_Certificate.cc \
1155Grid_Certificate.cc \
1156Partial_Function.cc \
1157Polyhedron_nonpublic.cc \
1158Polyhedron_public.cc \
1159Polyhedron_chdims.cc \
1160Polyhedron_widenings.cc \
1161C_Polyhedron.cc \
1162NNC_Polyhedron.cc \
1163Grid_nonpublic.cc \
1164Grid_public.cc \
1165Grid_chdims.cc \
1166Grid_widenings.cc \
1167BD_Shape.cc \
1168Octagonal_Shape.cc \
1169Pointset_Powerset.cc \
1170CO_Tree.cc \
1171Sparse_Row.cc \
1172Dense_Row.cc \
1173Bit_Matrix.cc \
1174Bit_Row.cc \
1175Ph_Status.cc \
1176Grid_Status.cc \
1177Variable.cc \
1178Variables_Set.cc \
1179Grid_conversion.cc \
1180Grid_simplify.cc \
1181set_GMP_memory_alloc_funcs.cc \
1182stdiobuf.cc \
1183c_streambuf.cc \
1184globals.cc \
1185mp_std_bits.cc \
1186Weight_Profiler.cc \
1187version.cc \
1188$(INCLUDE_FILES) \
1189$(NESTED_INCLUDE_FILES) \
1190swapping_sort_templates.hh \
1191termination.cc \
1192wrap_string.cc \
1193Time.cc \
1194Watchdog.cc \
1195Threshold_Watcher.cc
1196
1197#Pointset_Ask_Tell.cc
1198@NO_UNDEFINED_TRUE@NO_UNDEFINED_FLAG = -no-undefined
1199libppl_la_LIBADD = @extra_libraries@
1200libppl_la_LDFLAGS = \
1201$(NO_UNDEFINED_FLAG) \
1202-version-info $(LIBPPL_LT_CURRENT):$(LIBPPL_LT_REVISION):$(LIBPPL_LT_AGE)
1203
1204@BUILD_CXX_INTERFACE_TRUE@include_HEADERS = ppl.hh
1205@BUILD_CXX_INTERFACE_FALSE@noinst_HEADERS = ppl.hh
1206nodist_noinst_HEADERS = ppl_include_files.hh
1207EXTRA_DIST = ppl_header.hh ppl-config.cc.in version.hh.in
1208@USE_PRECOMPILED_HEADERS_FALSE@PRECOMPILED =
1209@USE_PRECOMPILED_HEADERS_TRUE@PRECOMPILED = ppl.hh.gch
1210BUILT_SOURCES = \
1211$(include_HEADERS) \
1212$(nodist_noinst_HEADERS) \
1213$(noinst_HEADERS) \
1214$(PRECOMPILED) \
1215BUGS.hh \
1216BUGS.cc \
1217COPYING.hh \
1218COPYING.cc \
1219CREDITS.hh \
1220CREDITS.cc
1221
1222CLEANFILES = $(BUILT_SOURCES)
1223all: $(BUILT_SOURCES)
1224	$(MAKE) $(AM_MAKEFLAGS) all-am
1225
1226.SUFFIXES:
1227.SUFFIXES: .cc .lo .o .obj
1228$(srcdir)/Makefile.in:  $(srcdir)/Makefile.am  $(am__configure_deps)
1229	@for dep in $?; do \
1230	  case '$(am__configure_deps)' in \
1231	    *$$dep*) \
1232	      ( cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh ) \
1233	        && { if test -f $@; then exit 0; else break; fi; }; \
1234	      exit 1;; \
1235	  esac; \
1236	done; \
1237	echo ' cd $(top_srcdir) && $(AUTOMAKE) --foreign src/Makefile'; \
1238	$(am__cd) $(top_srcdir) && \
1239	  $(AUTOMAKE) --foreign src/Makefile
1240.PRECIOUS: Makefile
1241Makefile: $(srcdir)/Makefile.in $(top_builddir)/config.status
1242	@case '$?' in \
1243	  *config.status*) \
1244	    cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh;; \
1245	  *) \
1246	    echo ' cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@ $(am__depfiles_maybe)'; \
1247	    cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@ $(am__depfiles_maybe);; \
1248	esac;
1249
1250$(top_builddir)/config.status: $(top_srcdir)/configure $(CONFIG_STATUS_DEPENDENCIES)
1251	cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh
1252
1253$(top_srcdir)/configure:  $(am__configure_deps)
1254	cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh
1255$(ACLOCAL_M4):  $(am__aclocal_m4_deps)
1256	cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh
1257$(am__aclocal_m4_deps):
1258version.hh: $(top_builddir)/config.status $(srcdir)/version.hh.in
1259	cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@
1260ppl-config.cc: $(top_builddir)/config.status $(srcdir)/ppl-config.cc.in
1261	cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@
1262
1263install-libLTLIBRARIES: $(lib_LTLIBRARIES)
1264	@$(NORMAL_INSTALL)
1265	@list='$(lib_LTLIBRARIES)'; test -n "$(libdir)" || list=; \
1266	list2=; for p in $$list; do \
1267	  if test -f $$p; then \
1268	    list2="$$list2 $$p"; \
1269	  else :; fi; \
1270	done; \
1271	test -z "$$list2" || { \
1272	  echo " $(MKDIR_P) '$(DESTDIR)$(libdir)'"; \
1273	  $(MKDIR_P) "$(DESTDIR)$(libdir)" || exit 1; \
1274	  echo " $(LIBTOOL) $(AM_LIBTOOLFLAGS) $(LIBTOOLFLAGS) --mode=install $(INSTALL) $(INSTALL_STRIP_FLAG) $$list2 '$(DESTDIR)$(libdir)'"; \
1275	  $(LIBTOOL) $(AM_LIBTOOLFLAGS) $(LIBTOOLFLAGS) --mode=install $(INSTALL) $(INSTALL_STRIP_FLAG) $$list2 "$(DESTDIR)$(libdir)"; \
1276	}
1277
1278uninstall-libLTLIBRARIES:
1279	@$(NORMAL_UNINSTALL)
1280	@list='$(lib_LTLIBRARIES)'; test -n "$(libdir)" || list=; \
1281	for p in $$list; do \
1282	  $(am__strip_dir) \
1283	  echo " $(LIBTOOL) $(AM_LIBTOOLFLAGS) $(LIBTOOLFLAGS) --mode=uninstall rm -f '$(DESTDIR)$(libdir)/$$f'"; \
1284	  $(LIBTOOL) $(AM_LIBTOOLFLAGS) $(LIBTOOLFLAGS) --mode=uninstall rm -f "$(DESTDIR)$(libdir)/$$f"; \
1285	done
1286
1287clean-libLTLIBRARIES:
1288	-test -z "$(lib_LTLIBRARIES)" || rm -f $(lib_LTLIBRARIES)
1289	@list='$(lib_LTLIBRARIES)'; \
1290	locs=`for p in $$list; do echo $$p; done | \
1291	      sed 's|^[^/]*$$|.|; s|/[^/]*$$||; s|$$|/so_locations|' | \
1292	      sort -u`; \
1293	test -z "$$locs" || { \
1294	  echo rm -f $${locs}; \
1295	  rm -f $${locs}; \
1296	}
1297
1298libppl.la: $(libppl_la_OBJECTS) $(libppl_la_DEPENDENCIES) $(EXTRA_libppl_la_DEPENDENCIES)
1299	$(AM_V_CXXLD)$(libppl_la_LINK) -rpath $(libdir) $(libppl_la_OBJECTS) $(libppl_la_LIBADD) $(LIBS)
1300install-binPROGRAMS: $(bin_PROGRAMS)
1301	@$(NORMAL_INSTALL)
1302	@list='$(bin_PROGRAMS)'; test -n "$(bindir)" || list=; \
1303	if test -n "$$list"; then \
1304	  echo " $(MKDIR_P) '$(DESTDIR)$(bindir)'"; \
1305	  $(MKDIR_P) "$(DESTDIR)$(bindir)" || exit 1; \
1306	fi; \
1307	for p in $$list; do echo "$$p $$p"; done | \
1308	sed 's/$(EXEEXT)$$//' | \
1309	while read p p1; do if test -f $$p \
1310	 || test -f $$p1 \
1311	  ; then echo "$$p"; echo "$$p"; else :; fi; \
1312	done | \
1313	sed -e 'p;s,.*/,,;n;h' \
1314	    -e 's|.*|.|' \
1315	    -e 'p;x;s,.*/,,;s/$(EXEEXT)$$//;$(transform);s/$$/$(EXEEXT)/' | \
1316	sed 'N;N;N;s,\n, ,g' | \
1317	$(AWK) 'BEGIN { files["."] = ""; dirs["."] = 1 } \
1318	  { d=$$3; if (dirs[d] != 1) { print "d", d; dirs[d] = 1 } \
1319	    if ($$2 == $$4) files[d] = files[d] " " $$1; \
1320	    else { print "f", $$3 "/" $$4, $$1; } } \
1321	  END { for (d in files) print "f", d, files[d] }' | \
1322	while read type dir files; do \
1323	    if test "$$dir" = .; then dir=; else dir=/$$dir; fi; \
1324	    test -z "$$files" || { \
1325	    echo " $(INSTALL_PROGRAM_ENV) $(LIBTOOL) $(AM_LIBTOOLFLAGS) $(LIBTOOLFLAGS) --mode=install $(INSTALL_PROGRAM) $$files '$(DESTDIR)$(bindir)$$dir'"; \
1326	    $(INSTALL_PROGRAM_ENV) $(LIBTOOL) $(AM_LIBTOOLFLAGS) $(LIBTOOLFLAGS) --mode=install $(INSTALL_PROGRAM) $$files "$(DESTDIR)$(bindir)$$dir" || exit $$?; \
1327	    } \
1328	; done
1329
1330uninstall-binPROGRAMS:
1331	@$(NORMAL_UNINSTALL)
1332	@list='$(bin_PROGRAMS)'; test -n "$(bindir)" || list=; \
1333	files=`for p in $$list; do echo "$$p"; done | \
1334	  sed -e 'h;s,^.*/,,;s/$(EXEEXT)$$//;$(transform)' \
1335	      -e 's/$$/$(EXEEXT)/' \
1336	`; \
1337	test -n "$$list" || exit 0; \
1338	echo " ( cd '$(DESTDIR)$(bindir)' && rm -f" $$files ")"; \
1339	cd "$(DESTDIR)$(bindir)" && rm -f $$files
1340
1341clean-binPROGRAMS:
1342	@list='$(bin_PROGRAMS)'; test -n "$$list" || exit 0; \
1343	echo " rm -f" $$list; \
1344	rm -f $$list || exit $$?; \
1345	test -n "$(EXEEXT)" || exit 0; \
1346	list=`for p in $$list; do echo "$$p"; done | sed 's/$(EXEEXT)$$//'`; \
1347	echo " rm -f" $$list; \
1348	rm -f $$list
1349
1350ppl-config$(EXEEXT): $(ppl_config_OBJECTS) $(ppl_config_DEPENDENCIES) $(EXTRA_ppl_config_DEPENDENCIES)
1351	@rm -f ppl-config$(EXEEXT)
1352	$(AM_V_CXXLD)$(CXXLINK) $(ppl_config_OBJECTS) $(ppl_config_LDADD) $(LIBS)
1353
1354mostlyclean-compile:
1355	-rm -f *.$(OBJEXT)
1356
1357distclean-compile:
1358	-rm -f *.tab.c
1359
1360@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/BDS_Status.Plo@am__quote@
1361@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/BD_Shape.Plo@am__quote@
1362@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/BHRZ03_Certificate.Plo@am__quote@
1363@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/BUGS.Po@am__quote@
1364@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Bit_Matrix.Plo@am__quote@
1365@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Bit_Row.Plo@am__quote@
1366@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Box.Plo@am__quote@
1367@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Box_Status.Plo@am__quote@
1368@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/COPYING.Po@am__quote@
1369@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/CO_Tree.Plo@am__quote@
1370@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/CREDITS.Po@am__quote@
1371@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/C_Polyhedron.Plo@am__quote@
1372@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Checked_Number.Plo@am__quote@
1373@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Coefficient.Plo@am__quote@
1374@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Concrete_Expression.Plo@am__quote@
1375@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Congruence.Plo@am__quote@
1376@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Congruence_System.Plo@am__quote@
1377@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Constraint.Plo@am__quote@
1378@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Constraint_System.Plo@am__quote@
1379@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Dense_Row.Plo@am__quote@
1380@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Float.Plo@am__quote@
1381@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Generator.Plo@am__quote@
1382@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Generator_System.Plo@am__quote@
1383@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Grid_Certificate.Plo@am__quote@
1384@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Grid_Generator.Plo@am__quote@
1385@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Grid_Generator_System.Plo@am__quote@
1386@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Grid_Status.Plo@am__quote@
1387@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Grid_chdims.Plo@am__quote@
1388@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Grid_conversion.Plo@am__quote@
1389@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Grid_nonpublic.Plo@am__quote@
1390@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Grid_public.Plo@am__quote@
1391@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Grid_simplify.Plo@am__quote@
1392@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Grid_widenings.Plo@am__quote@
1393@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/H79_Certificate.Plo@am__quote@
1394@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Handler.Plo@am__quote@
1395@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Init.Plo@am__quote@
1396@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Linear_Expression.Plo@am__quote@
1397@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Linear_Expression_Impl.Plo@am__quote@
1398@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Linear_Expression_Interface.Plo@am__quote@
1399@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Linear_Form.Plo@am__quote@
1400@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/MIP_Problem.Plo@am__quote@
1401@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/NNC_Polyhedron.Plo@am__quote@
1402@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Octagonal_Shape.Plo@am__quote@
1403@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Og_Status.Plo@am__quote@
1404@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/PIP_Problem.Plo@am__quote@
1405@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/PIP_Tree.Plo@am__quote@
1406@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Partial_Function.Plo@am__quote@
1407@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Ph_Status.Plo@am__quote@
1408@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Pointset_Powerset.Plo@am__quote@
1409@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Poly_Con_Relation.Plo@am__quote@
1410@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Poly_Gen_Relation.Plo@am__quote@
1411@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Polyhedron_chdims.Plo@am__quote@
1412@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Polyhedron_nonpublic.Plo@am__quote@
1413@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Polyhedron_public.Plo@am__quote@
1414@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Polyhedron_widenings.Plo@am__quote@
1415@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Scalar_Products.Plo@am__quote@
1416@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Sparse_Row.Plo@am__quote@
1417@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Threshold_Watcher.Plo@am__quote@
1418@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Time.Plo@am__quote@
1419@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Variable.Plo@am__quote@
1420@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Variables_Set.Plo@am__quote@
1421@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Watchdog.Plo@am__quote@
1422@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/Weight_Profiler.Plo@am__quote@
1423@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/assertions.Plo@am__quote@
1424@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/c_streambuf.Plo@am__quote@
1425@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/checked.Plo@am__quote@
1426@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/fpu-ia32.Plo@am__quote@
1427@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/globals.Plo@am__quote@
1428@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/mp_std_bits.Plo@am__quote@
1429@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/ppl-config.Po@am__quote@
1430@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/set_GMP_memory_alloc_funcs.Plo@am__quote@
1431@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/stdiobuf.Plo@am__quote@
1432@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/termination.Plo@am__quote@
1433@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/version.Plo@am__quote@
1434@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/wrap_string.Plo@am__quote@
1435
1436.cc.o:
1437@am__fastdepCXX_TRUE@	$(AM_V_CXX)$(CXXCOMPILE) -MT $@ -MD -MP -MF $(DEPDIR)/$*.Tpo -c -o $@ $<
1438@am__fastdepCXX_TRUE@	$(AM_V_at)$(am__mv) $(DEPDIR)/$*.Tpo $(DEPDIR)/$*.Po
1439@AMDEP_TRUE@@am__fastdepCXX_FALSE@	$(AM_V_CXX)source='$<' object='$@' libtool=no @AMDEPBACKSLASH@
1440@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
1441@am__fastdepCXX_FALSE@	$(AM_V_CXX@am__nodep@)$(CXXCOMPILE) -c -o $@ $<
1442
1443.cc.obj:
1444@am__fastdepCXX_TRUE@	$(AM_V_CXX)$(CXXCOMPILE) -MT $@ -MD -MP -MF $(DEPDIR)/$*.Tpo -c -o $@ `$(CYGPATH_W) '$<'`
1445@am__fastdepCXX_TRUE@	$(AM_V_at)$(am__mv) $(DEPDIR)/$*.Tpo $(DEPDIR)/$*.Po
1446@AMDEP_TRUE@@am__fastdepCXX_FALSE@	$(AM_V_CXX)source='$<' object='$@' libtool=no @AMDEPBACKSLASH@
1447@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
1448@am__fastdepCXX_FALSE@	$(AM_V_CXX@am__nodep@)$(CXXCOMPILE) -c -o $@ `$(CYGPATH_W) '$<'`
1449
1450.cc.lo:
1451@am__fastdepCXX_TRUE@	$(AM_V_CXX)$(LTCXXCOMPILE) -MT $@ -MD -MP -MF $(DEPDIR)/$*.Tpo -c -o $@ $<
1452@am__fastdepCXX_TRUE@	$(AM_V_at)$(am__mv) $(DEPDIR)/$*.Tpo $(DEPDIR)/$*.Plo
1453@AMDEP_TRUE@@am__fastdepCXX_FALSE@	$(AM_V_CXX)source='$<' object='$@' libtool=yes @AMDEPBACKSLASH@
1454@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
1455@am__fastdepCXX_FALSE@	$(AM_V_CXX@am__nodep@)$(LTCXXCOMPILE) -c -o $@ $<
1456
1457mostlyclean-libtool:
1458	-rm -f *.lo
1459
1460clean-libtool:
1461	-rm -rf .libs _libs
1462install-includeHEADERS: $(include_HEADERS)
1463	@$(NORMAL_INSTALL)
1464	@list='$(include_HEADERS)'; test -n "$(includedir)" || list=; \
1465	if test -n "$$list"; then \
1466	  echo " $(MKDIR_P) '$(DESTDIR)$(includedir)'"; \
1467	  $(MKDIR_P) "$(DESTDIR)$(includedir)" || exit 1; \
1468	fi; \
1469	for p in $$list; do \
1470	  if test -f "$$p"; then d=; else d="$(srcdir)/"; fi; \
1471	  echo "$$d$$p"; \
1472	done | $(am__base_list) | \
1473	while read files; do \
1474	  echo " $(INSTALL_HEADER) $$files '$(DESTDIR)$(includedir)'"; \
1475	  $(INSTALL_HEADER) $$files "$(DESTDIR)$(includedir)" || exit $$?; \
1476	done
1477
1478uninstall-includeHEADERS:
1479	@$(NORMAL_UNINSTALL)
1480	@list='$(include_HEADERS)'; test -n "$(includedir)" || list=; \
1481	files=`for p in $$list; do echo $$p; done | sed -e 's|^.*/||'`; \
1482	dir='$(DESTDIR)$(includedir)'; $(am__uninstall_files_from_dir)
1483
1484ID: $(am__tagged_files)
1485	$(am__define_uniq_tagged_files); mkid -fID $$unique
1486tags: tags-am
1487TAGS: tags
1488
1489tags-am: $(TAGS_DEPENDENCIES) $(am__tagged_files)
1490	set x; \
1491	here=`pwd`; \
1492	$(am__define_uniq_tagged_files); \
1493	shift; \
1494	if test -z "$(ETAGS_ARGS)$$*$$unique"; then :; else \
1495	  test -n "$$unique" || unique=$$empty_fix; \
1496	  if test $$# -gt 0; then \
1497	    $(ETAGS) $(ETAGSFLAGS) $(AM_ETAGSFLAGS) $(ETAGS_ARGS) \
1498	      "$$@" $$unique; \
1499	  else \
1500	    $(ETAGS) $(ETAGSFLAGS) $(AM_ETAGSFLAGS) $(ETAGS_ARGS) \
1501	      $$unique; \
1502	  fi; \
1503	fi
1504ctags: ctags-am
1505
1506CTAGS: ctags
1507ctags-am: $(TAGS_DEPENDENCIES) $(am__tagged_files)
1508	$(am__define_uniq_tagged_files); \
1509	test -z "$(CTAGS_ARGS)$$unique" \
1510	  || $(CTAGS) $(CTAGSFLAGS) $(AM_CTAGSFLAGS) $(CTAGS_ARGS) \
1511	     $$unique
1512
1513GTAGS:
1514	here=`$(am__cd) $(top_builddir) && pwd` \
1515	  && $(am__cd) $(top_srcdir) \
1516	  && gtags -i $(GTAGS_ARGS) "$$here"
1517cscopelist: cscopelist-am
1518
1519cscopelist-am: $(am__tagged_files)
1520	list='$(am__tagged_files)'; \
1521	case "$(srcdir)" in \
1522	  [\\/]* | ?:[\\/]*) sdir="$(srcdir)" ;; \
1523	  *) sdir=$(subdir)/$(srcdir) ;; \
1524	esac; \
1525	for i in $$list; do \
1526	  if test -f "$$i"; then \
1527	    echo "$(subdir)/$$i"; \
1528	  else \
1529	    echo "$$sdir/$$i"; \
1530	  fi; \
1531	done >> $(top_builddir)/cscope.files
1532
1533distclean-tags:
1534	-rm -f TAGS ID GTAGS GRTAGS GSYMS GPATH tags
1535
1536distdir: $(DISTFILES)
1537	@srcdirstrip=`echo "$(srcdir)" | sed 's/[].[^$$\\*]/\\\\&/g'`; \
1538	topsrcdirstrip=`echo "$(top_srcdir)" | sed 's/[].[^$$\\*]/\\\\&/g'`; \
1539	list='$(DISTFILES)'; \
1540	  dist_files=`for file in $$list; do echo $$file; done | \
1541	  sed -e "s|^$$srcdirstrip/||;t" \
1542	      -e "s|^$$topsrcdirstrip/|$(top_builddir)/|;t"`; \
1543	case $$dist_files in \
1544	  */*) $(MKDIR_P) `echo "$$dist_files" | \
1545			   sed '/\//!d;s|^|$(distdir)/|;s,/[^/]*$$,,' | \
1546			   sort -u` ;; \
1547	esac; \
1548	for file in $$dist_files; do \
1549	  if test -f $$file || test -d $$file; then d=.; else d=$(srcdir); fi; \
1550	  if test -d $$d/$$file; then \
1551	    dir=`echo "/$$file" | sed -e 's,/[^/]*$$,,'`; \
1552	    if test -d "$(distdir)/$$file"; then \
1553	      find "$(distdir)/$$file" -type d ! -perm -700 -exec chmod u+rwx {} \;; \
1554	    fi; \
1555	    if test -d $(srcdir)/$$file && test $$d != $(srcdir); then \
1556	      cp -fpR $(srcdir)/$$file "$(distdir)$$dir" || exit 1; \
1557	      find "$(distdir)/$$file" -type d ! -perm -700 -exec chmod u+rwx {} \;; \
1558	    fi; \
1559	    cp -fpR $$d/$$file "$(distdir)$$dir" || exit 1; \
1560	  else \
1561	    test -f "$(distdir)/$$file" \
1562	    || cp -p $$d/$$file "$(distdir)/$$file" \
1563	    || exit 1; \
1564	  fi; \
1565	done
1566	$(MAKE) $(AM_MAKEFLAGS) \
1567	  top_distdir="$(top_distdir)" distdir="$(distdir)" \
1568	  dist-hook
1569check-am: all-am
1570check: $(BUILT_SOURCES)
1571	$(MAKE) $(AM_MAKEFLAGS) check-am
1572all-am: Makefile $(LTLIBRARIES) $(PROGRAMS) $(HEADERS)
1573install-binPROGRAMS: install-libLTLIBRARIES
1574
1575installdirs:
1576	for dir in "$(DESTDIR)$(libdir)" "$(DESTDIR)$(bindir)" "$(DESTDIR)$(includedir)"; do \
1577	  test -z "$$dir" || $(MKDIR_P) "$$dir"; \
1578	done
1579install: $(BUILT_SOURCES)
1580	$(MAKE) $(AM_MAKEFLAGS) install-am
1581install-exec: install-exec-am
1582install-data: install-data-am
1583uninstall: uninstall-am
1584
1585install-am: all-am
1586	@$(MAKE) $(AM_MAKEFLAGS) install-exec-am install-data-am
1587
1588installcheck: installcheck-am
1589install-strip:
1590	if test -z '$(STRIP)'; then \
1591	  $(MAKE) $(AM_MAKEFLAGS) INSTALL_PROGRAM="$(INSTALL_STRIP_PROGRAM)" \
1592	    install_sh_PROGRAM="$(INSTALL_STRIP_PROGRAM)" INSTALL_STRIP_FLAG=-s \
1593	      install; \
1594	else \
1595	  $(MAKE) $(AM_MAKEFLAGS) INSTALL_PROGRAM="$(INSTALL_STRIP_PROGRAM)" \
1596	    install_sh_PROGRAM="$(INSTALL_STRIP_PROGRAM)" INSTALL_STRIP_FLAG=-s \
1597	    "INSTALL_PROGRAM_ENV=STRIPPROG='$(STRIP)'" install; \
1598	fi
1599mostlyclean-generic:
1600
1601clean-generic:
1602	-test -z "$(CLEANFILES)" || rm -f $(CLEANFILES)
1603
1604distclean-generic:
1605	-test -z "$(CONFIG_CLEAN_FILES)" || rm -f $(CONFIG_CLEAN_FILES)
1606	-test . = "$(srcdir)" || test -z "$(CONFIG_CLEAN_VPATH_FILES)" || rm -f $(CONFIG_CLEAN_VPATH_FILES)
1607
1608maintainer-clean-generic:
1609	@echo "This command is intended for maintainers to use"
1610	@echo "it deletes files that may require special tools to rebuild."
1611	-test -z "$(BUILT_SOURCES)" || rm -f $(BUILT_SOURCES)
1612clean: clean-am
1613
1614clean-am: clean-binPROGRAMS clean-generic clean-libLTLIBRARIES \
1615	clean-libtool mostlyclean-am
1616
1617distclean: distclean-am
1618	-rm -rf ./$(DEPDIR)
1619	-rm -f Makefile
1620distclean-am: clean-am distclean-compile distclean-generic \
1621	distclean-tags
1622
1623dvi: dvi-am
1624
1625dvi-am:
1626
1627html: html-am
1628
1629html-am:
1630
1631info: info-am
1632
1633info-am:
1634
1635install-data-am: install-includeHEADERS
1636
1637install-dvi: install-dvi-am
1638
1639install-dvi-am:
1640
1641install-exec-am: install-binPROGRAMS install-libLTLIBRARIES
1642
1643install-html: install-html-am
1644
1645install-html-am:
1646
1647install-info: install-info-am
1648
1649install-info-am:
1650
1651install-man:
1652
1653install-pdf: install-pdf-am
1654
1655install-pdf-am:
1656
1657install-ps: install-ps-am
1658
1659install-ps-am:
1660
1661installcheck-am:
1662
1663maintainer-clean: maintainer-clean-am
1664	-rm -rf ./$(DEPDIR)
1665	-rm -f Makefile
1666maintainer-clean-am: distclean-am maintainer-clean-generic
1667
1668mostlyclean: mostlyclean-am
1669
1670mostlyclean-am: mostlyclean-compile mostlyclean-generic \
1671	mostlyclean-libtool
1672
1673pdf: pdf-am
1674
1675pdf-am:
1676
1677ps: ps-am
1678
1679ps-am:
1680
1681uninstall-am: uninstall-binPROGRAMS uninstall-includeHEADERS \
1682	uninstall-libLTLIBRARIES
1683
1684.MAKE: all check install install-am install-strip
1685
1686.PHONY: CTAGS GTAGS TAGS all all-am check check-am clean \
1687	clean-binPROGRAMS clean-generic clean-libLTLIBRARIES \
1688	clean-libtool cscopelist-am ctags ctags-am dist-hook distclean \
1689	distclean-compile distclean-generic distclean-libtool \
1690	distclean-tags distdir dvi dvi-am html html-am info info-am \
1691	install install-am install-binPROGRAMS install-data \
1692	install-data-am install-dvi install-dvi-am install-exec \
1693	install-exec-am install-html install-html-am \
1694	install-includeHEADERS install-info install-info-am \
1695	install-libLTLIBRARIES install-man install-pdf install-pdf-am \
1696	install-ps install-ps-am install-strip installcheck \
1697	installcheck-am installdirs maintainer-clean \
1698	maintainer-clean-generic mostlyclean mostlyclean-compile \
1699	mostlyclean-generic mostlyclean-libtool pdf pdf-am ps ps-am \
1700	tags tags-am uninstall uninstall-am uninstall-binPROGRAMS \
1701	uninstall-includeHEADERS uninstall-libLTLIBRARIES
1702
1703
1704ppl_include_files.hh: $(INCLUDE_FILES) Makefile
1705	for file in $(INCLUDE_FILES) ; \
1706	do \
1707	  i="#include \"$$file\"" ; \
1708	  ( cd $(top_srcdir)/src ; $(FGREP) -q "$$i" $(INCLUDE_FILES) ) || echo "$$i" ; \
1709	done > $@
1710
1711@HAVE_PERL_TRUE@ppl.hh:	$(top_builddir)/ppl-config.h $(top_builddir)/src/version.hh ppl_header.hh ppl_include_files.hh $(INCLUDE_FILES) $(NESTED_INCLUDE_FILES) Makefile $(top_builddir)/utils/build_header
1712@HAVE_PERL_TRUE@	$(top_builddir)/utils/build_header \
1713@HAVE_PERL_TRUE@		-I $(top_builddir) -I $(top_builddir)/src \
1714@HAVE_PERL_TRUE@		$(top_srcdir)/src/ppl_header.hh >$@
1715
1716@HAVE_PERL_TRUE@BUGS.hh: $(top_builddir)/utils/text2cxxarray $(top_srcdir)/BUGS
1717@HAVE_PERL_TRUE@	@echo "#ifndef PPL_BUGS_hh" >$@
1718@HAVE_PERL_TRUE@	@echo "#define PPL_BUGS_hh 1" >>$@
1719@HAVE_PERL_TRUE@	$(top_builddir)/utils/text2cxxarray --name=BUGS_array --decl-only \
1720@HAVE_PERL_TRUE@		$(top_srcdir)/BUGS >>$@
1721@HAVE_PERL_TRUE@	@echo "#endif // !defined(PPL_BUGS_hh)" >>$@
1722@HAVE_PERL_TRUE@BUGS.cc: $(top_builddir)/utils/text2cxxarray $(top_srcdir)/BUGS BUGS.hh
1723@HAVE_PERL_TRUE@	@echo "#include \"BUGS.hh\"" >$@
1724@HAVE_PERL_TRUE@	$(top_builddir)/utils/text2cxxarray --name=BUGS_array \
1725@HAVE_PERL_TRUE@		$(top_srcdir)/BUGS >>$@
1726
1727@HAVE_PERL_TRUE@COPYING.hh: $(top_builddir)/utils/text2cxxarray $(top_srcdir)/COPYING
1728@HAVE_PERL_TRUE@	@echo "#ifndef PPL_COPYING_hh" >$@
1729@HAVE_PERL_TRUE@	@echo "#define PPL_COPYING_hh 1" >>$@
1730@HAVE_PERL_TRUE@	$(top_builddir)/utils/text2cxxarray --name=COPYING_array --decl-only \
1731@HAVE_PERL_TRUE@		$(top_srcdir)/COPYING >>$@
1732@HAVE_PERL_TRUE@	@echo "#endif // !defined(PPL_COPYING_hh)" >>$@
1733@HAVE_PERL_TRUE@COPYING.cc: $(top_builddir)/utils/text2cxxarray $(top_srcdir)/COPYING COPYING.hh
1734@HAVE_PERL_TRUE@	@echo "#include \"COPYING.hh\"" >$@
1735@HAVE_PERL_TRUE@	$(top_builddir)/utils/text2cxxarray --name=COPYING_array \
1736@HAVE_PERL_TRUE@		$(top_srcdir)/COPYING >>$@
1737
1738@HAVE_PERL_TRUE@CREDITS.hh: $(top_builddir)/utils/text2cxxarray $(top_srcdir)/CREDITS
1739@HAVE_PERL_TRUE@	@echo "#ifndef PPL_CREDITS_hh" >$@
1740@HAVE_PERL_TRUE@	@echo "#define PPL_CREDITS_hh 1" >>$@
1741@HAVE_PERL_TRUE@	$(top_builddir)/utils/text2cxxarray --name=CREDITS_array --decl-only \
1742@HAVE_PERL_TRUE@		$(top_srcdir)/CREDITS >>$@
1743@HAVE_PERL_TRUE@	@echo "#endif // !defined(PPL_CREDITS_hh)" >>$@
1744@HAVE_PERL_TRUE@CREDITS.cc: $(top_builddir)/utils/text2cxxarray $(top_srcdir)/CREDITS CREDITS.hh
1745@HAVE_PERL_TRUE@	@echo "#include \"CREDITS.hh\"" >$@
1746@HAVE_PERL_TRUE@	$(top_builddir)/utils/text2cxxarray --name=CREDITS_array \
1747@HAVE_PERL_TRUE@		$(top_srcdir)/CREDITS >>$@
1748
1749@HAVE_PERL_FALSE@ppl.hh.sed: Makefile
1750@HAVE_PERL_FALSE@	@echo "/^\/\* BEGIN ppl-config.h \*\/$$/ {"    >$@
1751@HAVE_PERL_FALSE@	@echo "  r $(top_builddir)/ppl-config.h"      >>$@
1752@HAVE_PERL_FALSE@	@echo "  : loop"                              >>$@
1753@HAVE_PERL_FALSE@	@echo "  /\n\/\* END ppl-config.h \*\/$$/ !{" >>$@
1754@HAVE_PERL_FALSE@	@echo "    N"                                 >>$@
1755@HAVE_PERL_FALSE@	@echo "    b loop"                            >>$@
1756@HAVE_PERL_FALSE@	@echo "  }"                                   >>$@
1757@HAVE_PERL_FALSE@	@echo "  d"                                   >>$@
1758@HAVE_PERL_FALSE@	@echo "}"                                     >>$@
1759
1760@HAVE_PERL_FALSE@ppl.hh:	ppl.hh.dist ppl.hh.sed
1761@HAVE_PERL_FALSE@	$(SED) -f ppl.hh.sed ppl.hh.dist >$@
1762@HAVE_PERL_FALSE@	rm -f ppl.hh.sed
1763
1764@HAVE_PERL_FALSE@BUGS.hh:	BUGS.hh.dist
1765@HAVE_PERL_FALSE@	cp -f BUGS.hh.dist $@
1766@HAVE_PERL_FALSE@BUGS.cc:	BUGS.cc.dist
1767@HAVE_PERL_FALSE@	cp -f BUGS.cc.dist $@
1768@HAVE_PERL_FALSE@COPYING.hh:	COPYING.hh.dist
1769@HAVE_PERL_FALSE@	cp -f COPYING.hh.dist $@
1770@HAVE_PERL_FALSE@COPYING.cc:	COPYING.cc.dist
1771@HAVE_PERL_FALSE@	cp -f COPYING.cc.dist $@
1772@HAVE_PERL_FALSE@CREDITS.hh:	CREDITS.hh.dist
1773@HAVE_PERL_FALSE@	cp -f CREDITS.hh.dist $@
1774@HAVE_PERL_FALSE@CREDITS.cc:	CREDITS.cc.dist
1775@HAVE_PERL_FALSE@	cp -f CREDITS.cc.dist $@
1776
1777@USE_PRECOMPILED_HEADERS_TRUE@ppl.hh.gch: ppl.hh
1778@USE_PRECOMPILED_HEADERS_TRUE@	$(CXXCOMPILE) -xc++-header -o $@ ppl.hh
1779
1780# ppl.hh is not distributed.
1781# ppl.hh.dist, which is distributed, is a copy of ppl.hh;
1782# likewise for BUGS.cc.dist, COPYING.cc.dist and CREDITS.cc.dist.
1783dist-hook:
1784	mv -f $(distdir)/ppl.hh $(distdir)/ppl.hh.dist
1785	mv -f $(distdir)/BUGS.hh $(distdir)/BUGS.hh.dist
1786	mv -f $(distdir)/BUGS.cc $(distdir)/BUGS.cc.dist
1787	mv -f $(distdir)/COPYING.hh $(distdir)/COPYING.hh.dist
1788	mv -f $(distdir)/COPYING.cc $(distdir)/COPYING.cc.dist
1789	mv -f $(distdir)/CREDITS.hh $(distdir)/CREDITS.hh.dist
1790	mv -f $(distdir)/CREDITS.cc $(distdir)/CREDITS.cc.dist
1791
1792$(top_builddir)/utils/build_header:
1793	$(MAKE) $(AM_MAKEFLAGS) -C $(top_builddir)/utils build_header
1794
1795$(top_builddir)/utils/text2cxxarray:
1796	$(MAKE) $(AM_MAKEFLAGS) -C $(top_builddir)/utils text2cxxarray
1797
1798$(top_builddir)/ppl-config.h:
1799	$(MAKE) $(AM_MAKEFLAGS) -C $(top_builddir) ppl-config.h
1800
1801# Tell versions [3.59,3.63) of GNU make to not export all variables.
1802# Otherwise a system limit (for SysV at least) may be exceeded.
1803.NOEXPORT:
1804