tjh.dev / nixpkgs
Clone of https://github.com/NixOS/nixpkgs.git (to stress-test knotserver)
fork atom
nixpkgs / pkgs / development / libraries / isl / 0.24.0.nix
at devShellTools-shell 331 B view raw
1import ./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}