[PATCH] gnu: petsc: add tunable property.

  • Done
  • quality assurance status badge
Details
2 participants
  • Efraim Flashner
  • Lars Bilke
Owner
unassigned
Submitted by
Lars Bilke
Severity
normal

Debbugs page

Lars Bilke wrote 1 years ago
(address . guix-patches@gnu.org)(name . Lars Bilke)(address . lars.bilke@ufz.de)
77a3ce021227b1bae0217c64791e3c0f456bc9e5.1709891360.git.lars.bilke@ufz.de
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(-)

Toggle diff (18 lines)
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
Efraim Flashner wrote 1 years ago
(name . Lars Bilke)(address . lars.bilke@ufz.de)
ZfBCYowjLWzSUAiA@3900XT
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
-----BEGIN PGP SIGNATURE-----

iQIzBAABCAAdFiEEoov0DD5VE3JmLRT3Qarn3Mo9g1EFAmXwQmIACgkQQarn3Mo9
g1EISQ/9GQL34Oe9LmVoFQqI8nJP2ANVxYjbBfyD6C8/RsDX05Cv8Ufpn7aRbdDF
RssOKEKVwkI1RccPtajBXbK/fGrCQR6I6izminLFH1doapuUfgihWucYGo2E/UoM
AJT0dOEogqJBezIE/VHSlTMGtTSakkdFWfGICAGJH3eap5r5gSnsDmmBdl8jm6UH
ei+ySacu0Nxf4Xd4Dp5XHmjjKLaz/tOEb48rvgfj/YJwWO+kIJ8D+ajEsrnG9fH3
jbmrU68QqsqeYinuwOgVui9eNhmfYsCy3n/4zlUlenQWmuOlgwNaCPU7utLiYHUR
leNFWqqLzKNssMhe8ROJpe1rEM4oDcC+wyyMfYbRRwDpyyg8hth/yMMCq4k9SHmI
/zJF8JwXnQH/WUGeS6guJBj1YI+iT+9GrG6lX2ye15NSjgBm/RRXfzC0iFtEVrUR
mGYKXIzzm+7ZQ5DBpmE+Q9qyeRi+dQ9LttoR8dg2wc2X/4hCSssUud4sVJ5zI3tt
Io7gFrJmVb+xS5qVRGu/BGOSG1mstwFsk5SQkFShrLsJFhQfN6wkJ1t6Vctn8UfB
AJ5CS2MQNpN9Rppgaec5ujbrrkJJRG2oiPOK5onZgo4+mZs9JOhPNIgP9m3Gjn8Q
PrcPKXGdC2I41tJFfM6guoA/FPlKCCYnSdpBZRStbt+pzg/DLMY=
=BuqE
-----END PGP SIGNATURE-----


Closed
?
Your comment

This issue is archived.

To comment on this conversation send an email to 69632@debbugs.gnu.org

To respond to this issue using the mumi CLI, first switch to it
mumi current 69632
Then, you may apply the latest patchset in this issue (with sign off)
mumi am -- -s
Or, compose a reply to this issue
mumi compose
Or, send patches to this issue
mumi send-email *.patch
You may also tag this issue. See list of standard tags. For example, to set the confirmed and easy tags
mumi command -t +confirmed -t +easy
Or, remove the moreinfo tag and set the help tag
mumi command -t -moreinfo -t +help