2021-09-05 09:03:28 -05:00
|
|
|
{ alliance-check-toolkit }:
|
2021-09-01 17:30:59 -05:00
|
|
|
|
2021-09-03 08:49:43 -05:00
|
|
|
{ stdenv, coriolis-combined, coriolis-unicorn, coriolis-cumulus
|
2021-10-26 16:10:09 -05:00
|
|
|
, python3Packages, alliance, yosys }:
|
2021-09-03 07:29:44 -05:00
|
|
|
|
2021-09-03 08:10:08 -05:00
|
|
|
stdenv.mkDerivation {
|
2021-09-01 17:30:59 -05:00
|
|
|
pname = "alliance-check-toolkit";
|
2021-09-05 09:03:28 -05:00
|
|
|
version = builtins.substring 0 8 alliance-check-toolkit.lastModifiedDate;
|
|
|
|
|
src = alliance-check-toolkit;
|
2021-09-01 17:30:59 -05:00
|
|
|
|
2021-09-03 08:10:08 -05:00
|
|
|
nativeBuildInputs = [ alliance coriolis-unicorn coriolis-cumulus yosys ];
|
2021-09-02 04:54:51 -05:00
|
|
|
|
|
|
|
|
YOSYS_TOP = "${yosys}";
|
2021-09-02 17:39:29 -05:00
|
|
|
ALLIANCE_TOP = "${alliance}";
|
2021-09-03 08:49:43 -05:00
|
|
|
CORIOLIS_TOP = "${coriolis-combined}";
|
2021-09-02 17:39:29 -05:00
|
|
|
# The user configuration for verhaegs is empty,
|
|
|
|
|
# which is why we use it.
|
|
|
|
|
USER = "verhaegs";
|
2021-09-01 17:30:59 -05:00
|
|
|
|
2021-09-03 09:00:08 -05:00
|
|
|
postPatch = "patchShebangs .";
|
2021-09-03 10:17:56 -05:00
|
|
|
configurePhase = "export CHECK_TOOLKIT=\"$PWD\"";
|
2021-09-01 17:30:59 -05:00
|
|
|
buildPhase = ''
|
2021-09-03 09:00:08 -05:00
|
|
|
cd benchs
|
|
|
|
|
../bin/go.sh
|
2021-09-01 17:30:59 -05:00
|
|
|
'';
|
2021-09-03 08:49:43 -05:00
|
|
|
installPhase = "touch $out";
|
2021-09-03 08:10:08 -05:00
|
|
|
fixupPhase = "true";
|
2021-09-01 17:30:59 -05:00
|
|
|
}
|
