[Pkg-ocaml-maint-commits] [SCM] cryptokit packaging branch, master, updated. debian/1.5-1-10-gcc86fd7

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 095fa6ebd02d5df98d8f5ef15865b6c9c7352b62
Author: Stephane Glondu <steph at glondu.net>
Date:   Wed May 8 14:41:43 2013 +0200

    Upstream support of *.{cmx,cmxs}

diff --git a/debian/libcryptokit-ocaml-dev.install.in b/debian/libcryptokit-ocaml-dev.install.in
index 8661b44..d1a9c25 100644
--- a/debian/libcryptokit-ocaml-dev.install.in
+++ b/debian/libcryptokit-ocaml-dev.install.in
@@ -3,4 +3,4 @@ usr/share/doc
 @OCamlStdlibDir@/cryptokit/*.cmi
 @OCamlStdlibDir@/cryptokit/*.mli
 OPT: @OCamlStdlibDir@/cryptokit/*.cmxa
-OPT: _build/src/*.cmx                     @OCamlStdlibDir@/cryptokit
+OPT: @OCamlStdlibDir@/cryptokit/*.cmx
diff --git a/debian/libcryptokit-ocaml.install.in b/debian/libcryptokit-ocaml.install.in
index 900e58f..f1033c5 100644
--- a/debian/libcryptokit-ocaml.install.in
+++ b/debian/libcryptokit-ocaml.install.in
@@ -1,4 +1,4 @@
 @OCamlDllDir@/*.so
 @OCamlStdlibDir@/cryptokit/META
 @OCamlStdlibDir@/cryptokit/cryptokit.cma
-DYN: _build/src/cryptokit.cmxs    @OCamlStdlibDir@/cryptokit
+DYN: @OCamlStdlibDir@/cryptokit/*.cmxs

-- 
cryptokit packaging