Skip to content

Commit

Permalink
Add conf-gcc dependency to goblint
Browse files Browse the repository at this point in the history
  • Loading branch information
sim642 committed Aug 12, 2022
1 parent 01a1972 commit 0e5a728
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 0 deletions.
1 change: 1 addition & 0 deletions packages/goblint/goblint.1.0.0/opam
Original file line number Diff line number Diff line change
Expand Up @@ -17,6 +17,7 @@ depends: [
"ppx_import"
"ppx_deriving"
"ppx_deriving_yojson"
"conf-gcc"
]
synopsis: "Static analysis framework for concurrent C"
url {
Expand Down
1 change: 1 addition & 0 deletions packages/goblint/goblint.1.1.1/opam
Original file line number Diff line number Diff line change
Expand Up @@ -35,6 +35,7 @@ depends: [
"conf-gmp" {>= "3"}
"conf-ruby" {with-test}
"benchmark" {with-test}
"conf-gcc"
]
depopts: ["apron" "z3"]
build: [
Expand Down

0 comments on commit 0e5a728

Please sign in to comment.