From 10d044b00e229e240fa479aa61d290fb5cd02515 Mon Sep 17 00:00:00 2001
From: Quan-feng WU <wuquanfeng@ihep.ac.cn>
Date: Fri, 31 Mar 2023 23:36:02 +0800
Subject: [PATCH 1/6] New Recipe: Kira v2.3.0

---
 K/Kira/build_tarballs.jl | 196 +++++++++++++++++++++++++++++++++++++++
 1 file changed, 196 insertions(+)
 create mode 100644 K/Kira/build_tarballs.jl

diff --git a/K/Kira/build_tarballs.jl b/K/Kira/build_tarballs.jl
new file mode 100644
index 00000000000..f5eed842e00
--- /dev/null
+++ b/K/Kira/build_tarballs.jl
@@ -0,0 +1,196 @@
+# Note that this script can accept some limited command-line arguments, run
+# `julia build_tarballs.jl --help` to see a usage message.
+using BinaryBuilder, Pkg
+
+name = "Kira"
+version = v"2.3.0"
+
+# Collection of sources required to complete build
+sources = [
+    GitSource("https://gitlab.com/kira-pyred/kira.git", "8001d64f23406d6c4cb06578b89011c1a0c04c65"),
+    ArchiveSource("https://www.ginac.de/ginac-1.8.6.tar.bz2", "00b320b1116cae5b7b43364dbffb7912471d171f484d82764605d715858d975b"),
+    GitSource("https://gitlab.com/firefly-library/firefly.git", "f0b0b316790fbe23b88dd7b759220944bc77302d")
+]
+
+# Bash recipe for building across all platforms
+script = raw"""
+cd $WORKSPACE/srcdir
+cd ${WORKSPACE}/srcdir/ginac-*.*.*/
+./configure --prefix=${prefix} --build=${MACHTYPE} --host=${target}
+make -j${nproc}
+make install
+cd ${WORKSPACE}/srcdir/firefly/
+mkdir $WORKSPACE/srcdir/FireFly-build
+cd $WORKSPACE/srcdir/FireFly-build/
+cmake -DWITH_FLINT=true     -DWITH_JEMALLOC=true     -DWITH_MPI=true     -DCMAKE_INSTALL_PREFIX=$prefix     -DCMAKE_TOOLCHAIN_FILE=${CMAKE_TARGET_TOOLCHAIN}     -DCMAKE_BUILD_TYPE=Release     ${WORKSPACE}/srcdir/firefly
+cmake --build . -j${nproc}
+cmake --build . -t install
+mkdir ${WORKSPACE}/srcdir/Kira-build
+cd ${WORKSPACE}/srcdir/Kira-build/
+cd ${WORKSPACE}/srcdir/kira/
+meson setup -Dfirefly=true -Dflint=true -Dmpi=true -Djemalloc=true --cross-file=${MESON_TARGET_TOOLCHAIN} --buildtype=release ${WORKSPACE}/srcdir/Kira-build/
+cd ${WORKSPACE}/srcdir/Kira-build/
+ninja -j${nproc}
+ls
+cd src/
+ls
+cd kira/
+ls
+cd 
+cd ${WORKSPACE}/srcdir/Kira-build/src/kira/kira.p/
+ls
+cd ..
+ls
+cd ..
+ls
+cd /workspace/destdir/opt/x86_64-linux-gnu/x86_64-linux-gnu/sys-root/usr/local/lib/
+cd /workspace/destdir/opt/x86_64-linux-gnu/x86_64-linux-gnu/sys-root/
+cd /opt/x86_64-linux-gnu/x86_64-linux-gnu/sys-root/
+ls
+cd lib
+ls
+ls
+cd ..
+ls
+cd usr/local
+ls
+cd l
+cd lib
+ls
+ls
+cd ${WORKSPACE}/srcdir/
+ls
+cd Kira-build/
+ls
+cat build.ninja 
+ls
+cd ..
+ls
+cd kira/
+ls
+meson -Dfirefly=true -Djemalloc=true --cross-file=${MESON_TARGET_TOOLCHAIN} --buildtype=release ${WORKSPACE}/srcdir/Kira-build/
+rm -rf ${WORKSPACE}/srcdir/Kira-build/*
+meson -Dfirefly=true -Djemalloc=true --cross-file=${MESON_TARGET_TOOLCHAIN} --buildtype=release ${WORKSPACE}/srcdir/Kira-build/
+ninja -C ${WORKSPACE}/srcdir/Kira-build/ -j${nproc}
+meson setup -Dfirefly=true -Dflint=true -Dmpi=true -Djemalloc=true --cross-file=${MESON_TARGET_TOOLCHAIN} --buildtype=release ${WORKSPACE}/srcdir/Kira-build/
+ls
+echo ${MESON_TARGET_TOOLCHAIN} 
+cat ${MESON_TARGET_TOOLCHAIN} 
+echo $LD_LIBRARY_PATH 
+echo $LD_FOR_BUILD 
+echo $LD_BUILD 
+ls
+cd ${WORKSPACE}/destdir
+ls
+cd lib
+ls
+ls
+cd ..
+ls
+cd ..
+ls
+cd srcdir/
+ls
+cd Kira-build/
+ls
+less compile_commands.json 
+ls
+cd meson-info/
+ls
+cd ..
+ls
+cd meson-logs/
+ls
+cd ..
+ls
+cd meson-private/
+ls
+cd ..
+ls
+rm -rf ./*
+ls
+cd ..
+ls
+cd kira/
+ls
+meson --version
+meson setup -Dfirefly=true -Dflint=true -Dmpi=true -Djemalloc=true --cross-file=${MESON_TARGET_TOOLCHAIN} --buildtype=release ${WORKSPACE}/srcdir/Kira-build/
+meson install
+cd ${WORKSPACE}/srcdir/Kira-build/
+meson install
+cd /workspace/destdir/opt/
+cd ${WORKSPACE}/srcdir/kira/
+meson setup -Dfirefly=true -Dflint=true -Dmpi=true -Djemalloc=true --cross-file=${MESON_TARGET_TOOLCHAIN} --lib=${libdir} --buildtype=release ${WORKSPACE}/srcdir/Kira-build/
+meson setup -Dfirefly=true -Dflint=true -Dmpi=true -Djemalloc=true --cross-file=${MESON_TARGET_TOOLCHAIN} --libdir=${libdir} --buildtype=release ${WORKSPACE}/srcdir/Kira-build/
+rm -rf ${WORKSPACE}/srcdir/Kira-build/*
+meson setup -Dfirefly=true -Dflint=true -Dmpi=true -Djemalloc=true --cross-file=${MESON_TARGET_TOOLCHAIN} --libdir=${libdir} --buildtype=release ${WORKSPACE}/srcdir/Kira-build/
+cd ${WORKSPACE}/srcdir/Kira-build/
+meson install
+cat ${MESON_TARGET_TOOLCHAIN} 
+echo ${WORKSPACE}/
+echo ${WORKSPACE}
+pkg-config libz
+pkg-config zlib
+pkg-config gmp
+pkg-config --help
+pkg-config --libs
+pkg-config --exists
+pkg-config --libs gmp
+ls
+meson setup -Dfirefly=true -Dflint=true -Dmpi=true -Djemalloc=true --cross-file=${MESON_TARGET_TOOLCHAIN} --buildtype=release ${WORKSPACE}/srcdir/Kira-build/
+meson setup -Dfirefly=true -Dflint=true -Dmpi=true -Djemalloc=true --cross-file=${MESON_TARGET_TOOLCHAIN} --buildtype=release ${WORKSPACE}/srcdir/kira/ ${WORKSPACE}/srcdir/Kira-build/
+meson setup --wipe
+meson setup --wipe ./
+meson setup -Dfirefly=true -Dflint=true -Dmpi=true -Djemalloc=true --cross-file=${MESON_TARGET_TOOLCHAIN} --buildtype=release ${WORKSPACE}/srcdir/kira/ ${WORKSPACE}/srcdir/Kira-build/
+rm -rf ./*
+meson setup -Dfirefly=true -Dflint=true -Dmpi=true -Djemalloc=true --cross-file=${MESON_TARGET_TOOLCHAIN} --buildtype=release ${WORKSPACE}/srcdir/kira/ ${WORKSPACE}/srcdir/Kira-build/
+pkg-config --libs zlib
+pkg-config --libs yaml-cpp
+pkg-config --libs mpi
+pkg-config --libs mpicxx
+pkg-config --libs ginac
+pkg-config --libs gmp
+pkg-config --libs pthread
+pkg-config --libs libmpi
+pkg-config --libs mpicxx
+pkg-config --libs mpich
+echo $LD_LIBRARY_PATH 
+ls
+cat build.ninja 
+sed -i "s/\/workspace\/destdir\/opt/\/opt/g" build.ninja 
+mv build.ninja ../build.ninja.bak
+meson setup -Dfirefly=true -Dflint=true -Dmpi=true -Djemalloc=true --cross-file=${MESON_TARGET_TOOLCHAIN} --buildtype=release ${WORKSPACE}/srcdir/kira/ ${WORKSPACE}/srcdir/Kira-build/
+rm -rf ./*
+meson setup -Dfirefly=true -Dflint=true -Dmpi=true -Djemalloc=true --cross-file=${MESON_TARGET_TOOLCHAIN} --buildtype=release ${WORKSPACE}/srcdir/kira/ ${WORKSPACE}/srcdir/Kira-build/
+diff build.ninja ../build.ninja.bak 
+sed -i "s/\/workspace\/destdir\/opt/\/opt/g" build.ninja 
+meson install
+"""
+
+# These are the platforms we will build for by default, unless further
+# platforms are passed in on the command line
+platforms = [
+    Platform("aarch64", "macos"; ),
+    Platform("x86_64", "linux"; libc = "glibc"),
+    Platform("x86_64", "macos"; )
+]
+
+
+# The products that we will ensure are always built
+products = [
+    ExecutableProduct("kira", :kira)
+]
+
+# Dependencies that must be installed before this package can be built
+dependencies = [
+    Dependency(PackageSpec(name="CLN_jll", uuid="b3974076-79ef-58d3-b5c7-5ef926e97925"))
+    Dependency(PackageSpec(name="Zlib_jll", uuid="83775a58-1f1d-513f-b197-d71354ab007a"))
+    Dependency(PackageSpec(name="GMP_jll", uuid="781609d7-10c4-51f6-84f2-b8444358ff6d"))
+    Dependency(PackageSpec(name="FLINT_jll", uuid="e134572f-a0d5-539d-bddf-3cad8db41a82"))
+    Dependency(PackageSpec(name="MPICH_jll", uuid="7cb0a576-ebde-5e09-9194-50597f1243b4"))
+    Dependency(PackageSpec(name="jemalloc_jll", uuid="454a8cc1-5e0e-5123-92d5-09b094f0e876"))
+    Dependency(PackageSpec(name="yaml_cpp_jll", uuid="01fea8cc-7d33-533a-824e-56a766f4ffe8"))
+]
+
+# Build the tarballs, and possibly a `build.jl` as well.
+build_tarballs(ARGS, name, version, sources, script, platforms, products, dependencies; julia_compat="1.6", preferred_gcc_version = v"7.1.0")

