diff --git a/dune-project b/dune-project index 781f6d966d13b3653eea2ff5570051191330de08..1e4bb81a6e515b20d8d007e3c13dd942dc18d811 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 afc2cd3bdf887d294e782c33465a42c84e96a967..5c237f7071f1a1a8ca571234276c34f004c0af66 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} ]