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
|
{ lib
, stdenv
, buildBazelPackage
, fetchFromGitHub
, bazel_5
, jdk
, bison
, flex
, python3
}:
let
system = stdenv.hostPlatform.system;
in
buildBazelPackage rec {
pname = "verible";
# These environment variables are read in bazel/build-version.py to create
# a build string shown in the tools --version output.
# If env variables not set, it would attempt to extract it from .git/.
GIT_DATE = "2024-02-01";
GIT_VERSION = "v0.0-3515-g2d841599";
# Derive nix package version from GIT_VERSION: "v1.2-345-abcde" -> "1.2.345"
version = builtins.concatStringsSep "." (lib.take 3 (lib.drop 1 (builtins.splitVersion GIT_VERSION)));
src = fetchFromGitHub {
owner = "chipsalliance";
repo = "verible";
rev = "${GIT_VERSION}";
hash = "sha256-D/blcex/St1nLKvjzuKnmAJE8HVlGy8ampmXIxKK11M=";
};
bazel = bazel_5;
bazelFlags = [
"--//bazel:use_local_flex_bison"
"--java_runtime_version=local_jdk"
"--tool_java_runtime_version=local_jdk"
];
fetchAttrs = {
sha256 = "sha256-2YruKvU7OZQ7mKNrqYITat+cmf/DEytDElYw7CvkxJk=";
};
nativeBuildInputs = [
jdk # bazel uses that.
bison # We use local flex and bison as WORKSPACE sources fail
flex # .. to compile with newer glibc
python3
];
postPatch = ''
patchShebangs\
bazel/build-version.py \
bazel/sh_test_with_runfiles_lib.sh \
common/lsp/dummy-ls_test.sh \
common/tools/patch_tool_test.sh \
common/tools/verible-transform-interactive.sh \
common/tools/verible-transform-interactive-test.sh \
kythe-browse.sh \
verilog/tools
'';
removeRulesCC = false;
bazelTargets = [ ":install-binaries" ];
bazelTestTargets = [ "//..." ];
bazelBuildFlags = [
"-c opt"
];
buildAttrs = {
installPhase = ''
mkdir -p "$out/bin"
install bazel-bin/common/tools/verible-patch-tool "$out/bin"
V_TOOLS_DIR=bazel-bin/verilog/tools
install $V_TOOLS_DIR/diff/verible-verilog-diff "$out/bin"
install $V_TOOLS_DIR/formatter/verible-verilog-format "$out/bin"
install $V_TOOLS_DIR/kythe/verible-verilog-kythe-extractor "$out/bin"
install $V_TOOLS_DIR/lint/verible-verilog-lint "$out/bin"
install $V_TOOLS_DIR/ls/verible-verilog-ls "$out/bin"
install $V_TOOLS_DIR/obfuscator/verible-verilog-obfuscate "$out/bin"
install $V_TOOLS_DIR/preprocessor/verible-verilog-preprocessor "$out/bin"
install $V_TOOLS_DIR/project/verible-verilog-project "$out/bin"
install $V_TOOLS_DIR/syntax/verible-verilog-syntax "$out/bin"
'';
};
meta = with lib; {
description = "Suite of SystemVerilog developer tools. Including a style-linter, indexer, formatter, and language server.";
homepage = "https://github.com/chipsalliance/verible";
license = licenses.asl20;
maintainers = with maintainers; [ hzeller newam ];
# Platforms linux only currently; some LIBTOOL issue on Darwin w/ bazel
platforms = platforms.linux;
};
}
|