Stream: Coq users

Topic: What to expect from install script

MIchael Hennebry (Nov 08 2023 at 01:46):

I'm not a coq user, yet, but I'm trying to be.
If there is a better place for this question,
please feel free to direct me.
At https://github.com/coq/platform/blob/2023.03.0/doc/README_Linux.md#installation-by-compiling-from-sources-using-opam , I found
Get the Coq Platform scripts via either of these methods

Most users should download and extract https://github.com/coq/platform/archive/refs/tags/2023.03.0.zip

I did that.
On Fedora 38, I did groupinstall of "Development Tools" .
It did not install either ocaml or opam.
I hope the scripts take care of that.
Do they?

Apparently coq_platform_make.sh invokes a lot of other scripts,
nine of which ask me questions.
I'd really like to know the questions and the answers ahead of time.
Doing that on the fly is something I'm likely to screw up.
I infer that one of those questions will be for a package list.
I'll want one with gappa, but do not even know the form of the answer to use.
What are the questions and what form do the answers take?

Notification Bot (Nov 08 2023 at 07:20):

This topic was moved to #Coq Platform devs & users > What to expect from install script by Karl Palmskog.

Last updated: Oct 13 2024 at 01:02 UTC