summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorHenner Zeller <h.zeller@acm.org>2024-07-13 09:55:03 -0700
committerAustin Seipp <aseipp@pobox.com>2024-07-18 11:52:23 -0500
commit8bd0720626bca025c84f72c7b30ee1bd379e28a1 (patch)
tree7e185050601c45c7e969f4d3d1a2ec4183f5f4d4
parentMerge pull request #328194 from dotlambda/python3Packages.python-rapidjson (diff)
downloadnixpkgs-8bd0720626bca025c84f72c7b30ee1bd379e28a1.tar.gz
verilator: format with nixfmt
-rw-r--r--pkgs/applications/science/electronics/verilator/default.nix59
1 files changed, 49 insertions, 10 deletions
diff --git a/pkgs/applications/science/electronics/verilator/default.nix b/pkgs/applications/science/electronics/verilator/default.nix
index 92f8fa52b91f..3e7ee0be98e0 100644
--- a/pkgs/applications/science/electronics/verilator/default.nix
+++ b/pkgs/applications/science/electronics/verilator/default.nix
@@ -1,6 +1,23 @@
-{ lib, stdenv, fetchFromGitHub, fetchpatch, perl, flex, bison, python3, autoconf,
- which, cmake, ccache, help2man, makeWrapper, glibcLocales,
- systemc, git, numactl }:
+{
+ lib,
+ stdenv,
+ fetchFromGitHub,
+ fetchpatch,
+ perl,
+ flex,
+ bison,
+ python3,
+ autoconf,
+ which,
+ cmake,
+ ccache,
+ help2man,
+ makeWrapper,
+ glibcLocales,
+ systemc,
+ git,
+ numactl,
+}:
stdenv.mkDerivation rec {
pname = "verilator";
@@ -23,9 +40,25 @@ stdenv.mkDerivation rec {
];
enableParallelBuilding = true;
- buildInputs = [ perl python3 systemc ]; # ccache
- nativeBuildInputs = [ makeWrapper flex bison autoconf help2man git ];
- nativeCheckInputs = [ which numactl ]; # cmake
+ buildInputs = [
+ perl
+ python3
+ systemc
+ # ccache
+ ];
+ nativeBuildInputs = [
+ makeWrapper
+ flex
+ bison
+ autoconf
+ help2man
+ git
+ ];
+ nativeCheckInputs = [
+ which
+ numactl
+ # cmake
+ ];
doCheck = stdenv.isLinux; # darwin tests are broken for now...
checkTarget = "test";
@@ -53,9 +86,15 @@ stdenv.mkDerivation rec {
meta = with lib; {
description = "Fast and robust (System)Verilog simulator/compiler and linter";
- homepage = "https://www.veripool.org/verilator";
- license = with licenses; [ lgpl3Only artistic2 ];
- platforms = platforms.unix;
- maintainers = with maintainers; [ thoughtpolice amiloradovsky ];
+ homepage = "https://www.veripool.org/verilator";
+ license = with licenses; [
+ lgpl3Only
+ artistic2
+ ];
+ platforms = platforms.unix;
+ maintainers = with maintainers; [
+ thoughtpolice
+ amiloradovsky
+ ];
};
}