Suppression du répertoire distrib: il fait désormais partie du projet coq-dev-tools sur GForge

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8943 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 0 insertions, 89 deletions

diff --git a/distrib/debian/rules b/distrib/debian/rules
deleted file mode 100755
index d4e1d33768..0000000000
--- a/distrib/debian/rules
+++ /dev/null
@@ -1,89 +0,0 @@
-#!/usr/bin/make -f
-
-export DH_COMPAT=3
-
-COQPREF=$(CURDIR)/debian/coq
-ADDPREF=COQINSTALLPREFIX=${COQPREF}
-
-# in version 3.04, ocamlopt has several bugs: on some arches, it produces
-# executables that sometimes fail mysteriously or loop.
-# We use a workaround to detect this kind of situations:
-# - we try to make Coq with timeouts (TMAKE)
-# - once this is done, we check make succeeded (timeout does not
-# return the exit status of MAKE)
-#
-TMAKE=timeout 5300 ${MAKE}
-MAKEQ=${MAKE} -q
-
-CONFIGUREOPTS=--prefix /usr --mandir /usr/share/man --emacslib /usr/share/emacs/site-lisp/coq --reals all
-
-configure: configure-stamp
-configure-stamp:
-	dh_testdir
-	./configure -opt ${CONFIGUREOPTS} || ./configure ${CONFIGUREOPTS}
-	touch configure-stamp
-
-build: configure-stamp build-stamp
-build-stamp:
-	dh_testdir
-	if grep -q BEST=opt config/Makefile; \
-	then (${TMAKE} bin/coqmktop bin/coqc bin/coqtop.byte \
-	      && ${MAKEQ} bin/coqmktop bin/coqc bin/coqtop.byte \
-	      && ${TMAKE} bin/coqtop.opt bin/coqtop \
-	      && ${MAKEQ} bin/coqtop.opt bin/coqtop \
-	      && ${TMAKE} states \
-	      && ${MAKEQ} states \
-	      && ${TMAKE} world \
-	      && ${MAKEQ} world) \
-          ||  (echo WARNING: NATIVE CODE COMPILATION FAILED \
-	    && echo Trying to build coq in bytecode \
-	    && ${MAKE} archclean clean \
-	    && ${MAKE} BEST=byte world \
-	    && echo NATIVE CODE COMPILATION FAILED \
-	    && echo Coq was built in bytecode instead); \
-	else ${MAKE} world; \
-	fi
-	${MAKE} check
-	touch build-stamp
-
-clean:
-	dh_testdir
-	dh_testroot
-	rm -f build-stamp configure-stamp
-
-	-$(MAKE) clean
-	-$(MAKE) archclean
-
-	dh_clean
-
-install: build
-	dh_testdir
-	dh_testroot
-	dh_clean -k
-	dh_installdirs
-
-	$(MAKE) ${ADDPREF} install || $(MAKE) BEST=byte ${ADDPREF} install
-	-strip -R .note -R .comment ${COQPREF}/usr/bin/coqtop.opt
-
-# Build architecture-independent files here.
-binary-indep: build install
-# We have nothing to do by default.
-
-# Build architecture-dependent files here.
-binary-arch: build install
-	dh_testdir
-	dh_testroot
-	dh_installdocs
-	dh_installemacsen
-	dh_installchangelogs CHANGES
-	dh_link
-	dh_compress
-	dh_fixperms
-	dh_installdeb
-	dh_shlibdeps
-	dh_gencontrol
-	dh_md5sums
-	dh_builddeb
-
-binary: binary-indep binary-arch
-.PHONY: build clean binary-indep binary-arch binary install configure