diff options
Diffstat (limited to 'development/ocaml/configure.patch')
| -rw-r--r-- | development/ocaml/configure.patch | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/development/ocaml/configure.patch b/development/ocaml/configure.patch index 31309d35115c2..079050d701ea6 100644 --- a/development/ocaml/configure.patch +++ b/development/ocaml/configure.patch @@ -1,12 +1,12 @@ -diff -Naur ocaml-4.08.1.orig/configure ocaml-4.08.1/configure ---- ocaml-4.08.1.orig/configure 2019-08-05 19:32:44.000000000 +0200 -+++ ocaml-4.08.1/configure 2019-09-06 10:35:25.454923040 +0200 -@@ -12424,7 +12424,7 @@ +diff -Naur ocaml-4.12.0.orig/configure ocaml-4.12.0/configure +--- ocaml-4.12.0.orig/configure 2021-02-24 10:49:29.000000000 -0300 ++++ ocaml-4.12.0/configure 2021-06-07 00:30:10.161272617 -0300 +@@ -12706,7 +12706,7 @@ -fno-builtin-memcmp"; - internal_cflags="$gcc_warnings" ;; #( + internal_cflags="$cc_warnings -fexcess-precision=standard" ;; #( gcc-*) : - common_cflags="-O2 -fno-strict-aliasing -fwrapv"; + common_cflags="@CFLAGS@ -fno-strict-aliasing -fwrapv"; - internal_cflags="$gcc_warnings" ;; #( + internal_cflags="$cc_warnings -fno-common \ + -fexcess-precision=standard" ;; #( msvc-*) : - common_cflags="-nologo -O2 -Gy- -MD" |