This is an automated email from the git hooks/post-receive script.

mehdi pushed a commit to branch master
in repository menhir.

commit caf34527bbc6b95206bd81ad84304b45ded6f123
Author: Mehdi Dogguy <me...@debian.org>
Date:   Thu Mar 27 20:53:36 2014 +0100

    Do not install menhirLib.mlpack.
---
 debian/changelog                      | 1 +
 debian/libmenhir-ocaml-dev.install.in | 3 ++-
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/debian/changelog b/debian/changelog
index dab93ab..6e6ffdc 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -2,6 +2,7 @@ menhir (20130911.dfsg-2) UNRELEASED; urgency=low
 
   * Fix FTBFS on bytecode architectures.
     - Add 0002-Use-CURDIR-instead-of-.-during-bootstrap.patch
+  * Do not install menhirLib.mlpack.
 
  -- Mehdi Dogguy <me...@debian.org>  Thu, 27 Mar 2014 20:46:08 +0100
 
diff --git a/debian/libmenhir-ocaml-dev.install.in 
b/debian/libmenhir-ocaml-dev.install.in
index 9022895..fce9ad0 100644
--- a/debian/libmenhir-ocaml-dev.install.in
+++ b/debian/libmenhir-ocaml-dev.install.in
@@ -1,2 +1,3 @@
-src/_stage2/menhirLib.*                @OCamlStdlibDir@/menhirLib/
+src/_stage2/menhirLib.cm*      @OCamlStdlibDir@/menhirLib/
+OPT: src/_stage2/menhirLib.o   @OCamlStdlibDir@/menhirLib/
 src/META                       @OCamlStdlibDir@/menhirLib/

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/menhir.git

_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits

Reply via email to