forked from NilFoundation/proof-producer
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathflake.nix
51 lines (50 loc) · 1.31 KB
/
flake.nix
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
{
description = "C++ Development Shell";
inputs = {
nixpkgs.url = "github:nixos/nixpkgs/nixpkgs-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
with pkgs;
{
devShells.default = mkShell.override { stdenv = clang14Stdenv; }
{
buildInputs = [
pkgs.clang
pkgs.clang-tools
pkgs.pkg-config
pkgs.cmake
pkgs.ninja
pkgs.git
(pkgs.gnutls.override { cxxBindings = true; })
pkgs.libtasn1
pkgs.libidn2
pkgs.p11-kit
pkgs.openssl
pkgs.yaml-cpp
pkgs.pkgs.zlib
pkgs.zstd
pkgs.protobuf3_20
pkgs.icu70
pkgs.lksctp-tools
pkgs.hwloc
pkgs.libsystemtap
pkgs.libxfs
pkgs.ragel
pkgs.lksctp-tools
pkgs.c-ares
pkgs.lz4
pkgs.numactl
(pkgs.boost183.override { enableShared = false; })
pkgs.fmt
];
};
}
);
}