rahmenlose Ansicht.md DruckansichtHaskell {Haskell[389] Fortran[450] Ada[600]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
# 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.
[ Verzeichnis aufwärts0.131unsichere Verbindung
]
