Crash when attempting to use frama-c installed via opam on ubuntu.
Here is the error message in full.
[kernel] Current source was: :0 The full backtrace is: Raised at Dune_site_plugins__Plugins.load_plugin in file "otherlibs/dune-site/src/plugins/plugins.ml", line 267, characters 12-74 Called from Stdlib__List.iter in file "list.ml", line 110, characters 12-15 Called from Frama_c_kernel__Kernel.bootstrap_loader in file "src/kernel_services/plugin_entry_points/kernel.ml", line 933, characters 35-62 Called from Frama_c_kernel__Cmdline.parse_and_boot in file "src/kernel_services/cmdline_parameters/cmdline.ml", line 894, characters 2-22 Called from Frama_c_kernel__Cmdline.catch_toplevel_run in file "src/kernel_services/cmdline_parameters/cmdline.ml", line 233, characters 4-8 Unexpected error (The plugin "Frama_Clang.cmi" can't be found in the search paths "/home/chrbur02/.opam/default/lib/frama-c/plugins".). Please report as 'crash' at https://git.frama-c.com/pub/frama-c/issues Your Frama-C version is 27.1 (Cobalt). Note that a version and a backtrace alone often do not contain enough information to understand the bug. Guidelines for reporting bugs are at: https://git.frama-c.com/pub/frama-c/-/wikis/Guidelines-for-reporting-bugs