bug#69632: closed ([PATCH] gnu: petsc: add tunable property.)

[GNU bug Tracking System]

Your message dated Tue, 12 Mar 2024 13:54:10 +0200
with message-id <ZfBCYowjLWzSUAiA@3900XT>
and subject line Re: [bug#69632] [PATCH] gnu: petsc: add tunable property.
has caused the debbugs.gnu.org bug report #69632,
regarding [PATCH] gnu: petsc: add tunable property.
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
69632: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=69632
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH] gnu: petsc: add tunable property.
>
>
>
>
> Date: 
>
> Fri, 08 Mar 2024 10:49:20 +0100
>
>
>
>
> Tested with some real-world simulations on multpiple HPC systems.
>
> Change-Id: I81588d0556c4176f29d7ab760322cd7aec271f12
> ---
>  gnu/packages/maths.scm | 3 ++-
>  1 file changed, 2 insertions(+), 1 deletion(-)
>
> diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm
> index 1f61ee0583..9f0b1ccadc 100644
> --- a/gnu/packages/maths.scm
> +++ b/gnu/packages/maths.scm
> @@ -3515,7 +3515,8 @@ (define-public petsc
>  data structures and routines for the scalable (parallel) solution of
>  scientific applications modeled by partial differential equations.")
>      (license (license:non-copyleft
> -              "https://www.mcs.anl.gov/petsc/documentation/copyright.html";))))
> +              "https://www.mcs.anl.gov/petsc/documentation/copyright.html";))
> +    (properties '((tunable? . #t)))))
>  
>  (define-public petsc-complex
>    (package
>
> base-commit: 75bad75367fcf2c289fae3b40dbcc850f92177be
> -- 
> 2.43.0
>
>
>
>
> --- End Message ---

--- Begin Message --- Subject: Re: [bug#69632] [PATCH] gnu: petsc: add tunable property. Date: Tue, 12 Mar 2024 13:54:10 +0200

Thanks. Patch pushed!

-- 
Efraim Flashner   <efraim@flashner.co.il>   רנשלפ םירפא
GPG key = A28B F40C 3E55 1372 662D  14F7 41AA E7DC CA3D 8351
Confidentiality cannot be guaranteed on emails sent or received unencrypted

signature.asc
Description: PGP signature

--- End Message ---