Package Details: libisl-git 0.24.332.geb702ee7-1

Git Clone URL: https://aur.archlinux.org/isl-git.git (read-only, click to copy)
Package Base: isl-git
Description: Library for manipulating sets and relations of integer points bounded by linear constraints (development version)
Upstream URL: https://libisl.sourceforge.io/
Licenses: MIT
Conflicts: isl, libisl
Provides: isl, libisl
Submitter: RavuAlHemio
Maintainer: RavuAlHemio
Last Packager: RavuAlHemio
Votes: 2
Popularity: 0.000000
First Submitted: 2013-06-22 17:22 (UTC)
Last Updated: 2022-06-28 09:58 (UTC)

Required by (31)

Sources (1)

Latest Comments

MarsSeed commented on 2022-06-27 13:31 (UTC)

This package now should be renamed to libisl-git, as isl got adopted to Arch [core] as libisl.

AkechiShiro commented on 2022-05-22 22:35 (UTC)

@RavuAlHemio why are then few packages requiring this dependency that is now no longer maintained, I was trying to install arm-none-eabi-linaro-binutils but got an error at built time for isl-git.

I don't know if the dependency for arm-none-eabi-linaro-binutils did not change by any luck.

RavuAlHemio commented on 2022-05-22 22:21 (UTC)

I'm afraid that's an upstream bug; my knowledge of GNU Autotools is insufficient to diagnose it...

AkechiShiro commented on 2022-05-22 20:02 (UTC) (edited on 2022-05-22 20:03 (UTC) by AkechiShiro)

Actually, PKGBUILD fails too :

checking that generated files are newer than configure... done
configure: creating ./config.status
config.status: creating Makefile
config.status: creating isl_config.h
config.status: executing depfiles commands
config.status: executing libtool commands
make  -C interface extract_interface
  CC       dep.o
  GEN      gitversion.h
make[1]: Entering directory '/home/user/.cache/paru/clone/isl-git/src/isl/interface'
make[1]: *** No rule to make target 'extract_interface-generator.', needed by 'extract_interface'.  Stop.
make[1]: Leaving directory '/home/user/.cache/paru/clone/isl-git/src/isl/interface'
make: *** [Makefile:3050: interface/extract_interface] Error 2
make: *** Waiting for unfinished jobs....
==> ERROR: A failure occurred in build().
    Aborting...
error: failed to build 'isl-git-0.20.52.g44534fc7-1': 
error: packages failed to build: isl-git-0.20.52.g44534fc7-1

AkechiShiro commented on 2022-05-22 20:01 (UTC)

Upstream URL is broken, PKGBUILD still works.

RavuAlHemio commented on 2018-08-07 21:29 (UTC)

Fixed -- the method of generation of the C++ interface has apparently changed in the meantime.

xyproto commented on 2018-08-07 15:42 (UTC)

make isl-noexceptions.h

currently fails with:

make: *** No rule to make target 'isl-noexceptions.h'. Stop. ==> ERROR: A failure occurred in build(). Aborting...

RavuAlHemio commented on 2017-06-28 15:27 (UTC)

Alright, I've updated the package accordingly.

Kritias commented on 2017-06-28 09:30 (UTC)

I think you should just copy interface/isl-noexceptions.h to /usr/include/isl.

RavuAlHemio commented on 2017-06-20 14:39 (UTC)

The clang bindings are only necessary for building, not at runtime; I have added clang to the makedepends and the respective option to the ./configure call. What would be the correct way to go about installing them? It looks like the tarball distribution doesn't install them automatically either.

Kritias commented on 2017-06-20 13:29 (UTC)

Could modify the package so that it optionally installs the cpp bindings if clang is present?

RavuAlHemio commented on 2017-01-29 22:02 (UTC)

Updated, thanks!

haawda commented on 2017-01-29 21:45 (UTC)

package function needs adjustment: make[1]: Leaving directory '/home/haawda/paketierung/not_maintained_by_me/isl-git/src/isl' mv: cannot stat '/home/haawda/paketierung/not_maintained_by_me/isl-git/pkg/isl-git/usr/lib/libisl.so.15.1.1-gdb.py': No such file or directory ==> ERROR: A failure occurred in package(). Aborting...