isl_map_simplify.c: check_for_div_constraints: also check for "better" ones
[isl.git] / Makefile.am
bloba55b9673d64713928d3e2cb89c08013fb3172703
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
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 HAVE_PIPLIB
18 ISL_PIPLIB = \
19         isl_lp_piplib.c \
20         isl_map_piplib.c \
21         isl_sample_piplib.c \
22         isl_sample_piplib.h \
23         isl_piplib.c
24 else
25 ISL_PIPLIB = \
26         isl_lp_no_piplib.c \
27         isl_map_no_piplib.c \
28         isl_sample_no_piplib.c
29 endif
31 if NEED_GET_MEMORY_FUNCTIONS
32 GET_MEMORY_FUNCTIONS=mp_get_memory_functions.c
33 endif
35 INCLUDES = -I. -I$(srcdir) -I$(srcdir)/include -Iinclude/ 
36 AM_CFLAGS = @WARNING_FLAGS@
38 libisl_la_SOURCES = \
39         $(ISL_PIPLIB) \
40         $(GET_MEMORY_FUNCTIONS) \
41         isl_aff.c \
42         isl_aff_private.h \
43         isl_affine_hull.c \
44         isl_arg.c \
45         isl_ast.c \
46         isl_ast_private.h \
47         isl_ast_build.c \
48         isl_ast_build_private.h \
49         isl_ast_build_expr.c \
50         isl_ast_build_expr.h \
51         isl_ast_codegen.c \
52         isl_ast_graft.c \
53         isl_ast_graft_private.h \
54         isl_band.c \
55         isl_band_private.h \
56         isl_basis_reduction.h \
57         basis_reduction_tab.c \
58         isl_bernstein.c \
59         isl_bernstein.h \
60         isl_blk.c \
61         isl_bound.c \
62         isl_bound.h \
63         isl_coalesce.c \
64         isl_constraint.c \
65         isl_constraint_private.h \
66         isl_convex_hull.c \
67         isl_ctx.c \
68         isl_ctx_private.h \
69         isl_deprecated.c \
70         isl_dim.c \
71         isl_dim_map.h \
72         isl_dim_map.c \
73         isl_equalities.c \
74         isl_equalities.h \
75         isl_factorization.c \
76         isl_factorization.h \
77         isl_farkas.c \
78         isl_flow.c \
79         isl_fold.c \
80         isl_gmp.c \
81         isl_hash.c \
82         isl_hmap_map_basic_set.c \
83         isl_hmap_map_basic_set.h \
84         isl_ilp.c \
85         isl_input.c \
86         isl_list.c \
87         isl_list_private.h \
88         isl_local_space_private.h \
89         isl_local_space.c \
90         isl_lp.c \
91         isl_lp_piplib.h \
92         isl_map.c \
93         isl_map_simplify.c \
94         isl_map_subtract.c \
95         isl_map_private.h \
96         isl_map_piplib.h \
97         isl_mat.c \
98         isl_mat_private.h \
99         isl_morph.c \
100         isl_morph.h \
101         isl_id.c \
102         isl_id_private.h \
103         isl_obj.c \
104         isl_options.c \
105         isl_options_private.h \
106         isl_output.c \
107         isl_piplib.h \
108         isl_point_private.h \
109         isl_point.c \
110         isl_polynomial_private.h \
111         isl_polynomial.c \
112         isl_printer_private.h \
113         isl_printer.c \
114         print.c \
115         isl_range.c \
116         isl_range.h \
117         isl_reordering.c \
118         isl_reordering.h \
119         isl_sample.h \
120         isl_sample.c \
121         isl_scan.c \
122         isl_scan.h \
123         isl_schedule.c \
124         isl_schedule_private.h \
125         isl_sort.c \
126         isl_sort.h \
127         isl_space.c \
128         isl_space_private.h \
129         isl_stream.c \
130         isl_stream_private.h \
131         isl_seq.c \
132         isl_tab.c \
133         isl_tab.h \
134         isl_tab_pip.c \
135         isl_tarjan.c \
136         isl_tarjan.h \
137         isl_transitive_closure.c \
138         isl_union_map.c \
139         isl_union_map_private.h \
140         isl_vec.c \
141         isl_version.c \
142         isl_vertices_private.h \
143         isl_vertices.c
144 EXTRA_libisl_la_SOURCES = \
145         isl_lp_piplib.c \
146         isl_lp_no_piplib.c \
147         isl_map_piplib.c \
148         isl_map_no_piplib.c \
149         isl_sample_no_piplib.c \
150         isl_sample_piplib.c \
151         isl_sample_piplib.h \
152         isl_piplib.c
153 libisl_la_LIBADD = @PIPLIB_LIBS@ @GMP_LIBS@
154 libisl_la_LDFLAGS = -version-info @versioninfo@ \
155         @PIPLIB_LDFLAGS@ @GMP_LDFLAGS@
156 libisl_la_CPPFLAGS = $(INCLUDES) @PIPLIB_CPPFLAGS@ @GMP_CPPFLAGS@
158 isl_test_CPPFLAGS = $(INCLUDES) @GMP_CPPFLAGS@
159 isl_test_LDFLAGS = @GMP_LDFLAGS@
160 isl_test_LDADD = libisl.la @GMP_LIBS@
162 isl_polyhedron_sample_CPPFLAGS = $(INCLUDES) @GMP_CPPFLAGS@
163 isl_polyhedron_sample_LDADD = libisl.la
164 isl_polyhedron_sample_SOURCES = \
165         polyhedron_sample.c
167 isl_pip_CPPFLAGS = $(INCLUDES) @GMP_CPPFLAGS@
168 isl_pip_LDFLAGS = @GMP_LDFLAGS@
169 isl_pip_LDADD = libisl.la @GMP_LIBS@
170 isl_pip_SOURCES = \
171         pip.c
173 isl_codegen_CPPFLAGS = $(INCLUDES) @GMP_CPPFLAGS@
174 isl_codegen_LDFLAGS = @GMP_LDFLAGS@
175 isl_codegen_LDADD = libisl.la @GMP_LIBS@
176 isl_codegen_SOURCES = \
177         codegen.c
179 isl_bound_CPPFLAGS = $(INCLUDES) @GMP_CPPFLAGS@
180 isl_bound_LDFLAGS = @GMP_LDFLAGS@
181 isl_bound_LDADD = libisl.la @GMP_LIBS@
182 isl_bound_SOURCES = \
183         bound.c
185 isl_polyhedron_minimize_CPPFLAGS = $(INCLUDES) @GMP_CPPFLAGS@
186 isl_polyhedron_minimize_LDFLAGS = @GMP_LDFLAGS@
187 isl_polyhedron_minimize_LDADD = libisl.la @GMP_LIBS@
188 isl_polyhedron_minimize_SOURCES = \
189         polyhedron_minimize.c
191 isl_polytope_scan_CPPFLAGS = $(INCLUDES) @GMP_CPPFLAGS@
192 isl_polytope_scan_LDADD = libisl.la
193 isl_polytope_scan_SOURCES = \
194         polytope_scan.c
196 isl_polyhedron_detect_equalities_CPPFLAGS = $(INCLUDES) @GMP_CPPFLAGS@
197 isl_polyhedron_detect_equalities_LDADD = libisl.la
198 isl_polyhedron_detect_equalities_SOURCES = \
199         polyhedron_detect_equalities.c
201 isl_cat_CPPFLAGS = $(INCLUDES) @GMP_CPPFLAGS@
202 isl_cat_LDADD = libisl.la
203 isl_cat_SOURCES = \
204         cat.c
206 isl_closure_CPPFLAGS = $(INCLUDES) @GMP_CPPFLAGS@
207 isl_closure_LDADD = libisl.la
208 isl_closure_SOURCES = \
209         closure.c
211 nodist_pkginclude_HEADERS = \
212         include/isl/config.h \
213         include/isl/stdint.h
214 pkginclude_HEADERS = \
215         include/isl/aff.h \
216         include/isl/aff_type.h \
217         include/isl/arg.h \
218         include/isl/ast.h \
219         include/isl/ast_build.h \
220         include/isl/band.h \
221         include/isl/blk.h \
222         include/isl/constraint.h \
223         include/isl/ctx.h \
224         include/isl/dim.h \
225         include/isl/flow.h \
226         include/isl/id.h \
227         include/isl/ilp.h \
228         include/isl/int.h \
229         include/isl/hash.h \
230         include/isl/list.h \
231         include/isl/local_space.h \
232         include/isl/lp.h \
233         include/isl/mat.h \
234         include/isl/map.h \
235         include/isl/map_type.h \
236         include/isl/multi.h \
237         include/isl/obj.h \
238         include/isl/options.h \
239         include/isl/point.h \
240         include/isl/polynomial.h \
241         include/isl/polynomial_type.h \
242         include/isl/printer.h \
243         include/isl/schedule.h \
244         include/isl/seq.h \
245         include/isl/set.h \
246         include/isl/set_type.h \
247         include/isl/space.h \
248         include/isl/stream.h \
249         include/isl/union_map.h \
250         include/isl/union_map_type.h \
251         include/isl/union_set.h \
252         include/isl/union_set_type.h \
253         include/isl/vec.h \
254         include/isl/version.h \
255         include/isl/vertices.h
257 EXTRA_DIST = \
258         LICENSE \
259         isl_config_post.h \
260         basis_reduction_templ.c \
261         isl_list_templ.c \
262         isl_list_templ.h \
263         isl_map_lexopt_templ.c \
264         isl_multi_templ.c \
265         isl_multi_templ.h \
266         print_templ.c \
267         isl_power_templ.c \
268         isl_pw_templ.c \
269         isl_union_templ.c \
270         isl.py \
271         doc/SubmittingPatches \
272         doc/chicago.bst \
273         doc/chicago.sty \
274         doc/implementation.tex \
275         doc/isl.bib \
276         doc/mypod2latex \
277         doc/manual.tex \
278         doc/user.pod \
279         test_inputs
281 dist-hook:
282         echo @GIT_HEAD_VERSION@ > $(distdir)/GIT_HEAD_ID
283         (cd doc; make manual.pdf)
284         cp doc/manual.pdf $(distdir)/doc/
286 pkgconfigdir=$(pkgconfig_libdir)
287 pkgconfig_DATA = $(pkgconfig_libfile)
289 gitversion.h: @GIT_HEAD@
290         $(AM_V_GEN)echo '#define GIT_HEAD_ID "'@GIT_HEAD_VERSION@'"' > $@
292 install-data-local: $(srcdir)/isl.py
293         @libisl=`sed -ne "/^library_names=/{s/.*='//;s/'$$//;s/ .*//;p;}" \
294                  $(builddir)/libisl.la`; \
295         case $$libisl in \
296         '') echo Cannot find isl library name. GDB bindings not installed.;; \
297         *) echo $(INSTALL_DATA) $(srcdir)/isl.py \
298                 $(DESTDIR)$(libdir)/$$libisl-gdb.py; \
299         test -z "$(libdir)" || $(MKDIR_P) "$(DESTDIR)$(libdir)"; \
300         $(INSTALL_DATA) $(srcdir)/isl.py $(DESTDIR)$(libdir)/$$libisl-gdb.py; esac