diff --git a/Agda.spec b/Agda.spec
index 110d201..d702695 100644
--- a/Agda.spec
+++ b/Agda.spec
@@ -16,7 +16,7 @@
 Name:           %{pkg_name}
 Version:        2.5.2
 # can only be reset when all subpkgs bumped
-Release:        4%{?dist}
+Release:        5%{?dist}
 Summary:        A dependently typed functional programming language and proof assistant
 
 License:        MIT and BSD
@@ -177,6 +177,10 @@ cd -
 %ghc_lib_install
 %ghc_fix_rpath %{pkgver} %{subpkgs}
 
+for i in $(find %{buildroot}%{_datadir}/%{name}-%{version} -name "*.agda"); do
+  Agda_datadir=%{buildroot}%{_datadir}/%{name}-%{version} %{buildroot}%{_bindir}/agda $i
+done
+
 mkdir -p %{buildroot}%{_emacs_sitelispdir}/agda
 for i in src/data/emacs-mode/*; do
   install -p -m 0644 $i %{buildroot}%{_emacs_sitelispdir}/agda
@@ -191,10 +195,6 @@ rm -r %{buildroot}%{_datadir}/%{pkgver}/emacs-mode
 mv %{buildroot}%{_defaultlicensedir}/{,ghc-}%{name}
 
 
-%post -n ghc-%{name}
-%{_bindir}/agda %{_datadir}/%{name}-%{version}/lib/prim/Agda/Primitive.agda || :
-
-
 %post -n ghc-%{name}-devel
 %ghc_pkg_recache
 
@@ -215,7 +215,6 @@ mv %{buildroot}%{_defaultlicensedir}/{,ghc-}%{name}
 %license LICENSE
 %{_bindir}/agda
 %{_datadir}/%{name}-%{version}
-%ghost %{_datadir}/%{name}-%{version}/lib/prim/Agda/Primitive.agdai
 
 
 %files -n ghc-%{name}-devel -f ghc-%{name}-devel.files
@@ -223,6 +222,9 @@ mv %{buildroot}%{_defaultlicensedir}/{,ghc-}%{name}
 
 
 %changelog
+* Sun Mar 12 2017 Jens Petersen <petersen@redhat.com> - 2.5.2-5
+- compile .agda files are buildtime
+
 * Fri Mar 10 2017 Jens Petersen <petersen@redhat.com> - 2.5.2-4
 - update to 2.5.2
 - subpackage EdisonAPI, EdisonCore, gitrev, ieee754, monadplus, murmur-hash