Commit 67dc7cc9 authored by Guillaume Girol's avatar Guillaume Girol
Browse files

cadical: fix static build

parent 45709095

pkgs/applications/science/logic/cadical/default.nix

+5 −0
Original line number Diff line number Diff line
@@ -38,6 +38,11 @@ stdenv.mkDerivation rec { 


  enableParallelBuilding = true;



  # fix static build

  postPatch = ''

    substituteInPlace makefile.in --replace-fail "ar rc" '$(AR) rc'

  '';



  # the configure script is not generated by autotools and does not accept the

  # arguments that the default configurePhase passes like --prefix and --libdir

  configurePhase = ''