compile Primitive.agda

Agda.spec

@@ -4,7 +4,7 @@
 
 Name:           %{pkg_name}
 Version:        2.4.2.2
-Release:        1%{?dist}
+Release:        2%{?dist}
 Summary:        A dependently typed functional programming language and proof assistant
 
 License:        MIT and BSD
@@ -170,6 +170,8 @@ cd -
 
 %ghc_fix_dynamic_rpath agda
 
+dist/build/agda/agda %{buildroot}%{_datadir}/%{name}-%{version}/lib/prim/Agda/Primitive.agda
+
 mkdir -p %{buildroot}%{_emacs_sitelispdir}/agda
 for i in src/data/emacs-mode/*; do
   install -p -m 0644 $i %{buildroot}%{_emacs_sitelispdir}/agda
@@ -217,6 +219,9 @@ rm %{buildroot}%{_docdir}/%{name}*/LICENSE
 
 
 %changelog
+* Thu Apr 16 2015 Jens Petersen <petersen@redhat.com> - 2.4.2.2-2
+- compile Primitive.agda
+
 * Fri Apr 03 2015 Jens Petersen <petersen@redhat.com> - 2.4.2.2-1
 - update to 2.4.2.2