Merge pull request #38802 from timokau/rankdwidth-init

rankwidth: init at 0.7
This commit is contained in:
Robert Schütz 2018-04-24 01:01:17 +02:00 committed by GitHub
commit f2ad8b295c
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
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;
};
}

View file

@ -19905,6 +19905,8 @@ with pkgs;
planarity = callPackage ../development/libraries/science/math/planarity { };
rankwidth = callPackage ../development/libraries/science/math/rankwidth { };
fenics = callPackage ../development/libraries/science/math/fenics {
inherit (python3Packages) numpy ply pytest python six sympy;
pythonPackages = python3Packages;