You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
11 lines
331 B
11 lines
331 B
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=
|
|
];
|
|
}
|
|
|