default.nix


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

{ sources ? import ./npins
, pkgs ? import sources.nixpkgs {}
, lib ? pkgs.lib
, aeneas-src ? sources.aeneas
, aeneas ? (import aeneas-src {}).packages.x86_64-linux.aeneas
, charon ? (import aeneas-src {}).packages.x86_64-linux.charon
}:
{
  shell = pkgs.mkShell {
    buildInputs = [
      aeneas
      charon
      pkgs.rustup
      pkgs.npins
    ];
  };
}