riscv
/
coriolis
mirror of https://gitlab.lip6.fr/vlsi-eda/coriolis.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Get alliance check toolkit to fail

This commit is contained in:
Las Safin 2021-09-02 22:39:29 +00:00
parent 78db672549
commit 4f266c04eb
No known key found for this signature in database
GPG Key ID: E7FA928911B61ED6
1 changed files with 7 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
nix/alliance-check-toolkit.nix
View File

@ -1,14 +1,19 @@
{ alliance-src, ... }:
{ stdenv, coriolis-unicorn, yosys }:
{ stdenv, coriolis-unicorn, alliance, yosys }:
stdenv.mkDerivation {
pname = "alliance-check-toolkit";
version = builtins.substring 0 8 alliance-src.lastModifiedDate;
src = alliance-src;
nativeBuildInputs = [ coriolis-unicorn yosys ];
nativeBuildInputs = [ alliance coriolis-unicorn yosys ];
YOSYS_TOP = "${yosys}";
ALLIANCE_TOP = "${alliance}";
CORIOLIS_TOP = "${coriolis-unicorn}";
# The user configuration for verhaegs is empty,
# which is why we use it.
USER = "verhaegs";
configurePhase = "true";
buildPhase = ''