Skip to content

Files

Latest commit

b2d6427 · Aug 4, 2023

History

History

nix

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
May 17, 2019
Jan 24, 2019
Nov 12, 2018
Jan 24, 2019
Nov 12, 2018
Nov 12, 2018
Jan 24, 2019
Nov 12, 2018
Nov 12, 2018
May 17, 2019
Feb 26, 2019
Nov 12, 2018
May 7, 2019
Nov 12, 2018
Aug 4, 2023
Jan 15, 2020
May 7, 2019
Jan 24, 2019
Feb 5, 2019
Feb 5, 2019
Jan 24, 2019
Jan 24, 2019
Jan 24, 2019
Mar 18, 2019
Jan 24, 2019
Sep 10, 2020
Dec 23, 2022

Working on third-party developments with this version of Coq

Aim: getting an environment suitable for working on a third-party development using the current version of Coq (i.e., built from the current state of this repository).

Dive into such an environment, for the project example by running, from the root of this repository:

./dev/ci/nix/shell example

This will build Coq and the other dependencies of the example project, then open a shell with all these dependencies available (e.g., coqtop is in path).

Additionally, three environment variables are set, to abstract over the build-system of that project: configure, make, and clean. Therefore, after changing the working directory to the root of the sources of that project, the contents of these variables can be evaluated to respectively set-up, build, and clean the project.

Variant: nocoq

The dependencies of the third-party developments are split into buildInputs and coqBuildInputs. The second list gathers the Coq libraries. In case you only want the non-coq dependencies (because you want to use Coq from your PATH), set the environment variable NOCOQ to some non-empty value.