From 37978d6c892c9b8e645dbbb05fd3aa48a88fd805 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Thu, 31 Aug 2023 18:07:23 +0200
Subject: [PATCH] [opam] update dependencies for package
---
dune-project | 4 +++-
frama-clang.opam | 7 ++-----
frama-clang.opam.template | 5 +----
3 files changed, 6 insertions(+), 10 deletions(-)
diff --git a/dune-project b/dune-project
index a10ddbd5..781f6d96 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 e0653fa6..afc2cd3b 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 c676354b..9d93d7e4 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: [
-]
--
GitLab