diff options
| author | Matteo Bernardini <ponce@slackbuilds.org> | 2022-02-24 22:16:13 +0100 |
|---|---|---|
| committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2022-02-25 22:58:09 +0700 |
| commit | 812e700fe94bd869af5399a4010e8d00d9ab6734 (patch) | |
| tree | da153d16a6ba6dcfbfa735ca395c05c4e55ca889 /development/ocaml/configure.patch | |
| parent | 6a37a4b4b61e6c0d9df23056e4cbc0b5e6f104ec (diff) | |
development/ocaml: Updated for version 4.13.1.
Signed-off-by: Matteo Bernardini <ponce@slackbuilds.org>
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'development/ocaml/configure.patch')
| -rw-r--r-- | development/ocaml/configure.patch | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/development/ocaml/configure.patch b/development/ocaml/configure.patch index 31309d35115c2..4809a26c640f6 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 @@ - -fno-builtin-memcmp"; - internal_cflags="$gcc_warnings" ;; #( - gcc-*) : -- common_cflags="-O2 -fno-strict-aliasing -fwrapv"; -+ common_cflags="@CFLAGS@ -fno-strict-aliasing -fwrapv"; - internal_cflags="$gcc_warnings" ;; #( - msvc-*) : - common_cflags="-nologo -O2 -Gy- -MD" +diff -Naur ocaml-4.13.1.orig/configure ocaml-4.13.1/configure +--- ocaml-4.13.1.orig/configure 2021-09-30 17:40:11.000000000 +0200 ++++ ocaml-4.13.1/configure 2022-02-15 16:03:05.417656000 +0100 +@@ -12758,7 +12758,7 @@ + internal_cflags="-Wno-unused $cc_warnings \ + -fexcess-precision=standard" + # TODO: see whether the code can be fixed to avoid -Wno-unused +- common_cflags="-O2 -fno-strict-aliasing -fwrapv -mms-bitfields" ++ common_cflags="@CFLAGS@ -fno-strict-aliasing -fwrapv -mms-bitfields" + internal_cppflags='-D__USE_MINGW_ANSI_STDIO=0 -DUNICODE -D_UNICODE' + internal_cppflags="$internal_cppflags -DWINDOWS_UNICODE=" + internal_cppflags="${internal_cppflags}\$(WINDOWS_UNICODE)" ;; #( |