diff options
Diffstat (limited to 'debian/libmtime-ocaml.install.in')
-rw-r--r-- | debian/libmtime-ocaml.install.in | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/debian/libmtime-ocaml.install.in b/debian/libmtime-ocaml.install.in index 833a888..db51abe 100644 --- a/debian/libmtime-ocaml.install.in +++ b/debian/libmtime-ocaml.install.in @@ -4,3 +4,5 @@ OPT: @OCamlStdlibDir@/*/*.cmxs @OCamlStdlibDir@/*/*/*.cma OPT: @OCamlStdlibDir@/*/*/*.cmxs +@OCamlStdlibDir@/*/*/*/*.cma +OPT: @OCamlStdlibDir@/*/*/*/*.cmxs |