From 8ddcaa0dca51c77d02c171e1cb618c9b6c61a4c9 Mon Sep 17 00:00:00 2001
From: Dan Horák <dan@danny.cz>
Date: Oct 03 2016 10:02:21 +0000
Subject: - disable debuginfo subpackage on interpreted builds


---

diff --git a/gappalib-coq.spec b/gappalib-coq.spec
index bdd1832..37bacf8 100644
--- a/gappalib-coq.spec
+++ b/gappalib-coq.spec
@@ -1,3 +1,8 @@
+%global opt %(test -x %{_bindir}/ocamlopt && echo 1 || echo 0)
+%if ! %opt
+%global debug_package %{nil}
+%endif
+
 # TESTING NOTE: The testsuite requires that gappalib-coq be installed already.
 # Hence, we cannot run it on the koji builders.  The maintainer should always
 # install the package and run "remake check" manually before committing.
@@ -7,7 +12,7 @@
 
 Name:           gappalib-coq
 Version:        1.3.1
-Release:        1%{?dist}
+Release:        2%{?dist}
 Summary:        Coq support library for gappa
 
 License:        LGPLv2+
@@ -86,6 +91,9 @@ cp -p src/*.v  %{buildroot}%{gappadir}
 %{gappadir}/*.v
 
 %changelog
+* Mon Oct 03 2016 Dan Horák <dan[at]danny.cz> - 1.3.1-2
+- disable debuginfo subpackage on interpreted builds
+
 * Thu Sep 29 2016 Jerry James <loganjerry@gmail.com> - 1.3.1-1
 - New upstream release