Received: (at 69996) by debbugs.gnu.org; 4 May 2025 11:28:34 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Sun May 04 07:28:34 2025 Received: from localhost ([127.0.0.1]:53262 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1uBXWM-0006TJ-D6 for submit <at> 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 <soeren@HIDDEN>) id 1uBXWI-0006Sj-Nn for 69996 <at> 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 (<unknown> [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 To: 69996 <at> debbugs.gnu.org Subject: Re: Broken OCaml packages (e.g. frama-c and binsec) From: =?UTF-8?Q?S=C3=B6ren?= Tempel <soeren@HIDDEN> Message-Id: <2IFOS1DN9C2YO.373I6YGAJQ25V@HIDDEN> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 69996 Cc: pukkamustard@HIDDEN, julien@HIDDEN, jgart@HIDDEN 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: -1.0 (-) Hello! A patch for BINSEC is available in https://issues.guix.gnu.org/78231 Greetings S=C3=B6ren
bug-guix@HIDDEN
:bug#69996
; Package guix
.
Full text available.Received: (at 69996) by debbugs.gnu.org; 24 Jun 2024 20:16:08 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Mon Jun 24 16:16:08 2024 Received: from localhost ([127.0.0.1]:35688 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1sLq6i-0004ms-BC for submit <at> 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 <jgart@HIDDEN>) id 1sLq6e-0004mJ-Or for 69996 <at> 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 (<unknown> [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" <jgart@HIDDEN> Message-ID: <11d40e6e7f9b57e2935d4cd89dcb770d52febaae@HIDDEN> TLS-Required: No Subject: Re: Broken OCaml packages (e.g. frama-c and binsec) To: 69996 <at> debbugs.gnu.org, "Julien Lepiller" <julien@HIDDEN>, "pukkamustard" <pukkamustard@HIDDEN> X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 69996 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: -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/
bug-guix@HIDDEN
:bug#69996
; Package guix
.
Full text available.Received: (at 69996) by debbugs.gnu.org; 2 Apr 2024 14:02:09 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Tue Apr 02 10:02:09 2024 Received: from localhost ([127.0.0.1]:54804 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1rreiG-0006BN-RQ for submit <at> 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 <julien@HIDDEN>) id 1rreiD-0006Ae-0X for 69996 <at> 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 <julien@HIDDEN> To: pukkamustard <pukkamustard@HIDDEN>, 69996 <at> debbugs.gnu.org Subject: Re: bug#69996: Broken OCaml packages (e.g. frama-c and binsec) User-Agent: K-9 Mail for Android In-Reply-To: <86zfummwfs.fsf@HIDDEN> References: <86zfummwfs.fsf@HIDDEN> Message-ID: <8CFAB584-A35A-4D75-83EC-88E4056337A2@HIDDEN> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 69996 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: -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 <pukkamustard@posteo=2Ene= t> 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 >``` > > >
bug-guix@HIDDEN
:bug#69996
; Package guix
.
Full text available.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". ```
pukkamustard <pukkamustard@HIDDEN>
:bug-guix@HIDDEN
.
Full text available.bug-guix@HIDDEN
:bug#69996
; Package guix
.
Full text available.
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997 nCipher Corporation Ltd,
1994-97 Ian Jackson.