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
23 isl_sample_no_piplib.c
26 if NEED_GET_MEMORY_FUNCTIONS
27 GET_MEMORY_FUNCTIONS=mp_get_memory_functions.c
32 $(GET_MEMORY_FUNCTIONS) \
35 isl_basis_reduction.h \
36 basis_reduction_tab.c \
75 EXTRA_libisl_la_SOURCES = \
80 isl_sample_no_piplib.c \
84 libisl_la_LIBADD = @PIPLIB_LIBS@ -lgmp
85 libisl_la_LDFLAGS = -version-info @versioninfo@ \
86 @PIPLIB_LDFLAGS@ @GMP_LDFLAGS@
87 libisl_la_CPPFLAGS = -I$(srcdir)/include -Iinclude/ \
88 @PIPLIB_CPPFLAGS@ @GMP_CPPFLAGS@
90 isl_test_CPPFLAGS = -I$(srcdir)/include -Iinclude/ @GMP_CPPFLAGS@
91 isl_test_LDADD = libisl.la
93 isl_polyhedron_sample_CPPFLAGS = -I$(srcdir)/include -Iinclude/ \
95 isl_polyhedron_sample_LDADD = libisl.la
96 isl_polyhedron_sample_SOURCES = \
99 isl_pip_CPPFLAGS = -I$(srcdir)/include -Iinclude/ \
101 isl_pip_LDADD = libisl.la
105 isl_polyhedron_minimize_CPPFLAGS = -I$(srcdir)/include -Iinclude/ \
107 isl_polyhedron_minimize_LDADD = libisl.la
108 isl_polyhedron_minimize_SOURCES = \
109 polyhedron_minimize.c
111 isl_polytope_scan_CPPFLAGS = -I$(srcdir)/include -Iinclude/ \
113 isl_polytope_scan_LDADD = libisl.la
114 isl_polytope_scan_SOURCES = \
117 isl_polyhedron_detect_equalities_CPPFLAGS = -I$(srcdir)/include -Iinclude/ \
119 isl_polyhedron_detect_equalities_LDADD = libisl.la
120 isl_polyhedron_detect_equalities_SOURCES = \
121 polyhedron_detect_equalities.c
123 nodist_pkginclude_HEADERS = \
124 include/isl_config.h \
126 pkginclude_HEADERS = \
129 include/isl_constraint.h \
140 include/isl_options.h \
146 basis_reduction_templ.c \
153 (cd doc; make manual.pdf)
154 cp doc/manual.pdf $(distdir)/doc/
156 pkgconfigdir=$(pkgconfig_libdir)
157 pkgconfig_DATA = $(pkgconfig_libfile)