[Pkg-ocaml-maint-commits] [SCM] ssreflect packaging branch, master, updated. debian/1.2+dfsg-6-11-g3520703

[Stephane Glondu]

The following commit has been merged in the master branch:
commit aa0860bb8e26fc8d750abf16d9010c78047f359b
Author: Stephane Glondu <steph at glondu.net>
Date:   Wed Mar 9 20:56:55 2011 +0100

    Various updates in the packaging

diff --git a/debian/README.source b/debian/README.source
index a161daf..6f73f75 100644
--- a/debian/README.source
+++ b/debian/README.source
@@ -4,9 +4,6 @@ Ssreflect Debian source package
 Packaging a new upstream
 ------------------------
 
- * Upstream tarball ships PDF files without sources. When packaging a
-   new upstream release, they must be removed!
-
  * Ssreflect uses internal structures of Coq and is quite easily
    broken by new versions of Coq. However, some Coq developers
    maintain a working version as Coq development goes at the
@@ -27,4 +24,4 @@ dom-{apply,save}-patches, from the dh-ocaml (>= 0.5) package. Please
 refer to the appendix about Git in the Debian OCaml Packaging Policy
 (from the same package).
 
- -- Stephane Glondu <steph at glondu.net>, Wed, 26 Aug 2009 21:38:47 +0200
+ -- Stéphane Glondu <glondu at debian.org>, Wed,  9 Mar 2011 20:56:24 +0100
diff --git a/debian/control b/debian/control
index 03525c9..977756d 100644
--- a/debian/control
+++ b/debian/control
@@ -4,8 +4,8 @@ Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
 Uploaders: Stéphane Glondu <glondu at debian.org>
 Build-Depends:
  debhelper (>= 7.0.50~),
- coq (>= 8.2.pl1+dfsg-4~),
- libcoq-ocaml-dev (>= 8.2.pl2+dfsg-2~),
+ coq (>= 8.3),
+ libcoq-ocaml-dev (>= 8.3),
  dh-ocaml (>= 0.9~),
  camlp5 (>= 5.12-2~),
  ocaml-best-compilers,
diff --git a/debian/libssreflect-coq.examples b/debian/libssreflect-coq.examples
index 2abbadc..a1d5761 100644
--- a/debian/libssreflect-coq.examples
+++ b/debian/libssreflect-coq.examples
@@ -1,2 +1,2 @@
 pg-ssr.el
-doc/tutorial.v
+doc/*.v
diff --git a/debian/libssreflect-ocaml.install.in b/debian/libssreflect-ocaml.install.in
index ad7026b..995a98c 100644
--- a/debian/libssreflect-ocaml.install.in
+++ b/debian/libssreflect-ocaml.install.in
@@ -1,2 +1,2 @@
 src/ssreflect.cmo         usr/lib/coq/user-contrib/Ssreflect
-OPT: src/ssreflect.cmxs   usr/lib/coq/user-contrib/Ssreflect
+DYN: src/ssreflect.cmxs   usr/lib/coq/user-contrib/Ssreflect
diff --git a/debian/rules b/debian/rules
index 9d22bec..938e2c2 100755
--- a/debian/rules
+++ b/debian/rules
@@ -10,22 +10,24 @@ export COQBIN := /usr/bin/
 %:
 	+dh --with ocaml $@
 
-.PHONY: override_dh_auto_configure
-override_dh_auto_configure:
-	coq_makefile -f Make -o Makefile -R src Ssreflect -R theories Ssreflect
-
 .PHONY: override_dh_auto_build
 override_dh_auto_build:
 	$(MAKE) all
-	$(MAKE) html
+	$(MAKE) -f Makefile.coq html
 
 .PHONY: override_dh_auto_install
 override_dh_auto_install:
 
+.PHONY: override_dh_auto_clean
+override_dh_auto_clean:
+	dh_auto_clean
+	$(MAKE) -C test clean
+	rm -Rf bin
+
 .PHONY: override_dh_clean
 override_dh_clean:
 	dh_clean
-	rm -Rf Makefile html
+	rm -Rf html
 
 .PHONY: override_dh_gencontrol
 override_dh_gencontrol:

-- 
ssreflect packaging