Package Details: python-amaranth-git 0.3.r19.g8b85afa-3

Git Clone URL: https://aur.archlinux.org/python-amaranth-git.git (read-only, click to copy)
Package Base: python-amaranth-git
Description: A modern hardware definition language and toolchain based on Python (formerly nMigen)
Upstream URL: https://github.com/amaranth-lang/amaranth
Licenses: BSD
Conflicts: python-amaranth, python-nmigen
Provides: python-amaranth, python-nmigen
Replaces: python-nmigen-git
Submitter: xiretza
Maintainer: xiretza
Last Packager: xiretza
Votes: 2
Popularity: 0.000001
First Submitted: 2021-12-29 10:01 (UTC)
Last Updated: 2022-04-24 07:48 (UTC)

Required by (2)

Sources (1)

Latest Comments

xiretza commented on 2022-04-24 07:58 (UTC)

python-amaranth-boards-git is now packaged: https://aur.archlinux.org/packages/python-amaranth-boards-git

xiretza commented on 2022-04-24 07:33 (UTC)

Tests exist to tell you when something is wrong, simply not running them can hardly be considered a "fix" ;) Anyway, the issue is that amaranth targets the latest available yosys, so I changed the depends to reflect that.

amstan commented on 2022-04-24 07:32 (UTC) (edited on 2022-04-24 07:33 (UTC) by amstan)

We're also missing amaranth_boards, which without it's kind of hard to build anything real. I'm making do by just installing python-nmigen-boards (which seems happy "linking" to this package), but that uses the old style imports:

>>> from amaranth import *
>>> from nmigen_boards.mister import *

amstan commented on 2022-04-24 06:14 (UTC) (edited on 2022-04-24 06:14 (UTC) by amstan)

The check() fails for me. I guess there's some failures in the upstream tests:

FAILED tests/test_lib_coding.py::GrayCoderTestCase::test_distance - AssertionError: Formal verification failed:
FAILED tests/test_lib_coding.py::GrayCoderTestCase::test_reversible - AssertionError: Formal verification failed:
FAILED tests/test_lib_fifo.py::FIFOFormalCase::test_async - AssertionError: Formal verification failed:
FAILED tests/test_lib_fifo.py::FIFOFormalCase::test_async_buffered - AssertionError: Formal verification failed:
FAILED tests/test_lib_fifo.py::FIFOFormalCase::test_sync_buffered_pot - AssertionError: Formal verification failed:
FAILED tests/test_lib_fifo.py::FIFOFormalCase::test_sync_buffered_potm1 - AssertionError: Formal verification failed:
FAILED tests/test_lib_fifo.py::FIFOFormalCase::test_sync_buffered_potp1 - AssertionError: Formal verification failed:
FAILED tests/test_lib_fifo.py::FIFOFormalCase::test_sync_fwft_npot - AssertionError: Formal verification failed:
FAILED tests/test_lib_fifo.py::FIFOFormalCase::test_sync_fwft_pot - AssertionError: Formal verification failed:
FAILED tests/test_lib_fifo.py::FIFOFormalCase::test_sync_not_fwft_npot - AssertionError: Formal verification failed:
FAILED tests/test_lib_fifo.py::FIFOFormalCase::test_sync_not_fwft_pot - AssertionError: Formal verification failed:

I fixed it (for myself, though YMMV) by telling pikaur to tell makepkg to not run check(): --mflags=--nocheck

FWIW I don't think this should be changed in the PKGBUILD, you might still want to run tests, idk what the philosophy of check() is normally.