diff options
| -rw-r--r-- | distrib/Makefile | 3 | ||||
| -rw-r--r-- | distrib/debian/changelog | 8 | ||||
| -rw-r--r-- | distrib/debian/docs | 1 | ||||
| -rwxr-xr-x | distrib/debian/rules | 29 |
4 files changed, 8 insertions, 33 deletions
diff --git a/distrib/Makefile b/distrib/Makefile index 17627c0bda..f7e6d03804 100644 --- a/distrib/Makefile +++ b/distrib/Makefile @@ -28,6 +28,7 @@ COQDEBPACKAGE=coq_${VERSION}-${RELEASENUM}_i386.deb COQPACKAGE=coq-${VERSION} COQRPMPACKAGE=coq-${VERSION}-${RELEASENUM} COQDEBPACKAGE=coq_${VERSION}-${RELEASENUM}_i386.deb +COQDEBCHANGES=coq_${VERSION}-${RELEASENUM}_*.changes ###################### @@ -307,4 +308,4 @@ deb: ${COQPACKAGE}.tar.gz cd deb_build ; tar xzf ../${COQPACKAGE}.tar.gz cp -a debian deb_build/${COQPACKAGE} cd deb_build/${COQPACKAGE} ; dpkg-buildpackage -rfakeroot -uc -us - lintian deb_build/${COQDEBPACKAGE} + lintian deb_build/${COQDEBCHANGES} diff --git a/distrib/debian/changelog b/distrib/debian/changelog index 0514c60b9c..78ae789d13 100644 --- a/distrib/debian/changelog +++ b/distrib/debian/changelog @@ -1,8 +1,10 @@ coq (7.1-2) unstable; urgency=low - * Fixed policy problem (conf files). - * Trying to compile in bytecode if native code compilation fails (closes: Bug#119714) - * Errors raised by the Simpl tactic is an upstream bug and was probably fixed by switching to 7.0 (closes: Bug#74518). + * Fixed policy problem (conf files). + * Trying to compile in bytecode if native code compilation fails + (closes: Bug#119714) + * Errors raised by the Simpl tactic is an upstream bug and should + have been fixed by switching to 7.0 (closes: Bug#74518). -- Judicaël Courant <Judicael.Courant@lri.fr> Tue, 11 Dec 2001 13:33:15 +0200 diff --git a/distrib/debian/docs b/distrib/debian/docs index 2fd542acf1..62998f27c7 100644 --- a/distrib/debian/docs +++ b/distrib/debian/docs @@ -1,4 +1,3 @@ README CREDITS CHANGES -LICENSE diff --git a/distrib/debian/rules b/distrib/debian/rules index a584b2ebbf..3c1a892639 100755 --- a/distrib/debian/rules +++ b/distrib/debian/rules @@ -1,29 +1,17 @@ #!/usr/bin/make -f -# Sample debian/rules that uses debhelper. -# GNU copyright 1997 to 1999 by Joey Hess. -# Uncomment this to turn on verbose mode. -#export DH_VERBOSE=1 - -# This is the debhelper compatability version to use. export DH_COMPAT=3 configure: configure-stamp configure-stamp: dh_testdir - # Add here commands to configure the package. ./configure --prefix /usr --mandir /usr/share/man --emacslib /usr/share/emacs/site-lisp/coq - touch configure-stamp build: configure-stamp build-stamp build-stamp: dh_testdir - - # Add here commands to compile the package. $(MAKE) world || (echo WARNING: NATIVE CODE COMPILATION FAILED && echo Trying to build coq in bytecode && echo "OPT=byte" >> config/Makefile && $(MAKE) world) - #/usr/bin/docbook-to-man debian/coq.sgml > coq.1 - touch build-stamp clean: @@ -31,7 +19,6 @@ clean: dh_testroot rm -f build-stamp configure-stamp - # Add here commands to clean up after the build process. -$(MAKE) clean -$(MAKE) archclean @@ -43,8 +30,8 @@ install: build dh_clean -k dh_installdirs - # Add here commands to install the package into debian/coq. $(MAKE) install COQINSTALLPREFIX=$(CURDIR)/debian/coq + -strip -R .note -R .comment $(CURDIR)/debian/coq/usr/bin/coqtop.opt # Build architecture-independent files here. binary-indep: build install @@ -54,27 +41,13 @@ binary-indep: build install binary-arch: build install dh_testdir dh_testroot -# dh_installdebconf dh_installdocs -# dh_installexamples -# dh_installmenu -# dh_installlogrotate dh_installemacsen -# dh_installpam -# dh_installmime -# dh_installinit -# dh_installcron -# dh_installman coqtop.byte coqtop.opt coqtop coqc coqmktop -# dh_installinfo -# dh_undocumented dh_installchangelogs CHANGES dh_link -# dh_strip dh_compress dh_fixperms -# dh_makeshlibs dh_installdeb -# dh_perl dh_shlibdeps dh_gencontrol dh_md5sums |