add isl_set_drop
[isl.git] / Makefile.am
blob98ed3fed317ae9a0962c10d2434c58af570a52d1
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
11 TESTS = isl_test pip_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_coalesce.c \
40         isl_constraint.c \
41         isl_convex_hull.c \
42         isl_ctx.c \
43         isl_dim_private.h \
44         isl_dim.c \
45         isl_div.c \
46         isl_equalities.c \
47         isl_equalities.h \
48         isl_flow.c \
49         isl_gmp.c \
50         isl_hash.c \
51         isl_ilp.c \
52         isl_input.c \
53         isl_list.c \
54         isl_lp.c \
55         isl_lp_piplib.h \
56         isl_map.c \
57         isl_map_simplify.c \
58         isl_map_subtract.c \
59         isl_map_private.h \
60         isl_map_piplib.h \
61         isl_mat.c \
62         isl_name.c \
63         isl_name.h \
64         isl_obj.c \
65         isl_options.c \
66         isl_output.c \
67         isl_piplib.h \
68         isl_point_private.h \
69         isl_point.c \
70         isl_polynomial_private.h \
71         isl_polynomial.c \
72         isl_printer_private.h \
73         isl_printer.c \
74         isl_sample.h \
75         isl_sample.c \
76         isl_scan.c \
77         isl_scan.h \
78         isl_stream.c \
79         isl_seq.c \
80         isl_tab.c \
81         isl_tab.h \
82         isl_tab_pip.c \
83         isl_transitive_closure.c \
84         isl_vec.c
85 EXTRA_libisl_la_SOURCES = \
86         isl_lp_piplib.c \
87         isl_lp_no_piplib.c \
88         isl_map_piplib.c \
89         isl_map_no_piplib.c \
90         isl_sample_no_piplib.c \
91         isl_sample_piplib.c \
92         isl_sample_piplib.h \
93         isl_piplib.c
94 libisl_la_LIBADD = @PIPLIB_LIBS@ -lgmp
95 libisl_la_LDFLAGS = -version-info @versioninfo@ \
96         @PIPLIB_LDFLAGS@ @GMP_LDFLAGS@
97 libisl_la_CPPFLAGS = -I$(srcdir)/include -Iinclude/ \
98         @PIPLIB_CPPFLAGS@ @GMP_CPPFLAGS@
100 isl_test_CPPFLAGS = -I$(srcdir)/include -Iinclude/ @GMP_CPPFLAGS@
101 isl_test_LDADD = libisl.la
103 isl_polyhedron_sample_CPPFLAGS = -I$(srcdir)/include -Iinclude/ \
104         @GMP_CPPFLAGS@
105 isl_polyhedron_sample_LDADD = libisl.la
106 isl_polyhedron_sample_SOURCES = \
107         polyhedron_sample.c
109 isl_pip_CPPFLAGS = -I$(srcdir)/include -Iinclude/ \
110         @GMP_CPPFLAGS@
111 isl_pip_LDADD = libisl.la
112 isl_pip_SOURCES = \
113         pip.c
115 isl_polyhedron_minimize_CPPFLAGS = -I$(srcdir)/include -Iinclude/ \
116         @GMP_CPPFLAGS@
117 isl_polyhedron_minimize_LDADD = libisl.la
118 isl_polyhedron_minimize_SOURCES = \
119         polyhedron_minimize.c
121 isl_polytope_scan_CPPFLAGS = -I$(srcdir)/include -Iinclude/ \
122         @GMP_CPPFLAGS@
123 isl_polytope_scan_LDADD = libisl.la
124 isl_polytope_scan_SOURCES = \
125         polytope_scan.c
127 isl_polyhedron_detect_equalities_CPPFLAGS = -I$(srcdir)/include -Iinclude/ \
128         @GMP_CPPFLAGS@
129 isl_polyhedron_detect_equalities_LDADD = libisl.la
130 isl_polyhedron_detect_equalities_SOURCES = \
131         polyhedron_detect_equalities.c
133 isl_cat_CPPFLAGS = -I$(srcdir)/include -Iinclude/ \
134         @GMP_CPPFLAGS@
135 isl_cat_LDADD = libisl.la
136 isl_cat_SOURCES = \
137         cat.c
139 isl_closure_CPPFLAGS = -I$(srcdir)/include -Iinclude/ \
140         @GMP_CPPFLAGS@
141 isl_closure_LDADD = libisl.la
142 isl_closure_SOURCES = \
143         closure.c
145 nodist_pkginclude_HEADERS = \
146         include/isl_config.h \
147         include/isl_stdint.h
148 pkginclude_HEADERS = \
149         include/isl_arg.h \
150         include/isl_blk.h \
151         include/isl_constraint.h \
152         include/isl_ctx.h \
153         include/isl_dim.h \
154         include/isl_div.h \
155         include/isl_flow.h \
156         include/isl_ilp.h \
157         include/isl_int.h \
158         include/isl_hash.h \
159         include/isl_list.h \
160         include/isl_lp.h \
161         include/isl_mat.h \
162         include/isl_map.h \
163         include/isl_obj.h \
164         include/isl_options.h \
165         include/isl_point.h \
166         include/isl_polynomial.h \
167         include/isl_printer.h \
168         include/isl_seq.h \
169         include/isl_set.h \
170         include/isl_stream.h \
171         include/isl_vec.h
173 EXTRA_DIST = \
174         basis_reduction_templ.c \
175         isl_pw_templ.c \
176         doc/chicago.bst \
177         doc/chicago.sty \
178         doc/implementation.tex \
179         doc/isl.bib \
180         doc/mypod2latex \
181         doc/manual.tex \
182         doc/user.pod \
183         pip_test.sh \
184         test_inputs
186 dist-hook:
187         (cd doc; make manual.pdf)
188         cp doc/manual.pdf $(distdir)/doc/
190 pkgconfigdir=$(pkgconfig_libdir)
191 pkgconfig_DATA = $(pkgconfig_libfile)