diff options
| -rw-r--r-- | flake.lock | 165 | ||||
| -rw-r--r-- | flake.nix | 46 |
2 files changed, 211 insertions, 0 deletions
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; + }; + }); +} |