search

goblint / cil

C Intermediate Language
https://goblint.github.io/cil/
Other
40 stars 16 forks source link

Make build via `make` work again #22

Closed michael-schwarz closed 3 years ago

michael-schwarz commented 3 years ago

Currently building via make (ocamlbuild) is broken, and only building via dune build works.

michael-schwarz commented 3 years ago

Now only the make test target is broken.

vogler commented 3 years ago

What's the issue/what broke it? Shouldn't have anything to do with the missing dependencies above.

michael-schwarz commented 3 years ago

What's the issue/what broke it? Shouldn't have anything to do with the missing dependencies above.

Apparently, when I renamed the findlib package to match the name of the opam package (goblint-cil vs. cil) I was not thorough enough and missed a couple of places. I now have tests via make test almost working again, one example is still broken. For this example, I had to adapt the include path for it to work with dune runtest, and apparently broke it for make test while doing that.