From b8f8f4b6c4e332e27d8f4cc684b629ece42bde87 Mon Sep 17 00:00:00 2001 From: Greta Yorsh <45005955+gretay-js@users.noreply.github.com> Date: Fri, 10 Mar 2023 13:18:29 +0000 Subject: [PATCH] Fix dune install in otherlibs: missing cmt and typo. (#1194) --- ocaml/otherlibs/bigarray/dune | 1 + ocaml/otherlibs/dynlink/dune | 1 + ocaml/otherlibs/str/dune | 1 + ocaml/otherlibs/unix/dune | 4 +++- 4 files changed, 6 insertions(+), 1 deletion(-) diff --git a/ocaml/otherlibs/bigarray/dune b/ocaml/otherlibs/bigarray/dune index 179857a3b89..1821da12232 100644 --- a/ocaml/otherlibs/bigarray/dune +++ b/ocaml/otherlibs/bigarray/dune @@ -31,6 +31,7 @@ (bigarray.cmxs as bigarray/bigarray.cmxs) (bigarray.cma as bigarray/bigarray.cma) (.bigarray.objs/byte/bigarray.cmi as bigarray/bigarray.cmi) + (.bigarray.objs/byte/bigarray.cmt as bigarray/bigarray.cmt) (.bigarray.objs/byte/bigarray.cmti as bigarray/bigarray.cmti) (bigarray.mli as bigarray/bigarray.mli) ) diff --git a/ocaml/otherlibs/dynlink/dune b/ocaml/otherlibs/dynlink/dune index 578a4ce3013..eaaa3f3da56 100644 --- a/ocaml/otherlibs/dynlink/dune +++ b/ocaml/otherlibs/dynlink/dune @@ -399,6 +399,7 @@ ; (dynlink.cmxs as dynlink/dynlink.cmxs) (dynlink.mli as dynlink/dynlink.mli) (dynlink.cmi as dynlink/dynlink.cmi) + (.dynlink_internal.objs/byte/dynlink.cmt as dynlink/dynlink.cmt) (.dynlink_internal.objs/byte/dynlink.cmti as dynlink/dynlink.cmti) (extract_crc.bc as dynlink/extract_crc) diff --git a/ocaml/otherlibs/str/dune b/ocaml/otherlibs/str/dune index bdccbf2be3d..611645b99d2 100644 --- a/ocaml/otherlibs/str/dune +++ b/ocaml/otherlibs/str/dune @@ -39,6 +39,7 @@ (str.cma as str/str.cma) (str.mli as str/str.mli) (.str.objs/byte/str.cmi as str/str.cmi) + (.str.objs/byte/str.cmt as str/str.cmt) (.str.objs/byte/str.cmti as str/str.cmti) ) (section lib) diff --git a/ocaml/otherlibs/unix/dune b/ocaml/otherlibs/unix/dune index acafa252227..eef3f18a8c7 100644 --- a/ocaml/otherlibs/unix/dune +++ b/ocaml/otherlibs/unix/dune @@ -48,12 +48,14 @@ (unix.a as unix/unix.a) (unix.cma as unix/unix.cma) (.unix.objs/byte/unix.cmi as unix/unix.cmi) + (.unix.objs/byte/unix.cmt as unix/unix.cmt) (.unix.objs/byte/unix.cmti as unix/unix.cmti) (.unix.objs/byte/unixLabels.cmi as unix/unixLabels.cmi) + (.unix.objs/byte/unixLabels.cmt as unix/unixLabels.cmt) (.unix.objs/byte/unixLabels.cmti as unix/unixLabels.cmti) (unix.cmxs as unix/unix.cmxs) (unix.mli as unix/unix.mli) - (unixLabels.mli as unix/unixLabel.mli) + (unixLabels.mli as unix/unixLabels.mli) (libunix_stubs.a as unix/libunix_stubs.a) (libunix_stubs.a as libunix_stubs_native.a) ; for special_dune compat (dllunix_stubs.so as stublibs/dllunix_stubs.so)