commit 1d1ac6bd8e78196feaf860a3b96374eafc270ac1
Author: Jerry James <jamesjer(a)betterlinux.com>
Date: Mon Sep 30 13:54:36 2013 -0600
Apply upstream fix for change in the alt-ergo timelimit option.
why3.spec | 9 ++++++++-
1 files changed, 8 insertions(+), 1 deletions(-)
---
diff --git a/why3.spec b/why3.spec
index c36aad9..19767fa 100644
--- a/why3.spec
+++ b/why3.spec
@@ -2,7 +2,7 @@
Name: why3
Version: 0.81
-Release: 5%{?dist}
+Release: 6%{?dist}
Summary: Software verification platform
License: LGPLv2 with exceptions
@@ -116,6 +116,10 @@ sed -e "s/-Wall/$RPM_OPT_FLAGS/" \
-e "s/Aer-29/& -ccopt -Wl,-z,relro,-z,now/" \
-i Makefile.in
+# Temporary workaround for breakage in alt-ergo 0.95.2. Remove this when the
+# next alt-ergo version is released.
+sed -i '/alt-ergo/,/cvc4/s/%%T/%%t/' share/provers-detection-data.conf.in
+
%build
%configure --enable-frama-c
make #%%{?_smp_mflags}
@@ -196,6 +200,9 @@ rm -fr %{buildroot}%{_datadir}/doc
%files all
%changelog
+* Mon Sep 30 2013 Jerry James <loganjerry(a)gmail.com> - 0.81-6
+- Apply upstream fix for change in the alt-ergo timelimit option
+
* Tue Sep 17 2013 Jerry James <loganjerry(a)gmail.com> - 0.81-5
- Rebuild for OCaml 4.01.0
- Enable debuginfo for the ocaml sources
Show replies by date