diff options
| author | barras | 2004-04-21 08:51:36 +0000 |
|---|---|---|
| committer | barras | 2004-04-21 08:51:36 +0000 |
| commit | b771c7f3ba673b356552e245b80c76e5ee8cce6e (patch) | |
| tree | 3afff03d2245fdd788fd4ecc267cd7269acc153c | |
| parent | a4cba42743546b83be6da695b182bbac9a438283 (diff) | |
*** empty log message ***
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5696 85f007b7-540e-0410-9357-904b9bb8a0f7
| -rw-r--r-- | distrib/Makefile | 4 | ||||
| -rw-r--r-- | distrib/RH/coq.spec | 9 | ||||
| -rw-r--r-- | distrib/RH/coq_ext_for_pcoq.spec | 3 | ||||
| -rw-r--r-- | distrib/RH/coqide.spec | 2 |
4 files changed, 10 insertions, 8 deletions
diff --git a/distrib/Makefile b/distrib/Makefile index 16c4264b41..2ee5b8dd3e 100644 --- a/distrib/Makefile +++ b/distrib/Makefile @@ -436,11 +436,11 @@ tar-gz-ftp-install: prep-ftp-install src-rpm-ftp-install: prep-ftp-install chmod g+w $(COQSRCRPM) - $(CP) $(COQSRCRPM) $(FTPVDIR)/ + $(CP) *.src.rpm $(FTPVDIR)/ arch-rpm-ftp-install: prep-ftp-install chmod g+w $(COQRPM) - $(CP) $(COQRPM) $(FTPVDIR)/ + $(CP) *.$(ARCH).rpm $(FTPVDIR)/ arch-tar-gz-ftp-install: prep-ftp-install chmod g+w $(ARCHTARGZ) diff --git a/distrib/RH/coq.spec b/distrib/RH/coq.spec index eb6c9631f4..a7c0d2b6c9 100644 --- a/distrib/RH/coq.spec +++ b/distrib/RH/coq.spec @@ -41,14 +41,11 @@ make clean rm -rf %{buildroot} make -e COQINSTALLPREFIX=%{buildroot} install-coq +%define __spec_install_post /usr/lib/rpm/brp-compress + %files %{_bindir}/* -%{_libdir}/coq/theories -%{_libdir}/coq/contrib -%{_libdir}/coq/states -%{_libdir}/coq/theories7 -%{_libdir}/coq/contrib7 -%{_libdir}/coq/states7 +%{_libdir}/coq %{_mandir}/man1/* %{_datadir}/emacs/site-lisp/* %{_datadir}/texmf/tex/latex/misc/* diff --git a/distrib/RH/coq_ext_for_pcoq.spec b/distrib/RH/coq_ext_for_pcoq.spec index 29671985f8..0dfe10d32c 100644 --- a/distrib/RH/coq_ext_for_pcoq.spec +++ b/distrib/RH/coq_ext_for_pcoq.spec @@ -35,8 +35,11 @@ make clean rm -rf %{buildroot} make -e COQINSTALLPREFIX=%{buildroot} install-pcoq +%define __spec_install_post /usr/lib/rpm/brp-compress + %files %{_bindir}/* +%{_libdir}/coq/contrib/interface %{_mandir}/man1/* %defattr(-,root,root) diff --git a/distrib/RH/coqide.spec b/distrib/RH/coqide.spec index e6d606166f..b88f099fab 100644 --- a/distrib/RH/coqide.spec +++ b/distrib/RH/coqide.spec @@ -34,6 +34,8 @@ make clean rm -rf %{buildroot} make -e COQINSTALLPREFIX=%{buildroot} install-coqide +%define __spec_install_post /usr/lib/rpm/brp-compress + %files %{_bindir}/* %{_libdir}/coq/ide |