diff options
| author |  herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2004-01-06 16:47:27 +0000 |
|---|---|---|
| committer | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2004-01-06 16:47:27 +0000 |
| commit | 2e2535d6694b361fa7ba57f51df6845dbaa671c3 (patch) | |
| tree | fad7f0c3fe0e2708b5310fb8294599164a292088 | |
| parent | 7f1f2b3e753d3165862849afc2f0122376b80231 (diff) | |
MAJ rpm
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5178 85f007b7-540e-0410-9357-904b9bb8a0f7
| -rw-r--r-- | distrib/Makefile | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/distrib/Makefile b/distrib/Makefile index 24dbb27b0..3a2e453e1 100644 --- a/distrib/Makefile +++ b/distrib/Makefile @@ -13,7 +13,10 @@ RPMTMPPATHDIR=$(DISTRIBDIR)/redhat/admin #RPMBUILDROOTOPT= RPMBUILDROOT=$(DISTRIBDIR)/rpmbuildroot RPMBUILDROOTOPT=--buildroot ${RPMBUILDROOT} -RAWRPM=rpm + +# rpm versions 2 and 3: replace rpmbuild by rpm +RAWRPM=rpmbuild + RPMVERSION=`${RAWRPM} --version | sed -e "s/RPM version \(.\).*/\1/"` RPM=${RAWRPM} ${RPMBUILDROOTOPT} --rcfile rpmrc @@ -70,6 +73,7 @@ tar-gz: @rm -rf ${COQPACKAGE}/KNOWN-BUGS @rm -rf ${COQPACKAGE}/{TODO,ANNONCE,PROBLEMES} @rm -rf ${COQPACKAGE}/theories/Num + @rm -rf ${COQPACKAGE}/contrib/graphs @rm -rf ${COQPACKAGE}/doc/newsyntax.tex @rm -f ${COQPACKAGE}/make.result @rm -rf ${COQPACKAGE}/test-suite/parser # tests pcoq @@ -93,7 +97,7 @@ test: - rm -rf ${COQPACKAGE} tar xf tmp.tar (cd ${COQPACKAGE};\ - configure -local -opt -emacs emacs;\ + ./configure -local -opt -emacs emacs;\ make world check >& log.world;\ if [ $$? = 0 ];\ then echo '"make world check" succeeded';\ @@ -167,7 +171,7 @@ rpm-dirs: rpm-config: rpm-dirs - rm rpmrc rpmmacros - (if [ "${RPMVERSION}" = "3" ];\ + (if [ "${RPMVERSION}" != "2" ];\ then\ echo %_topdir ${RPMTOPDIR} > rpmmacros;\ echo %_tmppath ${RPMTMPPATHDIR} >> rpmmacros;\ |