Dynlink.error when compiling cil with dune following goblint

[guangshengfan]

I just start learning dune, and try to update CIL (version 1.7.3) using dune. I follow the way goblint (version 2.0) does., but meet a problem. After dune build @install && dune install, I call cilly, and there is an error:

The following are the arguments of the Cilly process Error: error loading shared library: Dynlink.Error (Dynlink.Cannot_open_dll "Failure("tianshu-cil/_opam/lib/ocaml/dynlink.cmxs: cannot open shared object file: No such file or directory")") Fatal error: exception TianshuCil__Errormsg.Error

I find dynlink.cmxs does not exist in opam lib, but goblint-cil has no problem. Could you do me a favor?

Here is my source code repository https://github.com/gsfan15/tianshu-cil

[sim642]

I don't have a definite answer for you, but we have some small changes to the CIL feature loading mechanism that may be related: https://github.com/goblint/cil/commits/develop/src/feature.ml.

Just wondering, is there a reason you're trying to redo this instead of just using goblint-cil?

[guangshengfan]

Thanks very much! This has really help me. I have consider using goblint-cil, since it has been developed well thanks to your research group. However, I need to finish a project as soon as possible. So sad, hhh.

[michael-schwarz]

Closing this as the question seems to be answered. If you have any more questions, feel free to open a new issue!