Arch Linux User Repository

Search Criteria

Enter search criteria

Search by

Keywords

Out of Date

Sort by

Sort order

Per page

Package Details: python-islpy 2026.1-1

Package Actions

Git Clone URL:	https://aur.archlinux.org/python-islpy.git (read-only, click to copy)
Package Base:	python-islpy
Description:	Wrapper around 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:	2026-01-29 22:52 (UTC)

Dependencies (13)

barvinok^AUR
imath
libisl (libisl-git^AUR)
python
git (git-git^AUR, git-gl^AUR, git-wd40^AUR) (make)
nanobind (make)
python-build (make)
python-installer (make)
python-pcpp (make)
python-scikit-build-core (make)
python-setuptools (make)
python-typing_extensions (make)
python-wheel (make)

Required by (1)

python-loopy

Sources (2)

Latest Comments

0xDoubleDoc commented on 2025-07-24 08:39 (UTC)

Hi! It look like the build is broken, configure.py seems to have disappeared upstream.

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.