From 60803708ef34d480277e8e6e13ce87b54f534c19 Mon Sep 17 00:00:00 2001
From: Paul-Nicolas Madelaine
Date: Thu, 29 Sep 2022 08:00:00 +0200
Subject: nix

---
 flake.lock | 165 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
 flake.nix  |  46 +++++++++++++++++
 2 files changed, 211 insertions(+)
 create mode 100644 flake.lock
 create mode 100644 flake.nix

diff --git a/flake.lock b/flake.lock
new file mode 100644
index 00000000..dc8cda47
--- /dev/null
+++ b/flake.lock
@@ -0,0 +1,165 @@
+{
+  "nodes": {
+    "charon": {
+      "inputs": {
+        "crane": "crane",
+        "flake-utils": "flake-utils",
+        "nixpkgs": "nixpkgs",
+        "rust-overlay": "rust-overlay_2"
+      },
+      "locked": {
+        "lastModified": 1668090384,
+        "narHash": "sha256-42QObuoKs+1JA+DEMXXFNhDzgE/Fy49Tjty3re80C4Y=",
+        "owner": "aeneasverif",
+        "repo": "charon",
+        "rev": "fe2d852eb9e4efc43604bed7441d40e7c35f45a9",
+        "type": "github"
+      },
+      "original": {
+        "owner": "aeneasverif",
+        "repo": "charon",
+        "type": "github"
+      }
+    },
+    "crane": {
+      "inputs": {
+        "flake-compat": "flake-compat",
+        "flake-utils": [
+          "charon",
+          "flake-utils"
+        ],
+        "nixpkgs": [
+          "charon",
+          "nixpkgs"
+        ],
+        "rust-overlay": "rust-overlay"
+      },
+      "locked": {
+        "lastModified": 1666567222,
+        "narHash": "sha256-AVySilLW+eNM409GSIJYsF6wg5NsxK12Ht2DMSYAgO0=",
+        "owner": "ipetkov",
+        "repo": "crane",
+        "rev": "2ce1a3313e299b0db63b11f94c863af74b0b08ad",
+        "type": "github"
+      },
+      "original": {
+        "owner": "ipetkov",
+        "repo": "crane",
+        "type": "github"
+      }
+    },
+    "flake-compat": {
+      "flake": false,
+      "locked": {
+        "lastModified": 1650374568,
+        "narHash": "sha256-Z+s0J8/r907g149rllvwhb4pKi8Wam5ij0st8PwAh+E=",
+        "owner": "edolstra",
+        "repo": "flake-compat",
+        "rev": "b4a34015c698c7793d592d66adbab377907a2be8",
+        "type": "github"
+      },
+      "original": {
+        "owner": "edolstra",
+        "repo": "flake-compat",
+        "type": "github"
+      }
+    },
+    "flake-utils": {
+      "locked": {
+        "lastModified": 1659877975,
+        "narHash": "sha256-zllb8aq3YO3h8B/U0/J1WBgAL8EX5yWf5pMj3G0NAmc=",
+        "owner": "numtide",
+        "repo": "flake-utils",
+        "rev": "c0e246b9b83f637f4681389ecabcb2681b4f3af0",
+        "type": "github"
+      },
+      "original": {
+        "owner": "numtide",
+        "repo": "flake-utils",
+        "type": "github"
+      }
+    },
+    "nixpkgs": {
+      "locked": {
+        "lastModified": 1666703756,
+        "narHash": "sha256-GwpMJ1hT+z1fMAUkaGtvbvofJQwdVFDEGVhfE82+AUk=",
+        "owner": "NixOS",
+        "repo": "nixpkgs",
+        "rev": "f994293d1eb8812f032e8919e10a594567cf6ef7",
+        "type": "github"
+      },
+      "original": {
+        "id": "nixpkgs",
+        "ref": "nixos-unstable",
+        "type": "indirect"
+      }
+    },
+    "root": {
+      "inputs": {
+        "charon": "charon",
+        "flake-utils": [
+          "charon",
+          "flake-utils"
+        ],
+        "nixpkgs": [
+          "charon",
+          "nixpkgs"
+        ]
+      }
+    },
+    "rust-overlay": {
+      "inputs": {
+        "flake-utils": [
+          "charon",
+          "crane",
+          "flake-utils"
+        ],
+        "nixpkgs": [
+          "charon",
+          "crane",
+          "nixpkgs"
+        ]
+      },
+      "locked": {
+        "lastModified": 1666494036,
+        "narHash": "sha256-4mmm+1MBPMD56LMLN9QcEwnfnu41NkA6lDeZGjSrxIw=",
+        "owner": "oxalica",
+        "repo": "rust-overlay",
+        "rev": "af2e939ba2c7cbb188d06d6650c6353b10b3f2be",
+        "type": "github"
+      },
+      "original": {
+        "owner": "oxalica",
+        "repo": "rust-overlay",
+        "type": "github"
+      }
+    },
+    "rust-overlay_2": {
+      "inputs": {
+        "flake-utils": [
+          "charon",
+          "flake-utils"
+        ],
+        "nixpkgs": [
+          "charon",
+          "nixpkgs"
+        ]
+      },
+      "locked": {
+        "lastModified": 1666839029,
+        "narHash": "sha256-gmSmf3bDS9oR4OHsvKHEErqje228XXP22uKIQWZj4Jo=",
+        "owner": "oxalica",
+        "repo": "rust-overlay",
+        "rev": "c095030cf6c84e304f867ad066d8d5b051131af5",
+        "type": "github"
+      },
+      "original": {
+        "owner": "oxalica",
+        "repo": "rust-overlay",
+        "type": "github"
+      }
+    }
+  },
+  "root": "root",
+  "version": 7
+}
diff --git a/flake.nix b/flake.nix
new file mode 100644
index 00000000..712bc604
--- /dev/null
+++ b/flake.nix
@@ -0,0 +1,46 @@
+{
+  description = "Aeneas";
+
+  inputs = {
+    charon.url = "github:aeneasverif/charon";
+    flake-utils.follows = "charon/flake-utils";
+    nixpkgs.follows = "charon/nixpkgs";
+  };
+
+  outputs = { self, charon, flake-utils, nixpkgs }:
+    flake-utils.lib.eachSystem [ "x86_64-linux" ] (system:
+      let
+        pkgs = import nixpkgs { inherit system; };
+        ocamlPackages = pkgs.ocamlPackages;
+        easy_logging = ocamlPackages.buildDunePackage rec {
+          pname = "easy_logging";
+          version = "0.8.2";
+          src = pkgs.fetchFromGitHub {
+            owner = "sapristi";
+            repo = "easy_logging";
+            rev = "v${version}";
+            sha256 = "sha256-Xy6Rfef7r2K8DTok7AYa/9m3ZEV07LlUeMQSRayLBco=";
+          };
+          buildInputs = [ ocamlPackages.calendar ];
+        };
+        aeneas = ocamlPackages.buildDunePackage {
+          pname = "aeneas";
+          version = "0.1.0";
+          src = ./.;
+          buildInputs = [ easy_logging charon.packages.${system}.charon-ml ]
+            ++ (with ocamlPackages; [
+              calendar
+              core_unix
+              ppx_deriving
+              visitors
+              yojson
+              zarith
+            ]);
+        };
+      in {
+        packages = {
+          inherit aeneas;
+          default = aeneas;
+        };
+      });
+}
-- 
cgit v1.2.3