On Fri, Mar 22 2019, Greg Czerniak <[email protected]> wrote: > 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.
Indeed. > Below is a patch that adds findlib as a run dependency for frama-c. Committed, thanks. (With a REVISION bump) > 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 > > -- jca | PGP : 0x1524E7EE / 5135 92C1 AD36 5293 2BDF DDCC 0DFA 74AE 1524 E7EE
