Stream: Coq devs & plugin devs

Topic: dockerfile i386


view this post on Zulip Gaëtan Gilbert (Mar 29 2022 at 17:04):

anyone remember why this line is needed? https://github.com/coq/coq/blob/f58bff40bf01106d0ac450e977541210ec4a3913/dev/ci/docker/bionic_coq/Dockerfile#L61

view this post on Zulip Emilio Jesús Gallego Arias (Mar 29 2022 at 17:05):

Gaëtan Gilbert said:

anyone remember why this line is needed? https://github.com/coq/coq/blob/f58bff40bf01106d0ac450e977541210ec4a3913/dev/ci/docker/bionic_coq/Dockerfile#L61

I do

view this post on Zulip Emilio Jesús Gallego Arias (Mar 29 2022 at 17:05):

was to fix broken zarith build

view this post on Zulip Emilio Jesús Gallego Arias (Mar 29 2022 at 17:06):

not sure if that's needed anymore, used to be an issue in the bug tracker

view this post on Zulip Gaëtan Gilbert (Mar 29 2022 at 17:07):

probably not needed, the 2nd opam install fixes a different ocamlfind version from the one auto picked so it rebuilds zarith


Last updated: Feb 01 2023 at 15:04 UTC