From 4a761c3aa9b36efb4cdcab0d77400a268abb5bf6 Mon Sep 17 00:00:00 2001
From: Simon Wright <simon@pushface.org>
Date: Sat, 20 May 2023 14:30:56 +0100
Subject: [PATCH] Fix libgmp.dylib's identity.

  * gmp.h: libgmp.dylib's identity, as built, is $prefix/lib/libgmp.10.dylib.
      Because of a misunderstanding about iains's changes to runpath
      handling, I'd changed this to @rpath/libgmp.10.dylib.
      Reverted.
---
 gmp.sh | 14 ++------------
 1 file changed, 2 insertions(+), 12 deletions(-)

diff --git a/gmp.sh b/gmp.sh
index a7c9873..cb3a3dd 100755
--- a/gmp.sh
+++ b/gmp.sh
@@ -9,21 +9,11 @@ rm -rf *
 $GCC_SRC/gmp/configure                          \
   --prefix=$PREFIX                              \
   --host=$BUILD                                 \
+  --target=$BUILD                               \
+  --build=$BUILD                                \
   --enable-cxx                                  \
   --enable-shared
 
 make -w -j7
 
-# Can't find a way to make the shared library identities to start
-# @rpath, so fix up.
-(
-    set -eu
-    cd .libs
-    for lib in $(find . -type f -name \*.dylib); do
-        # remove the leading "./"
-        l=$(echo $lib | cut -b3-)
-        install_name_tool -id @rpath/$l $lib
-    done
-)
-
 make install