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