isl.py: always extend version from core isl
commit9d28bbe285fe2a44feb0fb59c21b8c5903d0d869
authorSven Verdoolaege <skimo@kotnet.org>
Sat, 21 Nov 2015 11:29:09 +0000 (21 12:29 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Tue, 5 Jan 2016 09:55:31 +0000 (5 10:55 +0100)
tree401d3c03c1caa106cfb1d7a9fdabe2668df406dc
parent0f744d76c2f010a8d1c9e38046c4d7237d86641b
isl.py: always extend version from core isl

The version of isl.py that comes with isl itself has been
extended to export symbols from additional headers.
Rather than copying those changes here, simply include
the set of all headers used by core isl.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Makefile.am
configure.ac
interface/all_barvinok.h