Skip to content

Commit 54b9e3d

Browse files
authored
cadical: fix darwin (#371275)
2 parents a9ea2df + 792fff7 commit 54b9e3d

File tree

1 file changed

+9
-3
lines changed

1 file changed

+9
-3
lines changed

pkgs/by-name/ca/cadical/package.nix

Lines changed: 9 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -58,9 +58,15 @@ stdenv.mkDerivation rec {
5858
enableParallelBuilding = true;
5959

6060
# fix static build
61-
postPatch = ''
62-
substituteInPlace makefile.in --replace-fail "ar rc" '$(AR) rc'
63-
'';
61+
postPatch =
62+
''
63+
substituteInPlace makefile.in --replace-fail "ar rc" '$(AR) rc'
64+
''
65+
# Racy/flaky tests that sometimes spontaneously combust on darwin.
66+
+ lib.optionalString (stdenv.hostPlatform.isDarwin && (lib.versionAtLeast version "2.1.1")) ''
67+
substituteInPlace test/api/run.sh --replace-fail 'run parcompwrite' ""
68+
substituteInPlace test/api/run.sh --replace-fail 'run example_tracer' ""
69+
'';
6470

6571
# the configure script is not generated by autotools and does not accept the
6672
# arguments that the default configurePhase passes like --prefix and --libdir

0 commit comments

Comments
 (0)