drop build topdir
This commit is contained in:
parent
1bb4e49a1c
commit
108650930d
13
Agda.spec
13
Agda.spec
@ -114,9 +114,8 @@ This package provides the Haskell %{name} library development files.
|
|||||||
|
|
||||||
|
|
||||||
%prep
|
%prep
|
||||||
%setup -q -c -n %{pkgver} -a2
|
%setup -q -n %{pkgver} -b2
|
||||||
%patch1 -b .orig
|
%patch1 -p1 -b .orig
|
||||||
cd %{pkgver}
|
|
||||||
cabal-tweak-dep-ver cpphs '< 1.20' '<1.21'
|
cabal-tweak-dep-ver cpphs '< 1.20' '<1.21'
|
||||||
cd ..
|
cd ..
|
||||||
|
|
||||||
@ -130,6 +129,7 @@ fi
|
|||||||
%build
|
%build
|
||||||
%define elisp_files eri.el agda-input.el annotation.el agda2-highlight.el agda2-abbrevs.el agda2-queue.el agda2-mode.el agda2.el
|
%define elisp_files eri.el agda-input.el annotation.el agda2-highlight.el agda2-abbrevs.el agda2-queue.el agda2-mode.el agda2.el
|
||||||
|
|
||||||
|
cd ..
|
||||||
# check no missing new elisp files
|
# check no missing new elisp files
|
||||||
cd %{pkgver}/src/data/emacs-mode
|
cd %{pkgver}/src/data/emacs-mode
|
||||||
for i in *.el; do
|
for i in *.el; do
|
||||||
@ -157,6 +157,7 @@ cd -
|
|||||||
|
|
||||||
|
|
||||||
%install
|
%install
|
||||||
|
cd ..
|
||||||
%ghc_libs_install %{geniplate} %{pkgver}
|
%ghc_libs_install %{geniplate} %{pkgver}
|
||||||
|
|
||||||
mkdir -p %{buildroot}%{_emacs_sitelispdir}/agda
|
mkdir -p %{buildroot}%{_emacs_sitelispdir}/agda
|
||||||
@ -184,7 +185,7 @@ rm -r %{buildroot}%{_datadir}/%{pkgver}/emacs-mode
|
|||||||
|
|
||||||
|
|
||||||
%files
|
%files
|
||||||
%doc %{pkgver}/README.md
|
%doc README.md
|
||||||
%dir %{_emacs_sitelispdir}/agda
|
%dir %{_emacs_sitelispdir}/agda
|
||||||
%{_emacs_sitelispdir}/agda/*.el
|
%{_emacs_sitelispdir}/agda/*.el
|
||||||
%{_emacs_sitelispdir}/agda/*.elc
|
%{_emacs_sitelispdir}/agda/*.elc
|
||||||
@ -192,14 +193,14 @@ rm -r %{buildroot}%{_datadir}/%{pkgver}/emacs-mode
|
|||||||
|
|
||||||
|
|
||||||
%files -n ghc-%{name} -f ghc-%{name}.files
|
%files -n ghc-%{name} -f ghc-%{name}.files
|
||||||
%license %{pkgver}/LICENSE
|
%license LICENSE
|
||||||
%{_bindir}/agda
|
%{_bindir}/agda
|
||||||
%{_datadir}/%{name}-%{version}
|
%{_datadir}/%{name}-%{version}
|
||||||
%ghost %{_datadir}/%{name}-%{version}/lib/prim/Agda/Primitive.agdai
|
%ghost %{_datadir}/%{name}-%{version}/lib/prim/Agda/Primitive.agdai
|
||||||
|
|
||||||
|
|
||||||
%files -n ghc-%{name}-devel -f ghc-%{name}-devel.files
|
%files -n ghc-%{name}-devel -f ghc-%{name}-devel.files
|
||||||
%doc %{pkgver}/CHANGELOG
|
%doc CHANGELOG
|
||||||
|
|
||||||
|
|
||||||
%changelog
|
%changelog
|
||||||
|
Loading…
Reference in New Issue
Block a user