tjh.dev / nixpkgs
Clone of https://github.com/NixOS/nixpkgs.git (to stress-test knotserver)
fork atom
nixpkgs / pkgs / development / libraries / isl / 0.23.0.nix
at devShellTools-shell 330 B view raw
1import ./generic.nix rec { 2 version = "0.23"; 3 urls = [ 4 "mirror://sourceforge/libisl/isl-${version}.tar.xz" 5 "https://libisl.sourceforge.io/isl-${version}.tar.xz" 6 ]; 7 sha256 = "sha256-XvxT767xUTAfTn3eOFa2aBLYFT3t4k+rF2c/gByGmPI="; 8 configureFlags = [ 9 "--with-gcc-arch=generic" # don't guess -march=/mtune= 10 ]; 11}