From 7d57da7e7ee815681c1301fb0218e76cf684f78a Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Mon, 4 Nov 2019 18:10:18 +0100 Subject: [PATCH] compatibility with older mirage --- src/dune | 3 ++- src/mirage_stack_lwt.ml | 3 +++ 2 files changed, 5 insertions(+), 1 deletion(-) create mode 100644 src/mirage_stack_lwt.ml diff --git a/src/dune b/src/dune index af1f14e..476bd84 100644 --- a/src/dune +++ b/src/dune @@ -1,4 +1,5 @@ (library (name mirage_stack) (public_name mirage-stack) - (libraries mirage-protocols mirage-device fmt lwt)) + (libraries mirage-protocols mirage-device fmt lwt) + (wrapped false)) diff --git a/src/mirage_stack_lwt.ml b/src/mirage_stack_lwt.ml new file mode 100644 index 0000000..25a6579 --- /dev/null +++ b/src/mirage_stack_lwt.ml @@ -0,0 +1,3 @@ +[@@@ocaml.deprecated "This module will be removed from MirageOS 4.0. Please use Mirage_stack instead."] + +include Mirage_stack