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 \
24 isl_sample_no_piplib.c
27 if NEED_GET_MEMORY_FUNCTIONS
28 GET_MEMORY_FUNCTIONS=mp_get_memory_functions.c
33 $(GET_MEMORY_FUNCTIONS) \
36 isl_basis_reduction.h \
37 basis_reduction_tab.c \
77 isl_transitive_closure.c \
79 EXTRA_libisl_la_SOURCES = \
84 isl_sample_no_piplib.c \
88 libisl_la_LIBADD = @PIPLIB_LIBS@ -lgmp
89 libisl_la_LDFLAGS = -version-info @versioninfo@ \
90 @PIPLIB_LDFLAGS@ @GMP_LDFLAGS@
91 libisl_la_CPPFLAGS = -I$(srcdir)/include -Iinclude/ \
92 @PIPLIB_CPPFLAGS@ @GMP_CPPFLAGS@
94 isl_test_CPPFLAGS = -I$(srcdir)/include -Iinclude/ @GMP_CPPFLAGS@
95 isl_test_LDADD = libisl.la
97 isl_polyhedron_sample_CPPFLAGS = -I$(srcdir)/include -Iinclude/ \
99 isl_polyhedron_sample_LDADD = libisl.la
100 isl_polyhedron_sample_SOURCES = \
103 isl_pip_CPPFLAGS = -I$(srcdir)/include -Iinclude/ \
105 isl_pip_LDADD = libisl.la
109 isl_polyhedron_minimize_CPPFLAGS = -I$(srcdir)/include -Iinclude/ \
111 isl_polyhedron_minimize_LDADD = libisl.la
112 isl_polyhedron_minimize_SOURCES = \
113 polyhedron_minimize.c
115 isl_polytope_scan_CPPFLAGS = -I$(srcdir)/include -Iinclude/ \
117 isl_polytope_scan_LDADD = libisl.la
118 isl_polytope_scan_SOURCES = \
121 isl_polyhedron_detect_equalities_CPPFLAGS = -I$(srcdir)/include -Iinclude/ \
123 isl_polyhedron_detect_equalities_LDADD = libisl.la
124 isl_polyhedron_detect_equalities_SOURCES = \
125 polyhedron_detect_equalities.c
127 isl_cat_CPPFLAGS = -I$(srcdir)/include -Iinclude/ \
129 isl_cat_LDADD = libisl.la
133 isl_closure_CPPFLAGS = -I$(srcdir)/include -Iinclude/ \
135 isl_closure_LDADD = libisl.la
136 isl_closure_SOURCES = \
139 nodist_pkginclude_HEADERS = \
140 include/isl_config.h \
142 pkginclude_HEADERS = \
145 include/isl_constraint.h \
157 include/isl_options.h \
158 include/isl_point.h \
161 include/isl_stream.h \
165 basis_reduction_templ.c \
172 (cd doc; make manual.pdf)
173 cp doc/manual.pdf $(distdir)/doc/
175 pkgconfigdir=$(pkgconfig_libdir)
176 pkgconfig_DATA = $(pkgconfig_libfile)