From: Enrico Tassi <gares@fettunta.org>
Date: Thu, 4 Apr 2013 10:04:49 +0000 (+0200)
Subject: fix
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=0d48a8f9da55abd1a7025daef1f8e45e8ed6a078;p=pkg-cerco%2Facc-trusted.git

fix
---

diff --git a/debian/rules b/debian/rules
index ed15de9..de5776c 100755
--- a/debian/rules
+++ b/debian/rules
@@ -4,13 +4,14 @@
 	dh $@
 
 override_dh_auto_build:
-	./build
+	$(MAKE) opt
 	
 override_dh_auto_install:
 	mkdir -p debian/tmp/usr/bin
-	cp acc debian/tmp/usr/bin/acc-trusted
+	cp acc.opt debian/tmp/usr/bin/acc-trusted
 
 override_dh_auto_clean:
+	$(MAKE) clean
 	find . -name '*.cmo' -exec rm {} \;
 	find . -name '*.cmi' -exec rm {} \;
 	find . -name '*.cmx' -exec rm {} \;