Clone of https://github.com/NixOS/nixpkgs.git (to stress-test knotserver)
at devShellTools-shell 29 lines 605 B view raw
1{ 2 lib, 3 stdenv, 4 fetchurl, 5}: 6 7stdenv.mkDerivation rec { 8 pname = "rankwidth"; 9 version = "0.9"; 10 11 src = fetchurl { 12 url = "mirror://sageupstream/rw/rw-${version}.tar.gz"; 13 sha256 = "sha256-weA1Bv4lzfy0KMBR/Fay0q/7Wwb7o/LOdWYxRmvvtEE="; 14 }; 15 16 configureFlags = [ 17 "--enable-executable=no" # no igraph dependency 18 ]; 19 20 # check phase is empty for now (as of version 0.9) 21 doCheck = true; 22 23 meta = with lib; { 24 description = "Calculates rank-width and rank-decompositions"; 25 license = with licenses; [ gpl2Plus ]; 26 teams = [ teams.sage ]; 27 platforms = platforms.unix; 28 }; 29}