CryptoMiniSat: Support MPItrampoline (#5140)

* CryptoMiniSat: Support MPItrampoline

* CryptoMiniSat: Expand gfortran versions

* CryptoMiniSat: Exclude platforms where Boost is not available

* CryptoMiniSat: Use newer Boost

* CryptoMiniSat: Don't expand gfortran versions

C/CryptoMiniSat/build_tarballs.jl

@@ -1,19 +1,22 @@
 # 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 = "../.."
+include(joinpath(YGGDRASIL_DIR, "platforms", "mpi.jl"))
 
 name = "CryptoMiniSat"
-version = v"5.8.0"
+version = v"5.8.1"
+cryptominisat_version = v"5.8.0"
 
 # Collection of sources required to complete build
 sources = [
     GitSource("https://github.com/msoos/cryptominisat.git", "e7079937ed2bfe9160a104378e5a344028e4ab78"),
-    DirectorySource("./bundled")
+    DirectorySource("./bundled"),
 ]
 
 # Bash recipe for building across all platforms
 script = raw"""
-
 cd $WORKSPACE/srcdir/cryptominisat
 atomic_patch -p1 ../Yalsatpatch.patch
 atomic_patch -p1 ../feenablepatch.patch
@@ -31,6 +34,12 @@ make install
 install_license ${WORKSPACE}/srcdir/cryptominisat/LICENSE.txt
 """
 
+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 = expand_cxxstring_abis(supported_platforms())
@@ -45,11 +54,20 @@ products = Product[
 
 # Dependencies that must be installed before this package can be built
 dependencies = [
-    Dependency("boost_jll"; compat="=1.71.0"),
+    Dependency("boost_jll"; compat="=1.76.0"),
     Dependency("Zlib_jll"),
     Dependency("SQLite_jll"),
-    Dependency("MPICH_jll")
 ]
 
+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)
+append!(dependencies, platform_dependencies)
+
 # Build the tarballs, and possibly a `build.jl` as well.
-build_tarballs(ARGS, name, version, sources, script, platforms, products, dependencies; preferred_gcc_version=v"7")
+build_tarballs(ARGS, name, version, sources, script, platforms, products, dependencies;
+               augment_platform_block, julia_compat="1.6", preferred_gcc_version=v"8")