From f4a8bf072bcbeb1b16f97852d299365562970af3 Mon Sep 17 00:00:00 2001
From: Incardona Pietro <incardon@mpi-cbg.de>
Date: Fri, 5 Nov 2021 12:23:50 +0100
Subject: [PATCH] Fixing OSX boost installation for ARM64

---
 script/install_BOOST.sh | 16 +++++++++++++++-
 1 file changed, 15 insertions(+), 1 deletion(-)

diff --git a/script/install_BOOST.sh b/script/install_BOOST.sh
index f40153454..a82dfe722 100755
--- a/script/install_BOOST.sh
+++ b/script/install_BOOST.sh
@@ -1,5 +1,8 @@
 #!/bin/bash 
 
+source script/discover_os
+discover_os
+
 # check if the directory $1/BOOST exist
 
 if [ -d "$1/BOOST" ]; then
@@ -23,7 +26,18 @@ if [ x"$4" != x"" ]; then
 fi
 ./bootstrap.sh --with-toolset=$3
 mkdir $1/BOOST
-./b2 -j $2 install --prefix=$1/BOOST
+
+# Several flavours
+arch=$(uname -m)
+if [ x"$platform" == x"osx" ]; then
+    if [ x"$arch" == x"arm64" ]; then
+        ./b2 -j $2 install --prefix=$1/BOOST address-model=64 architecture=arm abi=aapcs binary-format=mach-o
+    else
+        ./b2 -j $2 install --prefix=$1/BOOST
+    fi
+else
+    ./b2 -j $2 install --prefix=$1/BOOST
+fi
 rm -rf boost_1_75_0
 
 if [ -f $HOME/user-config.jam_bck ]; then
-- 
GitLab