The following commit has been merged in the master branch:
commit b9c8e3cf7e6d833e2bff27a2a92b14d0ad5ecd63
Author: Mehdi Dogguy <[email protected]>
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
_______________________________________________
Pkg-ocaml-maint-commits mailing list
[email protected]
http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits
