diff options
author | Corbin <cds@corbinsimpson.com> | 2018-07-22 11:59:14 -0700 |
---|---|---|
committer | Corbin <cds@corbinsimpson.com> | 2018-07-28 07:26:07 -0700 |
commit | 9470c68b9f858098c0708e98eb742689d4c52cfe (patch) | |
tree | 2916232f51a82ed6a5787c7d5c375c1692edb4c4 /pkgs/development/python-modules/cozy | |
parent | a502f2c4c8c274a63fa762417a1c76ee8119863a (diff) | |
download | nixpkgs-9470c68b9f858098c0708e98eb742689d4c52cfe.tar nixpkgs-9470c68b9f858098c0708e98eb742689d4c52cfe.tar.gz nixpkgs-9470c68b9f858098c0708e98eb742689d4c52cfe.tar.bz2 nixpkgs-9470c68b9f858098c0708e98eb742689d4c52cfe.tar.lz nixpkgs-9470c68b9f858098c0708e98eb742689d4c52cfe.tar.xz nixpkgs-9470c68b9f858098c0708e98eb742689d4c52cfe.tar.zst nixpkgs-9470c68b9f858098c0708e98eb742689d4c52cfe.zip |
pythonPackages.cozy: init at 2.0a1
Diffstat (limited to 'pkgs/development/python-modules/cozy')
-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 00000000000..0feca2773b3 --- /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 ]; + }; +} |