fix Alert ocaml_deprecated_auto_include for unix

Deducteam · Nov 28, 2023 · 02e1b3f · 02e1b3f
1 parent 5a3017d
commit 02e1b3f
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git 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
@@ -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
@@ -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