add nix shell

2025-07-11 14:52:06 +02:00 · 2025-07-11 14:52:06 +02:00 · 89905400dc
commit 89905400dc
parent bbb3e8e636
1 changed files with 31 additions and 0 deletions
--- a/shell.nix
+++ b/shell.nix
@ -0,0 +1,31 @@
+{ pkgs ? import <nixpkgs> { } }:
+
+let
+  ocamlPackages = pkgs.ocaml-ng.ocamlPackages_5_3;
+in
+pkgs.mkShell {
+  name = "frost";
+  dontDetectOcamlConflicts = false;
+  nativeBuildInputs = with ocamlPackages; [
+    dune_3
+    findlib
+    merlin
+    menhir
+    ocaml
+    ocamlformat
+    odoc
+  ];
+  buildInputs = with ocamlPackages; [
+    bos
+    cmdliner
+    fmt
+    fpath
+    menhirLib
+    prelude
+    sedlex
+  ];
+  shellHook = ''
+    export PATH=$PATH:${pkgs.lib.makeBinPath [
+    ]}
+  '';
+}