{tools}[GCCcore/14.3.0] lit v18.1.8, LLVM v20.1.8, psutil v7.0.0, ... #23459

Thyre · 2025-07-23T07:43:38Z

(created using eb --new-pr)

LLVM untested so far, as builds take ages on my machines. Will remove draft once I have some test reports with some of the EasyBlock PRs...

…-14.3.0.eb, psutil-7.0.0-GCCcore-14.3.0.eb, Z3-4.15.1-GCCcore-14.3.0.eb

github-actions · 2025-07-23T07:44:15Z

Updated software `LLVM-20.1.8-GCCcore-14.3.0.eb`

Diff against LLVM-20.1.5-GCCcore-13.2.0.eb

easybuild/easyconfigs/l/LLVM/LLVM-20.1.5-GCCcore-13.2.0.eb

diff --git a/easybuild/easyconfigs/l/LLVM/LLVM-20.1.5-GCCcore-13.2.0.eb b/easybuild/easyconfigs/l/LLVM/LLVM-20.1.8-GCCcore-14.3.0.eb
index 17ad53a0c6..bf4dc73386 100644
--- a/easybuild/easyconfigs/l/LLVM/LLVM-20.1.5-GCCcore-13.2.0.eb
+++ b/easybuild/easyconfigs/l/LLVM/LLVM-20.1.8-GCCcore-14.3.0.eb
@@ -1,17 +1,19 @@
 name = 'LLVM'
-version = '20.1.5'
+version = '20.1.8'
 
 
 homepage = "https://llvm.org/"
-description = """The LLVM Core libraries provide a modern source- and target-independent
- optimizer, along with code generation support for many popular CPUs
- (as well as some less common ones!) These libraries are built around a well
- specified code representation known as the LLVM intermediate representation
- ("LLVM IR"). The LLVM Core libraries are well documented, and it is
- particularly easy to invent your own language (or port an existing compiler)
- to use LLVM as an optimizer and code generator."""
+description = """
+The LLVM Core libraries provide a modern source- and target-independent
+optimizer, along with code generation support for many popular CPUs
+(as well as some less common ones!) These libraries are built around a well
+specified code representation known as the LLVM intermediate representation
+("LLVM IR"). The LLVM Core libraries are well documented, and it is
+particularly easy to invent your own language (or port an existing compiler)
+to use LLVM as an optimizer and code generator.
+"""
 
