mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-12-12 08:43:06 +00:00
18839e1cc1
PyPy3 offers tremendous speedups for IceStorm tools written in Python, including tools used at compile-time to generate the chip databases, and runtime tools distributed to users, such as icebox_vlog. For example, on my ThreadRipper 1950X, build times for IceStorm consistently go from 2m30s -> 1m30s with this change, a 40% improvement, simply due to improvements in raw CPU efficiency. (This is also worsened by the fact the build is currently serial, but that can easily be fixed anyway.) On top of that, tools distributed to users are also now run using PyPy. Utilities such as icebox_vlog are useful for post-bitstream testing, for instance, and also are improved due to improved CPU efficiency as well. For example, when "decompiling" an ICE40 bitstream for HX8K devices, containing a synthesized copy of PicoRV32 (from the NextPNR demos), the runtime of icebox_vlog is cut from 25 seconds to 9 seconds consistently with this change alone. Normally, picking a Python interpreter outright for Python-based code is a "bad idea", but in the case of IceStorm it should be perfectly safe, and an excellent improvement for users. There are a few reasons for this: - IceStorm uses pure Python 3 and nothing else. There are no requirements for any 3rd party packages, which might cause annoying incompatibilities, and PyPy has historically shown very strong core Python compatibility. - IceStorm is NOT a set of Python libraries, it is a set of tools, some of which, coincidentally, are written in Python. It is (normally) bad form to fix libraries to certain interpreters versions if the reason strictly isn't "it doesn't work/isn't compatible". That is not the case here. These tools may later be used by other programs, such as NextPNR, but the Python interpreter is ultimately not that important in quesion for the user. In this sense, there is almost no downside to picking PyPy explicitly if it offers far better performance. (Point 2 is not actually strictly true; there are some distributed .py files that you can import from but they are basically just static classes that are imported by tools like nextpnr; this is expected.) Because of this, users should see very little change except better performance for IceStorm tools on their machines. Note that PyPy is not supported on aarch64 -- this only applies to x86_64 machines. Signed-off-by: Austin Seipp <aseipp@pobox.com>
60 lines
1.9 KiB
Nix
60 lines
1.9 KiB
Nix
{ stdenv, fetchFromGitHub
|
|
, pkgconfig, libftdi
|
|
, python3, pypy3
|
|
}:
|
|
|
|
let
|
|
pypyCompatible = stdenv.isx86_64; /* pypy3 seems broken on i686 */
|
|
pythonPkg = if pypyCompatible then pypy3 else python3;
|
|
pythonInterp = if pypyCompatible then "pypy3" else "python3";
|
|
in
|
|
|
|
stdenv.mkDerivation rec {
|
|
name = "icestorm-${version}";
|
|
version = "2018.12.31";
|
|
|
|
src = fetchFromGitHub {
|
|
owner = "cliffordwolf";
|
|
repo = "icestorm";
|
|
rev = "c0cbae88ab47a3879aacf80d53b6a85710682a6b";
|
|
sha256 = "0bqm0rpywm64yvbq75klpyzb1g9sdsp1kvdlyqg4hvm8jw9w8lya";
|
|
};
|
|
|
|
nativeBuildInputs = [ pkgconfig ];
|
|
buildInputs = [ pythonPkg libftdi ];
|
|
makeFlags = [ "PREFIX=$(out)" ];
|
|
|
|
# fix icebox_vlog chipdb path. icestorm issue:
|
|
# https://github.com/cliffordwolf/icestorm/issues/125
|
|
#
|
|
# also, fix up the path to the chosen Python interpreter. for pypy-compatible
|
|
# platforms, it offers significant performance improvements.
|
|
patchPhase = ''
|
|
substituteInPlace ./icebox/icebox_vlog.py \
|
|
--replace /usr/local/share "$out/share"
|
|
|
|
for x in icefuzz/Makefile icebox/Makefile icetime/Makefile; do
|
|
substituteInPlace "$x" --replace python3 "${pythonInterp}"
|
|
done
|
|
|
|
for x in $(find . -type f -iname '*.py'); do
|
|
substituteInPlace "$x" \
|
|
--replace '/usr/bin/env python3' '${pythonPkg}/bin/${pythonInterp}'
|
|
done
|
|
'';
|
|
|
|
meta = {
|
|
description = "Documentation and tools for Lattice iCE40 FPGAs";
|
|
longDescription = ''
|
|
Project IceStorm aims at reverse engineering and
|
|
documenting the bitstream format of Lattice iCE40
|
|
FPGAs and providing simple tools for analyzing and
|
|
creating bitstream files.
|
|
'';
|
|
homepage = http://www.clifford.at/icestorm/;
|
|
license = stdenv.lib.licenses.isc;
|
|
maintainers = with stdenv.lib.maintainers; [ shell thoughtpolice ];
|
|
platforms = stdenv.lib.platforms.linux;
|
|
};
|
|
}
|