From cf4fbeb0406d58e9d1ae73886a4e701fb6bb14d1 Mon Sep 17 00:00:00 2001
From: courant <courant@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Thu, 13 Dec 2001 09:26:24 +0000
Subject: package Debian 7.1, correction pb compilation native sur certaines
 architectures

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2292 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 distrib/debian/changelog | 9 ++++++++-
 distrib/debian/control   | 4 ++--
 distrib/debian/docs      | 2 ++
 distrib/debian/rules     | 4 ++--
 4 files changed, 14 insertions(+), 5 deletions(-)

(limited to 'distrib/debian')

diff --git a/distrib/debian/changelog b/distrib/debian/changelog
index ab6c3b804..0514c60b9 100644
--- a/distrib/debian/changelog
+++ b/distrib/debian/changelog
@@ -1,9 +1,16 @@
-coq (7.0-2) unstable; urgency=low
+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).
 
  -- Judicaël Courant <Judicael.Courant@lri.fr>  Tue, 11 Dec 2001 13:33:15 +0200
 
+coq (7.1-1) unstable; urgency=low
+  * New upstream version.
+
+ -- Judicaël Courant <Judicael.Courant@lri.fr>  Tue,  25 Sep 2001 16:27:04 +0200
+
 coq (7.0-1) unstable; urgency=low
   * New maintainer Judicaël Courant <Judicael.Courant@lri.fr>.
   * New upstream version.
diff --git a/distrib/debian/control b/distrib/debian/control
index 67bed545d..5bc413fdc 100644
--- a/distrib/debian/control
+++ b/distrib/debian/control
@@ -7,8 +7,8 @@ Build-Depends: debhelper (>= 2), ocaml (>= 3.01), camlp4 (>= 3.01)
 
 Package: coq
 Architecture: any
-Depends: ocaml (>= 3.01), ${shlibs:Depends}
-Suggests: ocaml (>= 3.01), camlp4 (>= 3.01), cle
+Depends: ${shlibs:Depends}
+Suggests: coq-doc, ocaml (>= 3.01-1), camlp4 (>= 3.01-1), cle
 Recommends: coq-doc
 Description: a proof assistant for higher-order logic.
  Coq is a proof assistant for higher-order logic, which allows the
diff --git a/distrib/debian/docs b/distrib/debian/docs
index 297170db8..2fd542acf 100644
--- a/distrib/debian/docs
+++ b/distrib/debian/docs
@@ -1,2 +1,4 @@
 README
 CREDITS
+CHANGES
+LICENSE
diff --git a/distrib/debian/rules b/distrib/debian/rules
index 0e5831069..a584b2ebb 100755
--- a/distrib/debian/rules
+++ b/distrib/debian/rules
@@ -6,7 +6,7 @@
 #export DH_VERBOSE=1
 
 # This is the debhelper compatability version to use.
-export DH_COMPAT=2
+export DH_COMPAT=3
 
 configure: configure-stamp
 configure-stamp:
@@ -21,7 +21,7 @@ build-stamp:
 	dh_testdir
 
 	# Add here commands to compile the package.
-	$(MAKE) world || (echo ERROR: trying to build in bytecode && echo "OPT=byte" >> config/Makefile && $(MAKE) world)
+	$(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
-- 
cgit v1.2.3