From ef61830251878e3ca9d5b1c3b4903f119364db38 Mon Sep 17 00:00:00 2001
From: Quan-feng WU <wuquanfeng@ihep.ac.cn>
Date: Fri, 31 Mar 2023 23:53:47 +0800
Subject: [PATCH 2/6] expand the c++ string abis.

---
 K/Kira/build_tarballs.jl | 161 +++++----------------------------------
 1 file changed, 20 insertions(+), 141 deletions(-)

diff --git a/K/Kira/build_tarballs.jl b/K/Kira/build_tarballs.jl
index f5eed842e00..6a2d356929e 100644
--- a/K/Kira/build_tarballs.jl
+++ b/K/Kira/build_tarballs.jl
@@ -14,155 +14,28 @@ sources = [
 
 # Bash recipe for building across all platforms
 script = raw"""
-cd $WORKSPACE/srcdir
 cd ${WORKSPACE}/srcdir/ginac-*.*.*/
 ./configure --prefix=${prefix} --build=${MACHTYPE} --host=${target}
 make -j${nproc}
 make install
-cd ${WORKSPACE}/srcdir/firefly/
+
 mkdir $WORKSPACE/srcdir/FireFly-build
 cd $WORKSPACE/srcdir/FireFly-build/
-cmake -DWITH_FLINT=true     -DWITH_JEMALLOC=true     -DWITH_MPI=true     -DCMAKE_INSTALL_PREFIX=$prefix     -DCMAKE_TOOLCHAIN_FILE=${CMAKE_TARGET_TOOLCHAIN}     -DCMAKE_BUILD_TYPE=Release     ${WORKSPACE}/srcdir/firefly
+cmake -DWITH_FLINT=true -DWITH_JEMALLOC=true -DWITH_MPI=true -DCMAKE_INSTALL_PREFIX=$prefix -DCMAKE_TOOLCHAIN_FILE=${CMAKE_TARGET_TOOLCHAIN} -DCMAKE_BUILD_TYPE=Release ${WORKSPACE}/srcdir/firefly
 cmake --build . -j${nproc}
 cmake --build . -t install
+
 mkdir ${WORKSPACE}/srcdir/Kira-build
 cd ${WORKSPACE}/srcdir/Kira-build/
-cd ${WORKSPACE}/srcdir/kira/
-meson setup -Dfirefly=true -Dflint=true -Dmpi=true -Djemalloc=true --cross-file=${MESON_TARGET_TOOLCHAIN} --buildtype=release ${WORKSPACE}/srcdir/Kira-build/
-cd ${WORKSPACE}/srcdir/Kira-build/
-ninja -j${nproc}
-ls
-cd src/
-ls
-cd kira/
-ls
-cd 
-cd ${WORKSPACE}/srcdir/Kira-build/src/kira/kira.p/
-ls
-cd ..
-ls
-cd ..
-ls
-cd /workspace/destdir/opt/x86_64-linux-gnu/x86_64-linux-gnu/sys-root/usr/local/lib/
-cd /workspace/destdir/opt/x86_64-linux-gnu/x86_64-linux-gnu/sys-root/
-cd /opt/x86_64-linux-gnu/x86_64-linux-gnu/sys-root/
-ls
-cd lib
-ls
-ls
-cd ..
-ls
-cd usr/local
-ls
-cd l
-cd lib
-ls
-ls
-cd ${WORKSPACE}/srcdir/
-ls
-cd Kira-build/
-ls
-cat build.ninja 
-ls
-cd ..
-ls
-cd kira/
-ls
-meson -Dfirefly=true -Djemalloc=true --cross-file=${MESON_TARGET_TOOLCHAIN} --buildtype=release ${WORKSPACE}/srcdir/Kira-build/
-rm -rf ${WORKSPACE}/srcdir/Kira-build/*
-meson -Dfirefly=true -Djemalloc=true --cross-file=${MESON_TARGET_TOOLCHAIN} --buildtype=release ${WORKSPACE}/srcdir/Kira-build/
-ninja -C ${WORKSPACE}/srcdir/Kira-build/ -j${nproc}
-meson setup -Dfirefly=true -Dflint=true -Dmpi=true -Djemalloc=true --cross-file=${MESON_TARGET_TOOLCHAIN} --buildtype=release ${WORKSPACE}/srcdir/Kira-build/
-ls
-echo ${MESON_TARGET_TOOLCHAIN} 
-cat ${MESON_TARGET_TOOLCHAIN} 
-echo $LD_LIBRARY_PATH 
-echo $LD_FOR_BUILD 
-echo $LD_BUILD 
-ls
-cd ${WORKSPACE}/destdir
-ls
-cd lib
-ls
-ls
-cd ..
-ls
-cd ..
-ls
-cd srcdir/
-ls
-cd Kira-build/
-ls
-less compile_commands.json 
-ls
-cd meson-info/
-ls
-cd ..
-ls
-cd meson-logs/
-ls
-cd ..
-ls
-cd meson-private/
-ls
-cd ..
-ls
-rm -rf ./*
-ls
-cd ..
-ls
-cd kira/
-ls
-meson --version
-meson setup -Dfirefly=true -Dflint=true -Dmpi=true -Djemalloc=true --cross-file=${MESON_TARGET_TOOLCHAIN} --buildtype=release ${WORKSPACE}/srcdir/Kira-build/
-meson install
-cd ${WORKSPACE}/srcdir/Kira-build/
-meson install
-cd /workspace/destdir/opt/
-cd ${WORKSPACE}/srcdir/kira/
-meson setup -Dfirefly=true -Dflint=true -Dmpi=true -Djemalloc=true --cross-file=${MESON_TARGET_TOOLCHAIN} --lib=${libdir} --buildtype=release ${WORKSPACE}/srcdir/Kira-build/
-meson setup -Dfirefly=true -Dflint=true -Dmpi=true -Djemalloc=true --cross-file=${MESON_TARGET_TOOLCHAIN} --libdir=${libdir} --buildtype=release ${WORKSPACE}/srcdir/Kira-build/
-rm -rf ${WORKSPACE}/srcdir/Kira-build/*
-meson setup -Dfirefly=true -Dflint=true -Dmpi=true -Djemalloc=true --cross-file=${MESON_TARGET_TOOLCHAIN} --libdir=${libdir} --buildtype=release ${WORKSPACE}/srcdir/Kira-build/
-cd ${WORKSPACE}/srcdir/Kira-build/
-meson install
-cat ${MESON_TARGET_TOOLCHAIN} 
-echo ${WORKSPACE}/
-echo ${WORKSPACE}
-pkg-config libz
-pkg-config zlib
-pkg-config gmp
-pkg-config --help
-pkg-config --libs
-pkg-config --exists
-pkg-config --libs gmp
-ls
-meson setup -Dfirefly=true -Dflint=true -Dmpi=true -Djemalloc=true --cross-file=${MESON_TARGET_TOOLCHAIN} --buildtype=release ${WORKSPACE}/srcdir/Kira-build/
-meson setup -Dfirefly=true -Dflint=true -Dmpi=true -Djemalloc=true --cross-file=${MESON_TARGET_TOOLCHAIN} --buildtype=release ${WORKSPACE}/srcdir/kira/ ${WORKSPACE}/srcdir/Kira-build/
-meson setup --wipe
-meson setup --wipe ./
-meson setup -Dfirefly=true -Dflint=true -Dmpi=true -Djemalloc=true --cross-file=${MESON_TARGET_TOOLCHAIN} --buildtype=release ${WORKSPACE}/srcdir/kira/ ${WORKSPACE}/srcdir/Kira-build/
-rm -rf ./*
-meson setup -Dfirefly=true -Dflint=true -Dmpi=true -Djemalloc=true --cross-file=${MESON_TARGET_TOOLCHAIN} --buildtype=release ${WORKSPACE}/srcdir/kira/ ${WORKSPACE}/srcdir/Kira-build/
-pkg-config --libs zlib
-pkg-config --libs yaml-cpp
-pkg-config --libs mpi
-pkg-config --libs mpicxx
-pkg-config --libs ginac
-pkg-config --libs gmp
-pkg-config --libs pthread
-pkg-config --libs libmpi
-pkg-config --libs mpicxx
-pkg-config --libs mpich
-echo $LD_LIBRARY_PATH 
-ls
-cat build.ninja 
-sed -i "s/\/workspace\/destdir\/opt/\/opt/g" build.ninja 
-mv build.ninja ../build.ninja.bak
-meson setup -Dfirefly=true -Dflint=true -Dmpi=true -Djemalloc=true --cross-file=${MESON_TARGET_TOOLCHAIN} --buildtype=release ${WORKSPACE}/srcdir/kira/ ${WORKSPACE}/srcdir/Kira-build/
-rm -rf ./*
-meson setup -Dfirefly=true -Dflint=true -Dmpi=true -Djemalloc=true --cross-file=${MESON_TARGET_TOOLCHAIN} --buildtype=release ${WORKSPACE}/srcdir/kira/ ${WORKSPACE}/srcdir/Kira-build/
-diff build.ninja ../build.ninja.bak 
+meson setup \
+    -Dfirefly=true \
+    -Dflint=true \
+    -Dmpi=true \
+    -Djemalloc=true \
+    --cross-file=${MESON_TARGET_TOOLCHAIN} \
+    --buildtype=release \
+    ${WORKSPACE}/srcdir/kira/ \
+    ${WORKSPACE}/srcdir/Kira-build/
 sed -i "s/\/workspace\/destdir\/opt/\/opt/g" build.ninja 
 meson install
 """
@@ -173,7 +46,10 @@ platforms = [
     Platform("aarch64", "macos"; ),
     Platform("x86_64", "linux"; libc = "glibc"),
     Platform("x86_64", "macos"; )
-]
+]   # Fermat may only support these platforms, which is the external program required to run Kira.
+    # Notice that aarch64 MacOS is running the Fermat via Rosetta 2.
+    # It would be helpful if someone would be willing to help compile Fermat on more platforms.
+platforms = expand_cxxstring_abis(platforms)
 
 
 # The products that we will ensure are always built
