"Script to set up a Coq project dependencies using opam, inspired by Haskell's stack."
Project description
Coq-config
Simple script to set up a Coq project dependencies using opam.
Inspired by Haskell's stack
.
Documentation
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).
Notes
- 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 update
aftewards. - You will need to activate opam switch specified in config with
opam switch
command. The script does not change current active switch for you. - Tested with opam verson 2.0.5.
To-Do
- Run
opam init
if 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-config
for allextra-deps
- When re-running, make sure pinned version removed or updated if changed.
Installation
The easiets way to install is using pip
:
pip install coq-config
Manual install
To run from local clone of git repository install dependencies (using
pip
):
- click
- pyyaml
- cerberus
Contact
For bugs reports, contributions and source code visit project page on github.
Project details
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
coq-config-0.0.2.tar.gz
(5.4 kB
view hashes)
Built Distribution
Close
Hashes for coq_config-0.0.2-py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | d6ed80dd8512e63b1bd2ea21cfd10d8ddf755d592be10abb0624dececa2871a0 |
|
MD5 | 93fda3a1ac22643936d563228e7ef67d |
|
BLAKE2b-256 | 10ac271275e52b1eec241454179a7a216ec77362d2e02c88854f25a850ca3351 |