Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | [default.nix] Adds “ounit” to check dependencies | 2018-05-29 | |
| | |||
* | [default.nix] List “hostname” as a dependency | 2018-05-29 | |
| | |||
* | [default.nix] Use OCaml 4.06 | 2018-05-29 | |
| | |||
* | [default.nix] Drop dependency to ocp-index | 2018-05-29 | |
| | |||
* | Merge PR #7084: [default.nix] Unpin nixpkgs | 2018-05-29 | |
|\ | |||
* | | One can build all the HTML doc using default.nix. | 2018-05-10 | |
| | | |||
* | | [default.nix] Build doc with nix-build. | 2018-04-17 | |
| | | |||
| * | [default.nix] Unpin nixpkgs | 2018-03-27 | |
|/ | | | | Sphinx dependencies are now available in unstable channel | ||
* | [default.nix] Add dependencies of the merging script. | 2018-03-21 | |
| | |||
* | [default.nix] Pin nixpkgs version to include Sphinx dependencies | 2018-03-09 | |
| | |||
* | [default.nix] minor cleaning | 2018-03-09 | |
| | |||
* | Integration of a sphinx-based documentation generator. | 2018-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.num | 2017-12-28 | |
| | |||
* | [default.nix] Add ocpIndent and ocp-index. | 2017-12-07 | |
| | |||
* | Merge PR #6309: [default.nix] needs ncurses for the test-suite | 2017-12-07 | |
|\ | |||
| * | [default.nix] explain ncurses dependency | 2017-12-05 | |
| | | |||
| * | [default.nix] needs ncurses for the test-suite | 2017-12-04 | |
| | | |||
* | | Add merlin in the dependencies of nix-shell only. | 2017-11-30 | |
|/ | |||
* | Introduce default.nix for Nix users. | 2017-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`). |