Added Veridian LSP package

lowRISC · Sep 20, 2024 · 04e2add · 04e2add
1 parent ed1d517
commit 04e2add
Show file tree

Hide file tree

Showing 5 changed files with 2,586 additions and 25 deletions.
diff --git a/pkgs/default.nix b/pkgs/default.nix
@@ -5,32 +5,35 @@
   pkgs,
   inputs,
   ...
-}:
-{
-  ncurses5-fhs = pkgs.callPackage ./ncurses5-fhs.nix {};
-  fpga-udev-rules = pkgs.callPackage ./fpga-udev-rules {};
+}: let
+  sv-lang-06 = pkgs.callPackage ./sv-lang.nix {};
+in
+  {
+    ncurses5-fhs = pkgs.callPackage ./ncurses5-fhs.nix {};
+    fpga-udev-rules = pkgs.callPackage ./fpga-udev-rules {};
 
-  # OpenTitan packages
-  verilator_ot = import ./verilator {inherit pkgs;};
-  python_ot = pkgs.callPackage ./python_ot {inherit inputs;};
-  bazel_ot = pkgs.callPackage ./bazel_ot {};
-  verible_ot = pkgs.callPackage ./verible.nix {};
+    # OpenTitan packages
+    verilator_ot = import ./verilator {inherit pkgs;};
+    python_ot = pkgs.callPackage ./python_ot {inherit inputs;};
+    bazel_ot = pkgs.callPackage ./bazel_ot {};
+    verible_ot = pkgs.callPackage ./verible.nix {};
 
-  # CherIoT packages
-  spike-ibex-cosim = pkgs.callPackage ./spike.nix {};
-  llvm_cheriot = pkgs.callPackage ./llvm_cheriot.nix {};
-  xmake = pkgs.callPackage ./xmake {};
-  cheriot-sim = pkgs.callPackage ./cheriot-sim.nix {};
-  cheriot-audit = pkgs.callPackage ./cheriot-audit.nix {};
+    # CherIoT packages
+    spike-ibex-cosim = pkgs.callPackage ./spike.nix {};
+    llvm_cheriot = pkgs.callPackage ./llvm_cheriot.nix {};
+    xmake = pkgs.callPackage ./xmake {};
+    cheriot-sim = pkgs.callPackage ./cheriot-sim.nix {};
+    cheriot-audit = pkgs.callPackage ./cheriot-audit.nix {};
 
-  container-hotplug = pkgs.callPackage ./container-hotplug {};
-  surfer = pkgs.callPackage ./surfer/default.nix {};
-  uf2conv = pkgs.callPackage ./uf2conv.nix {};
-  sv-lang-6 = pkgs.callPackage ./sv-lang.nix {};
+    container-hotplug = pkgs.callPackage ./container-hotplug {};
+    surfer = pkgs.callPackage ./surfer/default.nix {};
+    uf2conv = pkgs.callPackage ./uf2conv.nix {};
+    inherit sv-lang-06;
 
-  riscv64-gcc = pkgs.pkgsCross.riscv64.buildPackages.gcc;
-}
-// pkgs.lib.optionalAttrs (pkgs.system == "x86_64-linux") {
-  lowrisc-toolchain-gcc-rv32imcb = pkgs.callPackage ./lowrisc-toolchain-gcc-rv32imcb.nix {};
-  lowrisc-toolchain-gcc-rv64imac = pkgs.callPackage ./lowrisc-toolchain-gcc-rv64imac.nix {};
-}
+    riscv64-gcc = pkgs.pkgsCross.riscv64.buildPackages.gcc;
+  }
+  // pkgs.lib.optionalAttrs (pkgs.system == "x86_64-linux") {
+    veridian = pkgs.callPackage ./veridian/default.nix {inherit sv-lang-06;};
+    lowrisc-toolchain-gcc-rv32imcb = pkgs.callPackage ./lowrisc-toolchain-gcc-rv32imcb.nix {};
+    lowrisc-toolchain-gcc-rv64imac = pkgs.callPackage ./lowrisc-toolchain-gcc-rv64imac.nix {};
+  }