From 02e1b3fe6e99e5ac15ad581fd2125c8dfffea583 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20Blanqui?= Date: Tue, 28 Nov 2023 22:59:01 +0900 Subject: [PATCH] fix Alert ocaml_deprecated_auto_include for unix --- src/cli/dune | 2 +- src/core/dune | 2 +- src/tool/dune | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/src/cli/dune b/src/cli/dune index a2b111b71..572d1a1e6 100644 --- a/src/cli/dune +++ b/src/cli/dune @@ -4,4 +4,4 @@ (modes byte native) (modules :standard) (libraries cmdliner lambdapi.lsp lambdapi.tool lambdapi.handle - lambdapi.export)) + lambdapi.export unix)) diff --git a/src/core/dune b/src/core/dune index d0f25c063..72e38fe0a 100644 --- a/src/core/dune +++ b/src/core/dune @@ -10,4 +10,4 @@ (public_name lambdapi.core) (synopsis "LambdaPi interactive theorem prover [core]") (modules :standard) - (libraries lambdapi.common lambdapi.lplib pratter bindlib why3)) + (libraries lambdapi.common lambdapi.lplib pratter bindlib why3 unix)) diff --git a/src/tool/dune b/src/tool/dune index d73a042a9..d3cc83495 100644 --- a/src/tool/dune +++ b/src/tool/dune @@ -2,7 +2,7 @@ (name tool) (public_name lambdapi.tool) (modules :standard) - (libraries lambdapi.parsing lambdapi.core dream) + (libraries lambdapi.parsing lambdapi.core dream unix) (preprocess (pps lwt_ppx))) (rule