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

[Amin Bandali <bandali@gnu.org>]

[-- Attachment #1: Type: text/plain, Size: 1069 bytes --]

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


[-- Attachment #2: gwa4kkg00rzp96jkqv52fzz4g197q4-arachne-pnr-0.0-2-840bdfdeb.drv.bz2 --]
[-- Type: application/x-bzip2, Size: 10233 bytes --]

[-- Attachment #3: s1lqkz49nlp147m96bnn0d0yl21dgi-arachne-pnr-0.0-2-840bdfdeb.drv.bz2 --]
[-- Type: application/x-bzip2, Size: 10221 bytes --]