Commit Graph

6 Commits

Author SHA1 Message Date
Matthias Beyer
f1e8640c54
libisl: Make derivations generic, add 0.24 (#146693)
* libisl: Make derivation generic

Signed-off-by: Matthias Beyer <mail@beyermatthias.de>

* libisl: add 0.24

Signed-off-by: Matthias Beyer <mail@beyermatthias.de>

* isl: remove unused args

* isl: remove dead homepages

* isl: fix configureFlags

* isl: fix nested callPackage

use import to remove callPackage-inside-callPackage, which breaks overriding

* isl: pname/version -> name

pname/version is preferred, but causes rebuilds here.
let's do the cleanup separately from the mass rebuild,
to use the 0-rebuild-count as a 'nothing up my sleeve' gesture

* isl_0_24: fix sha256

* isl_0_11: add missing patch

Co-authored-by: Ryan Burns <rtburns@protonmail.com>
2021-11-21 02:43:19 -08:00
Arthur Gautier
53a60ad361 isl: isl.gforge.inria.fr has been taken offline
https://issues.guix.gnu.org/42162
https://github.com/dockcross/dockcross/issues/606
https://groups.google.com/g/isl-development/c/JGaMo2VUu_8
https://giters.com/coq/opam-coq-archive/issues/1298?amp=1

Signed-off-by: Arthur Gautier <baloo@superbaloo.net>
2021-11-13 21:47:53 +00:00
Ben Siraphob
66e44425c6 pkgs/development/libraries: stdenv.lib -> lib 2021-01-21 19:11:02 -08:00
Michael Reilly
84cf00f980
treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
Ryan Mulligan
b189247ba0 treewide: use more HTTPS URLs
Uses the HTTPS url for cases where the existing URL has a permanent
redirect. For each domain, at least one fixed derivation URL was
downloaded to test the domain is properly serving downloads.

Also fixes jbake source URL, which was broken.
2018-03-24 22:04:25 -07:00
Gaël Deest
2fb4874453 isl: 0.15 -> 0.17.1
Oups.
2016-12-11 14:04:59 +01:00