diff --git a/dune-project b/dune-project index 4c4e12d944f12a4a8981cb0a08979934ea328bb4..45b3c9b0a795ebbdcd72786cdf1e4fe08c3ae1ba 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 818912518d576ad717c8c05e11d14f311fe0c581..d52ebcba1b43baf647635ce1782ef8efa352e91e 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} ]