From a0776481af9556f1087a8d1862c985d56aaf62ed Mon Sep 17 00:00:00 2001
From: Julien Girard <julien.girard2@cea.fr>
Date: Wed, 21 Jun 2023 17:06:25 +0200
Subject: [PATCH] [deps] Fix spurious name for XGBoost library
---
dune-project | 1 +
lib/xgboost/bin/dune | 2 +-
src/dune | 2 +-
3 files changed, 3 insertions(+), 2 deletions(-)
diff --git a/dune-project b/dune-project
index 72c8f97..f76cf9b 100644
--- a/dune-project
+++ b/dune-project
@@ -104,6 +104,7 @@
(caisar-ovo (= :version))
(caisar-onnx (= :version))
(caisar-ir (= :version))
+ (caisar-xgboost (= :version))
)
(sites
(share stdlib)
diff --git a/lib/xgboost/bin/dune b/lib/xgboost/bin/dune
index e85c2e7..d18e2e5 100644
--- a/lib/xgboost/bin/dune
+++ b/lib/xgboost/bin/dune
@@ -1,3 +1,3 @@
(executable
(name parse_xgboost)
- (libraries yojson caisar.xgboost csv))
+ (libraries yojson caisar_xgboost csv))
diff --git a/src/dune b/src/dune
index 013aad1..06a53eb 100644
--- a/src/dune
+++ b/src/dune
@@ -24,7 +24,7 @@
yaml.unix
fpath
zarith
- caisar.xgboost)
+ caisar_xgboost)
(preprocess
(pps
ppx_deriving_yojson
--
GitLab