Workaround 32 bits linker problem

Chris00 · Nov 5, 2021 · cff684e · cff684e
1 parent 240a56b
commit cff684e
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 0 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -2,6 +2,7 @@
 --------------
 
 - Rename sub-modules to more standard names.
+- Workaround 32 bits linker problem.
 
 0.4 2019-04-06
 --------------

diff --git a/config/discover.ml b/config/discover.ml
@@ -69,6 +69,11 @@ let conf_crlibm c =
   else (
     copy "log.c" "log-selected.c";
   );
+  (* Workaround 32 bits linker problem.  See
+     https://github.com/ocaml/opam-repository/pull/19943 *)
+  let cflags = if arch = "i386" && system = "linux" then
+                 "-ccopt -z -ccopt notext" :: cflags
+               else cflags in
   cflags
 
 let () =