diff options
| author | Sven Verdoolaege <sven@nestor.cs.kuleuven.be> | 2009-08-17 10:13:56 +0200 |
|---|---|---|
| committer | Sven Verdoolaege <skimo@kotnet.org> | 2009-08-28 19:42:20 +0200 |
| commit | 5389ea39adef06bb210c6b940c9406c954ec6221 (patch) | |
| tree | c814a4c8a171997147def9ded5fb0c87d778286b /Makefile.am | |
| parent | a3474ffbe9847cd6df8936df50f0d0f351d86afe (diff) | |
| download | isl-5389ea39adef06bb210c6b940c9406c954ec6221.tar.gz isl-5389ea39adef06bb210c6b940c9406c954ec6221.tar.bz2 isl-5389ea39adef06bb210c6b940c9406c954ec6221.zip | |
add isl_polytope_scan application
Diffstat (limited to 'Makefile.am')
| -rw-r--r-- | Makefile.am | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/Makefile.am b/Makefile.am index 4bcb94fc..084e6188 100644 --- a/Makefile.am +++ b/Makefile.am @@ -9,7 +9,7 @@ ACLOCAL_AMFLAGS = -I m4 lib_LTLIBRARIES = libisl.la noinst_PROGRAMS = isl_test isl_polyhedron_sample isl_pip \ - isl_polyhedron_minimize + isl_polyhedron_minimize isl_polytope_scan TESTS = isl_test if HAVE_POLYLIB @@ -120,6 +120,12 @@ isl_polyhedron_minimize_LDADD = libisl.la isl_polyhedron_minimize_SOURCES = \ polyhedron_minimize.c +isl_polytope_scan_CPPFLAGS = -I$(srcdir)/include -Iinclude/ \ + @GMP_CPPFLAGS@ +isl_polytope_scan_LDADD = libisl.la +isl_polytope_scan_SOURCES = \ + polytope_scan.c + nodist_pkginclude_HEADERS = \ include/isl_ctx.h \ include/isl_stdint.h |