pyrox.dev
1{
2 stdenv,
3 lib,
4 fetchFromGitHub,
5 pkg-config,
6 yosys,
7 readline,
8 zlib,
9 bluespec,
10}:
11
12stdenv.mkDerivation {
13 pname = "yosys-bluespec";
14 version = "2021.09.08";
15 plugin = "bluespec";
16
17 src = fetchFromGitHub {
18 owner = "thoughtpolice";
19 repo = "yosys-bluespec";
20 rev = "f6f4127a4e96e18080fd5362b6769fa3e24c76b1";
21 sha256 = "sha256-3cNFP/k4JsgLyUQHWU10Htl2Rh0staAcA3R4piD6hDE=";
22 };
23
24 buildInputs = [
25 yosys
26 readline
27 zlib
28 bluespec
29 ];
30 nativeBuildInputs = [ pkg-config ];
31
32 doCheck = true;
33 makeFlags = [
34 "PREFIX=$(out)/share/yosys/plugins"
35 "STATIC_BSC_PATH=${bluespec}/bin/bsc"
36 "STATIC_BSC_LIBDIR=${bluespec}/lib"
37 ];
38
39 meta = with lib; {
40 description = "Bluespec plugin for Yosys";
41 license = licenses.isc;
42 platforms = platforms.all;
43 maintainers = with maintainers; [ thoughtpolice ];
44 };
45}