haskellPackages.Frames-beam: disable tests because it requires a running PostgreSQL server
This commit is contained in:
parent
ff6122c993
commit
73cf1c26d8
@ -517,4 +517,7 @@ self: super: builtins.intersectAttrs super {
|
|||||||
postPatch = ''
|
postPatch = ''
|
||||||
sed -i -e 's|"z3"|"${pkgs.z3}/bin/z3"|' Data/SBV/Provers/Z3.hs'';
|
sed -i -e 's|"z3"|"${pkgs.z3}/bin/z3"|' Data/SBV/Provers/Z3.hs'';
|
||||||
});
|
});
|
||||||
|
|
||||||
|
# The test-suite requires a running PostgreSQL server.
|
||||||
|
Frames-beam = dontCheck super.Frames-beam;
|
||||||
}
|
}
|
||||||
|
Loading…
x
Reference in New Issue
Block a user