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

Some checks pass!

This commit is contained in:
Las Safin 2021-09-03 13:10:08 +00:00
parent a3a738c0ff
commit 84640f3bc1
No known key found for this signature in database
GPG Key ID: E7FA928911B61ED6
1 changed files with 4 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -2,16 +2,12 @@
{ stdenv, coriolis-unicorn, coriolis-cumulus, python2Packages, alliance, yosys }: { stdenv, coriolis-unicorn, coriolis-cumulus, python2Packages, alliance, yosys }:
let stdenv.mkDerivation {
env = python2Packages.python.buildEnv.override {
extraLibs = [ coriolis-unicorn coriolis-cumulus ];
};
in stdenv.mkDerivation {
pname = "alliance-check-toolkit"; pname = "alliance-check-toolkit";
version = builtins.substring 0 8 alliance-src.lastModifiedDate; version = builtins.substring 0 8 alliance-src.lastModifiedDate;
src = alliance-src; src = alliance-src;
nativeBuildInputs = [ alliance coriolis-unicorn yosys ]; nativeBuildInputs = [ alliance coriolis-unicorn coriolis-cumulus yosys ];
YOSYS_TOP = "${yosys}"; YOSYS_TOP = "${yosys}";
ALLIANCE_TOP = "${alliance}"; ALLIANCE_TOP = "${alliance}";
@ -20,6 +16,7 @@ in stdenv.mkDerivation {
# which is why we use it. # which is why we use it.
USER = "verhaegs"; USER = "verhaegs";
patchPhase = "true";
configurePhase = "true"; configurePhase = "true";
buildPhase = '' buildPhase = ''
cd benchs/adder/cmos cd benchs/adder/cmos
@ -29,4 +26,5 @@ in stdenv.mkDerivation {
make lvx make lvx
''; '';
installPhase = "true"; installPhase = "true";
fixupPhase = "true";
} }