From baa3367ea6e7f220e8fdda07445878d9a33525cd Mon Sep 17 00:00:00 2001
From: Ben Siraphob <bensiraphob@gmail.com>
Date: Fri, 22 Aug 2025 13:09:32 -0700
Subject: [PATCH] cvc4: fix build on darwin

---
 pkgs/by-name/cv/cvc4/package.nix | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/pkgs/by-name/cv/cvc4/package.nix b/pkgs/by-name/cv/cvc4/package.nix
index 039ec5617dbc..8748d1e57926 100644
--- a/pkgs/by-name/cv/cvc4/package.nix
+++ b/pkgs/by-name/cv/cvc4/package.nix
@@ -61,6 +61,19 @@ stdenv.mkDerivation rec {
     ./cvc4-bash-patsub-replacement.patch
   ];
 
+  postPatch = ''
+        # Fix missing size_t declarations by adding after pragma once or include guards
+        sed -i '/#pragma once/a\
+    #include <cstddef>' src/expr/emptyset.h || sed -i '1i\
+    #include <cstddef>' src/expr/emptyset.h
+
+        sed -i '/#define CVC4__EXPR__EXPR_IOMANIP_H/a\
+    #include <cstddef>' src/expr/expr_iomanip.h
+
+        sed -i '/#define CVC4__UTIL__REGEXP_H/a\
+    #include <cstddef>' src/util/regexp.h
+  '';
+
   preConfigure = ''
     patchShebangs ./src/
   '';