From 3783219c207f2ab5c2750b4e208dc82076e10c26 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Mon, 6 Nov 2023 14:42:47 +0100
Subject: [PATCH] [opam] fix dependencies
---
dune-project | 2 +-
frama-clang.opam | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/dune-project b/dune-project
index 781f6d96..1e4bb81a 100644
--- a/dune-project
+++ b/dune-project
@@ -34,7 +34,7 @@
"camlp5"
"camlp-streams"
("conf-llvm" (>= 11.0.0)) ; note: includes depexts
- ("conf-libclang-cpp" (>= 11.0.0))
+ ("conf-libclang" (>= 11.0.0))
; conf-libclang-cpp:version should be equal to conf-llvm:version but
; this can't be enforced through opam dependencies yet
"conf-cmake" ; note: includes depexts
diff --git a/frama-clang.opam b/frama-clang.opam
index afc2cd3b..5c237f70 100644
--- a/frama-clang.opam
+++ b/frama-clang.opam
@@ -8,7 +8,7 @@ depends: [
"camlp5"
"camlp-streams"
"conf-llvm" {>= "11.0.0"}
- "conf-libclang-cpp" {>= "11.0.0"}
+ "conf-libclang" {>= "11.0.0"}
"conf-cmake"
"odoc" {with-doc}
]
--
GitLab