Package Details: yosys-git 0.58.r155.g691d6b8-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://github.com/YosysHQ/yosys
Keywords: fpga
Licenses: ISC
Conflicts: yosys
Provides: yosys
Submitter: sebo
Maintainer: xiota (thotypous)
Last Packager: xiota
Votes: 18
Popularity: 0.000155
First Submitted: 2015-10-05 19:00 (UTC)
Last Updated: 2025-11-06 22:57 (UTC)

Dependencies (18)

Required by (22)

Sources (4)

Latest Comments

1 2 3 4 5 6 Next › Last »

xiota commented on 2025-11-10 16:58 (UTC) (edited on 2025-11-10 17:29 (UTC) by xiota)

Port renaming is needed by the comaintainer. The patch is rebased from PR3339. Upstream said, "The overall approach looks good." But never merged it, and recently closed it after project refactoring.

I haven't decided whether it's worth the effort to open a PR. PR5478

If you don't want to use the patch, read the PKGBUILD to disable it. Python modules can be disabled the same way.

t0by commented on 2025-11-10 11:56 (UTC)

Hello,

Why is there a patch for port renaming in 74cc3c4790be ?

Why is it not upstreamed ?

Thanks for maintaining the package.

t0by commented on 2025-10-17 09:45 (UTC) (edited on 2025-10-17 09:46 (UTC) by t0by)

Hello, I think there is currently a problem in the installation when trying to install PYOSYS: the packets in the pyproject.toml are not being installed so the _make fails.

In the three dependencies there are setuptools (most likely installed, but python-setuptools could be added in the makedepends), pybind11 (could be added to the makedepends) and cxxheaderparser (only found in the aur, or installable by pip). I was wondering :

  • Should these be installed by the PKGBUILD ?
  • Should they be installed locally with pip / in a venv ?
  • Should the building of PYOSYS not be enforced for all users ?
  • Is it rather an upstream issue of yosys not being clear enough on what are the dependencies of pyosys (it seems to be rather a new part of the project) ?

Thanks for having taken up the project

kvkoskin commented on 2025-03-20 12:19 (UTC)

The package needs gtkwave as a check dependency. Otherwise check() will fail with sh: line 1: vcd2fst: command not found.

marzoul commented on 2025-01-14 15:44 (UTC)

Hi, is there really a need for dependency mercurial ?

thasti commented on 2024-05-31 09:14 (UTC)

Many thanks @thotypous. Sorry for the delay in processing this, I integrated your suggestion.

thotypous commented on 2024-05-09 13:12 (UTC) (edited on 2024-05-12 22:46 (UTC) by thotypous)

The package does not build since yesterday because echo-abc-rev target does not exist anymore.

Now abc is handled as a git submodule. Therefore,

  • The prepare() function should be replaced by:
prepare() {
    cd "${srcdir}/yosys"

    git submodule init
    git config submodule.abc.url "$srcdir/abc"
    git -c protocol.file.allow=always submodule update
}
  • The ln command should be removed from the build() function, i.e. it should be replaced by:
build() {
    cd "${srcdir}/yosys"

    make config-gcc
    echo "ENABLE_LIBYOSYS=1" >> Makefile.conf
    echo "ENABLE_PYOSYS=1" >> Makefile.conf
    echo "ABCPULL=0" >> Makefile.conf

    make PREFIX="/usr"
}

Forty-Bot commented on 2022-08-03 22:37 (UTC)

Please change ln -s to ln -sf when creating the link to abc. This prevents the error

ln: failed to create symbolic link './abc': File exists

when rebuilding.

thasti commented on 2022-07-22 20:35 (UTC)

@xiretza: Done, thanks for the hint!

xiretza commented on 2022-07-22 10:38 (UTC)

Can you change the url= to https://yosyshq.net/yosys/? The old domain is dead(named).

1 2 3 4 5 6 Next › Last »