Package Details: python-islpy 2023.2.5-1

Git Clone URL: https://aur.archlinux.org/python-islpy.git (read-only, click to copy)
Package Base: python-islpy
Description: Python wrapper for isl, an integer set library
Upstream URL: https://documen.tician.de/islpy
Licenses: MIT
Submitter: carlosal1015
Maintainer: carlosal1015
Last Packager: carlosal1015
Votes: 1
Popularity: 0.000000
First Submitted: 2021-11-02 23:28 (UTC)
Last Updated: 2023-10-13 21:54 (UTC)

Latest Comments

carlosal1015 commented on 2022-06-27 17:59 (UTC)

Hi again @MarsSeed, I would like to skip the git submodule step, but when I run ldd -v /usr/lib/python3.10/site-packages/islpy/_isl.cpython-310-x86_64-linux-gnu.so, it looks like is using the /usr/lib/libisl.so from [core].

MarsSeed commented on 2022-06-27 16:07 (UTC)

Thanks for responding. Didn't know you've already tried that.

But yes, now that libisl is in the official Arch repo, maybe it's worth giving it a second go. :)

carlosal1015 commented on 2022-06-27 15:59 (UTC)

Thank you @MarsSeed, I tried before with isl from AUR like six months ago. But I could not configure nice, I will try again with official package.

MarsSeed commented on 2022-06-27 15:55 (UTC)

Hi,

I think it would be better to make this depend on libisl carried by Arch [core], rather than have it build its own isl.