Package Details: isl 0.22-1

Git Clone URL: https://aur.archlinux.org/isl.git (read-only)
Package Base: isl
Description: Library for manipulating sets and relations of integer points bounded by linear constraints
Upstream URL: http://isl.gforge.inria.fr/
Licenses: MIT
Conflicts: isl-git, isl14, isl15, isl16, isl17
Submitter: haawda
Maintainer: Kritias
Last Packager: Kritias
Votes: 62
Popularity: 0.053492
First Submitted: 2014-11-19 12:18
Last Updated: 2019-11-17 09:36

Latest Comments

« First ‹ Previous 1 2 3 Next › Last »

Kritias commented on 2018-01-09 14:23

This is weird. I just installed it on two different systems without any problems.

LeoLambda commented on 2018-01-08 20:51

This package fails to install:

:: Building isl package(s)...
==> Making package: isl 0.18-3 (Mon Jan  8 20:45:41 UTC 2018)
==> Checking runtime dependencies...
==> Checking buildtime dependencies...
==> WARNING: Using existing $srcdir/ tree
==> Starting build()...
checking for a BSD-compatible install... /usr/bin/install -c
checking whether build environment is sane... yes
[...]
checking for pod2html... no
checking for stdint types... stdint.h (shortcircuit)
./configure:17596: parse error near `if'
==> ERROR: A failure occurred in build().
    Aborting...

Kritias commented on 2017-05-12 09:15

Fixed

Namarrgon commented on 2017-05-11 18:22

The conflicts= array-members should be separated by spaces, not commas.

Kritias commented on 2017-05-04 11:42

I added the conflicts.

win_chen commented on 2017-05-04 01:45

isl and isl15 are in conflict.

cfr42 commented on 2017-05-03 22:16

Should this declare a conflict with e.g. isl15?

marcthe12 commented on 2016-11-20 11:57

ISL is version 0.17 for 6 months now. Its high time we can update.

WoefulDerelict commented on 2016-04-30 16:54

The source is live once more. There is also an updated version available. 0.16.1

If you follow the link to the site at http://freshmeat.net/projects/isl you are redirected to http://freecode.com/projects/isl which quite clearly announces it is stale and has been for years.

haawda commented on 2016-04-30 12:01

There is a git repo on

http://repo.or.cz/w/isl.git

and from there they point to a freshmeat site refering as "homepage URL". So probably they moved permanently.