summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKate <kit.ty.kate@disroot.org>2022-03-07 17:17:57 +0000
committerKate <kit.ty.kate@disroot.org>2022-07-26 16:44:51 +0100
commitf70763971e615ff3363e1fa8c200aaeaa92ecebb (patch)
tree83499e755b68741f3ca4a657ae80515d292478b8
parent743dff56aa37d7b67d0265b8486afc824e4ba556 (diff)
downloadocaml-f70763971e615ff3363e1fa8c200aaeaa92ecebb.tar.gz
Enable native code on FreeBSD/aarch64
-rwxr-xr-xconfigure4
-rw-r--r--configure.ac4
2 files changed, 5 insertions, 3 deletions
diff --git a/configure b/configure
index da032aa067..a7f330f876 100755
--- a/configure
+++ b/configure
@@ -14443,7 +14443,9 @@ case $host in #(
arch=amd64; system=mingw64 ;; #(
aarch64-*-linux*) :
arch=arm64; system=linux ;; #(
- aarch64-*-openbsd*) :
+ aarch64-*-freebsd*) :
+ arch=arm64; system=freebsd ;; #(
+ aarch64-*-openbsd*) :
arch=arm64; system=openbsd ;; #(
*) :
;;
diff --git a/configure.ac b/configure.ac
index e3a1f5b77a..5e576e9143 100644
--- a/configure.ac
+++ b/configure.ac
@@ -1178,8 +1178,8 @@ dnl [arch=amd64; system=beos],
[arch=amd64; system=mingw64],
[aarch64-*-linux*],
[arch=arm64; system=linux],
-dnl [aarch64-*-freebsd*],
-dnl [arch=arm64; system=freebsd],
+ [aarch64-*-freebsd*],
+ [arch=arm64; system=freebsd],
[aarch64-*-openbsd*],
[arch=arm64; system=openbsd],
dnl [x86_64-*-cygwin*],