Package Details: yosys-git r2755.5700148-1

Git Clone URL: (read-only)
Package Base: yosys-git
Description: A framework for RTL synthesis
Upstream URL:
Licenses: custom:ISC
Conflicts: yosys
Provides: yosys
Submitter: sebo
Maintainer: sebo
Last Packager: sebo
Votes: 7
Popularity: 0.012314
First Submitted: 2015-10-05 19:00
Last Updated: 2016-05-08 20:25

Dependencies (6)

Required by (2)

Sources (2)

Latest Comments

Un1Gfn commented on 2018-08-23 08:42

The "berkeley-abc/abc" repo is as large as 40.56MB now and we should avoid cloning it every time (line113 and line528 of Makefile) when building yosys-git.

Please add "berkeley-abc/abc" to "sources=(...)" and feed it as "$srcdir/yosys/abc". My suggestions:

(The first revision of this gist is your PKGBUILD while the second revision is mine)

cyrozap commented on 2017-12-17 12:13

xdot should be added as a either a dependency or an optional dependency, as it's required for the "show" command to work.

grahamedgecombe commented on 2017-12-09 21:20

The prefix and destdir need to be specified separately for commands like yosys-config --datdir to work:

diff --git a/PKGBUILD b/PKGBUILD
index [`8a04531`]( 100644
@@ -20,7 +20,7 @@ sha512sums=('SKIP'
     cd ${srcdir}/yosys
     make config-gcc
-    make
+    make PREFIX=/usr

 pkgver() {
@@ -30,7 +30,7 @@ pkgver() {

 package() {
     cd ${srcdir}/yosys
-    make PREFIX=$pkgdir/usr/ install
+    make PREFIX=/usr DESTDIR="$pkgdir" install

     install -D -m 644 \
     "${srcdir}/LICENSE" \

sebo commented on 2016-09-24 06:38

Hi arturo182, thank you for your feedback.

Actually, AUR packages assume base-devel is installed (which includes flex and bison). See "Installing Packages" in .

arturo182 commented on 2016-09-23 18:54

I get "bison: command not found" and "flex: command not found" when trying to install, probably need to add those two as dependencies :)

sebo commented on 2016-05-08 20:27

Should be fixed now.

Just FYI: the old PKGBUILD was using clang to build actually, not gcc.
I changed the toolchain used from clang to gcc and also changed the build
script to follow the README's installation instructions.

The package now builds on my machine at least.

sebo commented on 2016-05-08 19:59

Thanks for reporting. I was able to reproduce.

I'll try to narrow it down and then report to Clifford.

cyrozap commented on 2016-05-08 19:36

I'm getting this message when I try to build with GCC 6.1.1:

I'm not sure whether this is just an issue on my computer, with the package, or with the Yosys source.