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

[Jean-Pierre De Jesus Diaz]

Hi,

I've sent a v2 of the patches, it now uses https and fixed
ocaml-unionfind origin that didn't contain the file-name
field.

On Thu, Apr 25, 2024 at 3:24 PM Julien Lepiller <julien@lepiller.eu> wrote:
>
>
>
> 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,
> >