Add conf-gcc dependency to goblint packages

sim642 · sim642 · commit e5b3ebd798f8 · 2022-08-12T22:13:32.000+03:00
diff --git a/packages/goblint/goblint.1.0.0/opam b/packages/goblint/goblint.1.0.0/opam
@@ -18,6 +18,7 @@ depends: [
   "ppx_deriving"
   "ppx_deriving_yojson"
   "yojson" {< "1.6.0"}
+  "conf-gcc"
 ]
 synopsis: "Static analysis framework for concurrent C"
 url {
diff --git a/packages/goblint/goblint.1.1.1/opam b/packages/goblint/goblint.1.1.1/opam
@@ -35,6 +35,7 @@ depends: [
   "conf-gmp" {>= "3"}
   "conf-ruby" {with-test}
   "benchmark" {with-test}
+  "conf-gcc"
 ]
 depopts: ["apron" "z3"]
 build: [

Original file line number	Diff line number	Diff line change
`@@ -18,6 +18,7 @@ depends: [`
`18`	`18`	`"ppx_deriving"`
`19`	`19`	`"ppx_deriving_yojson"`
`20`	`20`	`"yojson" {< "1.6.0"}`
	`21`	`+ "conf-gcc"`
`21`	`22`	`]`
`22`	`23`	`synopsis: "Static analysis framework for concurrent C"`
`23`	`24`	`url {`