[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[bug#34048] [PATCH] gnu: z3: Update to 4.8.4.

From: Amin Bandali
Subject: [bug#34048] [PATCH] gnu: z3: Update to 4.8.4.
Date: Sun, 13 Jan 2019 10:16:42 -0500
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/27.0.50 (gnu/linux)

Hi Efraim,


> 'guix refresh -l z3' shows:
> Building the following 2 packages would ensure 3 dependent packages are 
> rebuilt: address@hidden address@hidden

TIL, thanks!

> so in theory it's inexpensive to test the packages. Based on
> arachne-pnr's version number, I'd check if there's a later commit that
> doesn't fail the test suite.

Based on your suggestion, I tried bumping arachne-pnr from its current
version in Guix from way back in 2016 to latest master from September
2018 (see the attached patch).

The build phase fails, but it seems to be for another reason than its
current failure.  However, I’ve never used arachne-pnr and don’t know
much about it.

I’ve Cc’ed Danny who originally added the package.  Danny, would you be
able to have a look and see if anything can be done to fix arachne-pnr?

The failure seems to be due to a missing txt file:

| make: *** No rule to make target '/usr/local/share/icebox/chipdb-384.txt', 
needed by 'share/arachne-pnr/chipdb-384.bin'.  Stop.


Attachment: 0001-gnu-arachne-pnr-Update-to-840bdfdeb.patch
Description: Text Data

reply via email to

[Prev in Thread] Current Thread [Next in Thread]