tjh.dev
1{ buildPythonPackage, isPy3k, fetchFromGitHub, lib,
2 z3, ply, python-igraph, oset, ordered-set, dictionaries }:
3
4buildPythonPackage {
5 pname = "cozy";
6 version = "2.0a1";
7
8 propagatedBuildInputs = [
9 z3 ply python-igraph oset ordered-set dictionaries
10 ];
11
12 src = fetchFromGitHub {
13 owner = "CozySynthesizer";
14 repo = "cozy";
15 rev = "f553e9b";
16 sha256 = "1jhr5gzihj8dkg0yc5dmi081v2isxharl0ph7v2grqj0bwqzl40j";
17 };
18
19 # Yoink the Z3 dependency name, because our Z3 package doesn't provide it.
20 postPatch = ''
21 sed -i -e '/z3-solver/d' requirements.txt
22 '';
23
24 # Tests are not correctly set up in the source tree.
25 doCheck = false;
26
27 # There is some first-time-run codegen that we will force to happen.
28 postInstall = ''
29 $out/bin/cozy --help
30 '';
31
32 disabled = !isPy3k;
33
34 meta = {
35 description = "The collection synthesizer";
36 homepage = https://cozy.uwplse.org/;
37 license = lib.licenses.asl20;
38 maintainers = [ lib.maintainers.MostAwesomeDude ];
39 };
40}