isl_tab_pip.c: incrementally build recession cone of gbr context

[platform/upstream/isl.git] / Makefile.am

diff --git a/Makefile.am b/Makefile.am
index 6b7ceb7..f60e3b9 100644 (file)
--- a/Makefile.am
+++ b/Makefile.am
@@ -9,7 +9,8 @@ ACLOCAL_AMFLAGS = -I m4
 
 lib_LTLIBRARIES = libisl.la
 noinst_PROGRAMS = isl_test isl_polyhedron_sample isl_pip \
-       isl_polyhedron_minimize isl_polytope_scan
+       isl_polyhedron_minimize isl_polytope_scan \
+       isl_polyhedron_detect_equalities
 TESTS = isl_test
 
 if HAVE_POLYLIB
@@ -68,7 +69,6 @@ libisl_la_SOURCES = \
        isl_map_private.h \
        isl_map_piplib.h \
        isl_mat.c \
-       isl_mat.h \
        isl_name.c \
        isl_name.h \
        isl_output.c \
@@ -93,8 +93,8 @@ EXTRA_libisl_la_SOURCES = \
        isl_sample_piplib.h \
        isl_piplib.c
 libisl_la_LIBADD = $(PIPLIB_LA) @PIPLIB_LIBS@ @POLYLIB_LIBS@ -lgmp
-libisl_la_LDFLAGS = -release @VERSION@ @PIPLIB_LDFLAGS@ @POLYLIB_LDFLAGS@ \
-       @GMP_LDFLAGS@
+libisl_la_LDFLAGS = -version-info @versioninfo@ \
+       @PIPLIB_LDFLAGS@ @POLYLIB_LDFLAGS@ @GMP_LDFLAGS@
 libisl_la_CPPFLAGS = -I$(srcdir)/include -Iinclude/ \
        @PIPLIB_CPPFLAGS@ @POLYLIB_CPPFLAGS@ \
        @GMP_CPPFLAGS@
@@ -126,6 +126,12 @@ isl_polytope_scan_LDADD = libisl.la
 isl_polytope_scan_SOURCES = \
        polytope_scan.c
 
+isl_polyhedron_detect_equalities_CPPFLAGS = -I$(srcdir)/include -Iinclude/ \
+       @GMP_CPPFLAGS@
+isl_polyhedron_detect_equalities_LDADD = libisl.la
+isl_polyhedron_detect_equalities_SOURCES = \
+       polyhedron_detect_equalities.c
+
 nodist_pkginclude_HEADERS = \
        include/isl_libs.h \
        include/isl_stdint.h
@@ -140,6 +146,7 @@ pkginclude_HEADERS = \
        include/isl_hash.h \
        include/isl_list.h \
        include/isl_lp.h \
+       include/isl_mat.h \
        include/isl_map.h \
        include/isl_map_polylib.h \
        include/isl_polylib.h \
@@ -158,3 +165,6 @@ EXTRA_DIST = \
 dist-hook:
        (cd doc; make manual.pdf)
        cp doc/manual.pdf $(distdir)/doc/
+
+pkgconfigdir=$(pkgconfig_libdir)
+pkgconfig_DATA = $(pkgconfig_libfile)