rankwidth: init at 0.7

This commit is contained in:
Timo Kaufmann
2018-04-11 20:48:46 +02:00
parent fb7cdbc15d
commit 0c9aaf0814
2 changed files with 30 additions and 0 deletions

View File

@@ -0,0 +1,28 @@
{ stdenv
, fetchurl
}:
stdenv.mkDerivation rec {
pname = "rankwidth";
version = "0.7";
name = "${pname}-${version}";
src = fetchurl {
url = "http://mirrors.mit.edu/sage/spkg/upstream/rw/rw-${version}.tar.gz";
sha256 = "1rv2v42x2506x7f10349m1wpmmfxrv9l032bkminni2gbip9cjg0";
};
configureFlags = [
"--enable-executable=no" # no igraph dependency
];
# check phase is empty for now (as of version 0.7)
doCheck = true;
meta = with stdenv.lib; {
description = "Calculates rank-width and rank-decompositions";
license = with licenses; [ gpl2Plus ];
maintainers = with maintainers; [ timokau ];
platforms = platforms.linux;
};
}