From 803ef2a83d2f2dd08cf991fdb69c50eb0becb42e Mon Sep 17 00:00:00 2001 From: Jens Petersen Date: Jan 26 2018 08:09:03 +0000 Subject: rpath tweaks for modules build --- diff --git a/Agda.spec b/Agda.spec index 286d6f5..a9ef70d 100644 --- a/Agda.spec +++ b/Agda.spec @@ -181,12 +181,9 @@ cd - %ghc_lib_install %ghc_fix_rpath %{pkgver} -for i in %{subpkgs} %{pkgver}; do - LD_LIBRARY_PATH=${LD_LIBRARY_PATH}$(echo %{buildroot}%ghclibdir/$i*): -done -export LD_LIBRARY_PATH + for i in $(find %{buildroot}%{_datadir}/%{pkgver} -name "*.agda"); do - Agda_datadir=%{buildroot}%{_datadir}/%{pkgver} %{buildroot}%{_bindir}/agda $i + Agda_datadir=%{buildroot}%{_datadir}/%{pkgver} LD_LIBRARY_PATH=%{buildroot}%{_ghcdynlibdir} %{buildroot}%{_bindir}/agda $i done mkdir -p %{buildroot}%{_emacs_sitelispdir}/agda