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 | |
parent | a502f2c4c8c274a63fa762417a1c76ee8119863a (diff) | |
download | nixlib-9470c68b9f858098c0708e98eb742689d4c52cfe.tar nixlib-9470c68b9f858098c0708e98eb742689d4c52cfe.tar.gz nixlib-9470c68b9f858098c0708e98eb742689d4c52cfe.tar.bz2 nixlib-9470c68b9f858098c0708e98eb742689d4c52cfe.tar.lz nixlib-9470c68b9f858098c0708e98eb742689d4c52cfe.tar.xz nixlib-9470c68b9f858098c0708e98eb742689d4c52cfe.tar.zst nixlib-9470c68b9f858098c0708e98eb742689d4c52cfe.zip |
pythonPackages.cozy: init at 2.0a1
Diffstat (limited to 'pkgs')
-rw-r--r-- | pkgs/development/python-modules/cozy/default.nix | 38 | ||||
-rw-r--r-- | pkgs/top-level/python-packages.nix | 2 |
2 files changed, 40 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 ]; + }; +} diff --git a/pkgs/top-level/python-packages.nix b/pkgs/top-level/python-packages.nix index 7e9eb275833d..b21767bd8678 100644 --- a/pkgs/top-level/python-packages.nix +++ b/pkgs/top-level/python-packages.nix @@ -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 { }; |