[Agda] compile agda2-queue.el; exclude armv7hl since TemplateHaskell broken
Jens Petersen
petersen at fedoraproject.org
Thu Aug 29 02:03:11 UTC 2013
commit 1c2e957f938ff555dc127da8b6a236245b5e1533
Author: Jens Petersen <petersen at redhat.com>
Date: Thu Aug 29 11:02:57 2013 +0900
compile agda2-queue.el; exclude armv7hl since TemplateHaskell broken
add an abort check for missing compiled elisp files
Agda.spec | 22 +++++++++++++++++++---
1 files changed, 19 insertions(+), 3 deletions(-)
---
diff --git a/Agda.spec b/Agda.spec
index c1f7f79..04f8ea2 100644
--- a/Agda.spec
+++ b/Agda.spec
@@ -4,7 +4,7 @@
Name: %{pkg_name}
Version: 2.3.2.1
-Release: 2%{?dist}
+Release: 3%{?dist}
Summary: A dependently typed functional programming language and proof assistant
License: MIT and BSD
@@ -42,6 +42,7 @@ BuildRequires: happy
# End cabal-rpm deps
BuildRequires: chrpath
BuildRequires: emacs-haskell-mode
+ExcludeArch: armv7hl
Requires: ghc-%{name}-devel = %{version}-%{release}
Requires: emacs-agda = %{version}-%{release}
@@ -133,9 +134,19 @@ fi
%build
-%ghc_lib_build
+%define elisp_files eri.el agda-input.el annotation.el agda2-highlight.el agda2-abbrevs.el agda2-queue.el agda2-mode.el agda2.el
-%define elisp_files eri.el agda-input.el annotation.el agda2-highlight.el agda2-abbrevs.el agda2-mode.el agda2.el
+# check no missing new elisp files
+cd src/data/emacs-mode
+for i in *.el; do
+ if ! echo %{elisp_files} | grep -q $i; then
+ echo "$i missing from %%elisp_files - aborting!"
+ exit 1
+ fi
+done
+cd -
+
+%ghc_lib_build
# el6 macro does not add "." to load-path
%if %{defined el6}
@@ -204,6 +215,11 @@ rm %{buildroot}%{_pkgdocdir}/LICENSE
%changelog
+* Thu Aug 29 2013 Jens Petersen <petersen at redhat.com> - 2.3.2.1-3
+- compile agda2-queue.el
+- check for new elisp files
+- exclude armv7hl since TemplateHaskell failing to compile (#991929)
+
* Tue Aug 27 2013 Jens Petersen <petersen at redhat.com>
- replace ghc_docdir by _pkgdocdir
More information about the scm-commits
mailing list