diff --git a/lib/ir/dune b/lib/ir/dune index fa1ef79466a290417c80e30495f3168faf7eca1b..f212db4335405824a71a20a386450ef1724f9be2 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 e8f9ce363d36358692a7cf0a3a5f474df318dbf2..e6d8d31052749e6e616ce51042a7cb89f3209d6a 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 1ada251ade4fe4fd7af58afa4958feb8485c13a1..b2bcb09c3d8d48c8b7a2ffcc7d80efe065e49450 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 e6853d54b406d02b3d28f3c7c5d3ef60484c0425..5317286959ae9c64f989b70b7856cfbc482977df 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 1bb408b086855d7f57fc2fd8c822dcf988f7542c..6ad494f1d25c210b3e61c96bec4a28df37324413 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 bba4095f3cca4d1f6d1a4125ccfb92c4bbeed928..6d61dd7e89ac32ddc3bd367a6d3fd4619bb805a9 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 1bd418801235793513fe3f14306e3c54fc8470d6..5a11529b6f0743d5e8f9fd460549f15822e10f83 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