Package Details: isl-git 0.20.52.g44534fc7-1

Git Clone URL: https://aur.archlinux.org/isl-git.git (read-only)
Package Base: isl-git
Description: Library for manipulating sets and relations of integer points bounded by linear constraints (development version)
Upstream URL: http://isl.gforge.inria.fr/
Licenses: MIT
Conflicts: isl
Provides: isl
Submitter: RavuAlHemio
Maintainer: RavuAlHemio
Last Packager: RavuAlHemio
Votes: 2
Popularity: 0.000000
First Submitted: 2013-06-22 17:22
Last Updated: 2018-08-07 21:29

Required by (7)

Sources (1)

Latest Comments

RavuAlHemio commented on 2018-08-07 21:29

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

xyproto commented on 2018-08-07 15:42

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

Alright, I've updated the package accordingly.

Kritias commented on 2017-06-28 09:30

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

RavuAlHemio commented on 2017-06-20 14:39

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

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

RavuAlHemio commented on 2017-01-29 22:02

Updated, thanks!

haawda commented on 2017-01-29 21:45

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...