search

goblint / cil

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

where are the libraries after opam install goblint-cil? #131

Closed nguyenthanhvuh closed 1 year ago

nguyenthanhvuh commented 1 year ago

I have successfully install via opam install goblint-cil, now I want to compile Ocaml file with goblint-cil (i.e., files with open GoblintCil) but I cannot find where the installed libraries are, should it be install somewhere like /usr/lib/ocaml/goblint-cil/ ?

sim642 commented 1 year ago

Opam installs packages in the current opam switch. This can be local (an _opam directory somewhere where you might have locally created it) or global (e.g. ~/.opam/4.14.1). Relative to that, goblint-cil installs into lib/goblint-cil.

There shouldn't be need to actually know the precise path and library file names. Simply depending on the goblint-cil library in dune (or via some other ocamlfind mechanism), everything should be found and used automatically.

nguyenthanhvuh commented 1 year ago

got it, thanks!

michael-schwarz commented 1 year ago

Happy to help! Feel free to reopen if any other questions come up 😊