{
  bluespec,
  icestorm,
  nextpnr,
  yosys,
  stdenv,
}:

stdenv.mkDerivation {
  pname = "numini-fpga";
  version = "0.1.0";
  src = ./.;
  nativeBuildInputs = [
    bluespec
    icestorm
    nextpnr
    yosys
  ];
  configurePhase = ''
    runHook preConfigure
    export BSC=${bluespec}
    runHook postConfigure
  '';
  buildFlags = [
    "tmp/mkTop.bin"
    "tmp/mkTopSim.exe"
  ];
  installPhase = ''
    runHook preInstall
    install -DTm600 tmp/mkTop.bin $out/numini.bin
    install -DTm700 tmp/mkTopSim.exe $out/numini-bluesim
    install -DTm700 tmp/mkTopSim.exe.so $out/numini-bluesim.so
    runHook postInstall
  '';
}