Fixed platform configuration bug

mmottl · May 16, 2023 · 8cfabf7 · 8cfabf7
1 parent 9c65b48
commit 8cfabf7
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 1 deletion.
diff --git a/CHANGES.md b/CHANGES.md
@@ -1,3 +1,8 @@
+### 11.0.10 (2023-05-16)
+
+  * Fixed platform configuration bug
+
+
 ### 11.0.9 (2023-05-05)
 
   * Fixed a bug in the bytecode bindings for `lamch`, which also affected

diff --git a/src/config/discover.ml b/src/config/discover.ml
@@ -47,7 +47,7 @@ let () =
          Its support was introduced in clang >= 15.0.0 *)
       match maybe_system, maybe_arch with
       | Some "macosx", Some "arm64"
-      | _, (None | Some ("ppc64" | "ppc64le")) -> shared
+      | _, (None | Some ("ppc64" | "ppc64le" | "unknown")) -> shared
       | _ -> "-march=native" :: shared
     in
     C.Flags.write_sexp "extra_c_flags.sexp" extra_cflags)