Merge pull request #21312 from PetrKralCZ/20240904150736_new_pr_BRiAl…

…1212

{math}[GCC/13.2.0] BRiAl v1.2.12

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

@@ -0,0 +1,31 @@
+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': '13.2.0'}
+
+source_urls = ['https://github.com/BRiAl/BRiAl/releases/download/%(version)s']
+sources = [SOURCELOWER_TAR_BZ2]
+checksums = ['ca009e3722dd3f0a60d15501caed1413146c80abced57423e32ae0116f407494']
+
+dependencies = [
+    ('Boost', '1.83.0'),
+    ('m4ri', '20200125'),
+    ('CUDD', '3.0.0'),
+]
+
+configopts = "--with-boost=$EBROOTBOOST "
+
+runtest = 'check'
+
+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-13.2.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': '13.2.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'