aboutsummaryrefslogtreecommitdiff
path: root/default.nix
AgeCommit message (Collapse)Author
2019-05-17[default.nix] Exclude the nix/ directory from sourcesVincent Laporte
2019-03-19Merge PR #9647: [default.nix] Enable parallel buildThéo Zimmermann
Reviewed-by: Zimmi48 Reviewed-by: ejgallego
2019-03-19[coqide] [ci] Update GTK toolchain to lablgtk3Emilio Jesus Gallego Arias
- Update Docker images to install compatible version of lablgtk3 - We remove unnecesary variables from configure. - We fix path detection of GTK libs in makefile
2019-03-18[nix] Move nixpkgs.nix into the dev/ directoryVincent Laporte
2019-03-18[nix] Store the reference to nixpkgs in a dedicated fileVincent Laporte
2019-03-01[Kernel] Simpler generation of opcode filesVincent Laporte
Files kernel/copcodes.ml, kernel/byterun/coq_instruct.h, and kernel/byterun/coq_jumptbl.h are generated by a simple OCaml program rather than a pipeline of sed and awk text processing.
2019-02-26[default.nix] Enable parallel buildVincent Laporte
2019-01-30Updated pinned nixpkgs.Théo Zimmermann
Use default OCaml version (4.06.1).
2018-12-14Update pinned nixpkgs to use Dune 1.6.Théo Zimmermann
2018-11-22[default.nix] Add graphviz for STM DAG printerMaxime Dénès
2018-11-21[camlp5] Remove dependency on camlp5.Emilio Jesus Gallego Arias
2018-11-05[default.nix] Update pinned nixpkgs.Théo Zimmermann
2018-11-05[default.nix] Add coq-version, meta.platform and setupHook.Théo Zimmermann
Closes #8227 by solving remaining differences. Sets dontFilter in anticipation of NixOS/nixpkgs#49456.
2018-10-26[default.nix] Clean-up: use camlp5 instead of synonymous camlp5_strict.Théo Zimmermann
2018-10-25[default.nix] Update to dune 1.4.Théo Zimmermann
2018-10-10Fix build of Nix package with sandbox.Théo Zimmermann
One more place where we must patch shebangs.
2018-10-09[default.nix] Add install dir to OCAMLPATH before running the test-suiteVincent Laporte
2018-10-09[default.nix] some fixesVincent Laporte
2018-10-01[default.nix] Add odoc to the documentation build-inputsVincent Laporte
2018-10-01[default.nix] Update the reference to nixpkgs; make it the defaultVincent Laporte
2018-09-23[default.nix] Bump nixpkgs to use Dune 1.2.1.Théo Zimmermann
2018-09-20Update minimum required dependency versions of Sphinx doc.Théo Zimmermann
The minimum required versions of the Sphinx-related (and ANTLR) Python packages for Coq 8.10 were chosen as the lower bound between what is currently in Debian Buster and in NixOS 18.09 Jellyfish (in practice the lower bound was always met by NixOS 18.09 Jellyfish). These minimum required versions were documented. In the docker image used by GitLab CI, we install these Python packages through pip as this allows us to pin them to these specific versions. In Travis, we let them unspecified to always test the latest versions. Finally, we also add the new dependencies of the Sphinx PDF manual.
2018-09-10Have `gitFull` in the nix-shellCyril Cohen
2018-09-07Add utop to default.nix for use in nix-shell (see #8426).Théo Zimmermann
2018-09-06Override Dune derivation to update it before nixpkgs.Théo Zimmermann
As suggested by Vincent.
2018-09-06Changes to default.nix to be able to use Dune.Théo Zimmermann
2018-07-05[pkg:nix] Stop using lib.inNixShell.Théo Zimmermann
2018-07-05[pkg:nix] Pass through the ocamlPackages version used to build.Théo Zimmermann
This will be useful for users wanting to build a plugin using this package.
2018-07-03Refactor default.nix to use optionals.Théo Zimmermann
2018-07-03Fix timing tools on NixOS.Théo Zimmermann
2018-07-03Add a test build of Nix package to GitLab CI.Théo Zimmermann
We pin default.nix again to make the CI build predictable. As in Windows builds, we need to override the default before_script. As in other test-suite jobs, we export logs as artifacts on failure.
2018-07-03Adapt default.nix to allow nix-build to run the test-suite.Théo Zimmermann
2018-07-02Adding back ocp-index to default.nix.Théo Zimmermann
2018-07-02Fix default.nix following a package renaming.Théo Zimmermann
2018-05-29[default.nix] Adds “ounit” to check dependenciesVincent Laporte
2018-05-29[default.nix] List “hostname” as a dependencyVincent Laporte
2018-05-29[default.nix] Use OCaml 4.06Vincent Laporte
2018-05-29[default.nix] Drop dependency to ocp-indexVincent Laporte
2018-05-29Merge PR #7084: [default.nix] Unpin nixpkgsThéo Zimmermann
2018-05-10One can build all the HTML doc using default.nix.Théo Zimmermann
2018-04-17[default.nix] Build doc with nix-build.Théo Zimmermann
2018-03-27[default.nix] Unpin nixpkgsMaxime Dénès
Sphinx dependencies are now available in unstable channel
2018-03-21[default.nix] Add dependencies of the merging script.Théo Zimmermann
2018-03-09[default.nix] Pin nixpkgs version to include Sphinx dependenciesVincent Laporte
2018-03-09[default.nix] minor cleaningVincent Laporte
2018-03-09Integration of a sphinx-based documentation generator.Maxime Dénès
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.
2017-12-28[default.nix] depends on ocamlPackages.numVincent Laporte
2017-12-07[default.nix] Add ocpIndent and ocp-index.Maxime Dénès
2017-12-07Merge PR #6309: [default.nix] needs ncurses for the test-suiteMaxime Dénès
2017-12-05[default.nix] explain ncurses dependencyVincent Laporte
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-07 04:38:47 +0000