isl version used by islpy

[Sven Verdoolaege]

Andreas,

How do I find out which version of isl is used
by a given version of islpy?
Apparently, I have islpy 2023.2.5, but isl_version()
just returns "isl-0.00-0-included-with-islpy-IMath-32\n".

skimo

[Andreas Kloeckner]

... how did you even call that? Using ctypes?

For the released versions, the "best" way to see what isl is
underneath is to look at the version of the isl submodule in the release
tag:

https://github.com/inducer/islpy/tree/v2023.2.5

This PR provides 'islpy.isl_version()' going forward and has it return
(more) meaningful data:

https://github.com/inducer/islpy/pull/125

Andreas

--

[Sven Verdoolaege]

On Wed, Oct 18, 2023 at 09:58:02AM -0500, Andreas Kloeckner wrote:
> Sven Verdoolaege <sven.ver...@telenet.be> writes:
>
> > Andreas,
> >
> > How do I find out which version of isl is used
> > by a given version of islpy?
> > Apparently, I have islpy 2023.2.5, but isl_version()
> > just returns "isl-0.00-0-included-with-islpy-IMath-32\n".
>
> ... how did you even call that? Using ctypes?

From gdb...

skimo