bluespec: style changes, checkInputs

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 = ''