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

Message received at submit <at> debbugs.gnu.org:

Received: (at submit) by debbugs.gnu.org; 25 Mar 2024 16:15:42 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Mon Mar 25 12:15:42 2024
Received: from localhost ([127.0.0.1]:35866 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1romz7-000738-Ew
	for submit <at> debbugs.gnu.org; Mon, 25 Mar 2024 12:15:41 -0400
Received: from lists.gnu.org ([2001:470:142::17]:33816)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <pukkamustard@HIDDEN>) id 1romz5-00072v-BT
 for submit <at> debbugs.gnu.org; Mon, 25 Mar 2024 12:15:40 -0400
Received: from eggs.gnu.org ([2001:470:142:3::10])
 by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.90_1) (envelope-from <pukkamustard@HIDDEN>)
 id 1rohfL-0001WE-OG
 for bug-guix@HIDDEN; Mon, 25 Mar 2024 06:34:55 -0400
Received: from mout02.posteo.de ([185.67.36.66])
 by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.90_1) (envelope-from <pukkamustard@HIDDEN>)
 id 1rohfJ-0007s4-Tc
 for bug-guix@HIDDEN; Mon, 25 Mar 2024 06:34:55 -0400
Received: from submission (posteo.de [185.67.36.169]) 
 by mout02.posteo.de (Postfix) with ESMTPS id 1F3CB240103
 for <bug-guix@HIDDEN>; Mon, 25 Mar 2024 11:34:49 +0100 (CET)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.net; s=2017;
 t=1711362889; bh=WdQnoUD8te8s+ZRBoCrgSev0Vjh41Bj2cTnp8sROCQI=;
 h=From:To:Subject:Date:Message-ID:MIME-Version:Content-Type:From;
 b=jntSGxSUQcO5H37iN5SqR21VlG22vpjRKvhJzN9210xObuAFSFyKe+mfiw8SMEpVz
 FzQMFiVm/T0QnMFpheURP+t69D25XD7PIR73hl5j0FoHOuMX9bBEsB9dZz1CSpW0qQ
 t8U8vbyLeR+matJgKjhEu30phJiew2iIem4e785gZB4hZ0tSy4jt23nJl+m4wEt8oM
 VKQEnUDtVooEU3etuhrQFgeifq1uBaN/ei/dbaTRAyhvgGTOWKm6P22Z91FDqTeN09
 RxqVmtmfzQf1TcnAmEzZQyIy2Y6fKqgUjAH85CutkXZLnMHf0kDuRovTPUxtKPV7oq
 auADawJNRdbiA==
Received: from customer (localhost [127.0.0.1])
 by submission (posteo.de) with ESMTPSA id 4V38Sm4ZYqz6trs
 for <bug-guix@HIDDEN>; Mon, 25 Mar 2024 11:34:48 +0100 (CET)
From: pukkamustard <pukkamustard@HIDDEN>
To: bug-guix@HIDDEN
Subject: Broken OCaml packages (e.g. frama-c and binsec)
Date: Mon, 25 Mar 2024 10:29:44 +0000
Message-ID: <86zfummwfs.fsf@HIDDEN>
MIME-Version: 1.0
Content-Type: text/plain
Received-SPF: pass client-ip=185.67.36.66;
 envelope-from=pukkamustard@HIDDEN; helo=mout02.posteo.de
X-Spam_score_int: -43
X-Spam_score: -4.4
X-Spam_bar: ----
X-Spam_report: (-4.4 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1,
 DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1,
 RCVD_IN_DNSWL_MED=-2.3, RCVD_IN_MSPIKE_H4=-0.01, RCVD_IN_MSPIKE_WL=-0.01,
 SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no
X-Spam_action: no action
X-Spam-Score: 1.0 (+)
X-Debbugs-Envelope-To: submit
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -0.0 (/)


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".
```