From ca0d9f6092ee577e445c062a7a944badd956703e Mon Sep 17 00:00:00 2001
From: redianthus <redopam@pm.me>
Date: Fri, 27 Feb 2026 12:15:33 +0100
Subject: [PATCH] add basic `shell.nix` to be able to run `dune b @install -p
 codex` and `dune runtest -p codex`

---
 shell.nix | 65 +++++++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 65 insertions(+)
 create mode 100644 shell.nix

diff --git a/shell.nix b/shell.nix
new file mode 100644
index 0000000..6ceb2ba
--- /dev/null
+++ b/shell.nix
@@ -0,0 +1,65 @@
+{ pkgs ? import (builtins.fetchTarball {
+    url = "https://github.com/NixOS/nixpkgs/archive/master.tar.gz";
+  }) {}
+}:
+
+pkgs.mkShell {
+  name = "codex-dev-shell";
+  dontDetectOcamlConflicts = true;
+  nativeBuildInputs = with pkgs.ocamlPackages; [
+    dune_3
+    findlib
+    # tests
+    mdx
+    mdx.bin
+    qcheck-core
+    # dev dependencies
+    merlin
+    ocaml
+    ocamlformat
+    ocp-browser
+    ocp-index
+    ocb
+    odoc
+  ];
+  buildInputs = with pkgs.ocamlPackages; [
+    js_of_ocaml
+    js_of_ocaml-ppx
+    ppx_deriving
+    ppx_inline_test
+  ];
+  propagatedBuildInputs = with pkgs.ocamlPackages; [
+    base64
+    bheap
+    camlp-streams
+    cudd
+    fmt
+    pacomb
+    patricia-tree
+    vdom
+    zarith
+  ];
+
+  shellHook = ''
+    mkdir -p utils/gui/deps/js
+
+    fetch_if_missing () {
+      if [ ! -f "$1" ]; then
+        echo "Fetching $1"
+        curl -L "$2" -o "$1"
+      fi
+    }
+
+    fetch_if_missing \
+      utils/gui/deps/tailwind4.1.5.css \
+      https://github.com/codex-semantics-library/codex/releases/download/1.0-rc4/tailwind4.1.5.css
+
+    fetch_if_missing \
+      utils/gui/deps/graphviz.umd.js \
+      https://github.com/codex-semantics-library/codex/releases/download/1.0-rc4/graphviz.umd.js
+
+    fetch_if_missing \
+      utils/gui/deps/js/bundle-output.js \
+      https://github.com/codex-semantics-library/codex/releases/download/1.0-rc4/bundle-output.js
+  '';
+}