diff options
author | Jack Cummings <jack@mudshark.org> | 2021-08-28 07:27:27 -0700 |
---|---|---|
committer | Austin Seipp <aseipp@pobox.com> | 2021-08-31 16:53:58 -0500 |
commit | 6e968a8550a4dbaf257f7d2ce57299e5df5a3610 (patch) | |
tree | 8472c36e4d4d67123197bba7781e5b8659101bae /pkgs/development/compilers/bluespec | |
parent | 83088d4503f3daf37b5065aeffe38224542ab2ae (diff) |
bluespec: style changes, checkInputs
Diffstat (limited to 'pkgs/development/compilers/bluespec')
-rw-r--r-- | pkgs/development/compilers/bluespec/default.nix | 35 |
1 files changed, 29 insertions, 6 deletions
diff --git a/pkgs/development/compilers/bluespec/default.nix b/pkgs/development/compilers/bluespec/default.nix index b68f0b0613470..e839ca9b8bb97 100644 --- a/pkgs/development/compilers/bluespec/default.nix +++ b/pkgs/development/compilers/bluespec/default.nix @@ -1,11 +1,27 @@ -{ lib, stdenv, fetchFromGitHub, fetchpatch, autoconf, automake, fontconfig -, gmp-static, gperf, libX11, libpoly, perl, flex, bison, pkg-config, itktcl -, incrtcl, tcl, tk, verilog, xorg, yices, zlib, ghc, asciidoctor, tex # docs -}: +{ lib +, stdenv +, fetchFromGitHub +, autoconf +, automake +, fontconfig +, libX11 +, perl +, flex +, bison +, pkg-config +, tcl +, tk +, xorg +, yices +, zlib +, ghc +, gmp-static +, verilog +, asciidoctor +, tex }: let - ghcWithPackages = - ghc.withPackages (g: (with g; [ old-time regex-compat syb split ])); + ghcWithPackages = ghc.withPackages (g: (with g; [ old-time regex-compat syb split ])); in stdenv.mkDerivation rec { pname = "bluespec"; @@ -76,6 +92,13 @@ in stdenv.mkDerivation rec { "STP_STUB=1" ]; + doCheck = true; + + checkInputs = [ + gmp-static + verilog + ]; + checkTarget = "check-smoke"; installPhase = '' |