[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.2.beta4+dfsg-2-17-gcc283f2

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 02896b211aaec508c4e4591e7e228f752b368fd7
Author: Stephane Glondu <steph at glondu.net>
Date:   Sat Jan 31 22:25:37 2009 +0100

    Add new binary package libcoq-ocaml-dev
    
    Rationale: coqmktop depends on a whole working OCaml environment, and
    we don't need ocaml-related stuff when developing in pure Coq.

diff --git a/debian/control b/debian/control
index a982dd3..fda73c8 100644
--- a/debian/control
+++ b/debian/control
@@ -71,3 +71,20 @@ Description: proof assistant for higher-order logic (theories)
  .
  This package provides existing theories that new proofs can be
  based upon, including theories of arithmetic and Boolean values.
+
+Package: libcoq-ocaml-dev
+Section: libdevel
+Architecture: any
+Depends:
+ ${shlibs:Depends},
+ coq (= ${binary:Version}),
+ ocaml-nox-${F:OCamlABI},
+ ${misc:Depends}
+Description: development libraries and tools for Coq
+ Coq is a proof assistant for higher-order logic, which allows the
+ development of computer programs consistent with their formal
+ specification. It is developed using Objective Caml and Camlp5.
+ For more information, see <http://coq.inria.fr/>.
+ .
+ This package provides coqmktop, and libraries needed to develop
+ OCaml-side extensions to Coq.
diff --git a/debian/coq.install.in b/debian/coq.install.in
index 5bb62f2..3b6d66a 100644
--- a/debian/coq.install.in
+++ b/debian/coq.install.in
@@ -2,22 +2,17 @@ usr/bin/coqc*
 usr/bin/coqdep*
 usr/bin/coqdoc*
 usr/bin/coq_makefile*
-usr/bin/coqmktop*
 usr/bin/coq-interface*
 usr/bin/coq-parser*
 usr/bin/coq-tex*
 usr/bin/coqtop*
 usr/bin/coqwc*
 usr/bin/gallina*
-usr/lib/coq/contrib/micromega/csdpcert*
-usr/lib/coq/*.cm*
-usr/lib/coq/tools/coqdoc/
 usr/share/emacs/site-lisp/coq/
 usr/share/man/man1/coqc*
 usr/share/man/man1/coqdep*
 usr/share/man/man1/coqdoc*
 usr/share/man/man1/coq_makefile*
-usr/share/man/man1/coqmktop*
 usr/share/man/man1/coq-interface*
 usr/share/man/man1/coq-parser*
 usr/share/man/man1/coq-tex*
diff --git a/debian/libcoq-ocaml-dev.install.in b/debian/libcoq-ocaml-dev.install.in
new file mode 100644
index 0000000..b246d33
--- /dev/null
+++ b/debian/libcoq-ocaml-dev.install.in
@@ -0,0 +1,3 @@
+usr/bin/coqmktop*
+usr/share/man/man1/coqmktop*
+# *.cm* files will be added here

-- 
coq packaging