diff --git a/shell-minimal.nix b/shell-minimal.nix
new file mode 100644
index 0000000..15cd4fb
--- /dev/null
+++ b/shell-minimal.nix
@@ -0,0 +1 @@
+(import ./default.nix {withHIE = false;}).shell