diff options
Diffstat (limited to 'pkgs/development/python-modules/cozy/default.nix')
-rw-r--r-- | pkgs/development/python-modules/cozy/default.nix | 38 |
1 files changed, 38 insertions, 0 deletions
diff --git a/pkgs/development/python-modules/cozy/default.nix b/pkgs/development/python-modules/cozy/default.nix new file mode 100644 index 000000000000..0feca2773b37 --- /dev/null +++ b/pkgs/development/python-modules/cozy/default.nix @@ -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 ]; + }; +} |