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