GNU bug report logs - #69996
Broken OCaml packages (e.g. frama-c and binsec)

Previous Next

To reply to this bug, email your comments to 69996 AT debbugs.gnu.org.
There is no need to reopen the bug first.

Toggle the display of automated, internal messages from the tracker.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: pukkamustard <pukkamustard <at> posteo.net>
To: bug-guix <at> gnu.org
Subject: Broken OCaml packages (e.g. frama-c and binsec)
Date: Mon, 25 Mar 2024 10:29:44 +0000

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) in file "otherlibs/dune-site/src/plugins/plugins.ml", line 237, characters 16-87
  Called from Dune_site_plugins__Plugins.load_gen in file "otherlibs/dune-site/src/plugins/plugins.ml", line 263, characters 39-69
  Called from Stdlib__List.iter in file "list.ml", line 110, characters 12-15
  Called from Stdlib__List.iter in file "list.ml", line 110, characters 12-15
  Called from Frama_c_kernel__Kernel.bootstrap_loader in file "src/kernel_services/plugin_entry_points/kernel.ml", line 933, characters 35-62
  Called from Frama_c_kernel__Cmdline.parse_and_boot in file "src/kernel_services/cmdline_parameters/cmdline.ml", line 894, characters 2-22
  Called from Frama_c_kernel__Cmdline.catch_toplevel_run in file "src/kernel_services/cmdline_parameters/cmdline.ml", line 233, characters 4-8
  
  Unexpected error (The library "frama-c-aorai.core" can't be found in the search paths "/gnu/store/psmc4940aa9bj23dddkglv0p2yhi05kn-ocaml-4.14.1/lib".).
  Please report as 'crash' at https://git.frama-c.com/pub/frama-c/issues
  Your Frama-C version is 27.1 (Cobalt).
  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
```

```
guix shell binsec -- binsec -v
Fatal error: exception The library "binsec.sse.checkct" can't be found in the search paths "/gnu/store/psmc4940aa9bj23dddkglv0p2yhi05kn-ocaml-4.14.1/lib".
```

Message #8 received at 69996 <at> debbugs.gnu.org (full text, mbox):

From: Julien Lepiller <julien <at> lepiller.eu>
To: pukkamustard <pukkamustard <at> posteo.net>, 69996 <at> debbugs.gnu.org
Subject: Re: bug#69996: Broken OCaml packages (e.g. frama-c and binsec)
Date: Tue, 02 Apr 2024 16:01:57 +0200

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 search path in packages that need it ;)

Le 25 mars 2024 11:29:44 GMT+01:00, pukkamustard <pukkamustard <at> posteo.net> a écrit :
>
>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) in file "otherlibs/dune-site/src/plugins/plugins.ml", line 237, characters 16-87
>  Called from Dune_site_plugins__Plugins.load_gen in file "otherlibs/dune-site/src/plugins/plugins.ml", line 263, characters 39-69
>  Called from Stdlib__List.iter in file "list.ml", line 110, characters 12-15
>  Called from Stdlib__List.iter in file "list.ml", line 110, characters 12-15
>  Called from Frama_c_kernel__Kernel.bootstrap_loader in file "src/kernel_services/plugin_entry_points/kernel.ml", line 933, characters 35-62
>  Called from Frama_c_kernel__Cmdline.parse_and_boot in file "src/kernel_services/cmdline_parameters/cmdline.ml", line 894, characters 2-22
>  Called from Frama_c_kernel__Cmdline.catch_toplevel_run in file "src/kernel_services/cmdline_parameters/cmdline.ml", line 233, characters 4-8
>  
>  Unexpected error (The library "frama-c-aorai.core" can't be found in the search paths "/gnu/store/psmc4940aa9bj23dddkglv0p2yhi05kn-ocaml-4.14.1/lib".).
>  Please report as 'crash' at https://git.frama-c.com/pub/frama-c/issues
>  Your Frama-C version is 27.1 (Cobalt).
>  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
>```
>
>```
>guix shell binsec -- binsec -v
>Fatal error: exception The library "binsec.sse.checkct" can't be found in the search paths "/gnu/store/psmc4940aa9bj23dddkglv0p2yhi05kn-ocaml-4.14.1/lib".
>```
>
>
>

Message #11 received at 69996 <at> debbugs.gnu.org (full text, mbox):

From: "jgart" <jgart <at> dismail.de>
To: 69996 <at> debbugs.gnu.org, "Julien Lepiller" <julien <at> lepiller.eu>,
 "pukkamustard" <pukkamustard <at> posteo.net>
Subject: Re: Broken OCaml packages (e.g. frama-c and binsec)
Date: Mon, 24 Jun 2024 20:15:54 +0000

Hi all,

frama-c is now fixed in https://issues.guix.gnu.org/71748

all best,

jgart

https://whereis.みんな/

Message #14 received at 69996 <at> debbugs.gnu.org (full text, mbox):

From: Sören Tempel <soeren <at> soeren-tempel.net>
To: 69996 <at> debbugs.gnu.org
Cc: pukkamustard <at> posteo.net, julien <at> lepiller.eu, jgart <at> dismail.de
Subject: Re: Broken OCaml packages (e.g. frama-c and binsec)
Date: Sun, 04 May 2025 13:28:25 +0200

Hello!

A patch for BINSEC is available in https://issues.guix.gnu.org/78231

Greetings
Sören

Message #19 received at 69996-done <at> debbugs.gnu.org (full text, mbox):

From: Andreas Enge <andreas <at> enge.fr>
To: soeren <at> soeren-tempel.net
Cc: 69996-done <at> debbugs.gnu.org, jgart <at> dismail.de, 78231-done <at> debbugs.gnu.org
Subject: Re: [PATCH] ocaml: binsec: Wrap program to set OCAMLPATH
Date: Sat, 7 Jun 2025 16:40:07 +0200

Am Sat, May 03, 2025 at 04:38:26PM +0200 schrieb soeren <at> soeren-tempel.net:
> From: Sören Tempel <soeren <at> soeren-tempel.net>
> Otherwise, dune plugins cannot be loaded which results in some command
> line options to not work correctly. For example, binsec --help errors
> with "The library "binsec.sse.checkct" can't be found in the search
> paths". To fix this, this patch adds a wrap-programs phase.
> Fixes https://issues.guix.gnu.org/69996
> * gnu/packages/ocaml.scm (binsec) <arguments>: Add wrap-programs phase.

Pushed, thanks!

Andreas

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.