Package Details: yosys-git 0.9+3627.r10276.e919d0c1-1

Git Clone URL: (read-only, click to copy)
Package Base: yosys-git
Description: A framework for RTL synthesis
Upstream URL:
Keywords: fpga
Licenses: custom:ISC
Conflicts: yosys
Provides: yosys=0.9+3627.r10276.e919d0c1
Submitter: sebo
Maintainer: thasti
Last Packager: thasti
Votes: 13
Popularity: 0.000030
First Submitted: 2015-10-05 19:00
Last Updated: 2020-10-20 17:42

Required by (8)

Sources (2)

Latest Comments

« First ‹ Previous 1 2 3 4 5 Next › Last »

swedishhat commented on 2019-07-02 18:04

@marzoul: is this duplication part of the AUR build or is it a part of the Yosys project on Github?

novenary commented on 2019-06-29 06:26

Build is failing for me because of a missing dependency on boost.

passes/cmds/ fatal error: boost/algorithm/string/predicate.hpp: No such file or directory
   27 | #  include <boost/algorithm/string/predicate.hpp>
      |            ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
compilation terminated.
make: *** [Makefile:595: passes/cmds/plugin.o] Error 1
make: *** Waiting for unfinished jobs....

marzoul commented on 2019-06-27 22:02

I freshly recompiled this package, last time was in October 2018. The package size got from 23 MB to 57 MB. I'm sensitive to this. Digging a bit I saw that there is a that is installed 3 times. All identical. Could you please deduplicate this ? Symlinks surely should be fine.

thasti commented on 2019-05-20 20:25

Would you consider enabling compilation of libyosys and pyosys (python bindings) for this AUR? I recently got some changes merged to make these features build for non-debian systems. My patch to do that can be found here:

I believe this would introduce an additional dependency on boost. Regards!

swedishhat commented on 2019-02-04 08:47

@Un1Gfn: I added abc to the sources (per your gist) and it looks like it's doing the trick:

Pulling ABC from
+ test -d abc
+ cd abc
+ make DEP= clean

swedishhat commented on 2019-02-04 07:48

@cyrozap: xdot should now be listed as an optional dependency since yosys can build happily without it.

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 :)