arlustre/flake.nix at main · cs-t1/arlustre · 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
{
  description = "ArLustre";

  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 pkgs = import nixpkgs { inherit system; };
      in
      {
        devShell = pkgs.mkShell {
          buildInputs = with pkgs; [
            zig
            avrdude
            screen

            ocaml
            ocamlPackages.alcotest
            ocamlPackages.findlib
            ocamlPackages.menhir
            ocamlPackages.menhirLib
            ocamlPackages.ocamlgraph
            ocamlPackages.camlp4
            ocamlPackages.ocamlbuild
          ];
        };
      });
}