aboutsummaryrefslogtreecommitdiffhomepage
path: root/default.nix
Commit message (Collapse)AuthorAge
* [default.nix] Build doc with nix-build.Gravatar Théo Zimmermann2018-04-17
|
* [default.nix] Add dependencies of the merging script.Gravatar Théo Zimmermann2018-03-21
|
* [default.nix] Pin nixpkgs version to include Sphinx dependenciesGravatar Vincent Laporte2018-03-09
|
* [default.nix] minor cleaningGravatar Vincent Laporte2018-03-09
|
* Integration of a sphinx-based documentation generator.Gravatar Maxime Dénès2018-03-09
| | | | | | | | The original contribution is from Clément Pit-Claudel. I updated his code and integrated it with the Coq build system. Many improvements by Paul Steckler (MIT). This commit adds the infrastructure but no content.
* [default.nix] depends on ocamlPackages.numGravatar Vincent Laporte2017-12-28
|
* [default.nix] Add ocpIndent and ocp-index.Gravatar Maxime Dénès2017-12-07
|
* Merge PR #6309: [default.nix] needs ncurses for the test-suiteGravatar Maxime Dénès2017-12-07
|\
| * [default.nix] explain ncurses dependencyGravatar Vincent Laporte2017-12-05
| |
| * [default.nix] needs ncurses for the test-suiteGravatar Vincent Laporte2017-12-04
| |
* | Add merlin in the dependencies of nix-shell only.Gravatar Théo Zimmermann2017-11-30
|/
* Introduce default.nix for Nix users.Gravatar Théo Zimmermann2017-11-09
This file can be used to get in an environment ready to compile Coq (with `nix-shell`) or to compile and install Coq (with `nix-build`).