2019-12-05 12:56:42 +00:00
|
|
|
From f1c04c17f5b42a969cbf3119ebbb851e799d664d Mon Sep 17 00:00:00 2001
|
2019-04-26 08:37:35 +00:00
|
|
|
From: "Richard W.M. Jones" <rjones@redhat.com>
|
|
|
|
Date: Tue, 29 May 2012 20:44:18 +0100
|
2019-12-05 12:56:42 +00:00
|
|
|
Subject: [PATCH 10/12] configure: Allow user defined C compiler flags.
|
2019-04-26 08:37:35 +00:00
|
|
|
|
|
|
|
---
|
|
|
|
configure.ac | 4 ++++
|
|
|
|
1 file changed, 4 insertions(+)
|
|
|
|
|
|
|
|
diff --git a/configure.ac b/configure.ac
|
2019-12-05 12:56:42 +00:00
|
|
|
index c2f185373..12d9f6cde 100644
|
2019-04-26 08:37:35 +00:00
|
|
|
--- a/configure.ac
|
|
|
|
+++ b/configure.ac
|
2019-12-05 12:56:42 +00:00
|
|
|
@@ -549,6 +549,10 @@ AS_CASE([$host],
|
2019-04-26 08:37:35 +00:00
|
|
|
internal_cflags="$gcc_warnings"],
|
|
|
|
[common_cflags="-O"])])
|
|
|
|
|
|
|
|
+# Allow CFLAGS and LDFLAGS to be added.
|
|
|
|
+common_cflags="$common_cflags $CFLAGS"
|
|
|
|
+oc_ldflags="$oc_ldflags $LDFLAGS"
|
|
|
|
+
|
|
|
|
internal_cppflags="-DCAML_NAME_SPACE $internal_cppflags"
|
|
|
|
|
2019-06-27 13:50:15 +00:00
|
|
|
# Enable SSE2 on x86 mingw to avoid using 80-bit registers.
|
2019-04-26 08:37:35 +00:00
|
|
|
--
|
2019-12-05 12:56:42 +00:00
|
|
|
2.23.0
|
2019-04-26 08:37:35 +00:00
|
|
|
|