search

goblint / cil

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

Update Readme to clarify status of `cilly` #100

Closed michael-schwarz closed 2 years ago

michael-schwarz commented 2 years ago

Right now we prominently mention cilly in the readme, but use the dune-based build for our package on OPAM that doesn't build or install cilly (#99). We should either update the README to clarify cilly is not available unless you build from source and use the old build process, or add support for it to the dune-based build.

sim642 commented 2 years ago

I might try to see if I can configure dune to install it somewhere sensible. There are some dune facilities for installing non-OCaml things into the switch (we do that for Goblint's includes).