diff --git a/lib/dune b/lib/dune index 40a5ffaa018ae61f159c8053b1ba945e19c4bbcb..ae777af4f733afecf357138c0068f92cf3e40c4b 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 bb1ac0f6e9dfec32590320881613a8d6b182a56a..e1ae0b5bc14b85737b620a8f6ae77e9cf423a6a7 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]