--- src_ext/ocaml-patches/0001-arm-powerpc.patch 2023-05-27 13:17:37 UTC +++ src_ext/ocaml-patches/0001-arm-powerpc.patch @@ -0,0 +1,32 @@ +--- a/configure.orig 2023-05-27 13:13:22 UTC ++++ a/configure +@@ -14344,12 +14344,20 @@ case $host in #( + arch=amd64; system=win64 ;; #( + powerpc64le*-*-linux*) : + arch=power; model=ppc64le; system=elf ;; #( ++ powerpc64le*-*-freebsd*) : ++ arch=power; model=ppc64le; system=bsd_elf ;; #( + powerpc*-*-linux*) : + arch=power; if $arch64; then : + model=ppc64 + else + model=ppc + fi; system=elf ;; #( ++ powerpc*-*-freebsd*) : ++ arch=power; if $arch64; then : ++ model=ppc64 ++else ++ model=ppc ++fi; system=bsd_elf ;; #( + s390x*-*-linux*) : + arch=s390x; model=z10; system=elf ;; #( + # expected to match "gnueabihf" as well as "musleabihf" +@@ -14369,6 +14377,8 @@ + arch=arm; model=armv6; system=linux_eabi ;; #( + armv6*-*-freebsd*) : + arch=arm; model=armv6; system=freebsd ;; #( ++ armv7*-*-freebsd*) : ++ arch=arm; model=armv7; system=freebsd ;; #( + earmv6*-*-netbsd*) : + arch=arm; model=armv6; system=netbsd ;; #( + earmv7*-*-netbsd*) :