From b11a98c6d3f1f8e15b9f29dde4ff0fc615e969c3 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Mon, 29 Jun 2015 09:55:27 +0200 Subject: [PATCH] fix build issues with dummy module in `containers.io` --- _oasis | 2 +- src/advanced/{CCMonadIO.ml.cppo => CCMonadIO.cppo.ml} | 0 src/io/containers_io_is_deprecated.ml | 7 +++++++ 3 files changed, 8 insertions(+), 1 deletion(-) rename src/advanced/{CCMonadIO.ml.cppo => CCMonadIO.cppo.ml} (100%) create mode 100644 src/io/containers_io_is_deprecated.ml diff --git a/_oasis b/_oasis index bd4e8a18..d39a25cd 100644 --- a/_oasis +++ b/_oasis @@ -59,7 +59,7 @@ Library "containers" Library "containers_io" Path: src/io - Modules: + Modules: Containers_io_is_deprecated BuildDepends: bytes FindlibParent: containers FindlibName: io diff --git a/src/advanced/CCMonadIO.ml.cppo b/src/advanced/CCMonadIO.cppo.ml similarity index 100% rename from src/advanced/CCMonadIO.ml.cppo rename to src/advanced/CCMonadIO.cppo.ml diff --git a/src/io/containers_io_is_deprecated.ml b/src/io/containers_io_is_deprecated.ml new file mode 100644 index 00000000..4784fafb --- /dev/null +++ b/src/io/containers_io_is_deprecated.ml @@ -0,0 +1,7 @@ +(** {!CCIO} has moved into {!Containers}, the main library. + + The reason is that it has no additional dependency and is arguably a + useful completement to parts of {!Pervasives} (the channel management) + + As a result, linking "containers" rather than "containers.io" should be + enough if one needs {!CCIO}. *)