diff --git a/dune-project b/dune-project index a10ddbd57caa9f2509de7646089eeec722df3ef5..781f6d966d13b3653eea2ff5570051191330de08 100644 --- a/dune-project +++ b/dune-project @@ -34,7 +34,9 @@ "camlp5" "camlp-streams" ("conf-llvm" (>= 11.0.0)) ; note: includes depexts - ("conf-libclang" (and (>= 11) ( = :conf-llvm:version))) ; note: includes depexts + ("conf-libclang-cpp" (>= 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 ) (tags ("formal specification" "C++" "plugins" "ACSL" "ACSL++")) diff --git a/frama-clang.opam b/frama-clang.opam index e0653fa67da794046f51fa8a92272e2c806b327d..afc2cd3bdf887d294e782c33465a42c84e96a967 100644 --- a/frama-clang.opam +++ b/frama-clang.opam @@ -8,7 +8,7 @@ depends: [ "camlp5" "camlp-streams" "conf-llvm" {>= "11.0.0"} - "conf-libclang" {>= "11" & = conf-llvm:version} + "conf-libclang-cpp" {>= "11.0.0"} "conf-cmake" "odoc" {with-doc} ] @@ -29,7 +29,7 @@ build: [ ["dune" "install" "-p" name "--create-install-files" name] ] name: "frama-clang" -version: "0.0.13" +version: "0.0.14" synopsis: "Frama-C plug-in based on Clang for parsing C++ files" description: """ This Frama-C plug-in parse C++ files that may content ACSL++ annotations. @@ -41,6 +41,3 @@ authors: [ license: "LGPL-2.1-only" homepage: "https://frama-c.com/frama-clang.html" bug-reports: "https://git.frama-c.com/pub/frama-clang" - -messages: [ -] diff --git a/frama-clang.opam.template b/frama-clang.opam.template index c676354b85bff0df37c333d3ad50bd46ce4f093f..9d93d7e479565ccab537044844da67bb5be928c5 100644 --- a/frama-clang.opam.template +++ b/frama-clang.opam.template @@ -1,5 +1,5 @@ name: "frama-clang" -version: "0.0.13" +version: "0.0.14" synopsis: "Frama-C plug-in based on Clang for parsing C++ files" description: """ This Frama-C plug-in parse C++ files that may content ACSL++ annotations. @@ -11,6 +11,3 @@ authors: [ license: "LGPL-2.1-only" homepage: "https://frama-c.com/frama-clang.html" bug-reports: "https://git.frama-c.com/pub/frama-clang" - -messages: [ -]