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: Jan 30 2023 at 11:03 UTC