diff --git a/packages/goblint/goblint.1.0.0/opam b/packages/goblint/goblint.1.0.0/opam index 3eaa8e7cd18e..4167663e1915 100644 --- a/packages/goblint/goblint.1.0.0/opam +++ b/packages/goblint/goblint.1.0.0/opam @@ -17,6 +17,7 @@ depends: [ "ppx_import" "ppx_deriving" "ppx_deriving_yojson" + "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 index f849fb6c3155..ea09996def67 100644 --- 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: [