unofficial mirror of bug-guix@gnu.org 
 help / color / mirror / code / Atom feed
* 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).