generalize isl_pw_qpolynomial_bound to isl_pw_qpolynomial_fold_bound
[isl.git] / Makefile.am
blob92241961bc167a8a505e7ce62010aa6f825d8fc5
1 SUBDIRS = . doc
2 DIST_SUBDIRS = doc
4 ACLOCAL_AMFLAGS = -I m4
6 lib_LTLIBRARIES = libisl.la
7 noinst_PROGRAMS = isl_test isl_polyhedron_sample isl_pip \
8         isl_polyhedron_minimize isl_polytope_scan \
9         isl_polyhedron_detect_equalities isl_cat \
10         isl_closure isl_bound
11 TESTS = isl_test pip_test.sh bound_test.sh
13 if HAVE_PIPLIB
14 ISL_PIPLIB = \
15         isl_lp_piplib.c \
16         isl_map_piplib.c \
17         isl_sample_piplib.c \
18         isl_sample_piplib.h \
19         isl_piplib.c
20 else
21 ISL_PIPLIB = \
22         isl_lp_no_piplib.c \
23         isl_map_no_piplib.c \
24         isl_sample_no_piplib.c
25 endif
27 if NEED_GET_MEMORY_FUNCTIONS
28 GET_MEMORY_FUNCTIONS=mp_get_memory_functions.c
29 endif
31 libisl_la_SOURCES = \
32         $(ISL_PIPLIB) \
33         $(GET_MEMORY_FUNCTIONS) \
34         isl_affine_hull.c \
35         isl_arg.c \
36         isl_basis_reduction.h \
37         basis_reduction_tab.c \
38         isl_blk.c \
39         isl_bound.c \
40         isl_bound.h \
41         isl_coalesce.c \
42         isl_constraint.c \
43         isl_convex_hull.c \
44         isl_ctx.c \
45         isl_dim.c \
46         isl_dim_private.h \
47         isl_div.c \
48         isl_equalities.c \
49         isl_equalities.h \
50         isl_factorization.c \
51         isl_factorization.h \
52         isl_flow.c \
53         isl_fold.c \
54         isl_gmp.c \
55         isl_hash.c \
56         isl_ilp.c \
57         isl_input.c \
58         isl_list.c \
59         isl_lp.c \
60         isl_lp_piplib.h \
61         isl_map.c \
62         isl_map_simplify.c \
63         isl_map_subtract.c \
64         isl_map_private.h \
65         isl_map_piplib.h \
66         isl_mat.c \
67         isl_morph.c \
68         isl_morph.h \
69         isl_name.c \
70         isl_name.h \
71         isl_obj.c \
72         isl_options.c \
73         isl_output.c \
74         isl_piplib.h \
75         isl_point_private.h \
76         isl_point.c \
77         isl_polynomial_private.h \
78         isl_polynomial.c \
79         isl_printer_private.h \
80         isl_printer.c \
81         isl_range.c \
82         isl_range.h \
83         isl_sample.h \
84         isl_sample.c \
85         isl_scan.c \
86         isl_scan.h \
87         isl_stream.c \
88         isl_seq.c \
89         isl_tab.c \
90         isl_tab.h \
91         isl_tab_pip.c \
92         isl_transitive_closure.c \
93         isl_vec.c
94 EXTRA_libisl_la_SOURCES = \
95         isl_lp_piplib.c \
96         isl_lp_no_piplib.c \
97         isl_map_piplib.c \
98         isl_map_no_piplib.c \
99         isl_sample_no_piplib.c \
100         isl_sample_piplib.c \
101         isl_sample_piplib.h \
102         isl_piplib.c
103 libisl_la_LIBADD = @PIPLIB_LIBS@ -lgmp
104 libisl_la_LDFLAGS = -version-info @versioninfo@ \
105         @PIPLIB_LDFLAGS@ @GMP_LDFLAGS@
106 libisl_la_CPPFLAGS = -I$(srcdir)/include -Iinclude/ \
107         @PIPLIB_CPPFLAGS@ @GMP_CPPFLAGS@
109 isl_test_CPPFLAGS = -I$(srcdir)/include -Iinclude/ @GMP_CPPFLAGS@
110 isl_test_LDADD = libisl.la
112 isl_polyhedron_sample_CPPFLAGS = -I$(srcdir)/include -Iinclude/ \
113         @GMP_CPPFLAGS@
114 isl_polyhedron_sample_LDADD = libisl.la
115 isl_polyhedron_sample_SOURCES = \
116         polyhedron_sample.c
118 isl_pip_CPPFLAGS = -I$(srcdir)/include -Iinclude/ \
119         @GMP_CPPFLAGS@
120 isl_pip_LDADD = libisl.la
121 isl_pip_SOURCES = \
122         pip.c
124 isl_bound_CPPFLAGS = -I$(srcdir)/include -Iinclude/ \
125         @GMP_CPPFLAGS@
126 isl_bound_LDADD = libisl.la
127 isl_bound_SOURCES = \
128         bound.c
130 isl_polyhedron_minimize_CPPFLAGS = -I$(srcdir)/include -Iinclude/ \
131         @GMP_CPPFLAGS@
132 isl_polyhedron_minimize_LDADD = libisl.la
133 isl_polyhedron_minimize_SOURCES = \
134         polyhedron_minimize.c
136 isl_polytope_scan_CPPFLAGS = -I$(srcdir)/include -Iinclude/ \
137         @GMP_CPPFLAGS@
138 isl_polytope_scan_LDADD = libisl.la
139 isl_polytope_scan_SOURCES = \
140         polytope_scan.c
142 isl_polyhedron_detect_equalities_CPPFLAGS = -I$(srcdir)/include -Iinclude/ \
143         @GMP_CPPFLAGS@
144 isl_polyhedron_detect_equalities_LDADD = libisl.la
145 isl_polyhedron_detect_equalities_SOURCES = \
146         polyhedron_detect_equalities.c
148 isl_cat_CPPFLAGS = -I$(srcdir)/include -Iinclude/ \
149         @GMP_CPPFLAGS@
150 isl_cat_LDADD = libisl.la
151 isl_cat_SOURCES = \
152         cat.c
154 isl_closure_CPPFLAGS = -I$(srcdir)/include -Iinclude/ \
155         @GMP_CPPFLAGS@
156 isl_closure_LDADD = libisl.la
157 isl_closure_SOURCES = \
158         closure.c
160 nodist_pkginclude_HEADERS = \
161         include/isl_config.h \
162         include/isl_stdint.h
163 pkginclude_HEADERS = \
164         include/isl_arg.h \
165         include/isl_blk.h \
166         include/isl_constraint.h \
167         include/isl_ctx.h \
168         include/isl_dim.h \
169         include/isl_div.h \
170         include/isl_flow.h \
171         include/isl_ilp.h \
172         include/isl_int.h \
173         include/isl_hash.h \
174         include/isl_list.h \
175         include/isl_lp.h \
176         include/isl_mat.h \
177         include/isl_map.h \
178         include/isl_obj.h \
179         include/isl_options.h \
180         include/isl_point.h \
181         include/isl_polynomial.h \
182         include/isl_printer.h \
183         include/isl_seq.h \
184         include/isl_set.h \
185         include/isl_stream.h \
186         include/isl_vec.h
188 EXTRA_DIST = \
189         basis_reduction_templ.c \
190         isl_pw_templ.c \
191         doc/chicago.bst \
192         doc/chicago.sty \
193         doc/implementation.tex \
194         doc/isl.bib \
195         doc/mypod2latex \
196         doc/manual.tex \
197         doc/user.pod \
198         bound_test.sh \
199         pip_test.sh \
200         test_inputs
202 dist-hook:
203         (cd doc; make manual.pdf)
204         cp doc/manual.pdf $(distdir)/doc/
206 pkgconfigdir=$(pkgconfig_libdir)
207 pkgconfig_DATA = $(pkgconfig_libfile)