diff options
author | Sven Verdoolaege <skimo@kotnet.org> | 2010-06-07 14:43:26 +0200 |
---|---|---|
committer | Sven Verdoolaege <skimo@kotnet.org> | 2010-06-12 17:34:01 +0200 |
commit | 7790c83aff93eb8352bd37e340c7ff9956315b8b (patch) | |
tree | 9ccbbf6d042548d6aaa578eda9f20142a49e0720 /Makefile.am | |
parent | 7679c371ce969bd88e3d7990dc340b96fc0cc0fd (diff) | |
download | isl-7790c83aff93eb8352bd37e340c7ff9956315b8b.tar.gz isl-7790c83aff93eb8352bd37e340c7ff9956315b8b.tar.bz2 isl-7790c83aff93eb8352bd37e340c7ff9956315b8b.zip |
optionally (and by default) use bernstein expansion to compute bounds
Diffstat (limited to 'Makefile.am')
-rw-r--r-- | Makefile.am | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Makefile.am b/Makefile.am index 2a4ab92d..05887b13 100644 --- a/Makefile.am +++ b/Makefile.am @@ -35,6 +35,8 @@ libisl_la_SOURCES = \ isl_arg.c \ isl_basis_reduction.h \ basis_reduction_tab.c \ + isl_bernstein.c \ + isl_bernstein.h \ isl_blk.c \ isl_bound.c \ isl_bound.h \ |