[Pkg-ocaml-maint-commits] [SCM] alt-ergo packaging branch, master, updated. upstream/0.8-20-g72993ee

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit b9c8e3cf7e6d833e2bff27a2a92b14d0ad5ecd63
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Thu Feb 26 15:03:10 2009 +0100

    Fix installation problem

diff --git a/debian/alt-ergo.install b/debian/alt-ergo.install
deleted file mode 100644
index 8db861d..0000000
--- a/debian/alt-ergo.install
+++ /dev/null
@@ -1,2 +0,0 @@
-smt_prelude.mlw		usr/lib/alt-ergo
-alt-ergo		usr/bin
diff --git a/debian/rules b/debian/rules
index b1fc463..da02c66 100755
--- a/debian/rules
+++ b/debian/rules
@@ -48,7 +48,8 @@ install: build
 	dh_testroot
 	dh_prep
 	dh_installdirs
-	cp -f alt-ergo.$(OCAML_BEST) alt-ergo
+	cp -f alt-ergo.$(OCAML_BEST) $(CURDIR)/debian/alt-ergo/usr/bin/alt-ergo
+	cp -f smt_prelude.mlw $(CURDIR)/debian/alt-ergo/usr/lib/alt-ergo
 
 binary-indep: build install
 

-- 
alt-ergo packaging