[Pkg-ocaml-maint-commits] [SCM] why packaging branch, master, updated. debian/2.13-1-68-g62d5fad

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit 07a50e199afa887809a2843b6fe46cbca6773e2f
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Tue Feb 24 11:36:13 2009 +0100

    New binary package libwhy-coq which is suggested by why

diff --git a/debian/control b/debian/control
index 2d1ccc2..dd357a3 100644
--- a/debian/control
+++ b/debian/control
@@ -27,7 +27,7 @@ Architecture: any
 Depends:
   ${shlibs:Depends},
   ${misc:Depends}
-Suggests: coq-${F:CoqABI}
+Suggests: libwhy-coq
 Recommends: alt-ergo
 Description: A software verification tool
  Why aims at being a verification conditions generator (VCG) back-end
@@ -58,3 +58,12 @@ Section: libdevel
 Description: Jessie library for code analysis
  Jessie library, from Why certification tool, is useful for C code 
  analysis. It also generates Why code.
+
+Package: libwhy-coq
+Architecture: all
+Depends:
+  ${misc:Depends},
+  coq-${F:CoqABI}
+Section: libdevel
+Description: Why library for Coq
+  This package contains Why library for Coq.
diff --git a/debian/rules b/debian/rules
index f930483..c1d460f 100755
--- a/debian/rules
+++ b/debian/rules
@@ -52,10 +52,11 @@ install: build
 	dh_testroot
 	dh_clean -k
 	dh_installdirs
-	$(MAKE) prefix=$(WHYDIR)/usr install COQLIB=$(WHYDIR)/$(COQ_STDLIB_DIR)
+	$(MAKE) prefix=$(WHYDIR)/usr install COQLIB=$(CURDIR)/debian/libwhy-coq/$(COQ_STDLIB_DIR)
 	mv $(WHYDIR)/usr/lib/why/why-logo-1.png $(WHYDIR)/usr/share/why
 	echo 'F:OCamlABI=$(OCAML_ABI)' >> debian/libjessie-ocaml-dev.substvars
 	echo 'F:CoqABI=$(COQABI)' >> debian/why.substvars
+	echo 'F:CoqABI=$(COQABI)' >> debian/libwhy-coq.substvars
 
 # Build architecture-independent files here.
 binary-indep: build install

-- 
why packaging