pkgs/development/libraries/isl/0.24.0.nix

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