From 80288462f41babf77b3303c9ed758827695c3ada Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Wed, 17 May 2023 16:34:42 +0100
Subject: Add initial development files

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

(limited to 'flake.nix')

diff --git a/flake.nix b/flake.nix
new file mode 100644
index 0000000..7982b35
--- /dev/null
+++ b/flake.nix
@@ -0,0 +1,65 @@
+{
+  description = "CompCertGSA dependencies";
+
+  inputs = { nixpkgs.url = "github:nixos/nixpkgs"; };
+
+  outputs = { self, nixpkgs }:
+    let
+      pkgs = nixpkgs.legacyPackages.x86_64-linux;
+      ncoq = pkgs.coq_8_13;
+      ncoqPackages = pkgs.coqPackages_8_13;
+      veriT' = pkgs.veriT.overrideAttrs (oA: {
+        src = pkgs.fetchurl {
+          url = "https://www.lri.fr/~keller/Documents-recherche/Smtcoq/veriT9f48a98.tar.gz";
+          sha256 = "sha256-Pe46PxQVHWwWwx5Ei4Bl95A0otCiXZuUZ2nXuZPYnhY=";
+        };
+        meta.broken = false;
+      });
+      dpkgs = nixpkgs.legacyPackages.x86_64-darwin;
+      dncoq = dpkgs.coq_8_13;
+      dncoqPackages = dpkgs.coqPackages_8_13;
+    in {
+      devShell.x86_64-linux = pkgs.mkShell {
+        buildInputs = with pkgs;
+          [ ncoq
+            dune_2
+            gcc
+            ncoq.ocaml
+            creduce
+#            ncoqPackages.smtcoq
+            zchaff
+            veriT'
+
+            ncoqPackages.serapi
+            python3
+            python3Packages.alectryon
+            python3Packages.sphinx_rtd_theme
+          ] ++
+          (with ncoq.ocamlPackages;
+            [findlib menhir menhirLib ocamlgraph ocp-indent utop num zarith merlin]);
+      };
+      devShell.x86_64-darwin = dpkgs.mkShell {
+        buildInputs = with dpkgs;
+          [ dncoq
+            dune_2
+            gcc
+            dncoq.ocaml
+            dncoq.ocamlPackages.findlib
+            dncoq.ocamlPackages.menhir
+            dncoq.ocamlPackages.menhirLib
+            dncoq.ocamlPackages.ocamlgraph
+
+            dncoq.ocamlPackages.ocp-indent
+            dncoq.ocamlPackages.utop
+
+            ncoq.ocamlPackages.z3
+            z3
+
+            dncoqPackages.serapi
+            python3
+            python3Packages.alectryon
+            python3Packages.sphinx_rtd_theme
+          ];
+      };
+    };
+}
-- 
cgit