forked from chipsalliance/Surelog
-
Notifications
You must be signed in to change notification settings - Fork 0
/
shell.nix
45 lines (39 loc) · 1.19 KB
/
shell.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
# This is a nix-shell for use with the nix package manager.
# If you have nix installed, you may simply run `nix-shell`
# in this repo, and have all dependencies ready in the new shell.
{ pkgs ? import <nixpkgs> {} }:
pkgs.mkShell {
buildInputs = with pkgs;
[
cmake
diffutils # Used in regression tests.
gperftools # tcmalloc
jdk11 # to run antlr jar
# For generating code and make test/regression
python310
python310Packages.orderedmultidict
python310Packages.psutil
# Run regression scripts.
tcl
time
# If Python API is built.
swig
# Libraries for USE_HOST_* use
antlr4
antlr4.runtime.cpp
capnproto
gtest
nlohmann_json
# Ease development
ccache
clang-tools # clang-format, clang-tidy
git cacert
lcov # generate coverage
ninja
pkg-config # Testing install
];
shellHook = ''
export CMAKE_CXX_COMPILER_LAUNCHER=ccache
export ADDITIONAL_CMAKE_OPTIONS="-DSURELOG_USE_HOST_GTEST=On -DSURELOG_USE_HOST_CAPNP=On -DSURELOG_USE_HOST_JSON=On -DSURELOG_USE_HOST_ANTLR=On -DANTLR_JAR_LOCATION=${pkgs.antlr4.jarLocation}"
'';
}