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

[Jean-Pierre De Jesus Diaz]

Hi,

>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.

This is due to a problem with OCaml packages and search paths.

See <https://issues.guix.gnu.org/69996>.

So running this should work: `guix shell frama-c ocaml -- frama-c --help'.

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

Shouldn't be an issue per se as Guix checks the hash of the
downloaded files to match but for privacy reasons should be on https
IMO.

Will do and I'll sent a v2.

On Thu, Apr 25, 2024 at 2:54 PM Arnaud Daby-Seesaram <ds-ac@nanein.fr> wrote:
>
> 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?
>
>
> Orthogonal comment: should "http://"; be replaced by "https://";?
>
>
> Best regards,
>
> --
> Arnaud