isl.gforge.inria.fr is discontinued

Roman Shaposhnik authored 3 years ago and Kevin Daudt committed 3 years ago

Required for riscv64 needs

Signed-off-by: Roman Shaposhnik <rvs@zededa.com>

isl22 provides the isl-dev subpackage so we can remove it from isl.

Since abuild v2.22.0, these are removed automatically unless 'libtool'
option has been specified.

Timo Teräs authored 11 years ago and Natanael Copa committed 11 years ago

cloog ships embedded version, but it has several issues, which
this independent packages avoid.

An Integer Set Library for the Polyhedral Model
http://freecode.com/projects/isl