[alt-ergo] Fix FTBFS (bz 1099153).

[Jerry James]

commit 4c180eb47061528fc7813bf8b36fc5bd11884a0c
Author: Jerry James <loganjerry at gmail.com>
Date:   Fri Mar 13 13:55:14 2015 -0600

    Fix FTBFS (bz 1099153).

 alt-ergo.spec | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)
---
diff --git a/alt-ergo.spec b/alt-ergo.spec
index 9c687c8..cd9a46b 100644
--- a/alt-ergo.spec
+++ b/alt-ergo.spec
@@ -9,7 +9,7 @@
 
 Name:		alt-ergo
 Version:	0.99.1
-Release:	2%{?dist}
+Release:	3%{?dist}
 Summary:	Automated theorem prover including linear arithmetic
 License:	CeCILL-C
 
@@ -65,7 +65,10 @@ touch -r src/preprocess/pruning.ml.orig src/preprocess/pruning.ml
 rm -f src/preprocess/pruning.ml.orig
 
 # Use Fedora LDFLAGS
-sed -i "s/^OFLAGS =.*/& -g -ccopt $RPM_LD_FLAGS/" Makefile.users
+sed -i "s|^OFLAGS =.*|& -g|" Makefile.users
+for arg in $RPM_LD_FLAGS; do
+  sed -i "s|^OFLAGS =.*-g|& -ccopt $arg|" Makefile.users
+done
 
 %build
 %configure
@@ -145,6 +148,9 @@ done
 %{_datadir}/icons/hicolor/*/apps/%{name}.png
 
 %changelog
+* Fri Mar 13 2015 Jerry James <loganjerry at gmail.com> - 0.99.1-3
+- Fix FTBFS (bz 1099153)
+
 * Wed Feb 18 2015 Richard W.M. Jones <rjones at redhat.com> - 0.99.1-2
 - ocaml-4.02.1 rebuild.