1 files changed, 32 insertions, 0 deletions
diff --git a/dev-scheme/bigloo/files/bigloo-3.3a_p5-no_strip.patch b/dev-scheme/bigloo/files/bigloo-3.3a_p5-no_strip.patch
new file mode 100644
index 000000000000..7a3b1190551f
--- /dev/null
+++ b/dev-scheme/bigloo/files/bigloo-3.3a_p5-no_strip.patch
@@ -0,0 +1,32 @@
+diff -Naur bigloo3.3a.orig/configure bigloo3.3a/configure
+--- bigloo3.3a.orig/configure	2009-12-01 11:13:15.000000000 -0300
++++ bigloo3.3a/configure	2009-12-11 02:08:57.000000000 -0300
+@@ -62,7 +62,7 @@
+ featureflags=
+ coflags=-O3
+ 
+-cstrip="-s"
++cstrip=""
+ cpicflags="demanded" # Possible values for cpicflags are:
+              #  - "no" not to use position independent code (recommended)
+              #  - "demanded" auto configuration but with a preference to "no"
+@@ -78,7 +78,7 @@
+ ld=
+ ldlibs=-lc
+ ldcomplibs=-lc
+-strip=       # left blank for autoconfiguration
++strip=""       # left blank for autoconfiguration
+ longlong=    # The C type to represent long long integers
+ havelonglong=
+ stringsplit="0"
+@@ -684,6 +684,10 @@
+       extralibs="";
+       cstrip="no";;
+ 
++    --strip=no)
++      cstrip="no";
++      strip="no";;
++
+     --pnet)
+       dotnetclrstyle=pnet;
+       dotnetcsccstyle=pnet;