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 \ |