[Pkg-ocaml-maint-commits] [atdgen] 08/10: Install native plugins

[Stéphane Glondu]

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

glondu pushed a commit to branch master
in repository atdgen.

commit 05b620b3aa3c4221e231e81b55fe8467ccb6bf3e
Author: Stephane Glondu <steph at glondu.net>
Date:   Sat Feb 1 18:14:22 2014 +0100

    Install native plugins
---
 debian/libatdgen-ocaml.install.in | 1 +
 1 file changed, 1 insertion(+)

diff --git a/debian/libatdgen-ocaml.install.in b/debian/libatdgen-ocaml.install.in
index 50db1c0..cb9c253 100644
--- a/debian/libatdgen-ocaml.install.in
+++ b/debian/libatdgen-ocaml.install.in
@@ -1,2 +1,3 @@
 @OCamlStdlibDir@/atdgen/META
 @OCamlStdlibDir@/atdgen/*.cma
+DYN: @OCamlStdlibDir@/atdgen/*.cmxs

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