2017-10-16 08:34:04 +01:00
|
|
|
{ stdenv, fetchFromGitHub, fetchFromBitbucket
|
|
|
|
, pkgconfig, tcl, readline, libffi, python3, bison, flex
|
|
|
|
}:
|
2015-12-29 16:31:18 +00:00
|
|
|
|
|
|
|
stdenv.mkDerivation rec {
|
|
|
|
name = "yosys-${version}";
|
2017-11-05 17:24:39 +00:00
|
|
|
version = "2017.11.05";
|
2015-12-29 16:31:18 +00:00
|
|
|
|
|
|
|
srcs = [
|
|
|
|
(fetchFromGitHub {
|
|
|
|
owner = "cliffordwolf";
|
|
|
|
repo = "yosys";
|
2017-11-05 17:24:39 +00:00
|
|
|
rev = "4f31cb6daddedcee467d85797d81b79360ce1826";
|
|
|
|
sha256 = "1a5n0g5kpjsy8f99f64w81gkrr450wvffp407r1pddl8pmb0c3r7";
|
2015-12-29 16:31:18 +00:00
|
|
|
name = "yosys";
|
|
|
|
})
|
|
|
|
(fetchFromBitbucket {
|
|
|
|
owner = "alanmi";
|
|
|
|
repo = "abc";
|
2017-11-05 17:24:39 +00:00
|
|
|
rev = "f6838749f234";
|
|
|
|
sha256 = "0n7ywvih958h1c4n7a398a9w3qikhkv885fx5j3y2a0xwqc86m4y";
|
2016-08-19 02:30:21 +01:00
|
|
|
name = "yosys-abc";
|
2015-12-29 16:31:18 +00:00
|
|
|
})
|
|
|
|
];
|
|
|
|
sourceRoot = "yosys";
|
|
|
|
|
2017-10-16 08:34:04 +01:00
|
|
|
enableParallelBuilding = true;
|
2017-09-05 22:26:13 +01:00
|
|
|
nativeBuildInputs = [ pkgconfig ];
|
|
|
|
buildInputs = [ tcl readline libffi python3 bison flex ];
|
2015-12-29 16:31:18 +00:00
|
|
|
preBuild = ''
|
2016-08-19 02:30:21 +01:00
|
|
|
chmod -R u+w ../yosys-abc
|
|
|
|
ln -s ../yosys-abc abc
|
2015-12-29 16:31:18 +00:00
|
|
|
make config-gcc
|
|
|
|
echo 'ABCREV := default' >> Makefile.conf
|
|
|
|
makeFlags="PREFIX=$out $makeFlags"
|
|
|
|
'';
|
|
|
|
|
|
|
|
meta = {
|
|
|
|
description = "Framework for RTL synthesis tools";
|
|
|
|
longDescription = ''
|
|
|
|
Yosys is a framework for RTL synthesis tools. It currently has
|
|
|
|
extensive Verilog-2005 support and provides a basic set of
|
|
|
|
synthesis algorithms for various application domains.
|
|
|
|
Yosys can be adapted to perform any synthesis job by combining
|
|
|
|
the existing passes (algorithms) using synthesis scripts and
|
|
|
|
adding additional passes as needed by extending the yosys C++
|
|
|
|
code base.
|
|
|
|
'';
|
2017-10-16 08:34:04 +01:00
|
|
|
homepage = http://www.clifford.at/yosys/;
|
|
|
|
license = stdenv.lib.licenses.isc;
|
|
|
|
maintainers = with stdenv.lib.maintainers; [ shell thoughtpolice ];
|
|
|
|
platforms = stdenv.lib.platforms.linux;
|
2015-12-29 16:31:18 +00:00
|
|
|
};
|
|
|
|
}
|