about summary refs log tree commit diff
path: root/pkgs/build-support/coq
AgeCommit message (Collapse)AuthorFilesLines
2023-03-06treewide: deprecate isNullFelix Buehler2-5/+5
https://nixos.org/manual/nix/stable/language/builtins.html#builtins-isNull
2023-02-28mkCoqDerivation: findlib is an optional inputVincent Laporte1-2/+2
2022-10-02coqPackages.mkCoqDerivation: upgrade to Dune 3Théo Zimmermann1-7/+7
And remove the version number from the corresponding attributes.
2022-09-11coqPackages.lib.overrideCoqDerivation: update documentation for overriding ↵Dennis Gosnell1-1/+12
version
2022-08-29coqPackages.mkCoqDerivation: add a coqPackages.lib.overrideCoqDerivation ↵Dennis Gosnell1-0/+37
function `overrideCoqDerivation` allows end-users the ability to easily override arguments to the underlying call to `mkCoqDerivation` for a given Coq library. This is similar to `haskell.lib.overrideCabal` for Haskell packages and `.overridePythonAttrs` for Python packges.
2022-07-08Do not rely on legacy ocaml passthru value.Théo Zimmermann1-1/+1
2022-06-18mkCoqDerivation: do not set DESTDIRVincent Laporte1-1/+1
Fixes #178109
2022-05-25coqPackages: etcCyril Cohen1-13/+27
- put `findlib` in `buildInputs` of `mkCoqDerivation` to make sure `coq` packages find their ocaml plugin dependencies, - use `propagatedBuildInputs` to make sure ocaml plugin dependencies are in path, - updated `coqPackage.heq` (broken url), - fixed use of `DESTDIR` and `COQMF_COQLIB` in mkCoqDerivation, - adding `COQCORELIB` environement variable to put ocaml plugin files in the right place, - make `metaFetch` available from `coqPackages`
2022-05-13Revert "coqPackages: etc"Vincent Laporte1-26/+13
This reverts commit 7e589a45ef86abf9a6a737d9730925b81ee663b4.
2022-05-12coqPackages: etcCyril Cohen1-13/+26
- use propagatedBuildInputs to make sure ocaml plugin stuff is in path - updated coqPackage.heq (broken url) - fixed use of `DESTDIR` and `COQMF_COQLIB` in mkCoqDerivation - adding `COQCORELIB` environement variable to put ocaml plugin files in the right place - make metaFetch available from `coqPackages`
2022-02-25coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps ↵Ulrik Strid1-3/+6
= true Co-authored-by: Vincent Laporte <vbgl@users.noreply.github.com>
2022-02-15coq: miscCyril Cohen1-4/+3
Removing a dangling `let` that went undetected for a while
2021-09-20coqPackages.mkCoqDerivation: rely on namePrefix to compute default opam-nameThéo Zimmermann1-3/+2
As suggested by Cyril Cohen in https://github.com/NixOS/nixpkgs/pull/134362#discussion_r698379405.
2021-09-08mkCoqDerivation: use COQMF_COQLIB for dev versions of CoqThéo Zimmermann1-1/+2
2021-08-17coqPackages.mkCoqDerivation: fix useDune2Théo Zimmermann1-2/+8
- Reuse build phase from the `buildDunePackage` function. - Only install the package that was just built (useful for monorepo support). - Introduces `opam-name` to override the default package name to build with Dune.
2021-06-10mkCoqDerivation: fix useDune2Théo Zimmermann1-1/+1
2021-03-10coqPackages.multinomials: 1.5.2 -> 1.5.4 (#115427)Cyril Cohen2-13/+33
- This is the first packages which uses Dune in order to build and install so I had to refactor build-support/coq/default.nix in order to support it. - I added a new feature: one can now release.v.sha256 empty to try to download with a fake sha256, hence failures are reported and one can copy paste the sha256 given by the error message. - I updated the documentation of languages-frameworks/coq.section.md accordingly.
2021-01-27treewide: remove implicit use of stdenv.libBen Siraphob2-3/+4
2021-01-09coqPackages: refactorCyril Cohen3-0/+303
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-10-23 06:18:55 +0000