add isl_constraint_involves_dims
[isl.git] / Makefile.am
blobf9f17bb2a9fe66b1f0f679b713b76fad9b68a94c
1 SUBDIRS = . doc
2 DIST_SUBDIRS = doc
4 ACLOCAL_AMFLAGS = -I m4
5 AUTOMAKE_OPTIONS = nostdinc
7 lib_LTLIBRARIES = libisl.la
8 noinst_PROGRAMS = isl_test isl_polyhedron_sample isl_pip \
9         isl_polyhedron_minimize isl_polytope_scan \
10         isl_polyhedron_detect_equalities isl_cat \
11         isl_closure isl_bound
12 TESTS = isl_test pip_test.sh bound_test.sh
14 if HAVE_PIPLIB
15 ISL_PIPLIB = \
16         isl_lp_piplib.c \
17         isl_map_piplib.c \
18         isl_sample_piplib.c \
19         isl_sample_piplib.h \
20         isl_piplib.c
21 else
22 ISL_PIPLIB = \
23         isl_lp_no_piplib.c \
24         isl_map_no_piplib.c \
25         isl_sample_no_piplib.c
26 endif
28 if NEED_GET_MEMORY_FUNCTIONS
29 GET_MEMORY_FUNCTIONS=mp_get_memory_functions.c
30 endif
32 INCLUDES = -I. -I$(srcdir) -I$(srcdir)/include -Iinclude/ 
34 libisl_la_SOURCES = \
35         $(ISL_PIPLIB) \
36         $(GET_MEMORY_FUNCTIONS) \
37         isl_affine_hull.c \
38         isl_arg.c \
39         isl_basis_reduction.h \
40         basis_reduction_tab.c \
41         isl_bernstein.c \
42         isl_bernstein.h \
43         isl_blk.c \
44         isl_bound.c \
45         isl_bound.h \
46         isl_coalesce.c \
47         isl_constraint.c \
48         isl_convex_hull.c \
49         isl_ctx.c \
50         isl_ctx_private.h \
51         isl_dim.c \
52         isl_dim_private.h \
53         isl_dim_map.h \
54         isl_dim_map.c \
55         isl_div.c \
56         isl_div_private.h \
57         isl_equalities.c \
58         isl_equalities.h \
59         isl_factorization.c \
60         isl_factorization.h \
61         isl_farkas.c \
62         isl_flow.c \
63         isl_fold.c \
64         isl_gmp.c \
65         isl_hash.c \
66         isl_hmap_map_basic_set.c \
67         isl_hmap_map_basic_set.h \
68         isl_ilp.c \
69         isl_input.c \
70         isl_list.c \
71         isl_lp.c \
72         isl_lp_piplib.h \
73         isl_map.c \
74         isl_map_simplify.c \
75         isl_map_subtract.c \
76         isl_map_private.h \
77         isl_map_piplib.h \
78         isl_mat.c \
79         isl_mat_private.h \
80         isl_morph.c \
81         isl_morph.h \
82         isl_name.c \
83         isl_name.h \
84         isl_obj.c \
85         isl_options.c \
86         isl_output.c \
87         isl_qsort.c \
88         isl_qsort.h \
89         isl_piplib.h \
90         isl_point_private.h \
91         isl_point.c \
92         isl_polynomial_private.h \
93         isl_polynomial.c \
94         isl_printer_private.h \
95         isl_printer.c \
96         isl_range.c \
97         isl_range.h \
98         isl_reordering.c \
99         isl_reordering.h \
100         isl_sample.h \
101         isl_sample.c \
102         isl_scan.c \
103         isl_scan.h \
104         isl_schedule.c \
105         isl_stream.c \
106         isl_seq.c \
107         isl_tab.c \
108         isl_tab.h \
109         isl_tab_pip.c \
110         isl_transitive_closure.c \
111         isl_union_map.c \
112         isl_union_map_private.h \
113         isl_vec.c \
114         isl_version.c \
115         isl_vertices_private.h \
116         isl_vertices.c
117 EXTRA_libisl_la_SOURCES = \
118         isl_lp_piplib.c \
119         isl_lp_no_piplib.c \
120         isl_map_piplib.c \
121         isl_map_no_piplib.c \
122         isl_sample_no_piplib.c \
123         isl_sample_piplib.c \
124         isl_sample_piplib.h \
125         isl_piplib.c
126 libisl_la_LIBADD = @PIPLIB_LIBS@ -lgmp
127 libisl_la_LDFLAGS = -version-info @versioninfo@ \
128         @PIPLIB_LDFLAGS@ @GMP_LDFLAGS@
129 libisl_la_CPPFLAGS = $(INCLUDES) @PIPLIB_CPPFLAGS@ @GMP_CPPFLAGS@
131 isl_test_CPPFLAGS = $(INCLUDES) @GMP_CPPFLAGS@
132 isl_test_LDFLAGS = @GMP_LDFLAGS@
133 isl_test_LDADD = libisl.la -lgmp
135 isl_polyhedron_sample_CPPFLAGS = $(INCLUDES) @GMP_CPPFLAGS@
136 isl_polyhedron_sample_LDADD = libisl.la
137 isl_polyhedron_sample_SOURCES = \
138         polyhedron_sample.c
140 isl_pip_CPPFLAGS = $(INCLUDES) @GMP_CPPFLAGS@
141 isl_pip_LDFLAGS = @GMP_LDFLAGS@
142 isl_pip_LDADD = libisl.la -lgmp
143 isl_pip_SOURCES = \
144         pip.c
146 isl_bound_CPPFLAGS = $(INCLUDES) @GMP_CPPFLAGS@
147 isl_bound_LDFLAGS = @GMP_LDFLAGS@
148 isl_bound_LDADD = libisl.la -lgmp
149 isl_bound_SOURCES = \
150         bound.c
152 isl_polyhedron_minimize_CPPFLAGS = $(INCLUDES) @GMP_CPPFLAGS@
153 isl_polyhedron_minimize_LDFLAGS = @GMP_LDFLAGS@
154 isl_polyhedron_minimize_LDADD = libisl.la -lgmp
155 isl_polyhedron_minimize_SOURCES = \
156         polyhedron_minimize.c
158 isl_polytope_scan_CPPFLAGS = $(INCLUDES) @GMP_CPPFLAGS@
159 isl_polytope_scan_LDADD = libisl.la
160 isl_polytope_scan_SOURCES = \
161         polytope_scan.c
163 isl_polyhedron_detect_equalities_CPPFLAGS = $(INCLUDES) @GMP_CPPFLAGS@
164 isl_polyhedron_detect_equalities_LDADD = libisl.la
165 isl_polyhedron_detect_equalities_SOURCES = \
166         polyhedron_detect_equalities.c
168 isl_cat_CPPFLAGS = $(INCLUDES) @GMP_CPPFLAGS@
169 isl_cat_LDADD = libisl.la
170 isl_cat_SOURCES = \
171         cat.c
173 isl_closure_CPPFLAGS = $(INCLUDES) @GMP_CPPFLAGS@
174 isl_closure_LDADD = libisl.la
175 isl_closure_SOURCES = \
176         closure.c
178 nodist_pkginclude_HEADERS = \
179         include/isl/config.h \
180         include/isl/stdint.h
181 pkginclude_HEADERS = \
182         include/isl/arg.h \
183         include/isl/blk.h \
184         include/isl/constraint.h \
185         include/isl/ctx.h \
186         include/isl/dim.h \
187         include/isl/div.h \
188         include/isl/flow.h \
189         include/isl/ilp.h \
190         include/isl/int.h \
191         include/isl/hash.h \
192         include/isl/list.h \
193         include/isl/lp.h \
194         include/isl/mat.h \
195         include/isl/map.h \
196         include/isl/obj.h \
197         include/isl/options.h \
198         include/isl/point.h \
199         include/isl/polynomial.h \
200         include/isl/printer.h \
201         include/isl/schedule.h \
202         include/isl/seq.h \
203         include/isl/set.h \
204         include/isl/stream.h \
205         include/isl/union_map.h \
206         include/isl/union_set.h \
207         include/isl/vec.h \
208         include/isl/version.h \
209         include/isl/vertices.h
211 EXTRA_DIST = \
212         basis_reduction_templ.c \
213         isl_pw_templ.c \
214         isl_union_templ.c \
215         isl.py \
216         doc/chicago.bst \
217         doc/chicago.sty \
218         doc/implementation.tex \
219         doc/isl.bib \
220         doc/mypod2latex \
221         doc/manual.tex \
222         doc/user.pod \
223         bound_test.sh \
224         pip_test.sh \
225         test_inputs
227 dist-hook:
228         echo @GIT_HEAD_VERSION@ > $(distdir)/GIT_HEAD_ID
229         (cd doc; make manual.pdf)
230         cp doc/manual.pdf $(distdir)/doc/
232 pkgconfigdir=$(pkgconfig_libdir)
233 pkgconfig_DATA = $(pkgconfig_libfile)
235 gitversion.h: @GIT_HEAD@
236         $(AM_V_GEN)echo '#define GIT_HEAD_ID "'@GIT_HEAD_VERSION@'"' > $@
238 install-data-local: $(srcdir)/isl.py
239         @libisl=`sed -ne "/^library_names=/{s/.*='//;s/'$$//;s/ .*//;p}" \
240                  $(builddir)/libisl.la`; \
241         case $$libisl in \
242         '') echo Cannot find isl library name. GDB bindings not installed.;; \
243         *) echo $(INSTALL_DATA) $(srcdir)/isl.py \
244                 $(DESTDIR)$(libdir)/$$libisl-gdb.py; \
245         test -z "$(libdir)" || $(MKDIR_P) "$(DESTDIR)$(libdir)"; \
246         $(INSTALL_DATA) $(srcdir)/isl.py $(DESTDIR)$(libdir)/$$libisl-gdb.py; esac