isl_tab_pip.c: propagate some equalities from gbr context to main tableau
[isl.git] / Makefile.am
blobf60e3b98ca40d5da185afc9b53f4f1afe8ea7e4d
1 if BUNDLED_PIPLIB
2 MAYBE_PIPLIB = piplib
3 endif
5 SUBDIRS = $(MAYBE_PIPLIB) . doc
6 DIST_SUBDIRS = $(MAYBE_PIPLIB) doc
8 ACLOCAL_AMFLAGS = -I m4
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
14 TESTS = isl_test
16 if HAVE_POLYLIB
17 ISL_POLYLIB = \
18         isl_map_polylib.c
19 endif
21 if HAVE_PIPLIB
22 ISL_PIPLIB = \
23         isl_lp_piplib.c \
24         isl_map_piplib.c \
25         isl_sample_piplib.c \
26         isl_sample_piplib.h \
27         isl_piplib.c
28 else
29 ISL_PIPLIB = \
30         isl_lp_no_piplib.c \
31         isl_map_no_piplib.c \
32         isl_sample_no_piplib.c
33 endif
34 if BUNDLED_PIPLIB
35 PIPLIB_LA = $(top_builddir)/piplib/libpiplibMP.la
36 endif
38 if NEED_GET_MEMORY_FUNCTIONS
39 GET_MEMORY_FUNCTIONS=mp_get_memory_functions.c
40 endif
42 libisl_la_SOURCES = \
43         $(ISL_PIPLIB) \
44         $(ISL_POLYLIB) \
45         $(GET_MEMORY_FUNCTIONS) \
46         isl_affine_hull.c \
47         isl_basis_reduction.h \
48         basis_reduction_tab.c \
49         isl_blk.c \
50         isl_coalesce.c \
51         isl_constraint.c \
52         isl_convex_hull.c \
53         isl_ctx.c \
54         isl_dim.c \
55         isl_div.c \
56         isl_equalities.c \
57         isl_equalities.h \
58         isl_gmp.c \
59         isl_hash.c \
60         isl_ilp.c \
61         isl_input.c \
62         isl_input_omega.c \
63         isl_input_omega.h \
64         isl_list.c \
65         isl_lp.c \
66         isl_lp_piplib.h \
67         isl_map.c \
68         isl_map_simplify.c \
69         isl_map_private.h \
70         isl_map_piplib.h \
71         isl_mat.c \
72         isl_name.c \
73         isl_name.h \
74         isl_output.c \
75         isl_piplib.h \
76         isl_sample.h \
77         isl_sample.c \
78         isl_stream.c \
79         isl_stream.h \
80         isl_seq.c \
81         isl_tab.c \
82         isl_tab.h \
83         isl_tab_pip.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_map_polylib.c \
91         isl_sample_no_piplib.c \
92         isl_sample_piplib.c \
93         isl_sample_piplib.h \
94         isl_piplib.c
95 libisl_la_LIBADD = $(PIPLIB_LA) @PIPLIB_LIBS@ @POLYLIB_LIBS@ -lgmp
96 libisl_la_LDFLAGS = -version-info @versioninfo@ \
97         @PIPLIB_LDFLAGS@ @POLYLIB_LDFLAGS@ @GMP_LDFLAGS@
98 libisl_la_CPPFLAGS = -I$(srcdir)/include -Iinclude/ \
99         @PIPLIB_CPPFLAGS@ @POLYLIB_CPPFLAGS@ \
100         @GMP_CPPFLAGS@
102 isl_test_CPPFLAGS = -I$(srcdir)/include -Iinclude/ @GMP_CPPFLAGS@
103 isl_test_LDADD = libisl.la
105 isl_polyhedron_sample_CPPFLAGS = -I$(srcdir)/include -Iinclude/ \
106         @GMP_CPPFLAGS@
107 isl_polyhedron_sample_LDADD = libisl.la
108 isl_polyhedron_sample_SOURCES = \
109         polyhedron_sample.c
111 isl_pip_CPPFLAGS = -I$(srcdir)/include -Iinclude/ \
112         @GMP_CPPFLAGS@
113 isl_pip_LDADD = libisl.la
114 isl_pip_SOURCES = \
115         pip.c
117 isl_polyhedron_minimize_CPPFLAGS = -I$(srcdir)/include -Iinclude/ \
118         @GMP_CPPFLAGS@
119 isl_polyhedron_minimize_LDADD = libisl.la
120 isl_polyhedron_minimize_SOURCES = \
121         polyhedron_minimize.c
123 isl_polytope_scan_CPPFLAGS = -I$(srcdir)/include -Iinclude/ \
124         @GMP_CPPFLAGS@
125 isl_polytope_scan_LDADD = libisl.la
126 isl_polytope_scan_SOURCES = \
127         polytope_scan.c
129 isl_polyhedron_detect_equalities_CPPFLAGS = -I$(srcdir)/include -Iinclude/ \
130         @GMP_CPPFLAGS@
131 isl_polyhedron_detect_equalities_LDADD = libisl.la
132 isl_polyhedron_detect_equalities_SOURCES = \
133         polyhedron_detect_equalities.c
135 nodist_pkginclude_HEADERS = \
136         include/isl_libs.h \
137         include/isl_stdint.h
138 pkginclude_HEADERS = \
139         include/isl_blk.h \
140         include/isl_constraint.h \
141         include/isl_ctx.h \
142         include/isl_dim.h \
143         include/isl_div.h \
144         include/isl_ilp.h \
145         include/isl_int.h \
146         include/isl_hash.h \
147         include/isl_list.h \
148         include/isl_lp.h \
149         include/isl_mat.h \
150         include/isl_map.h \
151         include/isl_map_polylib.h \
152         include/isl_polylib.h \
153         include/isl_seq.h \
154         include/isl_set.h \
155         include/isl_set_polylib.h \
156         include/isl_vec.h
158 EXTRA_DIST = \
159         basis_reduction_templ.c \
160         doc/mypod2latex \
161         doc/manual.tex \
162         doc/user.pod \
163         test_inputs
165 dist-hook:
166         (cd doc; make manual.pdf)
167         cp doc/manual.pdf $(distdir)/doc/
169 pkgconfigdir=$(pkgconfig_libdir)
170 pkgconfig_DATA = $(pkgconfig_libfile)