From 00472a3bcaa72cf398d235d3b345aa4ede3479db Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <skimo@kotnet.org>
Date: Fri, 7 Aug 2009 21:31:45 +0200
Subject: add isl_polyhedron_minimize application

---
 Makefile.am | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

(limited to 'Makefile.am')

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
-- 
cgit v1.2.3