From unknown Sat Jun 14 19:47:48 2025 X-Loop: help-debbugs@gnu.org Subject: bug#69996: Broken OCaml packages (e.g. frama-c and binsec) Resent-From: pukkamustard Original-Sender: "Debbugs-submit" Resent-CC: bug-guix@gnu.org Resent-Date: Mon, 25 Mar 2024 16:16:04 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 69996 X-GNU-PR-Package: guix X-GNU-PR-Keywords: To: 69996@debbugs.gnu.org X-Debbugs-Original-To: bug-guix@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.171138334227112 (code B ref -1); Mon, 25 Mar 2024 16:16:04 +0000 Received: (at submit) by debbugs.gnu.org; 25 Mar 2024 16:15:42 +0000 Received: from localhost ([127.0.0.1]:35866 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1romz7-000738-Ew for submit@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 ) id 1romz5-00072v-BT for submit@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 ) id 1rohfL-0001WE-OG for bug-guix@gnu.org; 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 ) id 1rohfJ-0007s4-Tc for bug-guix@gnu.org; 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 ; 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 ; Mon, 25 Mar 2024 11:34:48 +0100 (CET) From: pukkamustard Date: Mon, 25 Mar 2024 10:29:44 +0000 Message-ID: <86zfummwfs.fsf@posteo.net> MIME-Version: 1.0 Content-Type: text/plain Received-SPF: pass client-ip=185.67.36.66; envelope-from=pukkamustard@posteo.net; 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-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" 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". ``` From unknown Sat Jun 14 19:47:48 2025 X-Loop: help-debbugs@gnu.org Subject: bug#69996: Broken OCaml packages (e.g. frama-c and binsec) Resent-From: Julien Lepiller Original-Sender: "Debbugs-submit" Resent-CC: bug-guix@gnu.org Resent-Date: Tue, 02 Apr 2024 14:03:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 69996 X-GNU-PR-Package: guix X-GNU-PR-Keywords: To: pukkamustard , 69996@debbugs.gnu.org Received: via spool by 69996-submit@debbugs.gnu.org id=B69996.171206652923773 (code B ref 69996); Tue, 02 Apr 2024 14:03:01 +0000 Received: (at 69996) by debbugs.gnu.org; 2 Apr 2024 14:02:09 +0000 Received: from localhost ([127.0.0.1]:54804 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rreiG-0006BN-RQ for submit@debbugs.gnu.org; Tue, 02 Apr 2024 10:02:09 -0400 Received: from lepiller.eu ([89.234.186.109]:53876) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rreiD-0006Ae-0X for 69996@debbugs.gnu.org; Tue, 02 Apr 2024 10:02:06 -0400 Received: from lepiller.eu (localhost [127.0.0.1]) by lepiller.eu (OpenSMTPD) with ESMTP id 0dbe3847; Tue, 2 Apr 2024 14:01:58 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=lepiller.eu; h=date:from :to:subject:in-reply-to:references:message-id:mime-version :content-type:content-transfer-encoding; s=dkim; bh=ia1ghMN97et9 vwQ/trpnPKeEk4LOUJoGfoEdepZUecU=; b=gDjfSAQz6Ds3+Wc2NhaX0j4SRotT FoNGQe96d8oxRjilGoKpjnFQv5QilTFX3teYemeUIiqYRYgCxVw7w3fFbcOGMzqV JnzNV9plIPlB7N/yi2LnxNW+0To6wASNnXFFYvwLQbdy5AHPBRUWJlnvSZRrvq+I QnPDZP1/mwUsY/fCSfYszA9bs4xYcjcgSA6VBTm2TGpfuf3/KerP8sxDEg24t+Ha GuDu2CWE65i9wUibNITTADR5peP9dKCIDBaWPTwnj3lz8Zc/8/x400KOanaEuE+u zbnPOtvO0tVIN+3/7Bn1MaGdOf4HINSEifSmHHzWyv48b5GMcJFnsB+CSw== Received: by lepiller.eu (OpenSMTPD) with ESMTPSA id ee74acee (TLSv1.3:TLS_AES_256_GCM_SHA384:256:NO); Tue, 2 Apr 2024 14:01:58 +0000 (UTC) Date: Tue, 02 Apr 2024 16:01:57 +0200 From: Julien Lepiller User-Agent: K-9 Mail for Android In-Reply-To: <86zfummwfs.fsf@posteo.net> References: <86zfummwfs.fsf@posteo.net> Message-ID: <8CFAB584-A35A-4D75-83EC-88E4056337A2@lepiller.eu> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: -0.0 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) At least for Frama-C, the issue is environment variables=2E It requires OCA= MLPATH to work correctly=2E So this works: guix shell frama-c ocaml -- frama-c Even though the compiler is not needed=2E 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 a =C3=A9crit=C2=A0: > >As reported by Arnaud (off-list mail) some OCaml packages build fine but >seem to be broken=2E > >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=2Elookup_and_summarize=2Eloop=2E(f= un) in file "otherlibs/dune-site/src/plugins/plugins=2Eml", line 237, chara= cters 16-87 > Called from Dune_site_plugins__Plugins=2Eload_gen in file "otherlibs/du= ne-site/src/plugins/plugins=2Eml", line 263, characters 39-69 > Called from Stdlib__List=2Eiter in file "list=2Eml", line 110, characte= rs 12-15 > Called from Stdlib__List=2Eiter in file "list=2Eml", line 110, characte= rs 12-15 > Called from Frama_c_kernel__Kernel=2Ebootstrap_loader in file "src/kern= el_services/plugin_entry_points/kernel=2Eml", line 933, characters 35-62 > Called from Frama_c_kernel__Cmdline=2Eparse_and_boot in file "src/kerne= l_services/cmdline_parameters/cmdline=2Eml", line 894, characters 2-22 > Called from Frama_c_kernel__Cmdline=2Ecatch_toplevel_run in file "src/k= ernel_services/cmdline_parameters/cmdline=2Eml", line 233, characters 4-8 > =20 > Unexpected error (The library "frama-c-aorai=2Ecore" can't be found in = the search paths "/gnu/store/psmc4940aa9bj23dddkglv0p2yhi05kn-ocaml-4=2E14= =2E1/lib"=2E)=2E > Please report as 'crash' at https://git=2Eframa-c=2Ecom/pub/frama-c/iss= ues > Your Frama-C version is 27=2E1 (Cobalt)=2E > Note that a version and a backtrace alone often do not contain enough > information to understand the bug=2E Guidelines for reporting bugs are = at: > https://git=2Eframa-c=2Ecom/pub/frama-c/-/wikis/Guidelines-for-reportin= g-bugs >``` > >``` >guix shell binsec -- binsec -v >Fatal error: exception The library "binsec=2Esse=2Echeckct" can't be foun= d in the search paths "/gnu/store/psmc4940aa9bj23dddkglv0p2yhi05kn-ocaml-4= =2E14=2E1/lib"=2E >``` > > > From unknown Sat Jun 14 19:47:48 2025 X-Loop: help-debbugs@gnu.org Subject: bug#69996: Broken OCaml packages (e.g. frama-c and binsec) References: <86zfummwfs.fsf@posteo.net> In-Reply-To: <86zfummwfs.fsf@posteo.net> Resent-From: "jgart" Original-Sender: "Debbugs-submit" Resent-CC: bug-guix@gnu.org Resent-Date: Mon, 24 Jun 2024 20:17:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 69996 X-GNU-PR-Package: guix X-GNU-PR-Keywords: To: 69996@debbugs.gnu.org, "Julien Lepiller" , "pukkamustard" Received: via spool by 69996-submit@debbugs.gnu.org id=B69996.171926016818410 (code B ref 69996); Mon, 24 Jun 2024 20:17:01 +0000 Received: (at 69996) by debbugs.gnu.org; 24 Jun 2024 20:16:08 +0000 Received: from localhost ([127.0.0.1]:35688 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sLq6i-0004ms-BC for submit@debbugs.gnu.org; Mon, 24 Jun 2024 16:16:08 -0400 Received: from mx2.dismail.de ([159.69.191.136]:40714) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sLq6e-0004mJ-Or for 69996@debbugs.gnu.org; Mon, 24 Jun 2024 16:16:06 -0400 Received: from mx2.dismail.de (localhost [127.0.0.1]) by mx2.dismail.de (OpenSMTPD) with ESMTP id 219dfd1b; Mon, 24 Jun 2024 22:15:56 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=dismail.de; h= mime-version:date:content-type:content-transfer-encoding:from :message-id:subject:to; s=20190914; bh=rTsV85kygiF6LUsx8V/kRsVJ8 Y/Hf5F5u7+OzaM1Vb4=; b=dUiJ8qITrF7NtpxDpZcTOmiILNpzTFRVkNzTx8vtc lWt9jtI8UOgVvbvgyHdx9azOpNTu8gyoSgwiAY6U43Q9LZwTL6IOg7yEbUy7ykpb jGoxCahWUkeLKaFQ53d2GLeVTp4jT4dhX2dZTSbqHp/XlIAdpzTBhp6Fzrp4eh73 I2rDKLBdGjgjyzCmMjtsiz6bMk+4VXWUT76Zg1UU7soUyINKRDylR+Rd/NLi2maS 1UnfZu0dpUMLkIx9h+oSxMFao+uWL41eq/8vhptCJe1yuQoyT2xVkN4Qp13EZR2I Uuea6BAYQZr18gNM1ah4IqXAWfkKBc7WkbVPoQB8+QA0Q== Received: from smtp1.dismail.de ( [10.240.26.11]) by mx2.dismail.de (OpenSMTPD) with ESMTP id 72c37ecc; Mon, 24 Jun 2024 22:15:56 +0200 (CEST) Received: from smtp1.dismail.de (localhost [127.0.0.1]) by smtp1.dismail.de (OpenSMTPD) with ESMTP id aadb2f71; Mon, 24 Jun 2024 22:15:56 +0200 (CEST) Received: by dismail.de (OpenSMTPD) with ESMTPSA id 4f8a6398 (TLSv1.3:TLS_AES_256_GCM_SHA384:256:NO); Mon, 24 Jun 2024 22:15:55 +0200 (CEST) MIME-Version: 1.0 Date: Mon, 24 Jun 2024 20:15:54 +0000 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable From: "jgart" Message-ID: <11d40e6e7f9b57e2935d4cd89dcb770d52febaae@dismail.de> TLS-Required: No X-Spam-Score: -2.3 (--) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) Hi all, frama-c is now fixed in https://issues.guix.gnu.org/71748 all best, jgart https://whereis.=E3=81=BF=E3=82=93=E3=81=AA/ From unknown Sat Jun 14 19:47:48 2025 X-Loop: help-debbugs@gnu.org Subject: bug#69996: Broken OCaml packages (e.g. frama-c and binsec) References: <86zfummwfs.fsf@posteo.net> In-Reply-To: <86zfummwfs.fsf@posteo.net> Resent-From: =?UTF-8?Q?S=C3=B6ren?= Tempel Original-Sender: "Debbugs-submit" Resent-CC: bug-guix@gnu.org Resent-Date: Sun, 04 May 2025 11:29:04 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 69996 X-GNU-PR-Package: guix X-GNU-PR-Keywords: To: 69996@debbugs.gnu.org Cc: pukkamustard@posteo.net, julien@lepiller.eu, jgart@dismail.de Received: via spool by 69996-submit@debbugs.gnu.org id=B69996.174635811424885 (code B ref 69996); Sun, 04 May 2025 11:29:04 +0000 Received: (at 69996) by debbugs.gnu.org; 4 May 2025 11:28:34 +0000 Received: from localhost ([127.0.0.1]:53262 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1uBXWM-0006TJ-D6 for submit@debbugs.gnu.org; Sun, 04 May 2025 07:28:34 -0400 Received: from magnesium.8pit.net ([45.76.88.171]:29332) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1uBXWI-0006Sj-Nn for 69996@debbugs.gnu.org; Sun, 04 May 2025 07:28:32 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; s=opensmtpd; bh=pLiyjX+L vjLPSYMI+JMdWuzIcJ6mkeUm0JiHN4egPf8=; h=from:subject:cc:to:date; d=soeren-tempel.net; b=vE478UVD3RLmzozKjqFALiegbi4Jvp8Onfx4Y/MWa//ItxB C1k6jj4dIFk3vPqFZ6M9Q1zcxPHxjCaHZSJiVLaLB5pIsi+ImTOgDIS3SFqzKPU4BbHAmt 4nRJb8bVc4/CdIyQIoUsrfWPeGFIKzKZklP98vYHA88cMo2ZYxlbeI= Received: from localhost ( [2a02:560:4d21:3f00:11d2:aa46:9365:87a6]) by magnesium.8pit.net (OpenSMTPD) with ESMTPSA id d3887332 (TLSv1.3:TLS_AES_256_GCM_SHA384:256:YES); Sun, 4 May 2025 13:28:27 +0200 (CEST) Date: Sun, 04 May 2025 13:28:25 +0200 From: =?UTF-8?Q?S=C3=B6ren?= Tempel Message-Id: <2IFOS1DN9C2YO.373I6YGAJQ25V@8pit.net> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: 0.0 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) Hello! A patch for BINSEC is available in https://issues.guix.gnu.org/78231 Greetings S=C3=B6ren From unknown Sat Jun 14 19:47:48 2025 MIME-Version: 1.0 X-Mailer: MIME-tools 5.505 (Entity 5.505) X-Loop: help-debbugs@gnu.org From: help-debbugs@gnu.org (GNU bug Tracking System) To: pukkamustard Subject: bug#69996: closed (Re: [PATCH] ocaml: binsec: Wrap program to set OCAMLPATH) Message-ID: References: <86zfummwfs.fsf@posteo.net> X-Gnu-PR-Message: they-closed 69996 X-Gnu-PR-Package: guix Reply-To: 69996@debbugs.gnu.org Date: Sat, 07 Jun 2025 14:41:02 +0000 Content-Type: multipart/mixed; boundary="----------=_1749307262-30839-1" This is a multi-part message in MIME format... ------------=_1749307262-30839-1 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" Your bug report #69996: Broken OCaml packages (e.g. frama-c and binsec) which was filed against the guix package, has been closed. The explanation is attached below, along with your original report. If you require more details, please reply to 69996@debbugs.gnu.org. --=20 69996: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D69996 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems ------------=_1749307262-30839-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at 69996-done) by debbugs.gnu.org; 7 Jun 2025 14:40:21 +0000 Received: from localhost ([127.0.0.1]:49244 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1uNuia-0007zi-Iz for submit@debbugs.gnu.org; Sat, 07 Jun 2025 10:40:20 -0400 Received: from hera.aquilenet.fr ([185.233.100.1]:49118) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1uNuiY-0007un-3X; Sat, 07 Jun 2025 10:40:18 -0400 Received: from localhost (localhost [127.0.0.1]) by hera.aquilenet.fr (Postfix) with ESMTP id 21586476; Sat, 7 Jun 2025 16:40:11 +0200 (CEST) Authentication-Results: hera.aquilenet.fr; none X-Virus-Scanned: Debian amavis at hera.aquilenet.fr Received: from hera.aquilenet.fr ([127.0.0.1]) by localhost (hera.aquilenet.fr [127.0.0.1]) (amavis, port 10024) with ESMTP id BfwsJLTBxZqD; Sat, 7 Jun 2025 16:40:10 +0200 (CEST) Received: from jurong (176-179-191-150.abo.bbox.fr [176.179.191.150]) by hera.aquilenet.fr (Postfix) with ESMTPSA id 0217125A; Sat, 7 Jun 2025 16:40:08 +0200 (CEST) Date: Sat, 7 Jun 2025 16:40:07 +0200 From: Andreas Enge To: soeren@soeren-tempel.net Subject: Re: [PATCH] ocaml: binsec: Wrap program to set OCAMLPATH Message-ID: References: <739a1da5e980801aa40d3e81d84d30ba633bae70.1746283105.git.soeren@soeren-tempel.net> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-15 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <739a1da5e980801aa40d3e81d84d30ba633bae70.1746283105.git.soeren@soeren-tempel.net> X-Rspamd-Server: hera X-Rspamd-Queue-Id: 21586476 X-Spamd-Result: default: False [-5.59 / 15.00]; BAYES_HAM(-3.00)[99.99%]; NEURAL_HAM(-2.99)[-0.996]; MID_RHS_NOT_FQDN(0.50)[]; MIME_GOOD(-0.10)[text/plain]; RCVD_COUNT_TWO(0.00)[2]; FROM_EQ_ENVFROM(0.00)[]; MIME_TRACE(0.00)[0:+]; TO_DN_NONE(0.00)[]; TO_MATCH_ENVRCPT_ALL(0.00)[]; RCVD_VIA_SMTP_AUTH(0.00)[]; RCVD_TLS_ALL(0.00)[]; FROM_HAS_DN(0.00)[]; RCPT_COUNT_THREE(0.00)[4]; ARC_NA(0.00)[] X-Rspamd-Action: no action X-Spamd-Bar: ----- X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 69996-done Cc: 69996-done@debbugs.gnu.org, jgart@dismail.de, 78231-done@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) Am Sat, May 03, 2025 at 04:38:26PM +0200 schrieb soeren@soeren-tempel.net: > From: Sören Tempel > 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) : Add wrap-programs phase. Pushed, thanks! Andreas ------------=_1749307262-30839-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at submit) by debbugs.gnu.org; 25 Mar 2024 16:15:42 +0000 Received: from localhost ([127.0.0.1]:35866 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1romz7-000738-Ew for submit@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 ) id 1romz5-00072v-BT for submit@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 ) id 1rohfL-0001WE-OG for bug-guix@gnu.org; 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 ) id 1rohfJ-0007s4-Tc for bug-guix@gnu.org; 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 ; 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 ; Mon, 25 Mar 2024 11:34:48 +0100 (CET) From: pukkamustard To: bug-guix@gnu.org Subject: Broken OCaml packages (e.g. frama-c and binsec) Date: Mon, 25 Mar 2024 10:29:44 +0000 Message-ID: <86zfummwfs.fsf@posteo.net> MIME-Version: 1.0 Content-Type: text/plain Received-SPF: pass client-ip=185.67.36.66; envelope-from=pukkamustard@posteo.net; 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@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" 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". ``` ------------=_1749307262-30839-1--