[bug#70567] [PATCH 0/7] frama-c: Update to 28.1.

[Julien Lepiller]

Le 25 avril 2024 16:54:34 GMT+02:00, Arnaud Daby-Seesaram via Guix-patches via 
<guix-patches@gnu.org> a écrit :
>Hi,
>
>Thank you for these patches.  I confirm that the patches do apply, and
>that packages build.
>
>That said, I still experience an issue when trying to run frama-c.
>I can enter a `guix shell frama-c` environment, but then:
>
>- `frama-c --version` outputs "28.1 (Nickel)", as expected.
>  
>- `frama-c --help` errors out with the following error:
>    | Unexpected error (The library "frama-c-alias.core" can't be found
>    | in the search paths
>    | "/gnu/store/psmc4940aa9bj23dddkglv0p2yhi05kn-ocaml-4.14.1/lib".).
>  together with a backtrace.
>
>
>Note: this issue is also present in Guix for frama-c version
>      27.1 (Cobalt).
>
>
>I am missing additional packages (maybe in another channel) which would
>provide frama-c-* packages?

Try with guix shell frama-c ocaml

>
>
>Orthogonal comment: should "http://"; be replaced by "https://";?

If the website is available at https, yes

>
>
>Best regards,
>