diff options
Diffstat (limited to 'Makefile.am')
-rw-r--r-- | Makefile.am | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/Makefile.am b/Makefile.am index 70b501f6..4bcb94fc 100644 --- a/Makefile.am +++ b/Makefile.am @@ -8,7 +8,8 @@ DIST_SUBDIRS = $(MAYBE_PIPLIB) ACLOCAL_AMFLAGS = -I m4 lib_LTLIBRARIES = libisl.la -noinst_PROGRAMS = isl_test isl_polyhedron_sample isl_pip +noinst_PROGRAMS = isl_test isl_polyhedron_sample isl_pip \ + isl_polyhedron_minimize TESTS = isl_test if HAVE_POLYLIB @@ -113,6 +114,12 @@ isl_pip_LDADD = libisl.la isl_pip_SOURCES = \ pip.c +isl_polyhedron_minimize_CPPFLAGS = -I$(srcdir)/include -Iinclude/ \ + @GMP_CPPFLAGS@ +isl_polyhedron_minimize_LDADD = libisl.la +isl_polyhedron_minimize_SOURCES = \ + polyhedron_minimize.c + nodist_pkginclude_HEADERS = \ include/isl_ctx.h \ include/isl_stdint.h |