From 5289b86a5c14ec99311424022a867872173edce4 Mon Sep 17 00:00:00 2001
From: Raito Bezarius
Date: Thu, 18 Apr 2024 14:34:36 +0200
Subject: chore: nixify the project

So that I stop doing `nix run` one-offs!

Signed-off-by: Raito Bezarius <masterancpp@gmail.com>
---
 default.nix | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100644 default.nix

(limited to 'default.nix')

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
+    ];
+  };
+}
-- 
cgit v1.2.3