isl_tab_basic_set_non_trivial_lexmin: extract out init_lexmin_data
[isl.git] / Makefile.am
blob902b4ac61da2e08aa1cfda7f5122bd0b8382b7a6
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_schedule isl_codegen isl_test_int \
15         isl_flow isl_flow_cmp isl_schedule_cmp
16 TESTS = isl_test codegen_test.sh pip_test.sh bound_test.sh isl_test_int \
17         flow_test.sh schedule_test.sh
19 if IMATH_FOR_MP
21 MP_SRC = \
22         isl_hide_deprecated.h \
23         isl_imath.c \
24         isl_imath.h \
25         isl_int_imath.h \
26         imath_wrap/gmp_compat.h \
27         imath_wrap/imath.h \
28         imath_wrap/imrat.h \
29         imath_wrap/wrap.h \
30         imath_wrap/gmp_compat.c \
31         imath_wrap/imath.c \
32         imath_wrap/imrat.c
34 noinst_PROGRAMS += isl_test_imath
35 TESTS += isl_test_imath
37 if SMALL_INT_OPT
38 MP_SRC += isl_int_sioimath.h \
39         isl_int_sioimath.c \
40         isl_val_sioimath.c
41 else
42 MP_SRC += isl_val_imath.c
43 endif
45 DEPRECATED_SRC =
46 MP_INCLUDE_H =
47 endif
49 if GMP_FOR_MP
50 if NEED_GET_MEMORY_FUNCTIONS
51 GET_MEMORY_FUNCTIONS=mp_get_memory_functions.c
52 endif
54 MP_SRC = \
55         $(GET_MEMORY_FUNCTIONS) \
56         isl_int_gmp.h \
57         isl_gmp.c \
58         isl_val_gmp.c
60 DEPRECATED_SRC = isl_ast_int.c
61 MP_INCLUDE_H = include/isl/val_gmp.h
62 endif
64 AM_CPPFLAGS = -I. -I$(srcdir) -I$(srcdir)/include -Iinclude/ @MP_CPPFLAGS@
65 AM_CFLAGS = @WARNING_FLAGS@
67 libisl_la_SOURCES = \
68         $(MP_SRC) \
69         $(DEPRECATED_SRC) \
70         isl_aff.c \
71         isl_aff_private.h \
72         isl_affine_hull.c \
73         isl_arg.c \
74         isl_ast.c \
75         isl_ast_private.h \
76         isl_ast_build.c \
77         isl_ast_build_private.h \
78         isl_ast_build_expr.c \
79         isl_ast_build_expr.h \
80         isl_ast_codegen.c \
81         isl_ast_graft.c \
82         isl_ast_graft_private.h \
83         isl_band.c \
84         isl_band_private.h \
85         isl_basis_reduction.h \
86         basis_reduction_tab.c \
87         isl_bernstein.c \
88         isl_bernstein.h \
89         isl_blk.c \
90         isl_blk.h \
91         isl_bound.c \
92         isl_bound.h \
93         isl_coalesce.c \
94         isl_constraint.c \
95         isl_constraint_private.h \
96         isl_convex_hull.c \
97         isl_ctx.c \
98         isl_ctx_private.h \
99         isl_deprecated.c \
100         isl_dim_map.h \
101         isl_dim_map.c \
102         isl_equalities.c \
103         isl_equalities.h \
104         isl_factorization.c \
105         isl_factorization.h \
106         isl_farkas.c \
107         isl_ffs.c \
108         isl_flow.c \
109         isl_fold.c \
110         isl_hash.c \
111         isl_hash_private.h \
112         isl_id_to_ast_expr.c \
113         isl_id_to_id.c \
114         isl_id_to_pw_aff.c \
115         isl_ilp.c \
116         isl_ilp_private.h \
117         isl_input.c \
118         isl_int.h \
119         isl_local.h \
120         isl_local.c \
121         isl_local_space_private.h \
122         isl_local_space.c \
123         isl_lp.c \
124         isl_lp_private.h \
125         isl_map.c \
126         isl_map_list.c \
127         isl_map_simplify.c \
128         isl_map_subtract.c \
129         isl_map_private.h \
130         isl_map_to_basic_set.c \
131         isl_mat.c \
132         isl_mat_private.h \
133         isl_morph.c \
134         isl_morph.h \
135         isl_id.c \
136         isl_id_private.h \
137         isl_obj.c \
138         isl_options.c \
139         isl_options_private.h \
140         isl_output.c \
141         isl_output_private.h \
142         isl_point_private.h \
143         isl_point.c \
144         isl_polynomial_private.h \
145         isl_polynomial.c \
146         isl_printer_private.h \
147         isl_printer.c \
148         print.c \
149         isl_range.c \
150         isl_range.h \
151         isl_reordering.c \
152         isl_reordering.h \
153         isl_sample.h \
154         isl_sample.c \
155         isl_scan.c \
156         isl_scan.h \
157         isl_schedule.c \
158         isl_schedule_band.c \
159         isl_schedule_band.h \
160         isl_schedule_node.c \
161         isl_schedule_node_private.h \
162         isl_schedule_read.c \
163         isl_schedule_tree.c \
164         isl_schedule_tree.h \
165         isl_schedule_private.h \
166         isl_schedule_constraints.c \
167         isl_schedule_constraints.h \
168         isl_scheduler.c \
169         isl_set_list.c \
170         isl_sort.c \
171         isl_sort.h \
172         isl_space.c \
173         isl_space_private.h \
174         isl_stream.c \
175         isl_stream_private.h \
176         isl_seq.c \
177         isl_seq.h \
178         isl_tab.c \
179         isl_tab.h \
180         isl_tab_pip.c \
181         isl_tarjan.c \
182         isl_tarjan.h \
183         isl_transitive_closure.c \
184         isl_union_map.c \
185         isl_union_map_private.h \
186         isl_union_set_private.h \
187         isl_val.c \
188         isl_val_private.h \
189         isl_vec_private.h \
190         isl_vec.c \
191         isl_version.c \
192         isl_vertices_private.h \
193         isl_vertices.c \
194         isl_yaml.h
195 libisl_la_LIBADD = @MP_LIBS@
196 libisl_la_LDFLAGS = -version-info @versioninfo@ \
197         @MP_LDFLAGS@
199 isl_test_LDFLAGS = @MP_LDFLAGS@
200 isl_test_LDADD = libisl.la @MP_LIBS@
202 isl_test_int_LDFLAGS = @MP_LDFLAGS@
203 isl_test_int_LDADD = libisl.la @MP_LIBS@
205 if IMATH_FOR_MP
206 isl_test_imath_LDFLAGS = @MP_LDFLAGS@
207 isl_test_imath_LDADD = libisl.la @MP_LIBS@
208 endif
210 isl_polyhedron_sample_LDADD = libisl.la
211 isl_polyhedron_sample_SOURCES = \
212         polyhedron_sample.c
214 isl_pip_LDFLAGS = @MP_LDFLAGS@
215 isl_pip_LDADD = libisl.la @MP_LIBS@
216 isl_pip_SOURCES = \
217         pip.c
219 isl_schedule_LDFLAGS = @MP_LDFLAGS@
220 isl_schedule_LDADD = libisl.la @MP_LIBS@
221 isl_schedule_SOURCES = \
222         schedule.c
224 isl_schedule_cmp_LDFLAGS = @MP_LDFLAGS@
225 isl_schedule_cmp_LDADD = libisl.la @MP_LIBS@
226 isl_schedule_cmp_SOURCES = \
227         schedule_cmp.c
229 isl_flow_LDFLAGS = @MP_LDFLAGS@
230 isl_flow_LDADD = libisl.la @MP_LIBS@
231 isl_flow_SOURCES = \
232         flow.c
234 isl_flow_cmp_LDFLAGS = @MP_LDFLAGS@
235 isl_flow_cmp_LDADD = libisl.la @MP_LIBS@
236 isl_flow_cmp_SOURCES = \
237         flow_cmp.c
239 isl_codegen_LDFLAGS = @MP_LDFLAGS@
240 isl_codegen_LDADD = libisl.la @MP_LIBS@
241 isl_codegen_SOURCES = \
242         codegen.c
244 isl_bound_LDFLAGS = @MP_LDFLAGS@
245 isl_bound_LDADD = libisl.la @MP_LIBS@
246 isl_bound_SOURCES = \
247         bound.c
249 isl_polyhedron_minimize_LDFLAGS = @MP_LDFLAGS@
250 isl_polyhedron_minimize_LDADD = libisl.la @MP_LIBS@
251 isl_polyhedron_minimize_SOURCES = \
252         polyhedron_minimize.c
254 isl_polytope_scan_LDADD = libisl.la
255 isl_polytope_scan_SOURCES = \
256         polytope_scan.c
258 isl_polyhedron_detect_equalities_LDADD = libisl.la
259 isl_polyhedron_detect_equalities_SOURCES = \
260         polyhedron_detect_equalities.c
262 isl_cat_LDADD = libisl.la
263 isl_cat_SOURCES = \
264         cat.c
266 isl_closure_LDADD = libisl.la
267 isl_closure_SOURCES = \
268         closure.c
270 nodist_pkginclude_HEADERS = \
271         include/isl/stdint.h
272 pkginclude_HEADERS = \
273         $(MP_INCLUDE_H) \
274         include/isl/aff.h \
275         include/isl/aff_type.h \
276         include/isl/arg.h \
277         include/isl/ast.h \
278         include/isl/ast_type.h \
279         include/isl/ast_build.h \
280         include/isl/band.h \
281         include/isl/constraint.h \
282         include/isl/ctx.h \
283         include/isl/flow.h \
284         include/isl/id.h \
285         include/isl/id_to_ast_expr.h \
286         include/isl/id_to_id.h \
287         include/isl/id_to_pw_aff.h \
288         include/isl/ilp.h \
289         include/isl/hash.h \
290         include/isl/hmap.h \
291         include/isl/hmap_templ.c \
292         include/isl/list.h \
293         include/isl/local_space.h \
294         include/isl/lp.h \
295         include/isl/mat.h \
296         include/isl/map.h \
297         include/isl/map_to_basic_set.h \
298         include/isl/map_type.h \
299         include/isl/maybe.h \
300         include/isl/maybe_ast_expr.h \
301         include/isl/maybe_basic_set.h \
302         include/isl/maybe_id.h \
303         include/isl/maybe_pw_aff.h \
304         include/isl/maybe_templ.h \
305         include/isl/multi.h \
306         include/isl/obj.h \
307         include/isl/options.h \
308         include/isl/point.h \
309         include/isl/polynomial.h \
310         include/isl/polynomial_type.h \
311         include/isl/printer.h \
312         include/isl/printer_type.h \
313         include/isl/schedule.h \
314         include/isl/schedule_node.h \
315         include/isl/schedule_type.h \
316         include/isl/set.h \
317         include/isl/set_type.h \
318         include/isl/space.h \
319         include/isl/stream.h \
320         include/isl/union_map.h \
321         include/isl/union_map_type.h \
322         include/isl/union_set.h \
323         include/isl/union_set_type.h \
324         include/isl/val.h \
325         include/isl/vec.h \
326         include/isl/version.h \
327         include/isl/vertices.h
328 deprecateddir = $(pkgincludedir)/deprecated
329 deprecated_HEADERS = \
330         include/isl/deprecated/int.h \
331         include/isl/deprecated/aff_int.h \
332         include/isl/deprecated/ast_int.h \
333         include/isl/deprecated/constraint_int.h \
334         include/isl/deprecated/ilp_int.h \
335         include/isl/deprecated/map_int.h \
336         include/isl/deprecated/mat_int.h \
337         include/isl/deprecated/point_int.h \
338         include/isl/deprecated/polynomial_int.h \
339         include/isl/deprecated/set_int.h \
340         include/isl/deprecated/union_map_int.h \
341         include/isl/deprecated/val_int.h \
342         include/isl/deprecated/vec_int.h
344 BUILT_SOURCES = gitversion.h
346 CLEANFILES = \
347         gitversion.h
349 DISTCLEANFILES = \
350         isl-uninstalled.sh \
351         isl-uninstalled.pc \
352         isl.pc \
353         isl.pc.in \
354         include/isl/stdint.h
356 EXTRA_DIST = \
357         LICENSE \
358         isl_config_post.h \
359         basis_reduction_templ.c \
360         bset_to_bmap.c \
361         bset_from_bmap.c \
362         extract_key.c \
363         isl_list_templ.c \
364         isl_list_templ.h \
365         isl_map_lexopt_templ.c \
366         isl_maybe_map.h \
367         isl_multi_macro.h \
368         isl_multi_templ.c \
369         isl_multi_templ.h \
370         isl_multi_apply_templ.c \
371         isl_multi_apply_set.c \
372         isl_multi_apply_union_set.c \
373         isl_multi_cmp.c \
374         isl_multi_coalesce.c \
375         isl_multi_floor.c \
376         isl_multi_gist.c \
377         isl_multi_hash.c \
378         isl_multi_intersect.c \
379         print_templ.c \
380         print_templ_yaml.c \
381         isl_power_templ.c \
382         isl_pw_macro.h \
383         isl_pw_templ.c \
384         isl_pw_hash.c \
385         isl_pw_union_opt.c \
386         read_in_string_templ.c \
387         set_to_map.c \
388         set_from_map.c \
389         isl_tab_lexopt_templ.c \
390         isl_union_macro.h \
391         isl_union_templ.c \
392         isl_union_single.c \
393         isl_union_multi.c \
394         isl_union_eval.c \
395         isl_union_neg.c \
396         isl.py \
397         doc/CodingStyle \
398         doc/SubmittingPatches \
399         doc/implementation.tex \
400         doc/isl.bib \
401         doc/mypod2latex \
402         doc/manual.tex \
403         doc/reading.tex \
404         doc/user.pod \
405         imath/gmp_compat.c \
406         imath/gmp_compat.h \
407         imath/imath.c \
408         imath/imath.h \
409         imath/imrat.c \
410         imath/imrat.h \
411         interface/all.h \
412         interface/isl-noexceptions.h.top \
413         interface/isl.py.top \
414         test_inputs
416 dist-hook:
417         echo @GIT_HEAD_VERSION@ > $(distdir)/GIT_HEAD_ID
418         (cd doc; make manual.pdf)
419         cp doc/manual.pdf $(distdir)/doc/
421 pkgconfigdir=$(pkgconfig_libdir)
422 pkgconfig_DATA = $(pkgconfig_libfile)
424 gitversion.h: @GIT_HEAD@
425         $(AM_V_GEN)echo '#define GIT_HEAD_ID "'@GIT_HEAD_VERSION@'"' > $@
427 install-data-local: $(srcdir)/isl.py
428         @libisl=`sed -ne "/^library_names=/{s/.*='//;s/'$$//;s/ .*//;p;}" \
429                  $(builddir)/libisl.la`; \
430         case $$libisl in \
431         '') echo Cannot find isl library name. GDB bindings not installed.;; \
432         *) echo $(INSTALL_DATA) $(srcdir)/isl.py \
433                 $(DESTDIR)$(libdir)/$$libisl-gdb.py; \
434         test -z "$(libdir)" || $(MKDIR_P) "$(DESTDIR)$(libdir)"; \
435         $(INSTALL_DATA) $(srcdir)/isl.py $(DESTDIR)$(libdir)/$$libisl-gdb.py; esac
437 uninstall-local:
438         @libisl=`sed -ne "/^library_names=/{s/.*='//;s/'$$//;s/ .*//;p;}" \
439                  $(builddir)/libisl.la`; \
440         if test -n "$${libisl}"; then \
441                 rm -f $(DESTDIR)$(libdir)/$$libisl-gdb.py; \
442         fi