diff options
author | 2002-03-12 10:18:54 +0000 | |
---|---|---|
committer | 2002-03-12 10:18:54 +0000 | |
commit | 504114a41692bbc1e1621d84cadff4773f23bf35 (patch) | |
tree | 3eb45b7b3711be9e8d332292578ae8e64ad82e0c /distrib/Makefile | |
parent | 23e18510e55ae05312f59be1fc9598246b6507bb (diff) |
*** empty log message ***
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2525 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'distrib/Makefile')
-rw-r--r-- | distrib/Makefile | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/distrib/Makefile b/distrib/Makefile index 30bbc830e..e7f16f0c1 100644 --- a/distrib/Makefile +++ b/distrib/Makefile @@ -23,7 +23,7 @@ RPM=${RAWRPM} ${RPMBUILDROOTOPT} --rcfile rpmrc FTPDIR=/net/pauillac/infosystems/ftp/coq/coq WWWDIR=/net/pauillac/infosystems/www/coq -COQDEBPACKAGE=coq_${VERSION}-${RELEASENUM}_i386.deb +COQDEBPACKAGE=coq_${VERSION}-${DEBRELEASENUM}_i386.deb COQPACKAGE=coq-${VERSION} COQRPMPACKAGE=coq-${VERSION}-${RELEASENUM} @@ -311,12 +311,18 @@ ${COQDEBORIG}.tar.gz: ${COQPACKAGE}.tar.gz tar czf ${COQDEBORIG}.tar.gz ${COQDEBORIG} rm -rf ${COQDEBORIG} -deb: ${COQDEBORIG}.tar.gz ${COQPACKAGE}.tar.gz +prep-deb: ${COQDEBORIG}.tar.gz ${COQPACKAGE}.tar.gz rm -rf deb_build mkdir -p deb_build cd deb_build ; cp ../${COQDEBORIG}.tar.gz . cd deb_build ; tar xzf ../${COQPACKAGE}.tar.gz cp -a debian deb_build/${COQPACKAGE} rm -rf deb_build/${COQPACKAGE}/debian/CVS + +deb: prep-deb cd deb_build/${COQPACKAGE} ; dpkg-buildpackage -rfakeroot -uc -us 2>&1 | tee ../../deb.log lintian deb_build/${COQDEBCHANGES} || true + +deb-sign: prep-deb + cd deb_build/${COQPACKAGE} ; dpkg-buildpackage -rfakeroot 2>&1 | tee ../../deb.log + lintian deb_build/${COQDEBCHANGES} || true |