Add conf-gcc dependency to goblint-cil.2.0.0

sim642 · sim642 · commit 01a1972ebb9b · 2022-08-12T17:11:19.000+03:00
diff --git a/packages/goblint-cil/goblint-cil.2.0.0/opam b/packages/goblint-cil/goblint-cil.2.0.0/opam
@@ -39,6 +39,7 @@ depends: [
   "yojson"
   "conf-perl"
   "cppo"
+  "conf-gcc"
 ]
 conflicts: ["cil"]
 build: [
