public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

yosys: check abc-verifier rev to ensure compatibility

Browse Source
This commit is contained in:
Florian Klink 2020-02-01 12:34:30 +01:00
parent 570afbcb5b
commit b437fa4c52
1 changed files with 8 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
pkgs/development/compilers/yosys/default.nix
View File

@ -42,13 +42,20 @@ stdenv.mkDerivation rec {
patchShebangs tests patchShebangs tests
''; '';
preBuild = '' preBuild = let
shortAbcRev = builtins.substring 0 7 abc-verifier.rev;
in ''
chmod -R u+w . chmod -R u+w .
make config-${if stdenv.cc.isClang or false then "clang" else "gcc"} make config-${if stdenv.cc.isClang or false then "clang" else "gcc"}
echo 'ABCEXTERNAL = ${abc-verifier}/bin/abc' >> Makefile.conf echo 'ABCEXTERNAL = ${abc-verifier}/bin/abc' >> Makefile.conf
# we have to do this ourselves for some reason... # we have to do this ourselves for some reason...
(cd misc && ${protobuf}/bin/protoc --cpp_out ../backends/protobuf/ ./yosys.proto) (cd misc && ${protobuf}/bin/protoc --cpp_out ../backends/protobuf/ ./yosys.proto)
if ! grep -q "ABCREV = ${shortAbcRev}" Makefile;then
echo "yosys isn't compatible with the provided abc (${shortAbcRev}), failing."
exit 1
fi
''; '';
doCheck = true; doCheck = true;