@@ -193,4 +69,7 @@ dependencies = [
 ]
 
 # Build the tarballs, and possibly a `build.jl` as well.
-build_tarballs(ARGS, name, version, sources, script, platforms, products, dependencies; julia_compat="1.6", preferred_gcc_version = v"7.1.0")
+build_tarballs(ARGS, name, version, sources, script, platforms, products, dependencies;
+    julia_compat="1.6",
+    preferred_gcc_version = v"6.1.0"    # Because the FireFly need it.
+)

From 5232bd2bae460a526781aaa780e9ae9304d9e24e Mon Sep 17 00:00:00 2001
From: Quan-feng WU <wuquanfeng@ihep.ac.cn>
Date: Sat, 1 Apr 2023 09:51:45 +0800
Subject: [PATCH 3/6] upgrade meson build

---
 K/Kira/build_tarballs.jl | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/K/Kira/build_tarballs.jl b/K/Kira/build_tarballs.jl
index 6a2d356929e..700b48b6392 100644
--- a/K/Kira/build_tarballs.jl
+++ b/K/Kira/build_tarballs.jl
@@ -25,6 +25,8 @@ cmake -DWITH_FLINT=true -DWITH_JEMALLOC=true -DWITH_MPI=true -DCMAKE_INSTALL_PRE
 cmake --build . -j${nproc}
 cmake --build . -t install
 
