Error when using docker file with Singularity
I used Singularity to pull the image of frama-c from docker hub.
However, when I run frama-c -help
, I got the following error.
Could you please help me check it?
I don't have any problem when I use docker desktop.
[Updated] The image I tried is the one with tag 22.0
[kernel] Current source was: :0 The full backtrace is: Raised at file "stdlib.ml", line 29, characters 17-33 Called from file "findlib.ml", line 166, characters 10-151 Called from file "src/kernel_services/plugin_entry_points/dynamic.ml", line 299, characters 2-45 Called from file "src/kernel_services/plugin_entry_points/kernel.ml", line 848, characters 4-49 Called from file "src/kernel_services/cmdline_parameters/cmdline.ml", line 886, characters 2-22 Called from file "src/kernel_services/cmdline_parameters/cmdline.ml", line 231, characters 4-8
Unexpected error (Failure("Config file not found - neither /root/.opam/ocaml-base-compiler.4.08.1/lib/findlib.conf nor the directory /root/.opam/ocaml-base-compiler.4.08.1/lib/findlib.conf.d")). Please report as 'crash' at https://git.frama-c.com/pub/frama-c/issues Your Frama-C version is 22.0 (Titanium). 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