From cf4fbeb0406d58e9d1ae73886a4e701fb6bb14d1 Mon Sep 17 00:00:00 2001
From: courant
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/rules | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'distrib/debian/rules')

diff --git a/distrib/debian/rules b/distrib/debian/rules
index 0e58310693..a584b2ebbf 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