1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
# Working on third-party developments with *this* version of Rocq
Aim: getting an environment suitable for working on a third-party development
using the current version of Rocq (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 Rocq 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 Rocq libraries. In case you
only want the non-coq dependencies (because you want to use Rocq from your `PATH`),
set the environment variable `NOCOQ` to some non-empty value.
|