+pip3 install -U meson
+
 mkdir ${WORKSPACE}/srcdir/Kira-build
 cd ${WORKSPACE}/srcdir/Kira-build/
 meson setup \
@@ -36,7 +38,7 @@ meson setup \
     --buildtype=release \
     ${WORKSPACE}/srcdir/kira/ \
     ${WORKSPACE}/srcdir/Kira-build/
-sed -i "s/\/workspace\/destdir\/opt/\/opt/g" build.ninja 
+sed -i "s/\/workspace\/destdir\/opt/\/opt/g" build.ninja
 meson install
 """
 
@@ -47,6 +49,7 @@ platforms = [
     Platform("x86_64", "linux"; libc = "glibc"),
     Platform("x86_64", "macos"; )
 ]   # Fermat may only support these platforms, which is the external program required to run Kira.
+    # Therefore, I do not build Kira for other platforms, while Kira could be compliled on them.
     # Notice that aarch64 MacOS is running the Fermat via Rosetta 2.
     # It would be helpful if someone would be willing to help compile Fermat on more platforms.
 platforms = expand_cxxstring_abis(platforms)

From bdccd50f3daebbbfb65193a8ce72d9a65f703ed8 Mon Sep 17 00:00:00 2001
From: Quan-feng WU <wuquanfeng@ihep.ac.cn>
Date: Sat, 1 Apr 2023 15:03:10 +0800
Subject: [PATCH 4/6] add license installing

---
 K/Kira/build_tarballs.jl | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/K/Kira/build_tarballs.jl b/K/Kira/build_tarballs.jl
index 700b48b6392..705c4bfae15 100644
--- a/K/Kira/build_tarballs.jl
+++ b/K/Kira/build_tarballs.jl
@@ -29,6 +29,7 @@ pip3 install -U meson
 
 mkdir ${WORKSPACE}/srcdir/Kira-build
 cd ${WORKSPACE}/srcdir/Kira-build/
+
 meson setup \
     -Dfirefly=true \
     -Dflint=true \
@@ -39,7 +40,9 @@ meson setup \
     ${WORKSPACE}/srcdir/kira/ \
     ${WORKSPACE}/srcdir/Kira-build/
 sed -i "s/\/workspace\/destdir\/opt/\/opt/g" build.ninja
+
 meson install
+install_license ${WORKSPACE}/srcdir/kira/COPYING
 """
 
 # These are the platforms we will build for by default, unless further

