Some checks failed
Periodic Merges (6h) / master → staging-nixos (push) Failing after 12m50s
Periodic Merges (6h) / master → staging-next (push) Failing after 12m54s
Periodic Merges (24h) / merge-base(master,staging) → haskell-updates (push) Failing after 11m54s
Periodic Merges (6h) / staging-next → staging (push) Failing after 12m13s
Periodic Merges (24h) / staging-next-25.05 → staging-25.05 (push) Failing after 13m24s
Periodic Merges (24h) / release-25.05 → staging-next-25.05 (push) Failing after 14m28s
12 lines
331 B
Nix
12 lines
331 B
Nix
import ./generic.nix rec {
|
|
version = "0.20";
|
|
urls = [
|
|
"mirror://sourceforge/libisl/isl-${version}.tar.xz"
|
|
"https://libisl.sourceforge.io/isl-${version}.tar.xz"
|
|
];
|
|
sha256 = "1akpgq0rbqbah5517blg2zlnfvjxfcl9cjrfc75nbcx5p2gnlnd5";
|
|
configureFlags = [
|
|
"--with-gcc-arch=generic" # don't guess -march=/mtune=
|
|
];
|
|
}
|