GDPRuler/flake.nix at dev · dimstav23/GDPRuler · 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
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
{
  description = "GDPRuler";

  inputs = {
    nixpkgs.url = "github:nixos/nixpkgs/nixos-unstable";
    flake-utils.url = "github:numtide/flake-utils";
    fenix = {
      url = "github:nix-community/fenix";
      inputs.nixpkgs.follows = "nixpkgs";
    };
  };

  outputs = { self, nixpkgs, flake-utils, fenix }:
    flake-utils.lib.eachDefaultSystem (system:
      let
        overlays = [
          (final: prev: {
            python2 = prev.python2.override {
              packageOverrides = python-self: python-super: {
                setuptools = python-super.setuptools.overrideAttrs (old: {
                  meta = old.meta // { insecure = false; };
                });
              };
            };
          })
        ];
        pkgs = import nixpkgs {
          inherit system overlays;
          config = {
            allowInsecure = true;
            permittedInsecurePackages = [
              "python-2.7.18.8"
            ];
          };
        };
        pythonEnv = pkgs.python3.withPackages (ps: with ps; [
          pandas
          pexpect
	        plotly
          matplotlib
          seaborn
        ]);
        libraries = with pkgs; [ pixman zlib zstd glib libpng snappy elfutils libslirp ];
      in
      {
        devShells.default = pkgs.mkShell {
          buildInputs = libraries;
          nativeBuildInputs = with pkgs; [
            expect
            numactl
            libguestfs
            guestfs-tools
            gdb
            zmqpp
            zeromq
            #for the kernel module build
            # cpuid
            # dmidecode
            # msr
            # msr-tools
            # linuxPackages_latest.kernel.dev
            # unzip
            # rpm
            #for the sev-tool
            # autoconf
            # automake
            #for sev guest
            ninja
            nasm
            acpica-tools
            flex
            bison
            elfutils
            #smatch
            rpm
            libslirp
            #general
            bc
            bashInteractive
            dnsmasq
            pkg-config
            qemu
            libvirt
            virt-manager
            vim
            libuuid
            file
            bridge-utils
            cloud-utils
            openssl
            #redis specific packages
            tcl
            tcltls
            jemalloc
            hiredis
            redis-plus-plus
            #rockdb specific packages
            rocksdb
            clang-tools
            lz4
            bzip2
            snappy
            gflags
            boost
            #GDPRBench specific packages
            maven
            jdk11
            python2
            #for the controller
            cmake
            git
            clang
            cppcheck
            doxygen
            codespell
            abseil-cpp
	    croaring
            #for the snpguest -- rust nightly is required
            # Note: to use stable, just replace `default` with `stable`
            # fenix.packages.${system}.default.toolchain
            # for the logging system
            gnumake
            gtest

          ];

          LD_LIBRARY_PATH = pkgs.lib.makeLibraryPath libraries;
          shellHook = ''
            export PATH=${pythonEnv}/bin:$PATH
	    export CC=clang
	    export CXX=clang++
          '';

          RUST_BACKTRACE = 1;
        };
      }
    );
}