rpms
/
Agda
2
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

rpath tweaks for modules build

This commit is contained in:
Jens Petersen 2018-01-26 09:09:03 +01:00
parent 377de8fb8c
commit 803ef2a83d
1 changed files with 2 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
Agda.spec
View File

@ -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