Simple script to set up a Coq project dependencies using opam.
Inspired by Haskell's stack.
Reads coq_config.yaml file and set up am opam switch and install
required packages.
Optionally checks out some sub-projects from git (an alternative to using sub-modules).
- It is safe to run multiple times.
- The opam packages where the version numer was specified, will be
pinned, so it is safe to do
opam updateaftewards. - You will need to activate opam switch specified in config with
opam switchcommand. The script does not change current active switch for you. - Tested with opam verson 2.0.5.
- Run
opam initif necessary - If switch exists, check if the right compiler is used and update if necessary.
- When adding repositories, check their URLs, not just names. It they do not match the config - report error.
- Run
coq-configfor allextra-deps - When re-running, make sure pinned version removed or updated if changed.
The easiets way to install is using pip:
pip install coq-config
To run from local clone of git repository install dependencies (using
pip):
- click
- pyyaml
- cerberus
For bugs reports, contributions and source code visit project page on github.