Package Details: yosys-git 0.41+111.r13563.a84e4f44f-1

Git Clone URL: https://aur.archlinux.org/yosys-git.git (read-only, click to copy)
Package Base: yosys-git
Description: A framework for RTL synthesis
Upstream URL: https://yosyshq.net/yosys/
Keywords: fpga
Licenses: custom:ISC
Conflicts: yosys
Provides: yosys
Submitter: sebo
Maintainer: thasti
Last Packager: thasti
Votes: 18
Popularity: 0.21
First Submitted: 2015-10-05 19:00 (UTC)
Last Updated: 2024-05-31 09:13 (UTC)

Dependencies (11)

Required by (19)

Sources (2)

Latest Comments

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

pdlloyd commented on 2019-07-02 18:04 (UTC)

@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 (UTC)

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

passes/cmds/plugin.cc:27:12: 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 (UTC)

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 libyosys.so 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 (UTC)

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:

https://gist.github.com/thasti/4f529f0a080e5ac600f5888aba4474de

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

pdlloyd commented on 2019-02-04 08:47 (UTC) (edited on 2019-02-04 08:48 (UTC) by pdlloyd)

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

Pulling ABC from https://github.com/berkeley-abc/abc:
+ test -d abc
+ cd abc
+ make DEP= clean
...

pdlloyd commented on 2019-02-04 07:48 (UTC) (edited on 2019-02-04 08:44 (UTC) by pdlloyd)

@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 (UTC)

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 (UTC) (edited on 2017-12-09 21:20 (UTC) by grahamedgecombe)

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`](https://aur.archlinux.org/cgit/aur.git/commit/?h=yosys-git&id=8a04531)..c3bdc84 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -20,7 +20,7 @@ sha512sums=('SKIP'
 build(){
     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" \