File tree 4 files changed +4
-4
lines changed
4 files changed +4
-4
lines changed Original file line number Diff line number Diff line change 5
5
pkgs ,
6
6
ncurses5-fhs ,
7
7
ncurses6-fhs ,
8
- bazel_ot ,
8
+ bazelisk ,
9
9
python-ot ,
10
10
verilator_ot ,
11
11
verible_ot ,
46
46
targetPkgs = _ :
47
47
with pkgs ;
48
48
[
49
- bazel_ot
49
+ bazelisk
50
50
verilator_ot
51
51
verible_ot
52
52
Original file line number Diff line number Diff line change 76
76
packages = flake-utils . lib . filterPackages system lowriscPkgs ;
77
77
devShells = {
78
78
opentitan = pkgs . callPackage ./dev/opentitan.nix {
79
- inherit ( lowriscPkgs ) ncurses5-fhs ncurses6-fhs bazel_ot verilator_ot python-ot verible_ot ;
79
+ inherit ( lowriscPkgs ) ncurses5-fhs ncurses6-fhs bazelisk verilator_ot python-ot verible_ot ;
80
80
} ;
81
81
cheriot = pkgs . mkShell {
82
82
name = "cheriot" ;
File renamed without changes.
Original file line number Diff line number Diff line change 13
13
# OpenTitan packages
14
14
verilator_ot = import ./verilator { inherit pkgs ; } ;
15
15
python-ot = pkgs . callPackage ./python-ot { inherit inputs ; } ;
16
- bazel_ot = pkgs . callPackage ./bazel_ot { } ;
16
+ bazelisk = pkgs . callPackage ./bazelisk { } ;
17
17
verible_ot = pkgs . callPackage ./verible.nix { } ;
18
18
19
19
# CherIoT packages
You can’t perform that action at this time.
0 commit comments