From d022db8c805811e66eeed9046d02ea3ee6b4b13b Mon Sep 17 00:00:00 2001 From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr> Date: Thu, 23 Jun 2022 10:55:18 +0200 Subject: [PATCH] build: use camlp-streams instead of deprecated Stdlib.Streams --- lib/dune | 2 +- lutils.opam | 1 + 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/lib/dune b/lib/dune index 40a5ffa..ae777af 100644 --- a/lib/dune +++ b/lib/dune @@ -1,7 +1,7 @@ (library (name lutils) (public_name lutils) - (libraries unix str num) + (libraries unix str num camlp-streams) (wrapped false) (synopsis "A lib shared by Verimag/synchronous tools (lustre-v6, lutin, rdbg).") ) diff --git a/lutils.opam b/lutils.opam index bb1ac0f..e1ae0b5 100644 --- a/lutils.opam +++ b/lutils.opam @@ -14,6 +14,7 @@ depends: [ "base-unix" "ocamlfind" "num" + "camlp-streams" ] build: [ ["dune" "build" "-p" name "-j" jobs] -- GitLab