1 files changed, 17 insertions, 0 deletions
diff --git a/default.nix b/default.nix
new file mode 100644
index 0000000..db340bb
--- /dev/null
+++ b/default.nix
@@ -0,0 +1,17 @@
+{ sources ? import ./npins
+, pkgs ? import sources.nixpkgs {}
+, lib ? pkgs.lib
+, aeneas-src ? sources.aeneas
+, aeneas ? (import aeneas-src {}).packages.x86_64-linux.aeneas
+, charon ? (import aeneas-src {}).packages.x86_64-linux.charon
+}:
+{
+  shell = pkgs.mkShell {
+    buildInputs = [
+      aeneas
+      charon
+      pkgs.rustup
+      pkgs.npins
+    ];
+  };
+}