certicoqwasm-testing/flake.nix at master · womeier/certicoqwasm-testing · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
{
  description = "CertiCoq-Wasm testing environment";
  inputs = {
    nixpkgs.url = "github:NixOS/nixpkgs/nixos-unstable";
    flake-utils.url = "github:numtide/flake-utils";
  };
  outputs =
    {
      self,
      nixpkgs,
      flake-utils,
    }:
    flake-utils.lib.eachDefaultSystem (
      system:
      let
        lib = nixpkgs.lib;
        pkgs = import nixpkgs {
          inherit system;
          config.allowUnfreePredicate =
            pkg:
            builtins.elem (lib.getName pkg) [
              "compcert"
            ];
        };

        coqPackages = pkgs.coqPackages_9_1.overrideScope (
          self: super: {
            CertiRocq = super.CertiRocq.overrideAttrs (old: {
              src = pkgs.fetchFromGitHub {
                owner = "CertiRocq";
                repo = "certirocq";
                rev = "94f9a7a";
                sha256 = "sha256-cE/ct17yoP3HXLJEDPok6CNiX8b3YD7N9Qm97ujk0GY=";
              };
            });
          }
        );

        coq = coqPackages.coq;
        certirocq = coqPackages.CertiRocq;

      in
      {
        packages.default = certirocq;

        devShells.default = pkgs.mkShell {
          name = "shell";
          packages = [
            certirocq
            coq
            pkgs.wasm-tools
            pkgs.binaryen
            pkgs.nodejs_24
            pkgs.wasmtime
            coqPackages.vscoq-language-server
          ];
          shellHook = ''
            echo "Entered nix shell."
          '';
        };
      }
    );
}