diff options
author | Stephane Glondu <steph@glondu.net> | 2014-01-31 11:12:35 +0100 |
---|---|---|
committer | Stephane Glondu <steph@glondu.net> | 2014-01-31 11:12:35 +0100 |
commit | d4e66c8d451647358bea4d3de62f79fdb9f9d793 (patch) | |
tree | 085c5d970b947a68d14fc58bbea7f9f3a7150a18 | |
parent | 51b777e97b7559d50a1f6ec01afc4fd1512282bc (diff) |
Install native plugin
-rw-r--r-- | debian/libbiniou-ocaml.install.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/libbiniou-ocaml.install.in b/debian/libbiniou-ocaml.install.in index c8392d9..6fb3b34 100644 --- a/debian/libbiniou-ocaml.install.in +++ b/debian/libbiniou-ocaml.install.in @@ -1,2 +1,3 @@ @OCamlStdlibDir@/biniou/META @OCamlStdlibDir@/biniou/*.cma +DYN: @OCamlStdlibDir@/biniou/*.cmxs |