[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: |
Thu, 17 Jan 2019 23:27:40 -0500 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/27.0.50 (gnu/linux) |
Hi Danny,
On 2019-01-15 4:48 PM, Danny Milosavljevic wrote:
> Hi,
>
> I've updated arachne-pnr, icestorm (please make sure to also update this when
> you update arachne-pnr since arachne-pnr tests require icestorm) and yosys on
> guix master now.
>
Thanks; I’ll keep your advice about them in mind if I end up changing
them in the future.
With Danny’s changes the build phase for arachne-pnr passes but the
check phase fails on one of the test cases, with or without my z3 4.8.4
update patch. I’ve attached the corresponding logs:
- gwa4kkg00rzp96jkqv52fzz4g197q4-arachne-pnr-0.0-2-840bdfdeb.drv.bz2:
with z3 4.8.3 (without my patch)
- s1lqkz49nlp147m96bnn0d0yl21dgi-arachne-pnr-0.0-2-840bdfdeb.drv.bz2:
with z3 4.8.4 (with my patch)
A quick glance at the ediff of the two files, I didn’t see anything
suggesting that the failure may be due to updating z3 from 4.8.3 to
4.8.4. It might be a good idea to apply the z3 update patch and try
resolving arachne-pnr’s test suite failure in a separate issue.
Thanks,
amin
gwa4kkg00rzp96jkqv52fzz4g197q4-arachne-pnr-0.0-2-840bdfdeb.drv.bz2
Description: BZip2 compressed data
s1lqkz49nlp147m96bnn0d0yl21dgi-arachne-pnr-0.0-2-840bdfdeb.drv.bz2
Description: BZip2 compressed data