At least for Frama-C, the issue is environment variables. It requires OCAMLPATH
to work correctly. So this works:
guix shell frama-c ocaml -- frama-c
Even though the compiler is not needed.
It's another example of why we should propagate search paths, although we could
also redefine the same
As reported by Arnaud (off-list mail) some OCaml packages build fine but
seem to be broken.
Examples include `frama-c` and `binsec`:
```
guix shell frama-c -- frama-c
[kernel] Current source was: :0
The full backtrace is:
Raised at Dune_site_plugins__Plugins.lookup_and_summarize.loop.(fun)