diff options
| author | Matteo Bernardini <ponce@slackbuilds.org> | 2020-05-09 20:14:23 +0200 |
|---|---|---|
| committer | Robby Workman <rworkman@slackbuilds.org> | 2021-04-17 23:48:09 -0500 |
| commit | 3c7420c02147b1d3d8830f3abb9ba2be01cc37aa (patch) | |
| tree | cd91c72ef74376d77337f356ef4093fdb7629183 /development/ocaml/configure.patch | |
| parent | 6967cb342a93c146777d30967881c0195dfd851e (diff) | |
development/ocaml: Updated for version 4.08.1, changed maintainer.
Pass -fcommon for gcc >= 10.x
Signed-off-by: Matteo Bernardini <ponce@slackbuilds.org>
Diffstat (limited to 'development/ocaml/configure.patch')
| -rw-r--r-- | development/ocaml/configure.patch | 25 |
1 files changed, 12 insertions, 13 deletions
diff --git a/development/ocaml/configure.patch b/development/ocaml/configure.patch index a57b19fb56..31309d3511 100644 --- a/development/ocaml/configure.patch +++ b/development/ocaml/configure.patch @@ -1,13 +1,12 @@ ---- configure_old 2014-05-23 22:45:22.000000000 +0200 -+++ configure 2014-05-23 22:45:31.000000000 +0200 -@@ -1612,6 +1612,10 @@ - nativecccompopts="$nativecccompopts -fomit-frame-pointer";; - esac - -+# Add additional flags from the environment -+bytecccompopts="$bytecccompopts $CFLAGS" -+nativecccompopts="$nativecccompopts $CFLAGS" -+ - # Finish generated files - - cclibs="$cclibs $mathlib" +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" |