nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1import ./generic.nix rec {
2 version = "0.20";
3 urls = [
4 "mirror://sourceforge/libisl/isl-${version}.tar.xz"
5 "https://libisl.sourceforge.io/isl-${version}.tar.xz"
6 ];
7 sha256 = "1akpgq0rbqbah5517blg2zlnfvjxfcl9cjrfc75nbcx5p2gnlnd5";
8 configureFlags = [
9 "--with-gcc-arch=generic" # don't guess -march=/mtune=
10 ];
11}