From f166a2b6aa9fd9ac6d6d99b147da67458c9ee212 Mon Sep 17 00:00:00 2001
From: Julien Girard <julien.girard2@cea.fr>
Date: Tue, 14 May 2024 17:32:55 +0200
Subject: [PATCH] [chore] Slightly better name

---
 lib/ir/dune                    | 2 +-
 lib/nnet/dune                  | 2 +-
 lib/onnx/dune                  | 2 +-
 lib/ovo/dune                   | 2 +-
 lib/xgboost/dune               | 2 +-
 src/dune                       | 2 +-
 {logging => utils}/dune        | 2 +-
 {logging => utils}/logging.ml  | 0
 {logging => utils}/logging.mli | 0
 9 files changed, 7 insertions(+), 7 deletions(-)
 rename {logging => utils}/dune (79%)
 rename {logging => utils}/logging.ml (100%)
 rename {logging => utils}/logging.mli (100%)

diff --git a/lib/ir/dune b/lib/ir/dune
index fa1ef79..f212db4 100644
--- a/lib/ir/dune
+++ b/lib/ir/dune
@@ -11,7 +11,7 @@
    ppx_deriving.iter
    ppx_deriving.fold))
  (inline_tests)
- (libraries base ocamlgraph fmt stdio caisar.log))
+ (libraries base ocamlgraph fmt stdio caisar.utils.log))
 
 (env
  (dev
diff --git a/lib/nnet/dune b/lib/nnet/dune
index e8f9ce3..e6d8d31 100644
--- a/lib/nnet/dune
+++ b/lib/nnet/dune
@@ -1,5 +1,5 @@
 (library
  (name nnet)
  (public_name caisar.nnet)
- (libraries base csv caisar.log)
+ (libraries base csv caisar.utils.log)
  (synopsis "NNet parser for CAISAR"))
diff --git a/lib/onnx/dune b/lib/onnx/dune
index 1ada251..b2bcb09 100644
--- a/lib/onnx/dune
+++ b/lib/onnx/dune
@@ -1,7 +1,7 @@
 (library
  (name onnx)
  (public_name caisar.onnx)
- (libraries base stdio ocaml-protoc-plugin ocplib-endian caisar.ir caisar.log)
+ (libraries base stdio ocaml-protoc-plugin ocplib-endian caisar.ir caisar.utils.log)
  (synopsis "ONNX parser for CAISAR"))
 
 (rule
diff --git a/lib/ovo/dune b/lib/ovo/dune
index e6853d5..5317286 100644
--- a/lib/ovo/dune
+++ b/lib/ovo/dune
@@ -1,5 +1,5 @@
 (library
  (name ovo)
  (public_name caisar.ovo)
- (libraries base csv caisar.log)
+ (libraries base csv caisar.utils.log)
  (synopsis "OVO parser for CAISAR"))
diff --git a/lib/xgboost/dune b/lib/xgboost/dune
index 1bb408b..6ad494f 100644
--- a/lib/xgboost/dune
+++ b/lib/xgboost/dune
@@ -4,4 +4,4 @@
  (preprocess
   (pps ppx_deriving.show ppx_deriving_yojson))
  (flags -w -30)
- (libraries csv caisar.log))
+ (libraries csv caisar.utils.log))
diff --git a/src/dune b/src/dune
index bba4095..6d61dd7 100644
--- a/src/dune
+++ b/src/dune
@@ -21,7 +21,7 @@
   yaml.unix
   fpath
   zarith
-  caisar.log
+  caisar.utils.log
   caisar.xgboost)
  (preprocess
   (pps
diff --git a/logging/dune b/utils/dune
similarity index 79%
rename from logging/dune
rename to utils/dune
index 1bd4188..5a11529 100644
--- a/logging/dune
+++ b/utils/dune
@@ -1,5 +1,5 @@
 (library
  (name logging)
- (public_name caisar.log)
+ (public_name caisar.utils.log)
  (libraries base csv logs logs.cli logs.fmt fmt why3)
  (synopsis "Logging utilities for CAISAR"))
diff --git a/logging/logging.ml b/utils/logging.ml
similarity index 100%
rename from logging/logging.ml
rename to utils/logging.ml
diff --git a/logging/logging.mli b/utils/logging.mli
similarity index 100%
rename from logging/logging.mli
rename to utils/logging.mli
-- 
GitLab