From 243c1ac19f274696e28e8b514dc1fff53ae5726d Mon Sep 17 00:00:00 2001
From: Quan-feng WU <32387646+Fenyutanchan@users.noreply.github.com>
Date: Thu, 13 Apr 2023 20:52:29 +0800
Subject: [PATCH 5/6] using `GiNaC_jll` and `FireFly_jll`

---
 K/Kira/build_tarballs.jl | 42 ++++++++++++++++++++--------------------
 1 file changed, 21 insertions(+), 21 deletions(-)

diff --git a/K/Kira/build_tarballs.jl b/K/Kira/build_tarballs.jl
index 705c4bfae15..110acb7412b 100644
--- a/K/Kira/build_tarballs.jl
+++ b/K/Kira/build_tarballs.jl
@@ -1,6 +1,9 @@
 # Note that this script can accept some limited command-line arguments, run
 # `julia build_tarballs.jl --help` to see a usage message.
 using BinaryBuilder, Pkg
+using Base.BinaryPlatforms
+const YGGDRASIL_DIR = (dirname∘dirname∘dirname)(@__FILE__)
+(include∘joinpath)(YGGDRASIL_DIR, "platforms", "mpi.jl")
 
 name = "Kira"
 version = v"2.3.0"
@@ -8,23 +11,10 @@ version = v"2.3.0"
 # Collection of sources required to complete build
 sources = [
     GitSource("https://gitlab.com/kira-pyred/kira.git", "8001d64f23406d6c4cb06578b89011c1a0c04c65"),
-    ArchiveSource("https://www.ginac.de/ginac-1.8.6.tar.bz2", "00b320b1116cae5b7b43364dbffb7912471d171f484d82764605d715858d975b"),
-    GitSource("https://gitlab.com/firefly-library/firefly.git", "f0b0b316790fbe23b88dd7b759220944bc77302d")
 ]
 
 # Bash recipe for building across all platforms
 script = raw"""
-cd ${WORKSPACE}/srcdir/ginac-*.*.*/
-./configure --prefix=${prefix} --build=${MACHTYPE} --host=${target}
-make -j${nproc}
-make install
-
-mkdir $WORKSPACE/srcdir/FireFly-build
-cd $WORKSPACE/srcdir/FireFly-build/
-cmake -DWITH_FLINT=true -DWITH_JEMALLOC=true -DWITH_MPI=true -DCMAKE_INSTALL_PREFIX=$prefix -DCMAKE_TOOLCHAIN_FILE=${CMAKE_TARGET_TOOLCHAIN} -DCMAKE_BUILD_TYPE=Release ${WORKSPACE}/srcdir/firefly
-cmake --build . -j${nproc}
-cmake --build . -t install
-
 pip3 install -U meson
 
 mkdir ${WORKSPACE}/srcdir/Kira-build
@@ -32,8 +22,6 @@ cd ${WORKSPACE}/srcdir/Kira-build/
 
 meson setup \
     -Dfirefly=true \
-    -Dflint=true \
-    -Dmpi=true \
     -Djemalloc=true \
     --cross-file=${MESON_TARGET_TOOLCHAIN} \
     --buildtype=release \
@@ -45,6 +33,12 @@ meson install
 install_license ${WORKSPACE}/srcdir/kira/COPYING
 """
 
