pythonPackages.cozy: fix build

to allow building with dictionaries 0.0.2
This commit is contained in:
Robert Scott 2020-09-23 22:22:32 +01:00 committed by Jon
parent dfd2eeabd6
commit 7486a8d587

View file

@ -4,6 +4,7 @@
buildPythonPackage {
pname = "cozy";
version = "2.0a1";
disabled = !isPy3k;
propagatedBuildInputs = [
z3 ply python-igraph oset ordered-set dictionaries
@ -18,18 +19,18 @@ buildPythonPackage {
# Yoink the Z3 dependency name, because our Z3 package doesn't provide it.
postPatch = ''
sed -i -e '/z3-solver/d' requirements.txt
sed -i -e '/z3-solver/d' -e 's/^dictionaries.*$/dictionaries/' requirements.txt
'';
# Tests are not correctly set up in the source tree.
doCheck = false;
pythonImportsCheck = [ "cozy" ];
# There is some first-time-run codegen that we will force to happen.
postInstall = ''
$out/bin/cozy --help
'';
disabled = !isPy3k;
meta = {
description = "The collection synthesizer";