From 1a4cfd4e512059ca33537e24b821c6e8b1b777cd Mon Sep 17 00:00:00 2001
From: Henri Saudubray <henri.saudubray@proton.me>
Date: Fri, 26 Dec 2025 12:56:46 +0100
Subject: [PATCH] =?UTF-8?q?feat=20(shells):=E2=80=AFwhy3=20development=20s?=
 =?UTF-8?q?hell?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 shells/why3-dev/flake.nix | 33 +++++++++++++++++++++++++++++++++
 1 file changed, 33 insertions(+)
 create mode 100644 shells/why3-dev/flake.nix

diff --git a/shells/why3-dev/flake.nix b/shells/why3-dev/flake.nix
new file mode 100644
index 0000000..6b34381
--- /dev/null
+++ b/shells/why3-dev/flake.nix
@@ -0,0 +1,33 @@
+{
+  description = "Nix flake devshell for why3 development";
+
+  inputs = {
+    nixpkgs.url = "github:nixos/nixpkgs/nixos-25.11";
+  };
+
+  outputs =
+    { self, nixpkgs, ... }:
+    let
+      system = "x86_64-linux";
+    in
+    {
+      devShells."${system}".default =
+        let
+          pkgs = import nixpkgs { inherit system; };
+        in
+        pkgs.mkShell {
+          packages = with pkgs; [
+            autoconf
+            ocaml
+            ocamlPackages.findlib
+            ocamlPackages.menhir
+            ocamlPackages.menhirLib
+            ocamlPackages.zarith
+          ];
+
+          shellHook = ''
+            echo "Test.";
+          '';
+        };
+    };
+}