+# augment_platform_block = """
+#     using Base.BinaryPlatforms
+#     $(MPI.augment)
+#     augment_platform!(platform::Platform) = augment_mpi!(platform)
+# """
+
 # These are the platforms we will build for by default, unless further
 # platforms are passed in on the command line
 platforms = [
@@ -56,6 +50,14 @@ platforms = [
     # Notice that aarch64 MacOS is running the Fermat via Rosetta 2.
     # It would be helpful if someone would be willing to help compile Fermat on more platforms.
 platforms = expand_cxxstring_abis(platforms)
+platforms, platform_dependencies = MPI.augment_platforms(platforms)
+
+# Avoid platforms where the MPI implementation isn't supported
+# OpenMPI
+# platforms = filter(p -> !(p["mpi"] == "openmpi" && arch(p) == "armv6l" && libc(p) == "glibc"), platforms)
+# MPItrampoline
+# platforms = filter(p -> !(p["mpi"] == "mpitrampoline" && libc(p) == "musl"), platforms)
+# platforms = filter(p -> !(p["mpi"] == "mpitrampoline" && Sys.isfreebsd(p)), platforms)
 
 
 # The products that we will ensure are always built
@@ -65,17 +67,15 @@ products = [
 
 # Dependencies that must be installed before this package can be built
 dependencies = [
-    Dependency(PackageSpec(name="CLN_jll", uuid="b3974076-79ef-58d3-b5c7-5ef926e97925"))
-    Dependency(PackageSpec(name="Zlib_jll", uuid="83775a58-1f1d-513f-b197-d71354ab007a"))
-    Dependency(PackageSpec(name="GMP_jll", uuid="781609d7-10c4-51f6-84f2-b8444358ff6d"))
-    Dependency(PackageSpec(name="FLINT_jll", uuid="e134572f-a0d5-539d-bddf-3cad8db41a82"))
-    Dependency(PackageSpec(name="MPICH_jll", uuid="7cb0a576-ebde-5e09-9194-50597f1243b4"))
+    Dependency(PackageSpec(name="FireFly_jll", uuid="8ecac4f1-ae1f-5ff6-b30b-37d818d8e8b3"))
+    Dependency(PackageSpec(name="GiNaC_jll", uuid="f695d788-2582-5101-a7df-1403a8f3a07a"))
     Dependency(PackageSpec(name="jemalloc_jll", uuid="454a8cc1-5e0e-5123-92d5-09b094f0e876"))
+    Dependency(PackageSpec(name="Zlib_jll", uuid="83775a58-1f1d-513f-b197-d71354ab007a"))
     Dependency(PackageSpec(name="yaml_cpp_jll", uuid="01fea8cc-7d33-533a-824e-56a766f4ffe8"))
 ]
 
 # Build the tarballs, and possibly a `build.jl` as well.
 build_tarballs(ARGS, name, version, sources, script, platforms, products, dependencies;
     julia_compat="1.6",
-    preferred_gcc_version = v"6.1.0"    # Because the FireFly need it.
+    preferred_gcc_version = v"7.1.0"    # For `FireFly_jll`
 )

From 0d62a0db963b05ccb800b317c8bd4ff8dd920d87 Mon Sep 17 00:00:00 2001
From: Quan-feng WU <32387646+Fenyutanchan@users.noreply.github.com>
Date: Fri, 14 Apr 2023 10:34:26 +0800
Subject: [PATCH 6/6] Apply the suggestions for more readable
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Co-authored-by: Mosè Giordano <giordano@users.noreply.github.com>
---
 K/Kira/build_tarballs.jl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/K/Kira/build_tarballs.jl b/K/Kira/build_tarballs.jl
index 110acb7412b..32a18d54859 100644
--- a/K/Kira/build_tarballs.jl
+++ b/K/Kira/build_tarballs.jl
@@ -27,7 +27,7 @@ meson setup \
     --buildtype=release \
     ${WORKSPACE}/srcdir/kira/ \
     ${WORKSPACE}/srcdir/Kira-build/
-sed -i "s/\/workspace\/destdir\/opt/\/opt/g" build.ninja
+sed -i "s?/workspace/destdir/opt?/opt?g" build.ninja
 
 meson install
 install_license ${WORKSPACE}/srcdir/kira/COPYING