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

set LD_LIBRARY_PATH for compiling .agda files

This commit is contained in:
Jens Petersen 2017-03-12 16:37:49 +09:00
parent 8982741ffc
commit d5e4024144
1 changed files with 9 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
Agda.spec
View File

@ -175,10 +175,14 @@ cd -
%install
%ghc_libs_install %{subpkgs}
%ghc_lib_install
%ghc_fix_rpath %{pkgver} %{subpkgs}
%ghc_fix_rpath %{pkgver}
for i in $(find %{buildroot}%{_datadir}/%{name}-%{version} -name "*.agda"); do
Agda_datadir=%{buildroot}%{_datadir}/%{name}-%{version} %{buildroot}%{_bindir}/agda $i
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
done
mkdir -p %{buildroot}%{_emacs_sitelispdir}/agda
@ -214,7 +218,7 @@ mv %{buildroot}%{_defaultlicensedir}/{,ghc-}%{name}
%files -n ghc-%{name} -f ghc-%{name}.files
%license LICENSE
%{_bindir}/agda
%{_datadir}/%{name}-%{version}
%{_datadir}/%{pkgver}
%files -n ghc-%{name}-devel -f ghc-%{name}-devel.files
@ -223,7 +227,7 @@ mv %{buildroot}%{_defaultlicensedir}/{,ghc-}%{name}
%changelog
* Sun Mar 12 2017 Jens Petersen <petersen@redhat.com> - 2.5.2-5
- compile .agda files are buildtime
- compile .agda files at buildtime
* Fri Mar 10 2017 Jens Petersen <petersen@redhat.com> - 2.5.2-4
- update to 2.5.2