-toolchain = {'name': 'GCCcore', 'version': '13.2.0'}
+toolchain = {'name': 'GCCcore', 'version': '14.3.0'}
 toolchainopts = {
     # 'cstd': 'gnu++11',
     'pic': True
@@ -27,26 +29,26 @@ patches = [
     'LLVM-19.1.7_clang_rpathwrap_test.patch',
 ]
 checksums = [
-    {'llvm-project-20.1.5.src.tar.xz': 'a069565cd1c6aee48ee0f36de300635b5781f355d7b3c96a28062d50d575fa3e'},
+    {'llvm-project-20.1.8.src.tar.xz': '6898f963c8e938981e6c4a302e83ec5beb4630147c7311183cf61069af16333d'},
     {'LLVM-18.1.8_envintest.patch': '8e25dfab8a29a860717b4bd2d8cdd0e795433766d7fffbda32d06a2bde47058d'},
     {'LLVM-19.1.7_libomptarget_tests.patch': '79a67c118d034cfb74e255696369150c73432d2b422f4834efacb26f7904edbf'},
     {'LLVM-19.1.7_clang_rpathwrap_test.patch': '5ee6a87ec8ff1c8b736ffe0513aa2098bd2b83a1ffc647a1ad2cf966f567e8a1'},
 ]
 
 builddependencies = [
-    ('binutils', '2.40'),
-    ('Python', '3.11.5'),
-    ('CMake', '3.27.6'),
-    ('psutil', '6.1.0'),  # Needed to enable test timeout in lit
-    ('lit', '18.1.7'),
-    ('git', '2.42.0'),
+    ('binutils', '2.44'),
+    ('Python', '3.13.5'),
+    ('CMake', '4.0.3'),
+    ('psutil', '7.0.0'),  # Needed to enable test timeout in lit
+    ('lit', '18.1.8'),
+    ('git', '2.50.1'),
 ]
 
 dependencies = [
-    ('libxml2', '2.11.5'),
-    ('ncurses', '6.4'),
-    ('zlib', '1.2.13'),
-    ('Z3', '4.13.0'),
+    ('libxml2', '2.14.3'),
+    ('ncurses', '6.5'),
+    ('zlib', '1.3.1'),
+    ('Z3', '4.15.1'),
 ]
 
 build_shared_libs = True
@@ -80,8 +82,5 @@ test_suite_ignore_patterns = [
     "api_tests/test_ompd_get_icv_from_scope.c",
 ]
 
-# LLVM will produce .mod files for its flang installation at the 3rd stage of the build via Clang+Flang
-# These should not be checked for sanity, as we want to build LLVM on top of GCCcore to be used as a new toolchain
-skip_mod_files_sanity_check = True
 
 moduleclass = 'compiler'

Diff against LLVM-20.1.5-GCCcore-13.3.0.eb

easybuild/easyconfigs/l/LLVM/LLVM-20.1.5-GCCcore-13.3.0.eb

diff --git a/easybuild/easyconfigs/l/LLVM/LLVM-20.1.5-GCCcore-13.3.0.eb b/easybuild/easyconfigs/l/LLVM/LLVM-20.1.8-GCCcore-14.3.0.eb
index 9ffd58c005..bf4dc73386 100644
--- a/easybuild/easyconfigs/l/LLVM/LLVM-20.1.5-GCCcore-13.3.0.eb
+++ b/easybuild/easyconfigs/l/LLVM/LLVM-20.1.8-GCCcore-14.3.0.eb
@@ -1,17 +1,19 @@
 name = 'LLVM'
-version = '20.1.5'
+version = '20.1.8'
 
 
 homepage = "https://llvm.org/"
-description = """The LLVM Core libraries provide a modern source- and target-independent
- optimizer, along with code generation support for many popular CPUs
- (as well as some less common ones!) These libraries are built around a well
- specified code representation known as the LLVM intermediate representation
- ("LLVM IR"). The LLVM Core libraries are well documented, and it is
- particularly easy to invent your own language (or port an existing compiler)
- to use LLVM as an optimizer and code generator."""
+description = """
+The LLVM Core libraries provide a modern source- and target-independent
+optimizer, along with code generation support for many popular CPUs
+(as well as some less common ones!) These libraries are built around a well
+specified code representation known as the LLVM intermediate representation
+("LLVM IR"). The LLVM Core libraries are well documented, and it is
+particularly easy to invent your own language (or port an existing compiler)
+to use LLVM as an optimizer and code generator.
+"""
 
-toolchain = {'name': 'GCCcore', 'version': '13.3.0'}
+toolchain = {'name': 'GCCcore', 'version': '14.3.0'}
 toolchainopts = {
     # 'cstd': 'gnu++11',
     'pic': True
@@ -27,29 +29,26 @@ patches = [
     'LLVM-19.1.7_clang_rpathwrap_test.patch',
 ]
 checksums = [
-    {'llvm-project-20.1.5.src.tar.xz': 'a069565cd1c6aee48ee0f36de300635b5781f355d7b3c96a28062d50d575fa3e'},
+    {'llvm-project-20.1.8.src.tar.xz': '6898f963c8e938981e6c4a302e83ec5beb4630147c7311183cf61069af16333d'},
     {'LLVM-18.1.8_envintest.patch': '8e25dfab8a29a860717b4bd2d8cdd0e795433766d7fffbda32d06a2bde47058d'},
     {'LLVM-19.1.7_libomptarget_tests.patch': '79a67c118d034cfb74e255696369150c73432d2b422f4834efacb26f7904edbf'},
     {'LLVM-19.1.7_clang_rpathwrap_test.patch': '5ee6a87ec8ff1c8b736ffe0513aa2098bd2b83a1ffc647a1ad2cf966f567e8a1'},
 ]
 
-local_gcc_version = '13.3.0'
-local_gcc_compiler = ('GCCcore', local_gcc_version)
-
 builddependencies = [
-    ('binutils', '2.42'),
-    ('Python', '3.12.3'),
-    ('CMake', '3.29.3'),
-    ('psutil', '6.0.0'),  # Needed to enable test timeout in lit
+    ('binutils', '2.44'),
+    ('Python', '3.13.5'),
+    ('CMake', '4.0.3'),
+    ('psutil', '7.0.0'),  # Needed to enable test timeout in lit
     ('lit', '18.1.8'),
-    ('git', '2.45.1'),
+    ('git', '2.50.1'),
 ]
 
 dependencies = [
-    ('libxml2', '2.12.7'),
+    ('libxml2', '2.14.3'),
     ('ncurses', '6.5'),
     ('zlib', '1.3.1'),
-    ('Z3', '4.13.0'),
+    ('Z3', '4.15.1'),
 ]
 
 build_shared_libs = True
@@ -83,8 +82,5 @@ test_suite_ignore_patterns = [
     "api_tests/test_ompd_get_icv_from_scope.c",
 ]
 
-# LLVM will produce .mod files for its flang installation at the 3rd stage of the build via Clang+Flang
-# These should not be checked for sanity, as we want to build LLVM on top of GCCcore to be used as a new toolchain
-skip_mod_files_sanity_check = True
 
 moduleclass = 'compiler'

Diff against LLVM-19.1.7-GCCcore-13.3.0.eb

easybuild/easyconfigs/l/LLVM/LLVM-19.1.7-GCCcore-13.3.0.eb

diff --git a/easybuild/easyconfigs/l/LLVM/LLVM-19.1.7-GCCcore-13.3.0.eb b/easybuild/easyconfigs/l/LLVM/LLVM-20.1.8-GCCcore-14.3.0.eb
index 635bc3e883..bf4dc73386 100644
--- a/easybuild/easyconfigs/l/LLVM/LLVM-19.1.7-GCCcore-13.3.0.eb
+++ b/easybuild/easyconfigs/l/LLVM/LLVM-20.1.8-GCCcore-14.3.0.eb
@@ -1,17 +1,19 @@
 name = 'LLVM'
-version = '19.1.7'
+version = '20.1.8'
 
 
 homepage = "https://llvm.org/"
-description = """The LLVM Core libraries provide a modern source- and target-independent
- optimizer, along with code generation support for many popular CPUs
- (as well as some less common ones!) These libraries are built around a well
- specified code representation known as the LLVM intermediate representation
- ("LLVM IR"). The LLVM Core libraries are well documented, and it is
- particularly easy to invent your own language (or port an existing compiler)
- to use LLVM as an optimizer and code generator."""
+description = """
+The LLVM Core libraries provide a modern source- and target-independent
+optimizer, along with code generation support for many popular CPUs
+(as well as some less common ones!) These libraries are built around a well
+specified code representation known as the LLVM intermediate representation
+("LLVM IR"). The LLVM Core libraries are well documented, and it is
+particularly easy to invent your own language (or port an existing compiler)
+to use LLVM as an optimizer and code generator.
+"""
 
-toolchain = {'name': 'GCCcore', 'version': '13.3.0'}
+toolchain = {'name': 'GCCcore', 'version': '14.3.0'}
 toolchainopts = {
     # 'cstd': 'gnu++11',
     'pic': True
@@ -27,29 +29,26 @@ patches = [
     'LLVM-19.1.7_clang_rpathwrap_test.patch',
 ]
 checksums = [
-    {'llvm-project-19.1.7.src.tar.xz': '82401fea7b79d0078043f7598b835284d6650a75b93e64b6f761ea7b63097501'},
+    {'llvm-project-20.1.8.src.tar.xz': '6898f963c8e938981e6c4a302e83ec5beb4630147c7311183cf61069af16333d'},
     {'LLVM-18.1.8_envintest.patch': '8e25dfab8a29a860717b4bd2d8cdd0e795433766d7fffbda32d06a2bde47058d'},
     {'LLVM-19.1.7_libomptarget_tests.patch': '79a67c118d034cfb74e255696369150c73432d2b422f4834efacb26f7904edbf'},
     {'LLVM-19.1.7_clang_rpathwrap_test.patch': '5ee6a87ec8ff1c8b736ffe0513aa2098bd2b83a1ffc647a1ad2cf966f567e8a1'},
 ]
 
-local_gcc_version = '13.3.0'
-local_gcc_compiler = ('GCCcore', local_gcc_version)
-
 builddependencies = [
-    ('binutils', '2.42'),
-    ('Python', '3.12.3'),
-    ('CMake', '3.29.3'),
-    ('psutil', '6.0.0'),  # Needed to enable test timeout in lit
+    ('binutils', '2.44'),
+    ('Python', '3.13.5'),
+    ('CMake', '4.0.3'),
+    ('psutil', '7.0.0'),  # Needed to enable test timeout in lit
     ('lit', '18.1.8'),
-    ('git', '2.45.1'),
+    ('git', '2.50.1'),
 ]
 
 dependencies = [
-    ('libxml2', '2.12.7'),
+    ('libxml2', '2.14.3'),
     ('ncurses', '6.5'),
     ('zlib', '1.3.1'),
-    ('Z3', '4.13.0'),
+    ('Z3', '4.15.1'),
 ]
 
 build_shared_libs = True
@@ -68,9 +67,7 @@ use_polly = True
 
 python_bindings = True
 
-# all includes NVPTX/AMDGPU and requires setting `cuda-compute-capabilities`/`amd_gfx_list` to work out of the box
-# build_targets = ['all']
-
+build_targets = ['all']
 # disable_werror = True
 
 skip_all_tests = False
@@ -85,8 +82,5 @@ test_suite_ignore_patterns = [
     "api_tests/test_ompd_get_icv_from_scope.c",
 ]
 
-# LLVM will produce .mod files for its flang installation at the 3rd stage of the build via Clang+Flang
-# These should not be checked for sanity, as we want to build LLVM on top of GCCcore to be used as a new toolchain
-skip_mod_files_sanity_check = True
 
 moduleclass = 'compiler'

Updated software `lit-18.1.8-GCCcore-14.3.0.eb`

Diff against lit-18.1.2-GCCcore-12.2.0.eb

easybuild/easyconfigs/l/lit/lit-18.1.2-GCCcore-12.2.0.eb

diff --git a/easybuild/easyconfigs/l/lit/lit-18.1.2-GCCcore-12.2.0.eb b/easybuild/easyconfigs/l/lit/lit-18.1.8-GCCcore-14.3.0.eb
index e9f073f1e6..d782196a00 100644
--- a/easybuild/easyconfigs/l/lit/lit-18.1.2-GCCcore-12.2.0.eb
+++ b/easybuild/easyconfigs/l/lit/lit-18.1.8-GCCcore-14.3.0.eb
@@ -1,20 +1,20 @@
 easyblock = 'PythonBundle'
 
 name = 'lit'
-version = '18.1.2'
+version = '18.1.8'
 
 homepage = 'https://llvm.org/docs/CommandGuide/lit.html'
 description = """lit is a portable tool for executing LLVM and Clang style test suites, summarizing their results, and
 providing indication of failures."""
 
-toolchain = {'name': 'GCCcore', 'version': '12.2.0'}
+toolchain = {'name': 'GCCcore', 'version': '14.3.0'}
 
 builddependencies = [
-    ('binutils', '2.39'),
+    ('binutils', '2.44'),
 ]
 
 dependencies = [
-    ('Python', '3.10.8'),
+    ('Python', '3.13.5'),
 ]
 
 exts_list = [
@@ -26,7 +26,7 @@ exts_list = [
         'checksums': ['ee7d41123f3c9911050ea2c2dac107568dc43b2d3b0c7557a33212c398ead30f'],
     }),
     (name, version, {
-        'checksums': ['fdead6e464f9d975d31a937b82e1162d0768d61a0e5d8ee55991a33ed4aa7128'],
+        'checksums': ['47c174a186941ae830f04ded76a3444600be67d5e5fb8282c3783fba671c4edb'],
     }),
 ]

Diff against lit-18.1.8-GCCcore-13.3.0.eb

easybuild/easyconfigs/l/lit/lit-18.1.8-GCCcore-13.3.0.eb

diff --git a/easybuild/easyconfigs/l/lit/lit-18.1.8-GCCcore-13.3.0.eb b/easybuild/easyconfigs/l/lit/lit-18.1.8-GCCcore-14.3.0.eb
index be353a7bab..d782196a00 100644
--- a/easybuild/easyconfigs/l/lit/lit-18.1.8-GCCcore-13.3.0.eb
+++ b/easybuild/easyconfigs/l/lit/lit-18.1.8-GCCcore-14.3.0.eb
@@ -7,14 +7,14 @@ homepage = 'https://llvm.org/docs/CommandGuide/lit.html'
 description = """lit is a portable tool for executing LLVM and Clang style test suites, summarizing their results, and
 providing indication of failures."""
 
-toolchain = {'name': 'GCCcore', 'version': '13.3.0'}
+toolchain = {'name': 'GCCcore', 'version': '14.3.0'}
 
 builddependencies = [
-    ('binutils', '2.42'),
+    ('binutils', '2.44'),
 ]
 
 dependencies = [
-    ('Python', '3.12.3'),
+    ('Python', '3.13.5'),
 ]
 
 exts_list = [

Diff against lit-18.1.7-GCCcore-13.2.0.eb

easybuild/easyconfigs/l/lit/lit-18.1.7-GCCcore-13.2.0.eb

diff --git a/easybuild/easyconfigs/l/lit/lit-18.1.7-GCCcore-13.2.0.eb b/easybuild/easyconfigs/l/lit/lit-18.1.8-GCCcore-14.3.0.eb
index 384b32015d..d782196a00 100644
--- a/easybuild/easyconfigs/l/lit/lit-18.1.7-GCCcore-13.2.0.eb
+++ b/easybuild/easyconfigs/l/lit/lit-18.1.8-GCCcore-14.3.0.eb
@@ -1,20 +1,20 @@
 easyblock = 'PythonBundle'
 
 name = 'lit'
-version = '18.1.7'
+version = '18.1.8'
 
 homepage = 'https://llvm.org/docs/CommandGuide/lit.html'
 description = """lit is a portable tool for executing LLVM and Clang style test suites, summarizing their results, and
 providing indication of failures."""
 
-toolchain = {'name': 'GCCcore', 'version': '13.2.0'}
+toolchain = {'name': 'GCCcore', 'version': '14.3.0'}
 
 builddependencies = [
-    ('binutils', '2.40'),
+    ('binutils', '2.44'),
 ]
 
 dependencies = [
-    ('Python', '3.11.5'),
+    ('Python', '3.13.5'),
 ]
 
 exts_list = [
@@ -26,7 +26,7 @@ exts_list = [
         'checksums': ['ee7d41123f3c9911050ea2c2dac107568dc43b2d3b0c7557a33212c398ead30f'],
     }),
     (name, version, {
-        'checksums': ['2ddd9be26bdcc6da03aea3ec456c6945eb5a09dbde548d3500bff9b8ed4763bb'],
+        'checksums': ['47c174a186941ae830f04ded76a3444600be67d5e5fb8282c3783fba671c4edb'],
     }),
 ]

Updated software `psutil-7.0.0-GCCcore-14.3.0.eb`

Diff against psutil-7.0.0-GCCcore-14.2.0.eb

easybuild/easyconfigs/p/psutil/psutil-7.0.0-GCCcore-14.2.0.eb

diff --git a/easybuild/easyconfigs/p/psutil/psutil-7.0.0-GCCcore-14.2.0.eb b/easybuild/easyconfigs/p/psutil/psutil-7.0.0-GCCcore-14.3.0.eb
index 8a7b26779d..dd7ea1b63d 100644
--- a/easybuild/easyconfigs/p/psutil/psutil-7.0.0-GCCcore-14.2.0.eb
+++ b/easybuild/easyconfigs/p/psutil/psutil-7.0.0-GCCcore-14.3.0.eb
@@ -6,11 +6,11 @@ version = '7.0.0'
 homepage = 'https://github.com/giampaolo/psutil'
 description = """A cross-platform process and system utilities module for Python"""
 
-toolchain = {'name': 'GCCcore', 'version': '14.2.0'}
+toolchain = {'name': 'GCCcore', 'version': '14.3.0'}
 
-builddependencies = [('binutils', '2.42')]
+builddependencies = [('binutils', '2.44')]
 
-dependencies = [('Python', '3.13.1')]
+dependencies = [('Python', '3.13.5')]
 
 exts_list = [
     (name, version, {

Diff against psutil-6.1.0-GCCcore-13.2.0.eb

easybuild/easyconfigs/p/psutil/psutil-6.1.0-GCCcore-13.2.0.eb

diff --git a/easybuild/easyconfigs/p/psutil/psutil-6.1.0-GCCcore-13.2.0.eb b/easybuild/easyconfigs/p/psutil/psutil-7.0.0-GCCcore-14.3.0.eb
index c6066150cb..dd7ea1b63d 100644
--- a/easybuild/easyconfigs/p/psutil/psutil-6.1.0-GCCcore-13.2.0.eb
+++ b/easybuild/easyconfigs/p/psutil/psutil-7.0.0-GCCcore-14.3.0.eb
@@ -1,22 +1,22 @@
 easyblock = 'PythonBundle'
 
 name = 'psutil'
-version = '6.1.0'
+version = '7.0.0'
 
 homepage = 'https://github.com/giampaolo/psutil'
 description = """A cross-platform process and system utilities module for Python"""
 
-toolchain = {'name': 'GCCcore', 'version': '13.2.0'}
+toolchain = {'name': 'GCCcore', 'version': '14.3.0'}
 
-builddependencies = [('binutils', '2.40')]
+builddependencies = [('binutils', '2.44')]
 
-dependencies = [('Python', '3.11.5')]
+dependencies = [('Python', '3.13.5')]
 
 exts_list = [
     (name, version, {
         'source_urls': ['https://github.com/giampaolo/psutil/archive'],
         'sources': ['release-%(version)s.tar.gz'],
-        'checksums': ['0ffb8a92fac0e89c10b0beb152acae27975fd488d0b9938e441106f319e7599c'],
+        'checksums': ['a3c736187215d1f94ebe18ee6b14202d1b89c165c2eaad159f55cdfb494f7a1c'],
     }),
 ]

Diff against psutil-6.0.0-GCCcore-13.3.0.eb

easybuild/easyconfigs/p/psutil/psutil-6.0.0-GCCcore-13.3.0.eb

diff --git a/easybuild/easyconfigs/p/psutil/psutil-6.0.0-GCCcore-13.3.0.eb b/easybuild/easyconfigs/p/psutil/psutil-7.0.0-GCCcore-14.3.0.eb
index a3e78773c2..dd7ea1b63d 100644
--- a/easybuild/easyconfigs/p/psutil/psutil-6.0.0-GCCcore-13.3.0.eb
+++ b/easybuild/easyconfigs/p/psutil/psutil-7.0.0-GCCcore-14.3.0.eb
@@ -1,22 +1,22 @@
 easyblock = 'PythonBundle'
 
 name = 'psutil'
-version = '6.0.0'
+version = '7.0.0'
 
 homepage = 'https://github.com/giampaolo/psutil'
 description = """A cross-platform process and system utilities module for Python"""
 
-toolchain = {'name': 'GCCcore', 'version': '13.3.0'}
+toolchain = {'name': 'GCCcore', 'version': '14.3.0'}
 
-builddependencies = [('binutils', '2.42')]
+builddependencies = [('binutils', '2.44')]
 
-dependencies = [('Python', '3.12.3')]
+dependencies = [('Python', '3.13.5')]
 
 exts_list = [
     (name, version, {
         'source_urls': ['https://github.com/giampaolo/psutil/archive'],
-        'sources': ['%(name)s-%(version)s.tar.gz'],
-        'checksums': ['8faae4f310b6d969fa26ca0545338b21f73c6b15db7c4a8d934a5482faa818f2'],
+        'sources': ['release-%(version)s.tar.gz'],
+        'checksums': ['a3c736187215d1f94ebe18ee6b14202d1b89c165c2eaad159f55cdfb494f7a1c'],
     }),
 ]

Updated software `Z3-4.15.1-GCCcore-14.3.0.eb`

Diff against Z3-4.13.4-GCCcore-14.2.0.eb

easybuild/easyconfigs/z/Z3/Z3-4.13.4-GCCcore-14.2.0.eb

diff --git a/easybuild/easyconfigs/z/Z3/Z3-4.13.4-GCCcore-14.2.0.eb b/easybuild/easyconfigs/z/Z3/Z3-4.15.1-GCCcore-14.3.0.eb
index 273147a216..ee4f30cfd2 100644
--- a/easybuild/easyconfigs/z/Z3/Z3-4.13.4-GCCcore-14.2.0.eb
+++ b/easybuild/easyconfigs/z/Z3/Z3-4.15.1-GCCcore-14.3.0.eb
@@ -1,7 +1,7 @@
 easyblock = 'PythonBundle'
 
 name = 'Z3'
-version = '4.13.4'
+version = '4.15.1'
 
 homepage = 'https://github.com/Z3Prover/z3'
 description = """Z3 is a theorem prover from Microsoft Research with support for bitvectors,
@@ -9,14 +9,15 @@ booleans, arrays, floating point numbers, strings, and other data types. This
 module includes z3-solver, the Python interface of Z3.
 """
 
-toolchain = {'name': 'GCCcore', 'version': '14.2.0'}
+toolchain = {'name': 'GCCcore', 'version': '14.3.0'}
 
 builddependencies = [
-    ('CMake', '3.31.3'),
-    ('binutils', '2.42'),
+    ('binutils', '2.44'),
+    ('CMake', '4.0.3'),
 ]
+
 dependencies = [
-    ('Python', '3.13.1'),
+    ('Python', '3.13.5'),
     ('GMP', '6.3.0'),
 ]
 
@@ -27,8 +28,8 @@ _enable_gmp = """sed -i "s/Z3_USE_LIB_GMP.*/Z3_USE_LIB_GMP' : True,/" setup.py &
 exts_list = [
     ('z3_solver', version + '.0', {
         'modulename': 'z3',
-        'checksums': ['66944689398d19f831f94524e95e99961d998afa27cfef1918a5a441029ea73f'],
         'preinstallopts': _fix_parallelism + _enable_gmp,
+        'checksums': ['e8522602a76f6e45c45e78eec7bff5cbaa44fa51e94dce0d5432b0f9ab3f7064'],
     }),
 ]

Diff against Z3-4.13.0-GCCcore-13.3.0.eb

easybuild/easyconfigs/z/Z3/Z3-4.13.0-GCCcore-13.3.0.eb

diff --git a/easybuild/easyconfigs/z/Z3/Z3-4.13.0-GCCcore-13.3.0.eb b/easybuild/easyconfigs/z/Z3/Z3-4.15.1-GCCcore-14.3.0.eb
index 91b91f97d8..ee4f30cfd2 100644
--- a/easybuild/easyconfigs/z/Z3/Z3-4.13.0-GCCcore-13.3.0.eb
+++ b/easybuild/easyconfigs/z/Z3/Z3-4.15.1-GCCcore-14.3.0.eb
@@ -1,7 +1,7 @@
 easyblock = 'PythonBundle'
 
 name = 'Z3'
-version = '4.13.0'
+version = '4.15.1'
 
 homepage = 'https://github.com/Z3Prover/z3'
 description = """Z3 is a theorem prover from Microsoft Research with support for bitvectors,
@@ -9,25 +9,27 @@ booleans, arrays, floating point numbers, strings, and other data types. This
 module includes z3-solver, the Python interface of Z3.
 """
 
-toolchain = {'name': 'GCCcore', 'version': '13.3.0'}
+toolchain = {'name': 'GCCcore', 'version': '14.3.0'}
 
 builddependencies = [
-    ('CMake', '3.29.3'),
-    ('binutils', '2.42'),
+    ('binutils', '2.44'),
+    ('CMake', '4.0.3'),
 ]
+
 dependencies = [
-    ('Python', '3.12.3'),
+    ('Python', '3.13.5'),
     ('GMP', '6.3.0'),
 ]
 
+
 _fix_parallelism = """sed -i 's/str(multiprocessing.cpu_count())/"%(parallel)s"/' setup.py && """
 _enable_gmp = """sed -i "s/Z3_USE_LIB_GMP.*/Z3_USE_LIB_GMP' : True,/" setup.py && """
 
 exts_list = [
-    ('z3-solver', version + '.0', {
+    ('z3_solver', version + '.0', {
         'modulename': 'z3',
-        'checksums': ['52588e92aec7cb338fd6288ce93758ae01770f62ca0c80e8f4f2b2333feaf51b'],
         'preinstallopts': _fix_parallelism + _enable_gmp,
+        'checksums': ['e8522602a76f6e45c45e78eec7bff5cbaa44fa51e94dce0d5432b0f9ab3f7064'],
     }),
 ]

Diff against Z3-4.13.0-GCCcore-13.2.0.eb

easybuild/easyconfigs/z/Z3/Z3-4.13.0-GCCcore-13.2.0.eb

diff --git a/easybuild/easyconfigs/z/Z3/Z3-4.13.0-GCCcore-13.2.0.eb b/easybuild/easyconfigs/z/Z3/Z3-4.15.1-GCCcore-14.3.0.eb
index b40db023af..ee4f30cfd2 100644
--- a/easybuild/easyconfigs/z/Z3/Z3-4.13.0-GCCcore-13.2.0.eb
+++ b/easybuild/easyconfigs/z/Z3/Z3-4.15.1-GCCcore-14.3.0.eb
@@ -1,7 +1,7 @@
 easyblock = 'PythonBundle'
 
 name = 'Z3'
-version = '4.13.0'
+version = '4.15.1'
 
 homepage = 'https://github.com/Z3Prover/z3'
 description = """Z3 is a theorem prover from Microsoft Research with support for bitvectors,
@@ -9,25 +9,27 @@ booleans, arrays, floating point numbers, strings, and other data types. This
 module includes z3-solver, the Python interface of Z3.
 """
 
-toolchain = {'name': 'GCCcore', 'version': '13.2.0'}
+toolchain = {'name': 'GCCcore', 'version': '14.3.0'}
 
 builddependencies = [
-    ('CMake', '3.27.6'),
-    ('binutils', '2.40'),
+    ('binutils', '2.44'),
+    ('CMake', '4.0.3'),
 ]
+
 dependencies = [
-    ('Python', '3.11.5'),
+    ('Python', '3.13.5'),
     ('GMP', '6.3.0'),
 ]
 
+
 _fix_parallelism = """sed -i 's/str(multiprocessing.cpu_count())/"%(parallel)s"/' setup.py && """
 _enable_gmp = """sed -i "s/Z3_USE_LIB_GMP.*/Z3_USE_LIB_GMP' : True,/" setup.py && """
 
 exts_list = [
-    ('z3-solver', version + '.0', {
+    ('z3_solver', version + '.0', {
         'modulename': 'z3',
-        'checksums': ['52588e92aec7cb338fd6288ce93758ae01770f62ca0c80e8f4f2b2333feaf51b'],
         'preinstallopts': _fix_parallelism + _enable_gmp,
+        'checksums': ['e8522602a76f6e45c45e78eec7bff5cbaa44fa51e94dce0d5432b0f9ab3f7064'],
     }),
 ]

easybuild/easyconfigs/l/LLVM/LLVM-20.1.8-GCCcore-14.3.0.eb

easybuild/easyconfigs/z/Z3/Z3-4.15.1-GCCcore-14.3.0.eb

Signed-off-by: Jan André Reuter <[email protected]>

Integrated into the EasyBlock, so not needed in the EasyConfig anymore.

Thyre · 2025-07-23T09:46:45Z

libidn failed to download...

Test report by @Thyre
Using easyblocks from PR(s) easybuilders/easybuild-easyblocks#3824
FAILED
Build succeeded for 34 out of 42 (4 easyconfigs in total)
zam226 - Linux Ubuntu 22.04, x86_64, 12th Gen Intel(R) Core(TM) i7-12700, Python 3.10.12
See https://gist.github.com/Thyre/dae7edad46bbf0e1c3185345e8e3d149 for a full test report.

Thyre · 2025-07-23T14:17:02Z

With --amdgcn-capabilities (see easybuilders/easybuild-easyblocks#3824, easybuilders/easybuild-framework#4860):

Test report by @Thyre
Using easyblocks from PR(s) easybuilders/easybuild-easyblocks#3824
SUCCESS
Build succeeded for 10 out of 10 (4 easyconfigs in total)
zam226 - Linux Ubuntu 22.04, x86_64, 12th Gen Intel(R) Core(TM) i7-12700, Python 3.10.12
See https://gist.github.com/Thyre/c7dd065571b8b79d3d8de363540ed329 for a full test report.

Thyre · 2025-07-23T14:17:57Z

@boegelbot please test @ jsc-zen3

boegelbot · 2025-07-23T14:20:09Z

@Thyre: Request for testing this PR well received on jsczen3l1.int.jsc-zen3.fz-juelich.de

PR test command 'if [[ develop != 'develop' ]]; then EB_BRANCH=develop ./easybuild_develop.sh 2> /dev/null 1>&2; EB_PREFIX=/home/boegelbot/easybuild/develop source init_env_easybuild_develop.sh; fi; EB_PR=23459 EB_ARGS= EB_CONTAINER= EB_REPO=easybuild-easyconfigs EB_BRANCH=develop /opt/software/slurm/bin/sbatch --job-name test_PR_23459 --ntasks=8 ~/boegelbot/eb_from_pr_upload_jsc-zen3.sh' executed!

exit code: 0
output:

Submitted batch job 7322

Test results coming soon (I hope)...

- notification for comment with ID 3108860226 processed

Message to humans: this is just bookkeeping information for me,
it is of no use to you (unless you think I have a bug, which I don't).

Thyre · 2025-07-23T15:09:34Z

With --cuda-compute-capabilities

Test report by @Thyre
Using easyblocks from PR(s) easybuilders/easybuild-easyblocks#3851
SUCCESS
Build succeeded for 4 out of 4 (4 easyconfigs in total)
ZAM054 - Linux Zorin OS 17, x86_64, 12th Gen Intel(R) Core(TM) i7-1260P, 1 x NVIDIA NVIDIA GeForce MX550, 570.133.07, Python 3.10.12
See https://gist.github.com/Thyre/7dcff4691b06aa9d65985467721eb6d1 for a full test report.

Thyre · 2025-07-23T16:53:07Z

Test report by @Thyre
Using easyblocks from PR(s) easybuilders/easybuild-easyblocks#3799
SUCCESS
Build succeeded for 21 out of 21 (4 easyconfigs in total)
jpblt-s01-01.jupiter.internal - Linux RHEL 9.5, AArch64, ARM UNKNOWN, 1 x NVIDIA NVIDIA GH200 480GB, 570.133.20, Python 3.9.21
See https://gist.github.com/Thyre/4157a37273b0bed85eee4522a2467b37 for a full test report.

boegelbot · 2025-07-23T19:54:08Z

Test report by @boegelbot
SUCCESS
Build succeeded for 4 out of 4 (4 easyconfigs in total)
jsczen3c1.int.jsc-zen3.fz-juelich.de - Linux Rocky Linux 9.5, x86_64, AMD EPYC-Milan Processor (zen3), Python 3.9.21
See https://gist.github.com/boegelbot/d6ab7830edb2d612d56e2a65bc6b5ee1 for a full test report.

Crivella

LGTM

Crivella · 2025-07-24T12:37:33Z

Going in, thanks @Thyre!

branfosj · 2025-07-24T20:19:58Z

Test report by @branfosj
FAILED
Build succeeded for 3 out of 4 (4 easyconfigs in total)
bear-pg0105u03a - Linux RHEL 8.10, x86_64, Intel(R) Xeon(R) Platinum 8360Y CPU @ 2.40GHz (icelake), Python 3.6.8
See https://gist.github.com/branfosj/ef828535517ca84f077dba74522d9da0 for a full test report.

Thyre · 2025-07-24T20:32:14Z

Test report by @branfosj
FAILED
Build succeeded for 3 out of 4 (4 easyconfigs in total)
bear-pg0105u03a - Linux RHEL 8.10, x86_64, Intel(R) Xeon(R) Platinum 8360Y CPU @ 2.40GHz (icelake), Python 3.6.8
See https://gist.github.com/branfosj/ef828535517ca84f077dba74522d9da0 for a full test report.

I'm guessing the job ran out of walltime? If the build process was killed because of memory, something in the LLVM build / test process would be seriously broken.

branfosj · 2025-07-24T20:41:56Z

Test report by @branfosj
FAILED
Build succeeded for 5 out of 6 (4 easyconfigs in total)
bear-pg0210u03a - Linux RHEL 8.10, x86_64, Intel(R) Xeon(R) Platinum 8480CL (sapphirerapids), Python 3.6.8
See https://gist.github.com/branfosj/976c7ad4c33e022134c2c3bf8bd4cc0e for a full test report.

branfosj · 2025-07-24T23:05:03Z

Test report by @branfosj
FAILED
Build succeeded for 5 out of 6 (4 easyconfigs in total)
bear-pg0208u17a - Linux RHEL 8.10, x86_64, AMD EPYC 9554 64-Core Processor (zen4), Python 3.6.8
See https://gist.github.com/branfosj/c52ee36d2591e85ef37eefb527a4f8ab for a full test report.

branfosj · 2025-07-25T14:26:26Z

Test report by @branfosj
SUCCESS
Build succeeded for 4 out of 4 (4 easyconfigs in total)
bear-pg0210u03a - Linux RHEL 8.10, x86_64, Intel(R) Xeon(R) Platinum 8480CL (sapphirerapids), Python 3.6.8
See https://gist.github.com/branfosj/279b7fbd9e417d3737b7495b3917286f for a full test report.

branfosj · 2025-07-25T14:46:06Z

Test report by @branfosj
SUCCESS
Build succeeded for 4 out of 4 (4 easyconfigs in total)
bear-pg0105u03a - Linux RHEL 8.10, x86_64, Intel(R) Xeon(R) Platinum 8360Y CPU @ 2.40GHz (icelake), Python 3.6.8
See https://gist.github.com/branfosj/c5d628b50da77322ee196dd894a8bff1 for a full test report.

branfosj · 2025-07-25T18:19:01Z

Test report by @branfosj
SUCCESS
Build succeeded for 4 out of 4 (4 easyconfigs in total)
bear-pg0208u17b - Linux RHEL 8.10, x86_64, AMD EPYC 9554 64-Core Processor (zen4), Python 3.6.8
See https://gist.github.com/branfosj/89aedeac88235a6fb4abdeb698f54015 for a full test report.

branfosj · 2025-07-31T10:23:48Z

Test report by @branfosj
FAILED
Build succeeded for 3 out of 4 (4 easyconfigs in total)
bear-pg0105u03a - Linux RHEL 8.10, x86_64, Intel(R) Xeon(R) Platinum 8360Y CPU @ 2.40GHz (icelake), Python 3.6.8
See https://gist.github.com/branfosj/ef828535517ca84f077dba74522d9da0 for a full test report.

I'm guessing the job ran out of walltime? If the build process was killed because of memory, something in the LLVM build / test process would be seriously broken.

It was lack of memory. Most of my build jobs have only 32GB available and giving it more and the tests passed. I'm not sure if it detects the total available system memory (512GB) and that is causing problems.

adding easyconfigs: lit-18.1.8-GCCcore-14.3.0.eb, LLVM-20.1.8-GCCcore…

a78cd3d

…-14.3.0.eb, psutil-7.0.0-GCCcore-14.3.0.eb, Z3-4.15.1-GCCcore-14.3.0.eb

github-actions bot added the update label Jul 23, 2025

Thyre commented Jul 23, 2025

View reviewed changes

easybuild/easyconfigs/l/LLVM/LLVM-20.1.8-GCCcore-14.3.0.eb Outdated Show resolved Hide resolved

Thyre marked this pull request as draft July 23, 2025 07:45

Thyre commented Jul 23, 2025

View reviewed changes

easybuild/easyconfigs/z/Z3/Z3-4.15.1-GCCcore-14.3.0.eb Outdated Show resolved Hide resolved

Thyre and others added 3 commits July 23, 2025 10:09

Fix Z3-4.15.1-GCCcore-14.3.0 preinstallopts

22d75f7

More Z3-4.15.1-GCCcore-14.3.0 style fixes

5ef6a63

Signed-off-by: Jan André Reuter <[email protected]>

Drop skip_mod_files option in LLVM-20.1.8-GCCcore-14.3.0.eb

17ae1b9

Integrated into the EasyBlock, so not needed in the EasyConfig anymore.

Thyre mentioned this pull request Jul 23, 2025

{vis}[GCCcore/14.2.0] LLVM v20.1.7, Mesa v25.1.3, lit v18.1.8, ... #23144

Merged

3 tasks

SebastianAchilles added the 2025b issues & PRs related to 2025b common toolchains label Jul 23, 2025

SebastianAchilles added this to the 5.x milestone Jul 23, 2025

Thyre marked this pull request as ready for review July 23, 2025 14:17

Crivella mentioned this pull request Jul 24, 2025

fix missing LIBOMPTARGET_DEVICE_ARCHITECTURES in third stage of bootstrap build in LLVM easyblock easybuilders/easybuild-easyblocks#3851

Merged

Crivella approved these changes Jul 24, 2025

View reviewed changes

Crivella modified the milestones: 5.x, release after 5.1.1 Jul 24, 2025

Crivella merged commit aabfeea into easybuilders:develop Jul 24, 2025
8 checks passed

Thyre mentioned this pull request Jul 31, 2025

Add missing libffi dependency to LLVM 20.1.8 #23555

Merged

{tools}[GCCcore/14.3.0] lit v18.1.8, LLVM v20.1.8, psutil v7.0.0, ... #23459

{tools}[GCCcore/14.3.0] lit v18.1.8, LLVM v20.1.8, psutil v7.0.0, ... #23459

Uh oh!

Conversation

Thyre commented Jul 23, 2025 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

github-actions bot commented Jul 23, 2025 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Updated software LLVM-20.1.8-GCCcore-14.3.0.eb

Updated software lit-18.1.8-GCCcore-14.3.0.eb

Updated software psutil-7.0.0-GCCcore-14.3.0.eb

Updated software Z3-4.15.1-GCCcore-14.3.0.eb

Uh oh!

Uh oh!

Uh oh!

Thyre commented Jul 23, 2025 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

Thyre commented Jul 23, 2025 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

Thyre commented Jul 23, 2025

Uh oh!

boegelbot commented Jul 23, 2025

Uh oh!

Thyre commented Jul 23, 2025 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

Thyre commented Jul 23, 2025

Uh oh!

boegelbot commented Jul 23, 2025

Uh oh!

Crivella left a comment

Choose a reason for hiding this comment

Uh oh!

Crivella commented Jul 24, 2025

Uh oh!

Uh oh!

branfosj commented Jul 24, 2025

Uh oh!

Thyre commented Jul 24, 2025 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

branfosj commented Jul 24, 2025

Uh oh!

branfosj commented Jul 24, 2025

Uh oh!

branfosj commented Jul 25, 2025

Uh oh!

branfosj commented Jul 25, 2025

Uh oh!

branfosj commented Jul 25, 2025

Uh oh!

branfosj commented Jul 31, 2025

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

5 participants

Thyre commented Jul 23, 2025 •

edited

Loading

github-actions bot commented Jul 23, 2025 •

edited

Loading

Updated software `LLVM-20.1.8-GCCcore-14.3.0.eb`

Updated software `lit-18.1.8-GCCcore-14.3.0.eb`

Updated software `psutil-7.0.0-GCCcore-14.3.0.eb`

Updated software `Z3-4.15.1-GCCcore-14.3.0.eb`

Thyre commented Jul 23, 2025 •

edited

Loading

Thyre commented Jul 23, 2025 •

edited

Loading

Thyre commented Jul 23, 2025 •

edited

Loading

Thyre commented Jul 24, 2025 •

edited

Loading