diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2022-06-18 10:56:48 +0200 |
---|---|---|
committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2022-06-18 11:54:21 +0200 |
commit | af888339b6c7d1c8c5b8857271d80a23dc849b39 (patch) | |
tree | 69222f973aa688edcf1e74cbda065bd40b965128 /doc/languages-frameworks/coq.section.md | |
parent | a5051e29e2acaabb2aa731250d5999437a74ce07 (diff) | |
download | nixpkgs-af888339b6c7d1c8c5b8857271d80a23dc849b39.tar nixpkgs-af888339b6c7d1c8c5b8857271d80a23dc849b39.tar.gz nixpkgs-af888339b6c7d1c8c5b8857271d80a23dc849b39.tar.bz2 nixpkgs-af888339b6c7d1c8c5b8857271d80a23dc849b39.tar.lz nixpkgs-af888339b6c7d1c8c5b8857271d80a23dc849b39.tar.xz nixpkgs-af888339b6c7d1c8c5b8857271d80a23dc849b39.tar.zst nixpkgs-af888339b6c7d1c8c5b8857271d80a23dc849b39.zip |
mkCoqDerivation: do not set DESTDIR
Fixes #178109
Diffstat (limited to 'doc/languages-frameworks/coq.section.md')
-rw-r--r-- | doc/languages-frameworks/coq.section.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/languages-frameworks/coq.section.md b/doc/languages-frameworks/coq.section.md index 11777b5eef4..80d8566f804 100644 --- a/doc/languages-frameworks/coq.section.md +++ b/doc/languages-frameworks/coq.section.md @@ -41,7 +41,7 @@ The recommended way of defining a derivation for a Coq library, is to use the `c * `useDune2` (optional, defaults to `false`) uses Dune2 to build the package if set to true, the presence of this attribute overrides the behavior of the previous one. * `opam-name` (optional, defaults to concatenating with a dash separator the components of `namePrefix` and `pname`), name of the Dune package to build. * `enableParallelBuilding` (optional, defaults to `true`), since it is activated by default, we provide a way to disable it. -* `extraInstallFlags` (optional), allows to extend `installFlags` which initializes the variables `DESTDIR` and `COQMF_COQLIB` so as to install in the proper subdirectory. Indeed Coq libraries should be installed in `$(out)/lib/coq/${coq.coq-version}/user-contrib/`. Such directories are automatically added to the `$COQPATH` environment variable by the hook defined in the Coq derivation. +* `extraInstallFlags` (optional), allows to extend `installFlags` which initializes the variable `COQMF_COQLIB` so as to install in the proper subdirectory. Indeed Coq libraries should be installed in `$(out)/lib/coq/${coq.coq-version}/user-contrib/`. Such directories are automatically added to the `$COQPATH` environment variable by the hook defined in the Coq derivation. * `setCOQBIN` (optional, defaults to `true`), by default, the environment variable `$COQBIN` is set to the current Coq's binary, but one can disable this behavior by setting it to `false`, * `useMelquiondRemake` (optional, default to `null`) is an attribute set, which, if given, overloads the `preConfigurePhases`, `configureFlags`, `buildPhase`, and `installPhase` attributes of the derivation for a specific use in libraries using `remake` as set up by Guillaume Melquiond for `flocq`, `gappalib`, `interval`, and `coquelicot` (see the corresponding derivation for concrete examples of use of this option). For backward compatibility, the attribute `useMelquiondRemake.logpath` must be set to the logical root of the library (otherwise, one can pass `useMelquiondRemake = {}` to activate this without backward compatibility). * `dropAttrs`, `keepAttrs`, `dropDerivationAttrs` are all optional and allow to tune which attribute is added or removed from the final call to `mkDerivation`. |