diff --git a/pkgs/applications/science/logic/verit/default.nix b/pkgs/applications/science/logic/verit/default.nix
index 5cafb19350c2..53ab084321d5 100644
--- a/pkgs/applications/science/logic/verit/default.nix
+++ b/pkgs/applications/science/logic/verit/default.nix
@@ -12,6 +12,9 @@ stdenv.mkDerivation rec {
   nativeBuildInputs = [ autoreconfHook flex bison ];
   buildInputs = [ gmp ];
 
+  # --disable-static actually enables static linking here...
+  dontDisableStatic = true;
+
   makeFlags = [ "LEX=${flex}/bin/flex" ];
 
   preInstall = ''