compile agda2-queue.el; exclude armv7hl since TemplateHaskell broken

add an abort check for missing compiled elisp files

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@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@redhat.com>
 - replace ghc_docdir by _pkgdocdir