Stream: Coq Platform devs & users

Topic: C compiler and linker as part of the platform

view this post on Zulip Karl Palmskog (Aug 29 2020 at 13:17):

As per this topic the C compiler and linker used by the OCaml compiler are also (implicitly) part of the Coq Platform. It might be good if the "default" assumed compiler and linker versions are specified explicitly.

Last updated: Jun 05 2023 at 10:01 UTC