alioth/nixpkgs
3
0
Fork 0
forked from mirrors/nixpkgs
Code Releases Activity

bluespec: style changes, checkInputs

Browse source
This commit is contained in:
Jack Cummings 2021-08-28 07:27:27 -07:00 committed by Austin Seipp
parent 83088d4503
commit 6e968a8550
1 changed files with 29 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

35
pkgs/development/compilers/bluespec/default.nix
View file

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