diff options
| author |  courant <courant@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2002-01-23 09:09:31 +0000 |
|---|---|---|
| committer | courant <courant@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2002-01-23 09:09:31 +0000 |
| commit | 58c4a23cc2d7b01bbc6a7e60d6d074bb0a0e5b26 (patch) | |
| tree | 1b7e8ac7c59ea76b83146b35ab7e8602c8262a8f /distrib/Makefile | |
| parent | 714da7fa70765452831175fa1637dbc5436ca6a4 (diff) | |
paquet Debian 7.2-3
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2424 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'distrib/Makefile')
| -rw-r--r-- | distrib/Makefile | 16 |
1 files changed, 11 insertions, 5 deletions
diff --git a/distrib/Makefile b/distrib/Makefile index 2bdf0fb03..30bbc830e 100644 --- a/distrib/Makefile +++ b/distrib/Makefile @@ -29,6 +29,7 @@ COQPACKAGE=coq-${VERSION} COQRPMPACKAGE=coq-${VERSION}-${RELEASENUM} COQDEBPACKAGE=coq_${VERSION}-${RELEASENUM}_i386.deb COQDEBCHANGES=coq_${VERSION}-${RELEASENUM}_*.changes +COQDEBORIG=coq_${VERSION}.orig ###################### @@ -304,13 +305,18 @@ patch-ftp-install: prep-ftp-install cp patch-${VERSION}-$(PREVIOUSVERSION).gz ${FTPDIR}/V${VERSION}/ chmod g+w ${FTPDIR}/V${VERSION}/patch-${VERSION}-$(PREVIOUSVERSION).gz -deb: ${COQPACKAGE}.tar.gz +${COQDEBORIG}.tar.gz: ${COQPACKAGE}.tar.gz + tar xzf ${COQPACKAGE}.tar.gz + mv ${COQPACKAGE} ${COQDEBORIG} + tar czf ${COQDEBORIG}.tar.gz ${COQDEBORIG} + rm -rf ${COQDEBORIG} + +deb: ${COQDEBORIG}.tar.gz ${COQPACKAGE}.tar.gz rm -rf deb_build mkdir -p deb_build - cd deb_build ; tar xzf ../${COQPACKAGE}.tar.gz - cd deb_build ; mv ${COQPACKAGE} ${COQPACKAGE}.orig + 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 - cd deb_build/${COQPACKAGE} ; dpkg-buildpackage -rfakeroot -uc -us - lintian deb_build/${COQDEBCHANGES} + cd deb_build/${COQPACKAGE} ; dpkg-buildpackage -rfakeroot -uc -us 2>&1 | tee ../../deb.log + lintian deb_build/${COQDEBCHANGES} || true |