[debbugs-tracker] bug#34048: closed ([PATCH] gnu: z3: Update to 4.8.4.)

[GNU bug Tracking System]

Your message dated Fri, 18 Jan 2019 11:14:52 -0500
with message-id <address@hidden>
and subject line Re: [bug#34048] [PATCH] gnu: z3: Update to 4.8.4.
has caused the debbugs.gnu.org bug report #34048,
regarding [PATCH] gnu: z3: Update to 4.8.4.
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden)


-- 
34048: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=34048
GNU Bug Tracking System
Contact address@hidden with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH] gnu: z3: Update to 4.8.4.
>
>
>
>
> Date: 
>
> Fri, 11 Jan 2019 18:13:53 -0500
>
>
>
>
> User-agent: 
>
> Gnus/5.13 (Gnus v5.13) Emacs/27.0.50 (gnu/linux)
>
>
>
>
> >From 2cd82564402e4363db581bde066766d779b6af1a Mon Sep 17 00:00:00 2001
> From: Amin Bandali <address@hidden>
> Date: Fri, 11 Jan 2019 18:08:42 -0500
> Subject: [PATCH] gnu: z3: Update to 4.8.4.
>
> * gnu/packages/maths.scm (z3): Update to 4.8.4.
> ---
>  gnu/packages/maths.scm | 4 ++--
>  1 file changed, 2 insertions(+), 2 deletions(-)
>
> diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm
> index 4138c7a3b..2c5108388 100644
> --- a/gnu/packages/maths.scm
> +++ b/gnu/packages/maths.scm
> @@ -3937,7 +3937,7 @@ as equations, scalars, vectors, and matrices.")
>  (define-public z3
>    (package
>      (name "z3")
> -    (version "4.8.3")
> +    (version "4.8.4")
>      (home-page "https://github.com/Z3Prover/z3";)
>      (source (origin
>                (method git-fetch)
> @@ -3946,7 +3946,7 @@ as equations, scalars, vectors, and matrices.")
>                (file-name (git-file-name name version))
>                (sha256
>                 (base32
> -                "0p5gdmhd32x6zwmx7j5cgwh4jyfxa9yapym95nlmyfaqzak92qar"))))
> +                "014igqm5vwswz0yhz0cdxsj3a6dh7i79hvhgc3jmmmz3z0xm1gyn"))))
>      (build-system gnu-build-system)
>      (arguments
>       `(#:phases
> -- 
> 2.20.1
>
>
>
>
> --- End Message ---

--- Begin Message --- Subject: Re: [bug#34048] [PATCH] gnu: z3: Update to 4.8.4. Date: Fri, 18 Jan 2019 11:14:52 -0500 User-agent: Mutt/1.11.0 (2018-11-25)

On Thu, Jan 17, 2019 at 11:27:40PM -0500, Amin Bandali wrote:
> 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 for investigating. I've pushed the z3 update as
6654f8c1447d80c4899c4234306801407315b31f

signature.asc
Description: PGP signature

--- End Message ---