GNU logs - #54094, boring messages

Message sent to bug-guix@HIDDEN:

Subject: bug#54094: frama-c doesn't start
Resent-From: raingloom <raingloom@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-guix@HIDDEN
Resent-Date: Mon, 21 Feb 2022 21:14:02 +0000
Resent-Message-ID: <handler.54094.B.164547799832749 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: 54094 <at> debbugs.gnu.org
Date: Mon, 21 Feb 2022 22:13:07 +0100
From: raingloom <raingloom@HIDDEN>
Message-ID: <20220221221307.26fdd05b@HIDDEN>
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Received-SPF: pass client-ip=198.252.153.129;
 envelope-from=raingloom@HIDDEN; helo=mx1.riseup.net
X-Spam_score_int: -27
X-Spam_score: -2.8
X-Spam_bar: --
X-Spam_report: (-2.8 / 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_LOW=-0.7, RCVD_IN_MSPIKE_H3=0.001, RCVD_IN_MSPIKE_WL=0.001,
 SPF_HELO_PASS=-0.001, SPF_PASS=-0.001,
 T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no
X-Spam_action: no action
X-Spam-Score: -1.4 (-)
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: -2.4 (--)

I was just idly messing around so I'm not super motivated to dig
deeper.

```
guix shell frama-c -- frama-c
[kernel] User Error: [findlib] package 'ocamlgraph' not found (required by `frama-c.kernel')
[kernel] User Error: Deferred error message was emitted during execution. See above messages for more information.
[kernel] Frama-C aborted: invalid user input.
```

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: raingloom <raingloom@HIDDEN>
Subject: bug#54094: Acknowledgement (frama-c doesn't start)
Message-ID: <handler.54094.B.164547799832749.ack <at> debbugs.gnu.org>
References: <20220221221307.26fdd05b@HIDDEN>
X-Gnu-PR-Message: ack 54094
X-Gnu-PR-Package: guix
Reply-To: 54094 <at> debbugs.gnu.org
Date: Mon, 21 Feb 2022 21:14:02 +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 54094 <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
54094: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D54094
GNU Bug Tracking System
Contact help-debbugs@HIDDEN with problems

Message sent to bug-guix@HIDDEN:

Subject: bug#54094: frama-c doesn't start
Resent-From: Julien Lepiller <julien@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-guix@HIDDEN
Resent-Date: Mon, 21 Feb 2022 21:23:02 +0000
Resent-Message-ID: <handler.54094.B54094.16454785451181 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: raingloom <raingloom@HIDDEN>, 54094 <at> debbugs.gnu.org
Date: Mon, 21 Feb 2022 22:22:14 +0100
From: Julien Lepiller <julien@HIDDEN>
User-Agent: K-9 Mail for Android
In-Reply-To: <20220221221307.26fdd05b@HIDDEN>
References: <20220221221307.26fdd05b@HIDDEN>
Message-ID: <C634777A-BB1B-4D78-9711-43394949716F@HIDDEN>
MIME-Version: 1.0
Content-Type: multipart/alternative;
 boundary=----QNPFANQTFUR4J5QAZXX2ZRO2VQ2D9X
Content-Transfer-Encoding: 7bit
Precedence: list
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>

------QNPFANQTFUR4J5QAZXX2ZRO2VQ2D9X
Content-Type: text/plain;
 charset=utf-8
Content-Transfer-Encoding: quoted-printable

guix shell ocaml ocaml-findlib frama-c

Should work :)

Ocaml is needed to define OCAMLPATH, ocaml-findlib is what frama-c is miss=
ing=2E Should we wrap the binary?

On February 21, 2022 10:13:07 PM GMT+01:00, raingloom <raingloom@riseup=2E=
net> wrote:
>I was just idly messing around so I'm not super motivated to dig
>deeper=2E
>
>```
>guix shell frama-c -- frama-c
>[kernel] User Error: [findlib] package 'ocamlgraph' not found (required b=
y `frama-c=2Ekernel')
>[kernel] User Error: Deferred error message was emitted during execution=
=2E See above messages for more information=2E
>[kernel] Frama-C aborted: invalid user input=2E
>```
>
>
>

------QNPFANQTFUR4J5QAZXX2ZRO2VQ2D9X
Content-Type: text/html;
 charset=utf-8
Content-Transfer-Encoding: quoted-printable

<html><head></head><body>guix shell ocaml ocaml-findlib frama-c<br><br>Shou=
ld work :)<br><br>Ocaml is needed to define OCAMLPATH, ocaml-findlib is wha=
t frama-c is missing=2E Should we wrap the binary?<br><br><div class=3D"gma=
il_quote">On February 21, 2022 10:13:07 PM GMT+01:00, raingloom &lt;rainglo=
om@riseup=2Enet&gt; wrote:<blockquote class=3D"gmail_quote" style=3D"margin=
: 0pt 0pt 0pt 0=2E8ex; border-left: 1px solid rgb(204, 204, 204); padding-l=
eft: 1ex;">
<pre dir=3D"auto" class=3D"k9mail">I was just idly messing around so I'm n=
ot super motivated to dig<br>deeper=2E<br><br>```<br>guix shell frama-c -- =
frama-c<br>[kernel] User Error: [findlib] package 'ocamlgraph' not found (r=
equired by `frama-c=2Ekernel')<br>[kernel] User Error: Deferred error messa=
ge was emitted during execution=2E See above messages for more information=
=2E<br>[kernel] Frama-C aborted: invalid user input=2E<br>```<br><br><br><b=
r></pre></blockquote></div></body></html>
------QNPFANQTFUR4J5QAZXX2ZRO2VQ2D9X--

Last modified: Mon, 21 Feb 2022 21:30:02 UTC

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