Commit b2b92571 authored by John Ericson's avatar John Ericson
Browse files

rapidcheck: Build shared/static following defaults

CMake defaults to static which is not what we want. It is
especially dangerous because this library has global variables ---
embedding multiple copies in downstream shared objects used by the same
final executable will cause problems.
parent a9f295e3
Loading
Loading
Loading
Loading
+4 −0
Original line number Diff line number Diff line
@@ -18,6 +18,10 @@ stdenv.mkDerivation rec {

  nativeBuildInputs = [ cmake ];

  cmakeFlags = [
    (lib.cmakeBool "BUILD_SHARED_LIBS" (!stdenv.hostPlatform.isStatic))
  ];

  # Install the extras headers
  postInstall = ''
    cp -r $src/extras $out