Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

The last use was removed in barvinok-0.36-17-g1d67a277c4
(integrate isl-polylib module, Wed May 29 11:43:49 2013 +0200).

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

If both are being built, then libpet.la depends on libisl.la.

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

Commit barvinok-0.25-14-ge52f4ac65c (remove_all_equalities: keep
removing equalities until no new ones are created,
Sat Oct 20 13:56:16 2007 +0200) ensured parameter equality constraints
detected as a result of variable compression on the context
got removed as well.
Commit barvinok-0.26-20-g0d0f130c86 (remove_all_equalities: keep
removing parameter equalities until none left,
Wed Mar 12 15:38:39 2008 +0100) ensured those detected as a result
of parameter compression on the main polyhedron got removed.
However, the variable compression on the main polyhedron
may also uncover equality constraints on the parameters.
Remove those too.

Reported-by: Corentin Ferry <corentin.ferry@irisa.fr>
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

The condition "Q != *P" is used in the calls to transform and
remove_parameter_equalities to indicate that the input polyhedra
should be freed when updated.
Initially Q and D point to the original polyhedra, which should
not be freed.  If the original Q gets replaced by a new polyhedron
then D (if set) should point to a new polyhedron as well,
otherwise the original polyhedron will get freed whenever
the context gets updated.
It is not clear whether this can happen in practice without
also running into the issue fixed by the next commit,
but it is definitely needed for the next commit.

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

Signed-off-by: Sven Verdoolaege <sven@cerebras.net>

Signed-off-by: Sven Verdoolaege <sven@cerebras.net>

Add a paragraph mentioning the configuration options required to build
the Python interface to the README file.

Signed-off-by: Andi Drebes <andi@drebesium.org>
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

The target isl.py relies on interface/extract_interface from the isl
build directory. When attempting to build isl.py before the default
target, the build fails.

Add a dependency to interface/extract_interface from isl for isl.py
and a rule building the dependency if necessary.

Signed-off-by: Andi Drebes <andi@drebesium.org>
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

The rule in Makefile.am generating isl.py redirects the output of a
subshell invoking multiple commands directly to the target file. This
causes isl.py to be created even if these commands fail.

Remove isl.py if the generating commands fail.

Signed-off-by: Andi Drebes <andi@drebesium.org>
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

If the user explicitly passes the --with-isl=bundled option to configure,
then it will be passed down to submodules along with
the --with-isl-builddir=../isl option that gets added
to let submodules use the isl that is bundled with the top-level project.
The submodule complains about these conflicting options.
Override the --with-isl=bundled with an additional --with-isl=build option.

Note that a user shouldn't normally need to set the --with-isl=bundled
because that is the default, but it should work nonetheless.

Reported-by: Kornilios Kourtis <kkourt@kkourt.io>
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

The CXXAUTOFLAGS variable in NTL/ConfigLog.h describes additional
compiler flags that are needed for linking against NTL.
In particular, if NTL has been compiled with pthread support,
this will include "-pthread".
Add these flags to the compiler and linker command lines.

Reported-by: Sanket Tavarageri <sanket.tavarageri@intel.com>
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

This should be more portable.

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

This was missing from barvinok-0.41.1-1-g094c67b706 (update isl
for move of interface/all.h, Tue Jul 31 07:54:05 2018 +0200).

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

This was missing from 7a84e1b5 (barvinok_{summate,bound}: take isl input,
Thu Nov 11 14:29:48 2010 +0100).

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

The isl.py target in itself is fairly harmless since isl.py
is not built by default and therefore only results in failures
when the bindings are being built explicitly (or on "make dist).
However, barvinok-0.40-18-gb2a61c464a (interface: make language bindings
depend on all relevant headers, Sun Feb 18 12:30:10 2018 +0100)
added a libdep.a target which does get built by default while
it can only be built with a bundled or build isl submodule.
Hide the entire isl.py machinery behind a conditional to avoid
failures when a system isl submodule is being used.

Reported-by: Marcin Copik <mcopik@gmail.com>
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>