fix build issues with dummy module in containers.io

This commit is contained in:
Simon Cruanes 2015-06-29 09:55:27 +02:00
parent 9f7be2ddc9
commit b11a98c6d3
3 changed files with 8 additions and 1 deletions

2
_oasis
View file

@ -59,7 +59,7 @@ Library "containers"
Library "containers_io"
Path: src/io
Modules:
Modules: Containers_io_is_deprecated
BuildDepends: bytes
FindlibParent: containers
FindlibName: io

View file

@ -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}. *)