diff options
Diffstat (limited to 'distrib/debian/rules')
| -rwxr-xr-x | distrib/debian/rules | 29 |
1 files changed, 1 insertions, 28 deletions
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 |