isl_output.c: print_disjunct: use names from space argument
[isl.git] / Makefile.am
blob0d34fc097fbd6ada6a56ad640f37b3a5ce8c369e
1 if HAVE_CLANG
2     MAYBE_INTERFACE = interface
3 endif
4 SUBDIRS = . $(MAYBE_INTERFACE) doc
5 DIST_SUBDIRS = $(MAYBE_INTERFACE) doc
7 ACLOCAL_AMFLAGS = -I m4
8 AUTOMAKE_OPTIONS = nostdinc subdir-objects
10 lib_LTLIBRARIES = libisl.la
11 noinst_PROGRAMS = isl_test isl_polyhedron_sample isl_pip \
12         isl_polyhedron_minimize isl_polytope_scan \
13         isl_polyhedron_detect_equalities isl_cat \
14         isl_closure isl_bound isl_codegen
15 TESTS = isl_test codegen_test.sh pip_test.sh bound_test.sh
17 if IMATH_FOR_MP
19 MP_SRC = \
20         isl_hide_deprecated.h \
21         isl_imath.c \
22         isl_imath.h \
23         isl_int_imath.h \
24         isl_val_imath.c \
25         imath_wrap/gmp_compat.h \
26         imath_wrap/imath.h \
27         imath_wrap/imrat.h \
28         imath_wrap/wrap.h \
29         imath_wrap/gmp_compat.c \
30         imath_wrap/imath.c \
31         imath_wrap/imrat.c
33 DEPRECATED_SRC =
34 MP_INCLUDE_H =
35 endif
37 if GMP_FOR_MP
38 if NEED_GET_MEMORY_FUNCTIONS
39 GET_MEMORY_FUNCTIONS=mp_get_memory_functions.c
40 endif
42 MP_SRC = \
43         $(GET_MEMORY_FUNCTIONS) \
44         isl_int_gmp.h \
45         isl_gmp.c \
46         isl_val_gmp.c
48 DEPRECATED_SRC = isl_ast_int.c
49 MP_INCLUDE_H = include/isl/val_gmp.h
50 endif
52 AM_CPPFLAGS = -I. -I$(srcdir) -I$(srcdir)/include -Iinclude/ @MP_CPPFLAGS@
53 AM_CFLAGS = @WARNING_FLAGS@
55 libisl_la_SOURCES = \
56         $(MP_SRC) \
57         $(DEPRECATED_SRC) \
58         isl_aff.c \
59         isl_aff_private.h \
60         isl_affine_hull.c \
61         isl_arg.c \
62         isl_ast.c \
63         isl_ast_private.h \
64         isl_ast_build.c \
65         isl_ast_build_private.h \
66         isl_ast_build_expr.c \
67         isl_ast_build_expr.h \
68         isl_ast_codegen.c \
69         isl_ast_graft.c \
70         isl_ast_graft_private.h \
71         isl_band.c \
72         isl_band_private.h \
73         isl_basis_reduction.h \
74         basis_reduction_tab.c \
75         isl_bernstein.c \
76         isl_bernstein.h \
77         isl_blk.c \
78         isl_blk.h \
79         isl_bound.c \
80         isl_bound.h \
81         isl_coalesce.c \
82         isl_constraint.c \
83         isl_constraint_private.h \
84         isl_convex_hull.c \
85         isl_ctx.c \
86         isl_ctx_private.h \
87         isl_deprecated.c \
88         isl_dim_map.h \
89         isl_dim_map.c \
90         isl_equalities.c \
91         isl_equalities.h \
92         isl_factorization.c \
93         isl_factorization.h \
94         isl_farkas.c \
95         isl_flow.c \
96         isl_fold.c \
97         isl_hash.c \
98         isl_hash_private.h \
99         isl_id_to_ast_expr.c \
100         isl_id_to_pw_aff.c \
101         isl_ilp.c \
102         isl_ilp_private.h \
103         isl_input.c \
104         isl_int.h \
105         isl_local_space_private.h \
106         isl_local_space.c \
107         isl_lp.c \
108         isl_lp_private.h \
109         isl_map.c \
110         isl_map_list.c \
111         isl_map_simplify.c \
112         isl_map_subtract.c \
113         isl_map_private.h \
114         isl_map_to_basic_set.c \
115         isl_mat.c \
116         isl_mat_private.h \
117         isl_morph.c \
118         isl_morph.h \
119         isl_id.c \
120         isl_id_private.h \
121         isl_obj.c \
122         isl_options.c \
123         isl_options_private.h \
124         isl_output.c \
125         isl_point_private.h \
126         isl_point.c \
127         isl_polynomial_private.h \
128         isl_polynomial.c \
129         isl_printer_private.h \
130         isl_printer.c \
131         print.c \
132         isl_range.c \
133         isl_range.h \
134         isl_reordering.c \
135         isl_reordering.h \
136         isl_sample.h \
137         isl_sample.c \
138         isl_scan.c \
139         isl_scan.h \
140         isl_schedule.c \
141         isl_schedule_band.c \
142         isl_schedule_band.h \
143         isl_schedule_node.c \
144         isl_schedule_node_private.h \
145         isl_schedule_read.c \
146         isl_schedule_tree.c \
147         isl_schedule_tree.h \
148         isl_schedule_private.h \
149         isl_scheduler.c \
150         isl_set_list.c \
151         isl_sort.c \
152         isl_sort.h \
153         isl_space.c \
154         isl_space_private.h \
155         isl_stream.c \
156         isl_stream_private.h \
157         isl_seq.c \
158         isl_seq.h \
159         isl_tab.c \
160         isl_tab.h \
161         isl_tab_pip.c \
162         isl_tarjan.c \
163         isl_tarjan.h \
164         isl_transitive_closure.c \
165         isl_union_map.c \
166         isl_union_map_private.h \
167         isl_val.c \
168         isl_val_private.h \
169         isl_vec_private.h \
170         isl_vec.c \
171         isl_version.c \
172         isl_vertices_private.h \
173         isl_vertices.c \
174         isl_yaml.h
175 libisl_la_LIBADD = @MP_LIBS@
176 libisl_la_LDFLAGS = -version-info @versioninfo@ \
177         @MP_LDFLAGS@
179 isl_test_LDFLAGS = @MP_LDFLAGS@
180 isl_test_LDADD = libisl.la @MP_LIBS@
182 isl_polyhedron_sample_LDADD = libisl.la
183 isl_polyhedron_sample_SOURCES = \
184         polyhedron_sample.c
186 isl_pip_LDFLAGS = @MP_LDFLAGS@
187 isl_pip_LDADD = libisl.la @MP_LIBS@
188 isl_pip_SOURCES = \
189         pip.c
191 isl_codegen_LDFLAGS = @MP_LDFLAGS@
192 isl_codegen_LDADD = libisl.la @MP_LIBS@
193 isl_codegen_SOURCES = \
194         codegen.c
196 isl_bound_LDFLAGS = @MP_LDFLAGS@
197 isl_bound_LDADD = libisl.la @MP_LIBS@
198 isl_bound_SOURCES = \
199         bound.c
201 isl_polyhedron_minimize_LDFLAGS = @MP_LDFLAGS@
202 isl_polyhedron_minimize_LDADD = libisl.la @MP_LIBS@
203 isl_polyhedron_minimize_SOURCES = \
204         polyhedron_minimize.c
206 isl_polytope_scan_LDADD = libisl.la
207 isl_polytope_scan_SOURCES = \
208         polytope_scan.c
210 isl_polyhedron_detect_equalities_LDADD = libisl.la
211 isl_polyhedron_detect_equalities_SOURCES = \
212         polyhedron_detect_equalities.c
214 isl_cat_LDADD = libisl.la
215 isl_cat_SOURCES = \
216         cat.c
218 isl_closure_LDADD = libisl.la
219 isl_closure_SOURCES = \
220         closure.c
222 nodist_pkginclude_HEADERS = \
223         include/isl/stdint.h
224 pkginclude_HEADERS = \
225         $(MP_INCLUDE_H) \
226         include/isl/aff.h \
227         include/isl/aff_type.h \
228         include/isl/arg.h \
229         include/isl/ast.h \
230         include/isl/ast_type.h \
231         include/isl/ast_build.h \
232         include/isl/band.h \
233         include/isl/constraint.h \
234         include/isl/ctx.h \
235         include/isl/flow.h \
236         include/isl/id.h \
237         include/isl/id_to_ast_expr.h \
238         include/isl/id_to_pw_aff.h \
239         include/isl/ilp.h \
240         include/isl/hash.h \
241         include/isl/hmap.h \
242         include/isl/list.h \
243         include/isl/local_space.h \
244         include/isl/lp.h \
245         include/isl/mat.h \
246         include/isl/map.h \
247         include/isl/map_to_basic_set.h \
248         include/isl/map_type.h \
249         include/isl/multi.h \
250         include/isl/obj.h \
251         include/isl/options.h \
252         include/isl/point.h \
253         include/isl/polynomial.h \
254         include/isl/polynomial_type.h \
255         include/isl/printer.h \
256         include/isl/schedule.h \
257         include/isl/schedule_node.h \
258         include/isl/schedule_type.h \
259         include/isl/set.h \
260         include/isl/set_type.h \
261         include/isl/space.h \
262         include/isl/stream.h \
263         include/isl/union_map.h \
264         include/isl/union_map_type.h \
265         include/isl/union_set.h \
266         include/isl/union_set_type.h \
267         include/isl/val.h \
268         include/isl/vec.h \
269         include/isl/version.h \
270         include/isl/vertices.h
271 deprecateddir = $(pkgincludedir)/deprecated
272 deprecated_HEADERS = \
273         include/isl/deprecated/int.h \
274         include/isl/deprecated/aff_int.h \
275         include/isl/deprecated/ast_int.h \
276         include/isl/deprecated/constraint_int.h \
277         include/isl/deprecated/ilp_int.h \
278         include/isl/deprecated/map_int.h \
279         include/isl/deprecated/mat_int.h \
280         include/isl/deprecated/point_int.h \
281         include/isl/deprecated/polynomial_int.h \
282         include/isl/deprecated/set_int.h \
283         include/isl/deprecated/union_map_int.h \
284         include/isl/deprecated/val_int.h \
285         include/isl/deprecated/vec_int.h
287 EXTRA_DIST = \
288         LICENSE \
289         isl_config_post.h \
290         basis_reduction_templ.c \
291         isl_hmap_templ.c \
292         isl_list_templ.c \
293         isl_list_templ.h \
294         isl_map_lexopt_templ.c \
295         isl_multi_macro.h \
296         isl_multi_templ.c \
297         isl_multi_templ.h \
298         isl_multi_apply_templ.c \
299         isl_multi_apply_set.c \
300         isl_multi_apply_union_set.c \
301         isl_multi_floor.c \
302         isl_multi_gist.c \
303         isl_multi_intersect.c \
304         print_templ.c \
305         isl_power_templ.c \
306         isl_pw_templ.c \
307         isl_union_templ.c \
308         isl.py \
309         doc/CodingStyle \
310         doc/SubmittingPatches \
311         doc/chicago.bst \
312         doc/chicago.sty \
313         doc/implementation.tex \
314         doc/isl.bib \
315         doc/mypod2latex \
316         doc/manual.tex \
317         doc/user.pod \
318         imath/gmp_compat.c \
319         imath/gmp_compat.h \
320         imath/imath.c \
321         imath/imath.h \
322         imath/imrat.c \
323         imath/imrat.h \
324         interface/all.h \
325         interface/isl.py.top \
326         test_inputs
328 dist-hook:
329         echo @GIT_HEAD_VERSION@ > $(distdir)/GIT_HEAD_ID
330         (cd doc; make manual.pdf)
331         cp doc/manual.pdf $(distdir)/doc/
333 pkgconfigdir=$(pkgconfig_libdir)
334 pkgconfig_DATA = $(pkgconfig_libfile)
336 gitversion.h: @GIT_HEAD@
337         $(AM_V_GEN)echo '#define GIT_HEAD_ID "'@GIT_HEAD_VERSION@'"' > $@
339 install-data-local: $(srcdir)/isl.py
340         @libisl=`sed -ne "/^library_names=/{s/.*='//;s/'$$//;s/ .*//;p;}" \
341                  $(builddir)/libisl.la`; \
342         case $$libisl in \
343         '') echo Cannot find isl library name. GDB bindings not installed.;; \
344         *) echo $(INSTALL_DATA) $(srcdir)/isl.py \
345                 $(DESTDIR)$(libdir)/$$libisl-gdb.py; \
346         test -z "$(libdir)" || $(MKDIR_P) "$(DESTDIR)$(libdir)"; \
347         $(INSTALL_DATA) $(srcdir)/isl.py $(DESTDIR)$(libdir)/$$libisl-gdb.py; esac