Merge pull request #19208 from migueldiascosta/20231111205556_new_pr_…

…BRiAl1212

{math}[GCC/11.3.0] BRiAl v1.2.12, m4ri v20200125, m4rie v20200125

easybuild/easyconfigs/b/BRiAl/BRiAl-1.2.12-GCC-11.3.0.eb

@@ -0,0 +1,30 @@
+easyblock = 'ConfigureMake'
+
+name = 'BRiAl'
+version = '1.2.12'
+
+homepage = 'https://github.com/BRiAl/BRiAl'
+description = """BRiAl is the legacy version of PolyBoRi maintained by sagemath developers."""
+
+toolchain = {'name': 'GCC', 'version': '11.3.0'}
+
+source_urls = ['https://github.com/BRiAl/BRiAl/releases/download/%(version)s']
+sources = [SOURCELOWER_TAR_BZ2]
+checksums = ['ca009e3722dd3f0a60d15501caed1413146c80abced57423e32ae0116f407494']
+
+dependencies = [
+    ('Boost', '1.79.0'),
+    ('CUDD', '3.0.0'),
+    ('Python', '3.10.4'),
+    ('m4ri', '20200125'),
+]
+
+configopts = "--with-boost=$EBROOTBOOST "
+
+sanity_check_paths = {
+    'files': ['include/polybori.h'] +
+             ['lib/libbrial.%s' % e for e in ['a', SHLIB_EXT]],
+    'dirs': [],
+}
+
+moduleclass = 'math'

easybuild/easyconfigs/c/CUDD/CUDD-3.0.0-GCC-11.3.0.eb

@@ -0,0 +1,22 @@
+easyblock = 'ConfigureMake'
+
+name = 'CUDD'
+version = '3.0.0'
+
+homepage = 'https://github.com/ivmai/cudd'
+description = """The CUDD package is a package written in C for the manipulation of
+ decision diagrams.  It supports binary decision diagrams (BDDs), algebraic decision
+ diagrams (ADDs), and Zero-Suppressed BDDs (ZDDs)."""
+
+toolchain = {'name': 'GCC', 'version': '11.3.0'}
+
+source_urls = ['https://github.com/ivmai/cudd/archive/refs/tags']
+sources = [SOURCELOWER_TAR_GZ]
+checksums = ['5fe145041c594689e6e7cf4cd623d5f2b7c36261708be8c9a72aed72cf67acce']
+
+sanity_check_paths = {
+    'files': ['include/cudd.h', 'lib/libcudd.a'],
+    'dirs': [],
+}
+
+moduleclass = 'math'

easybuild/easyconfigs/m/m4ri/m4ri-20200125-GCC-11.3.0.eb

@@ -0,0 +1,25 @@
+easyblock = 'ConfigureMake'
+
+name = 'm4ri'
+version = '20200125'
+
+homepage = 'https://github.com/malb/m4ri'
+description = "M4RI is a library for fast arithmetic with dense matrices over F2."
+
+toolchain = {'name': 'GCC', 'version': '11.3.0'}
+
+source_urls = ['https://github.com/malb/m4ri/archive/refs/tags/']
+sources = ['release-%(version)s.tar.gz']
+checksums = ['7369adcecb72d4dacfb23fd437a6b59a956f76b26dee07f32558cb915a9d6e9d']
+
+builddependencies = [('Autotools', '20220317')]
+
+preconfigopts = "autoreconf --install && "
+configopts = "--enable-openmp "
+
+sanity_check_paths = {
+    'files': ['include/m4ri/m4ri.h', 'lib/libm4ri.a', 'lib/libm4ri.%s' % SHLIB_EXT],
+    'dirs': [],
+}
+
+moduleclass = 'math'

easybuild/easyconfigs/m/m4rie/m4rie-20200125-GCC-11.3.0.eb

@@ -0,0 +1,27 @@
+easyblock = 'ConfigureMake'
+
+name = 'm4rie'
+version = '20200125'
+
+homepage = 'https://github.com/malb/m4rie'
+description = "M4RIE is a library for fast arithmetic with dense matrices."
+
+toolchain = {'name': 'GCC', 'version': '11.3.0'}
+
+source_urls = ['https://github.com/malb/m4rie/archive/refs/tags/']
+sources = ['release-%(version)s.tar.gz']
+checksums = ['bc5c515e6151203b7a483f6ca84a22ec8c0407ea3621d8e11de3c997b5009d69']
+
+builddependencies = [('Autotools', '20220317')]
+
+dependencies = [('m4ri', version)]
+
+preconfigopts = "autoreconf --install && "
+configopts = "--enable-openmp "
+
+sanity_check_paths = {
+    'files': ['include/m4rie/m4rie.h'] + ['lib/libm4rie.%s' % e for e in ['a', SHLIB_EXT]],
+    'dirs': [],
+}
+
+moduleclass = 'math'