diff options
| author | courant | 2001-04-19 06:49:50 +0000 |
|---|---|---|
| committer | courant | 2001-04-19 06:49:50 +0000 |
| commit | 831886a339af8bd5cd14f9d7e5ea4f9ff9ecd744 (patch) | |
| tree | 10dfbd93f7d18df58ad25f5194a2ef8527e81fdf /distrib | |
| parent | 5c18d2b232c85b8148ec86bd453440a634c38230 (diff) | |
*** empty log message ***
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1612 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'distrib')
| -rw-r--r-- | distrib/Makefile | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/distrib/Makefile b/distrib/Makefile index 88f870a478..0bb793b5bf 100644 --- a/distrib/Makefile +++ b/distrib/Makefile @@ -1,6 +1,6 @@ # Building the different files of the coq distribution -include config.distrib +sinclude config.distrib LOCALARCH=`uname -m` ARCH=`uname -m | sed -e 's/i.86/i386/'` SYSTEM=`uname -s` @@ -41,6 +41,7 @@ noarguments: @echo "make arch-rpm-ftp-install |repository supposed" @echo "make arch-tar-gz-ftp-install |to be already" @echo "make contrib-ftp-install |prepared" + @echo "make deb to build a debian package" ################## Main targets @@ -259,3 +260,8 @@ contrib-ftp-install: prep-ftp-install 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: + rm -rf ../debian + cp -a debian .. + cd .. ; dpkg-buildpackage -rfakeroot -uc -us |