ID0002238: **This issue was created automatically from Mantis Issue 2238. Further discussion may take place here.** --- | **Id** | **Project** | **Category** | **View** | **Due Date** | **Updated** | | --- | --- | --- | --- | --- | --- | | ID0002238 | Frama-C | Kernel | public | 2016-07-05 | 2016-07-11 | | | | | | | | | --- | --- | --- | --- | --- | --- | | **Reporter** | alx | **Assigned To** | yakobowski | **Resolution** | no change required | | **Priority** | normal | **Severity** | minor | **Reproducibility** | always | | **Platform** | x86_64 | **OS** | Linux Fedora | **OS Version** | 24 | | **Product Version** | Frama-C Aluminium | **Target Version** | - | **Fixed in Version** | - | ### Description : Frama-C crashes when run on a system without ocamlfind with Unexpected error. ### Additional Information : I run frama-c precisely as /usr/bin/frama-c -wp -wp-prop="-@assigns" -wp-model "Typed+cast" -wp-rte -wp-gen -wp-proof why3 -cpp-command="gcc -C -E -D_FRAMAC_ -I. -I./libc/" -wp-why-lib why-libs/MemoryAdd.why -wp-out checker_proofs envmap_base.c [kernel] Current source was: :0 The full backtrace is: Raised at file "pervasives.ml", line 30, characters 22-33 Called from file "findlib.ml", line 150, characters 10-151 Called from file "src/kernel_services/plugin_entry_points/dynamic.ml", line 292, characters 4-47 Called from file "src/kernel_services/plugin_entry_points/kernel.ml", line 598, characters 4-44 Called from file "src/kernel_services/cmdline_parameters/cmdline.ml", line 831, characters 2-22 Called from file "src/kernel_services/cmdline_parameters/cmdline.ml", line 228, characters 4-8 Unexpected error (Failure("Config file not found - neither /etc/ocamlfind.conf nor the directory /etc/ocamlfind.conf.d")). Please report as 'crash' at http://bts.frama-c.com/. Your Frama-C version is Aluminium-20160501. Note that a version and a backtrace alone often do not contain enough information to understand the bug. Guidelines for reporting bugs are at: http://bts.frama-c.com/dokuwiki/doku.php?id=mantis:frama-c:bug_reporting_guidelines ### Steps To Reproduce : 1. Reinstall packet ocaml-findlib.x86_64 and delete directories /etc/ocamlfind.conf /etc/ocamlfind.conf.d" 2. Try to run frama-c on a file