Here is what I see if I launch frama-c after installing the standard package:
$ frama-c
[kernel] Current source was: :0
The full backtrace is:
Raised at file "stdlib.ml", line 33, 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
287, characters 2-45
Called from file "src/kernel_services/plugin_entry_points/kernel.ml", line
760, characters 4-49
Called from file "src/kernel_services/cmdline_parameters/cmdline.ml", line
836, characters 2-22
Called from file "src/kernel_services/cmdline_parameters/cmdline.ml", line
229, characters 4-8
Unexpected error (Failure("Config file not found - neither /etc/findlib.conf
nor the directory /etc/findlib.conf.d")).
Please report as 'crash' at http://bts.frama-c.com/.
Your Frama-C version is 18.0 (Argon).
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
$
If I install the findlib package, frama-c runs without incident.
Below is a patch that adds findlib as a run dependency for frama-c.
Index: devel/frama-c/Makefile
===================================================================
RCS file: /cvs/ports/devel/frama-c/Makefile,v
retrieving revision 1.12
diff -u -p -r1.12 Makefile
--- devel/frama-c/Makefile 13 Mar 2019 09:34:42 -0000 1.12
+++ devel/frama-c/Makefile 22 Mar 2019 20:35:43 -0000
@@ -24,8 +24,8 @@ MODULES = lang/ocaml
BUILD_DEPENDS = x11/lablgtk2 devel/ocaml-graph \
math/graphviz math/ocaml-zarith sysutils/findlib
-RUN_DEPENDS = x11/lablgtk2 math/graphviz math/ocaml-zarith
-
+RUN_DEPENDS = x11/lablgtk2 math/graphviz math/ocaml-zarith \
+ sysutils/findlib
LIB_DEPENDS = x11/gnome/libgnomecanvas \
x11/gtksourceview
