From 6e968a8550a4dbaf257f7d2ce57299e5df5a3610 Mon Sep 17 00:00:00 2001
From: Jack Cummings <jack@mudshark.org>
Date: Sat, 28 Aug 2021 07:27:27 -0700
Subject: [PATCH] bluespec: style changes, checkInputs

---
 .../compilers/bluespec/default.nix            | 35 +++++++++++++++----
 1 file changed, 29 insertions(+), 6 deletions(-)

diff --git a/pkgs/development/compilers/bluespec/default.nix b/pkgs/development/compilers/bluespec/default.nix
index b68f0b061347..e839ca9b8bb9 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 = ''