shell.nix


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

{ pkgs ? import ./nixpkgs-pinned.nix {} }:
let ocamlPackages = pkgs.ocaml-ng.ocamlPackages_4_14; in
pkgs.mkShell {
  inputsFrom = [ (import ./coverage.nix { inherit pkgs; }) ];
  buildInputs = with pkgs; [
    bash
    cloc
    git
    jq
    tree
    (python3.withPackages (pkgs: [ pkgs.pygments ]))
    coqPackages_8_20.coq
    coqPackages_8_20.coq-lsp
    coqPackages_8_20.vscoq-language-server
    ocamlPackages.ocaml-lsp
    ocamlPackages.ocamlformat
    ocamlPackages.odoc
    ocamlPackages.utop
    ocamlPackages.merlin
  ];
}