From 7e5ab23030c7160f7fea631d457eeba84917e783 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Fri, 24 Jun 2022 18:28:16 +0100
Subject: Move nix config to flake

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

(limited to 'flake.nix')

diff --git a/flake.nix b/flake.nix
new file mode 100644
index 0000000..563797f
--- /dev/null
+++ b/flake.nix
@@ -0,0 +1,33 @@
+{
+  description = "Vericert dependencies";
+
+  inputs = { nixpkgs.url = "github:nixos/nixpkgs"; };
+
+  outputs = { self, nixpkgs }:
+    let
+      pkgs = nixpkgs.legacyPackages.x86_64-linux;
+      ncoq = pkgs.coq_8_14;
+      ncoqPackages = pkgs.coqPackages_8_14;
+    in {
+      devShell.x86_64-linux = pkgs.mkShell {
+        buildInputs = with pkgs;
+          [ ncoq
+            dune_2
+            gcc
+            ncoq.ocaml
+            ncoq.ocamlPackages.findlib
+            ncoq.ocamlPackages.menhir
+            ncoq.ocamlPackages.ocamlgraph
+            ncoq.ocamlPackages.menhirLib
+
+            ncoq.ocamlPackages.ocp-indent
+            ncoq.ocamlPackages.utop
+
+            ncoqPackages.serapi
+            python3
+            python3Packages.alectryon
+            python3Packages.sphinx_rtd_theme
+          ];
+      };
+    };
+}
-- 
cgit