add isl_pw_qpolynomial_fold
[platform/upstream/isl.git] / Makefile.am
index 85815bb..1688c95 100644 (file)
@@ -6,7 +6,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_detect_equalities isl_cat
+       isl_polyhedron_detect_equalities isl_cat \
+       isl_closure
 TESTS = isl_test
 
 if HAVE_PIPLIB
@@ -39,6 +40,7 @@ libisl_la_SOURCES = \
        isl_constraint.c \
        isl_convex_hull.c \
        isl_ctx.c \
+       isl_dim_private.h \
        isl_dim.c \
        isl_div.c \
        isl_equalities.c \
@@ -59,15 +61,19 @@ libisl_la_SOURCES = \
        isl_mat.c \
        isl_name.c \
        isl_name.h \
+       isl_obj.c \
        isl_options.c \
        isl_output.c \
        isl_piplib.h \
+       isl_point_private.h \
+       isl_point.c \
+       isl_polynomial_private.h \
+       isl_polynomial.c \
        isl_sample.h \
        isl_sample.c \
        isl_scan.c \
        isl_scan.h \
        isl_stream.c \
-       isl_stream.h \
        isl_seq.c \
        isl_tab.c \
        isl_tab.h \
@@ -128,6 +134,12 @@ isl_cat_LDADD = libisl.la
 isl_cat_SOURCES = \
        cat.c
 
+isl_closure_CPPFLAGS = -I$(srcdir)/include -Iinclude/ \
+       @GMP_CPPFLAGS@
+isl_closure_LDADD = libisl.la
+isl_closure_SOURCES = \
+       closure.c
+
 nodist_pkginclude_HEADERS = \
        include/isl_config.h \
        include/isl_stdint.h
@@ -146,13 +158,18 @@ pkginclude_HEADERS = \
        include/isl_lp.h \
        include/isl_mat.h \
        include/isl_map.h \
+       include/isl_obj.h \
        include/isl_options.h \
+       include/isl_point.h \
+       include/isl_polynomial.h \
        include/isl_seq.h \
        include/isl_set.h \
+       include/isl_stream.h \
        include/isl_vec.h
 
 EXTRA_DIST = \
        basis_reduction_templ.c \
+       isl_pw_templ.c \
        doc/mypod2latex \
        doc/manual.tex \
        doc/user.pod \