pkgs/development/libraries/isl/0.20.0.nix

   1 import ./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 }