diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2022-06-30 11:27:06 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2022-06-30 11:27:06 +0100 |
| commit | c90b9ba8d6f37c58519298cfa1ff8960373fcafa (patch) | |
| tree | e3955418f0b00b612c3c5d18d4e31cbca0b467ba /flake.nix | |
| parent | 936ce165a5ac0da8f3c5d7aa3c398ad8860eeea6 (diff) | |
| download | vericert-c90b9ba8d6f37c58519298cfa1ff8960373fcafa.tar.gz vericert-c90b9ba8d6f37c58519298cfa1ff8960373fcafa.zip | |
Update proof
Diffstat (limited to 'flake.nix')
| -rw-r--r-- | flake.nix | 23 |
1 files changed, 23 insertions, 0 deletions
@@ -8,6 +8,9 @@ pkgs = nixpkgs.legacyPackages.x86_64-linux; ncoq = pkgs.coq_8_14; ncoqPackages = pkgs.coqPackages_8_14; + dpkgs = nixpkgs.legacyPackages.x86_64-darwin; + dncoq = dpkgs.coq_8_14; + dncoqPackages = dpkgs.coqPackages_8_14; in { devShell.x86_64-linux = pkgs.mkShell { buildInputs = with pkgs; @@ -29,5 +32,25 @@ python3Packages.sphinx_rtd_theme ]; }; + devShell.x86_64-darwin = dpkgs.mkShell { + buildInputs = with dpkgs; + [ dncoq + dune_2 + gcc + dncoq.ocaml + dncoq.ocamlPackages.findlib + dncoq.ocamlPackages.menhir + dncoq.ocamlPackages.ocamlgraph + dncoq.ocamlPackages.menhirLib + + dncoq.ocamlPackages.ocp-indent + dncoq.ocamlPackages.utop + + dncoqPackages.serapi + python3 + python3Packages.alectryon + python3Packages.sphinx_rtd_theme + ]; + }; }; } |