From 392a76457a141d19aff47c75e59912f117cf6f95 Mon Sep 17 00:00:00 2001
From: Hans-Joerg Schurr <commits@schurr.at>
Date: Tue, 29 Nov 2022 13:04:31 +0100
Subject: [PATCH] Add shell.nix file to aid development
---
spec/shell.nix | 23 +++++++++++++++++++++++
1 file changed, 23 insertions(+)
create mode 100644 spec/shell.nix
diff --git a/spec/shell.nix b/spec/shell.nix
new file mode 100644
index 0000000..0f2987e
--- /dev/null
+++ b/spec/shell.nix
@@ -0,0 +1,23 @@
+/*
+ * This file is a nix expression which can be used to get an isolated
+ * development environemt.
+ *
+ * When the nix package manager is installed run
+ * > nix-shell ./scripts/dev-env.nix
+ * to get a shell with the dependenies of veriT present. This was only tested
+ * on NixOS, but should work on other platforms which are supported by the Nix
+ * packagemanger (such as MacOS X) too.
+ */
+
+{ pkgs ? import <nixpkgs> {} }:
+
+pkgs.stdenvNoCC.mkDerivation {
+ name = "alethe";
+
+ hardeningDisable = [ "all" ];
+ buildInputs = with pkgs; [
+ gnumake
+ entr
+ python39Packages.pygments
+ ];
+}
--
GitLab