{ stdenv , lib , abc-verifier , bash , bison , fetchFromGitHub , flex , libffi , pkg-config , protobuf , python3 , readline , tcl , verilog , zlib }: # NOTE: as of late 2020, yosys has switched to an automation robot that # automatically tags their repository Makefile with a new build number every # day when changes are committed. please MAKE SURE that the version number in # the 'version' field exactly matches the YOSYS_VER field in the Yosys # makefile! # # if a change in yosys isn't yet available under a build number like this (i.e. # it was very recently merged, within an hour), wait a few hours for the # automation robot to tag the new version, like so: # # https://github.com/YosysHQ/yosys/commit/71ca9a825309635511b64b3ec40e5e5e9b6ad49b # # note that while most nix packages for "unstable versions" use a date-based # version scheme, synchronizing the nix package version here with the unstable # yosys version number helps users report better bugs upstream, and is # ultimately less confusing than using dates. stdenv.mkDerivation rec { pname = "yosys"; version = "0.9+4276"; src = fetchFromGitHub { owner = "YosysHQ"; repo = "yosys"; rev = "75a4cdfc8afc10fed80e43fb1ba31c7edaf6e361"; sha256 = "13xb7ny6i0kr6z6xkj9wmmcj551si7w05r3cghq8h8wkikyh6c8p"; }; enableParallelBuilding = true; nativeBuildInputs = [ pkg-config bison flex ]; buildInputs = [ tcl readline libffi python3 protobuf zlib ]; makeFlags = [ "ENABLE_PROTOBUF=1" "PREFIX=${placeholder "out"}"]; patches = [ ./plugin-search-dirs.patch ]; postPatch = '' substituteInPlace ./Makefile \ --replace 'echo UNKNOWN' 'echo ${builtins.substring 0 10 src.rev}' chmod +x ./misc/yosys-config.in patchShebangs tests ./misc/yosys-config.in ''; preBuild = let shortAbcRev = builtins.substring 0 7 abc-verifier.rev; in '' chmod -R u+w . make config-${if stdenv.cc.isClang or false then "clang" else "gcc"} echo 'ABCEXTERNAL = ${abc-verifier}/bin/abc' >> Makefile.conf # we have to do this ourselves for some reason... (cd misc && ${protobuf}/bin/protoc --cpp_out ../backends/protobuf/ ./yosys.proto) if ! grep -q "ABCREV = ${shortAbcRev}" Makefile; then echo "ERROR: yosys isn't compatible with the provided abc (${shortAbcRev}), failing." exit 1 fi if ! grep -q "YOSYS_VER := $version" Makefile; then echo "ERROR: yosys version in Makefile isn't equivalent to version of the nix package (${version}), failing." exit 1 fi ''; checkTarget = "test"; doCheck = true; checkInputs = [ verilog ]; # Internally, yosys knows to use the specified hardcoded ABCEXTERNAL binary. # But other tools (like mcy or symbiyosys) can't know how yosys was built, so # they just assume that 'yosys-abc' is available -- but it's not installed # when using ABCEXTERNAL # # add a symlink to fake things so that both variants work the same way. this # is also needed at build time for the test suite. postBuild = "ln -sfv ${abc-verifier}/bin/abc ./yosys-abc"; postInstall = "ln -sfv ${abc-verifier}/bin/abc $out/bin/yosys-abc"; setupHook = ./setup-hook.sh; meta = with lib; { description = "Open RTL synthesis framework and tools"; homepage = "http://www.clifford.at/yosys/"; license = licenses.isc; platforms = platforms.all; maintainers = with maintainers; [ shell thoughtpolice emily ]; #In file included from kernel/driver.cc:20: #./kernel/yosys.h:42:10: fatal error: 'map' file not found ##include #https://github.com/YosysHQ/yosys/issues/681 #https://github.com/YosysHQ/yosys/issues/2011 broken = stdenv.isDarwin; }; }