aboutsummaryrefslogtreecommitdiff
path: root/default.nix
AgeCommit message (Expand)Author
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
2019-07-02[nix] python2 -> python3Théo Zimmermann
2019-05-17[default.nix] Exclude the nix/ directory from sourcesVincent Laporte
2019-03-19Merge PR #9647: [default.nix] Enable parallel buildThéo Zimmermann
2019-03-19[coqide] [ci] Update GTK toolchain to lablgtk3Emilio Jesus Gallego Arias
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
2019-02-26[default.nix] Enable parallel buildVincent Laporte
2019-01-30Updated pinned nixpkgs.Théo Zimmermann
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
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
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
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
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
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
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
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
2017-12-28[default.nix] depends on ocamlPackages.numVincent Laporte
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 15:45:37 +0000