products/sources/formale sprachen/Coq/dev/ci/nix image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: State.thy   Sprache: Isabelle

Haftungsausschluß.md KontaktHaskell {Haskell[389] Fortran[450] Ada[600]}diese Dinge liegen außhalb unserer Verantwortung

# 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.

[ Seitenstruktur0.102Drucken  ]