aboutsummaryrefslogtreecommitdiff
path: root/default.nix
AgeCommit message (Collapse)Author
2020-05-18Update to 8.13.Théo Zimmermann
Part of this PR was automatically generated by running dev/doc/update-compat.py --master
2020-03-03Update the OCaml version in `default.nix` to 4.09.0Maxime Dénès
It is more convenient to use recent versions of OCaml while developing (better backtraces, etc).
2020-02-12[nix] Fix building of the documentationVincent Laporte
The interpreter directive of “doc/stdlib/make-library-index” must be patched.
2020-01-15[Nix] Fix setup hook when COQPATH is not boundVincent Laporte
2020-01-15[Nix] Update reference to nixpkgsVincent Laporte
This brings dune at version 2.1.2
2020-01-03[tools] Remove support for python2Emilio Jesus Gallego Arias
Closes #10491 We re-add the header in doc/tools/coqrst/notations/fontsupport.py which was removed by accident in 1a9c769ed363ee2f2784e7252af72e6c1e2fbcc6 The fontsupport script itself has been kept for reference, however it is not involved by any build target as of today.
2019-12-13Add ocamlformat dependency to Nix fileMaxime Dénès
2019-11-27[release] Update files for 8.12 release per release process.Emilio Jesus Gallego Arias
2019-10-07Bump version number to 8.11.Pierre-Marie Pédrot
2019-07-06[python] Remove use of generic python shebang, update CIEmilio Jesus Gallego Arias
Fixes #10465 Following discussion we don't allow a generic `/usr/bin/python` shebang anymore. We thus move all the scripts [but one] to python3, and add python3 to the Azure base environment. Unfortunately we still depend on python2 for the update-compat.py script, see #10491 We thus have to complement #10467 adding python2 back to Nix, until #10491 is fixed.
2019-07-02[nix] python2 -> python3Théo Zimmermann
We are not supposed to have any script depending specifically on python2.
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-08 00:24:47 +0000