Merge pull request #419 from hdl/rmp-1

Export all abc headers in edu_berkeley_abc

Author: QuantamHD

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",