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

yosys: use external abc

Browse Source
This commit is contained in:
Florian Klink 2020-02-01 12:11:30 +01:00
parent e0b28fb806
commit 48085826fa
1 changed files with 4 additions and 23 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1,4 +1,5 @@
{ stdenv { stdenv
, abc-verifier
, bison , bison
, fetchFromGitHub , fetchFromGitHub
, flex , flex
@ -12,19 +13,7 @@
, zlib , zlib
}: }:
with builtins; stdenv.mkDerivation rec {
let
# NOTE: the version of abc used here is synchronized with
# the one in the yosys Makefile of the version above;
# keep them the same for quality purposes.
abc = fetchFromGitHub {
owner = "berkeley-abc";
repo = "abc";
rev = "623b5e82513d076a19f864c01930ad1838498894";
sha256 = "1mrfqwsivflqdzc3531r6mzp33dfyl6dnqjdwfcq137arqh36m67";
};
in stdenv.mkDerivation rec {
pname = "yosys"; pname = "yosys";
version = "2019.10.18"; version = "2019.10.18";
@ -49,18 +38,14 @@ in stdenv.mkDerivation rec {
--replace 'CXX = gcc' "" \ --replace 'CXX = gcc' "" \
--replace 'LD = gcc' 'LD = $(CXX)' \ --replace 'LD = gcc' 'LD = $(CXX)' \
--replace 'ABCMKARGS = CC="$(CXX)" CXX="$(CXX)"' 'ABCMKARGS =' \ --replace 'ABCMKARGS = CC="$(CXX)" CXX="$(CXX)"' 'ABCMKARGS =' \
--replace 'echo UNKNOWN' 'echo ${substring 0 10 src.rev}' --replace 'echo UNKNOWN' 'echo ${builtins.substring 0 10 src.rev}'
patchShebangs tests patchShebangs tests
''; '';
preBuild = '' preBuild = ''
cp -R ${abc} abc
chmod -R u+w . chmod -R u+w .
substituteInPlace abc/Makefile \
--replace 'CC := gcc' "" \
--replace 'CXX := g++' ""
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 'ABCREV := default' >> 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)
@ -68,10 +53,6 @@ in stdenv.mkDerivation rec {
doCheck = true; doCheck = true;
checkInputs = [ verilog ]; checkInputs = [ verilog ];
# checkPhase defaults to VERBOSE=y, which gets passed down to abc,
# which then does $(VERBOSE)gcc, which then complains about not
# being able to find ygcc. Life is pain.
checkFlags = [ " " ];
meta = { meta = {
description = "Framework for RTL synthesis tools"; description = "Framework for RTL synthesis tools";