* bug#54094: frama-c doesn't start
@ 2022-02-21 21:13 raingloom
2022-02-21 21:22 ` Julien Lepiller
2024-06-24 20:08 ` jgart via Bug reports for GNU Guix
0 siblings, 2 replies; 4+ messages in thread
From: raingloom @ 2022-02-21 21:13 UTC (permalink / raw)
To: 54094
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.
```
^ permalink raw reply [flat|nested] 4+ messages in thread
* bug#54094: frama-c doesn't start
2022-02-21 21:13 bug#54094: frama-c doesn't start raingloom
@ 2022-02-21 21:22 ` Julien Lepiller
2022-02-22 0:35 ` raingloom
2024-06-24 20:08 ` jgart via Bug reports for GNU Guix
1 sibling, 1 reply; 4+ messages in thread
From: Julien Lepiller @ 2022-02-21 21:22 UTC (permalink / raw)
To: raingloom, 54094
[-- Attachment #1: Type: text/plain, Size: 647 bytes --]
guix shell ocaml ocaml-findlib frama-c
Should work :)
Ocaml is needed to define OCAMLPATH, ocaml-findlib is what frama-c is missing. Should we wrap the binary?
On February 21, 2022 10:13:07 PM GMT+01:00, raingloom <raingloom@riseup.net> wrote:
>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.
>```
>
>
>
[-- Attachment #2: Type: text/html, Size: 926 bytes --]
^ permalink raw reply [flat|nested] 4+ messages in thread
* bug#54094: frama-c doesn't start
2022-02-21 21:22 ` Julien Lepiller
@ 2022-02-22 0:35 ` raingloom
0 siblings, 0 replies; 4+ messages in thread
From: raingloom @ 2022-02-22 0:35 UTC (permalink / raw)
To: Julien Lepiller; +Cc: 54094
On Mon, 21 Feb 2022 22:22:14 +0100
Julien Lepiller <julien@lepiller.eu> wrote:
> guix shell ocaml ocaml-findlib frama-c
>
> Should work :)
>
> Ocaml is needed to define OCAMLPATH, ocaml-findlib is what frama-c is
> missing. Should we wrap the binary?
>
> On February 21, 2022 10:13:07 PM GMT+01:00, raingloom
> <raingloom@riseup.net> wrote:
> >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. ```
> >
> >
> >
> Should we wrap the binary?
Definitely. Binaries are supposed to just work as far as I know.
^ permalink raw reply [flat|nested] 4+ messages in thread
* bug#54094: frama-c doesn't start
2022-02-21 21:13 bug#54094: frama-c doesn't start raingloom
2022-02-21 21:22 ` Julien Lepiller
@ 2024-06-24 20:08 ` jgart via Bug reports for GNU Guix
1 sibling, 0 replies; 4+ messages in thread
From: jgart via Bug reports for GNU Guix @ 2024-06-24 20:08 UTC (permalink / raw)
To: 54094-done; +Cc: Julien Lepiller, Csepp
Hi,
This is now fixed in https://issues.guix.gnu.org/71748
Thanks,
jgart
https://whereis.みんな/
^ permalink raw reply [flat|nested] 4+ messages in thread
end of thread, other threads:[~2024-06-24 20:09 UTC | newest]
Thread overview: 4+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2022-02-21 21:13 bug#54094: frama-c doesn't start raingloom
2022-02-21 21:22 ` Julien Lepiller
2022-02-22 0:35 ` raingloom
2024-06-24 20:08 ` jgart via Bug reports for GNU Guix
Code repositories for project(s) associated with this public inbox
https://git.savannah.gnu.org/cgit/guix.git
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).