From b70ab66fe07ce6b27fd648f8ec9e275f2260dae9 Mon Sep 17 00:00:00 2001
From: Bart Oldeman <bart.oldeman@calculquebec.ca>
Date: Thu, 1 Feb 2024 13:35:09 +0000
Subject: [PATCH] adding easyconfigs: Z3-4.12.5-GCCcore-13.2.0.eb,
 Clang-17.0.6-GCCcore-13.2.0.eb

---
 .../c/Clang/Clang-17.0.6-GCCcore-13.2.0.eb    | 55 +++++++++++++++++++
 .../z/Z3/Z3-4.12.5-GCCcore-13.2.0.eb          | 33 +++++++++++
 2 files changed, 88 insertions(+)
 create mode 100644 easybuild/easyconfigs/c/Clang/Clang-17.0.6-GCCcore-13.2.0.eb
 create mode 100644 easybuild/easyconfigs/z/Z3/Z3-4.12.5-GCCcore-13.2.0.eb

diff --git a/easybuild/easyconfigs/c/Clang/Clang-17.0.6-GCCcore-13.2.0.eb b/easybuild/easyconfigs/c/Clang/Clang-17.0.6-GCCcore-13.2.0.eb
new file mode 100644
index 00000000000..57ee152e63c
--- /dev/null
+++ b/easybuild/easyconfigs/c/Clang/Clang-17.0.6-GCCcore-13.2.0.eb
@@ -0,0 +1,55 @@
+##
+# This file is an EasyBuild reciPY as per https://github.com/easybuilders/easybuild
+#
+# Copyright:: Copyright 2013-2015 Dmitri Gribenko, Ward Poelmans
+# Authors:: Dmitri Gribenko <gribozavr@gmail.com>
+# Authors:: Ward Poelmans <wpoely86@gmail.com>
+# License:: GPLv2 or later, MIT, three-clause BSD.
+# $Id$
+##
+
+name = 'Clang'
+version = '17.0.6'
+
+homepage = 'https://clang.llvm.org/'
+description = """C, C++, Objective-C compiler, based on LLVM.  Does not
+ include C++ standard library -- use libstdc++ from GCC."""
+
+# Clang also depends on libstdc++ during runtime, but this dependency is
+# already specified as the toolchain.
+toolchain = {'name': 'GCCcore', 'version': '13.2.0'}
+
+source_urls = ["https://github.com/llvm/llvm-project/releases/download/llvmorg-%(version)s"]
+sources = [
+    'llvm-project-%(version)s.src.tar.xz',
+]
+checksums = ['58a8818c60e6627064f312dbf46c02d9949956558340938b71cf731ad8bc0813']
+
+builddependencies = [
+    ('CMake', '3.27.6'),
+    ('Perl', '5.38.0'),
+    # Including Python bindings would require this as a runtime dep
+    # and SWIG as an additional build dep
+    ('Python', '3.11.5'),
+]
+dependencies = [
+    # since Clang is a compiler, binutils is a runtime dependency too
+    ('binutils', '2.40'),
+    ('hwloc', '2.9.2'),
+    ('libxml2', '2.11.5'),
+    ('ncurses', '6.4'),
+    ('GMP', '6.3.0'),
+    ('Z3', '4.12.5'),
+]
+
+# If True, Flang does not currently support building with LLVM exceptions enabled.
+enable_rtti = False
+
+assertions = True
+python_bindings = False
+skip_all_tests = True
+
+llvm_runtimes = ['libunwind', 'libcxx', 'libcxxabi']
+llvm_projects = ['polly', 'lld', 'lldb', 'clang-tools-extra', 'flang']
+
+moduleclass = 'compiler'
diff --git a/easybuild/easyconfigs/z/Z3/Z3-4.12.5-GCCcore-13.2.0.eb b/easybuild/easyconfigs/z/Z3/Z3-4.12.5-GCCcore-13.2.0.eb
new file mode 100644
index 00000000000..a5fd483d2fc
--- /dev/null
+++ b/easybuild/easyconfigs/z/Z3/Z3-4.12.5-GCCcore-13.2.0.eb
@@ -0,0 +1,33 @@
+easyblock = 'CMakeMake'
+
+name = 'Z3'
+version = '4.12.5'
+
+homepage = 'https://github.com/Z3Prover/z3'
+description = """
+ Z3 is a theorem prover from Microsoft Research.
+"""
+
+toolchain = {'name': 'GCCcore', 'version': '13.2.0'}
+
+source_urls = ['https://github.com/Z3Prover/z3/archive/']
+sources = [SOURCELOWER_TAR_GZ]
+checksums = ['70e211e0a8e77febccc51865e45111066f623356a4ef0b527c3597362bc6db72']
+
+builddependencies = [
+    ('CMake', '3.27.6'),
+    ('binutils', '2.40'),
+]
+
+dependencies = [
+    ('GMP', '6.3.0'),
+]
+
+configopts = '-DZ3_USE_LIB_GMP=ON -DZ3_LINK_TIME_OPTIMIZATION=ON '
+
+sanity_check_paths = {
+    'files': ['bin/z3', 'include/z3_api.h', 'lib/libz3.%s' % SHLIB_EXT],
+    'dirs': [],
+}
+
+moduleclass = 'tools'