From 8b3c51df4eba11eb79dc9794edc7e3497d6f6c45 Mon Sep 17 00:00:00 2001
From: Mike Inouye <mikeinouye@google.com>
Date: Wed, 20 Aug 2025 11:26:41 -0700
Subject: [PATCH] Export all abc headers in edu_berkeley_abc

---
 dependency_support/edu_berkeley_abc/bundled.BUILD.bazel | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

diff --git a/dependency_support/edu_berkeley_abc/bundled.BUILD.bazel b/dependency_support/edu_berkeley_abc/bundled.BUILD.bazel
index a804cfaa..db28ba91 100644
--- a/dependency_support/edu_berkeley_abc/bundled.BUILD.bazel
+++ b/dependency_support/edu_berkeley_abc/bundled.BUILD.bazel
@@ -1197,11 +1197,7 @@ cc_library(
         "src/sat/xsat/xsatSolverAPI.c",
         "src/sat/xsat/xsatSolver.c",
     ],
-    hdrs = [
-        "src/base/abc/abc.h",
-        "src/base/main/main.h",
-        "src/misc/util/abc_global.h",
-    ],
+    hdrs = glob(["src/**/*.h"]) + glob(["src/**/*.hpp"]),
     copts = [
         "-Wno-sign-compare",
         "-Wno-unused-function",