GNU logs - #69996, boring messages

Message sent to bug-guix@HIDDEN:

Subject: bug#69996: Broken OCaml packages (e.g. frama-c and binsec)
Resent-From: pukkamustard <pukkamustard@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-guix@HIDDEN
Resent-Date: Mon, 25 Mar 2024 16:16:04 +0000
Resent-Message-ID: <handler.69996.B.171138334227112 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: 69996 <at> debbugs.gnu.org
From: pukkamustard <pukkamustard@HIDDEN>
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-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".
```

Message sent:

Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable
MIME-Version: 1.0
X-Mailer: MIME-tools 5.505 (Entity 5.505)
Content-Type: text/plain; charset=utf-8
X-Loop: help-debbugs@HIDDEN
From: help-debbugs@HIDDEN (GNU bug Tracking System)
To: pukkamustard <pukkamustard@HIDDEN>
Subject: bug#69996: Acknowledgement (Broken OCaml packages (e.g. frama-c
 and binsec))
Message-ID: <handler.69996.B.171138334227112.ack <at> debbugs.gnu.org>
References: <86zfummwfs.fsf@HIDDEN>
X-Gnu-PR-Message: ack 69996
X-Gnu-PR-Package: guix
Reply-To: 69996 <at> debbugs.gnu.org
Date: Mon, 25 Mar 2024 16:16:05 +0000

Thank you for filing a new bug report with debbugs.gnu.org.

This is an automatically generated reply to let you know your message
has been received.

Your message is being forwarded to the package maintainers and other
interested parties for their attention; they will reply in due course.

Your message has been sent to the package maintainer(s):
 bug-guix@HIDDEN

If you wish to submit further information on this problem, please
send it to 69996 <at> debbugs.gnu.org.

Please do not send mail to help-debbugs@HIDDEN unless you wish
to report a problem with the Bug-tracking system.

--=20
69996: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D69996
GNU Bug Tracking System
Contact help-debbugs@HIDDEN with problems

Message sent to bug-guix@HIDDEN:

Subject: bug#69996: Broken OCaml packages (e.g. frama-c and binsec)
Resent-From: Julien Lepiller <julien@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-guix@HIDDEN
Resent-Date: Tue, 02 Apr 2024 14:03:01 +0000
Resent-Message-ID: <handler.69996.B69996.171206652923773 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: pukkamustard <pukkamustard@HIDDEN>, 69996 <at> debbugs.gnu.org
Date: Tue, 02 Apr 2024 16:01:57 +0200
From: Julien Lepiller <julien@HIDDEN>
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
Precedence: list
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>

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

Message sent to bug-guix@HIDDEN:

Subject: bug#69996: Broken OCaml packages (e.g. frama-c and binsec)
References: <86zfummwfs.fsf@HIDDEN>
In-Reply-To: <86zfummwfs.fsf@HIDDEN>
Resent-From: "jgart" <jgart@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-guix@HIDDEN
Resent-Date: Mon, 24 Jun 2024 20:17:01 +0000
Resent-Message-ID: <handler.69996.B69996.171926016818410 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: 69996 <at> debbugs.gnu.org, "Julien Lepiller" <julien@HIDDEN>, "pukkamustard" <pukkamustard@HIDDEN>
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
Precedence: list
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>

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/

Message sent to bug-guix@HIDDEN:

X-Loop: help-debbugs@HIDDEN
Subject: bug#69996: Broken OCaml packages (e.g. frama-c and binsec)
References: <86zfummwfs.fsf@HIDDEN>
In-Reply-To: <86zfummwfs.fsf@HIDDEN>
Resent-From: =?UTF-8?Q?S=C3=B6ren?= Tempel <soeren@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-guix@HIDDEN
Resent-Date: Sun, 04 May 2025 11:29:04 +0000
Resent-Message-ID: <handler.69996.B69996.174635811424885 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 69996
X-GNU-PR-Package: guix
X-GNU-PR-Keywords: 
To: 69996 <at> debbugs.gnu.org
Cc: pukkamustard@HIDDEN, julien@HIDDEN, jgart@HIDDEN
Received: via spool by 69996-submit <at> 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 <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
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-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

Last modified: Sun, 4 May 2025 11:30:08 UTC

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