Add conf-gcc dependency

Not sure if it helps with macos-homebrew opam-repository CI.
goblint · Aug 12, 2022 · 51180df · 51180df
1 parent 4343121
commit 51180df
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/dune-project b/dune-project
@@ -34,6 +34,7 @@ This is a fork of the 'cil' package used for 'goblint'. Major changes include:
     yojson
     conf-perl
     cppo
+    conf-gcc
   )
   (conflicts cil) ; only because we both install the cilly executable
 )
diff --git a/goblint-cil.opam b/goblint-cil.opam
@@ -41,6 +41,7 @@ depends: [
   "yojson"
   "conf-perl"
   "cppo"
+  "conf-gcc"
 ]
 conflicts: ["cil"]
 build: [