pythonPackages.cozy: init at 2.0a1
This commit is contained in:
parent
a502f2c4c8
commit
9470c68b9f
2 changed files with 40 additions and 0 deletions
38
pkgs/development/python-modules/cozy/default.nix
Normal file
38
pkgs/development/python-modules/cozy/default.nix
Normal file
|
@ -0,0 +1,38 @@
|
|||
{ buildPythonPackage, fetchFromGitHub, lib,
|
||||
z3, ply, python-igraph, oset, ordered-set, dictionaries }:
|
||||
|
||||
buildPythonPackage {
|
||||
pname = "cozy";
|
||||
version = "2.0a1";
|
||||
|
||||
propagatedBuildInputs = [
|
||||
z3 ply python-igraph oset ordered-set dictionaries
|
||||
];
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "CozySynthesizer";
|
||||
repo = "cozy";
|
||||
rev = "f553e9b";
|
||||
sha256 = "1jhr5gzihj8dkg0yc5dmi081v2isxharl0ph7v2grqj0bwqzl40j";
|
||||
};
|
||||
|
||||
# Yoink the Z3 dependency name, because our Z3 package doesn't provide it.
|
||||
postPatch = ''
|
||||
sed -i -e '/z3-solver/d' requirements.txt
|
||||
'';
|
||||
|
||||
# Tests are not correctly set up in the source tree.
|
||||
doCheck = false;
|
||||
|
||||
# There is some first-time-run codegen that we will force to happen.
|
||||
postInstall = ''
|
||||
$out/bin/cozy --help
|
||||
'';
|
||||
|
||||
meta = {
|
||||
description = "The collection synthesizer";
|
||||
homepage = https://cozy.uwplse.org/;
|
||||
license = lib.licenses.asl20;
|
||||
maintainers = [ lib.maintainers.MostAwesomeDude ];
|
||||
};
|
||||
}
|
|
@ -238,6 +238,8 @@ in {
|
|||
|
||||
clustershell = callPackage ../development/python-modules/clustershell { };
|
||||
|
||||
cozy = callPackage ../development/python-modules/cozy { };
|
||||
|
||||
dendropy = callPackage ../development/python-modules/dendropy { };
|
||||
|
||||
dbf = callPackage ../development/python-modules/dbf { };
|
||||
|
|
Loading…
Reference in a new issue