Skip to content
Snippets Groups Projects
Commit 37978d6c authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

[opam] update dependencies for package

parent c3f1e5c1
Branches stable/cobalt
Tags 0.0.14
No related merge requests found
...@@ -34,7 +34,9 @@ ...@@ -34,7 +34,9 @@
"camlp5" "camlp5"
"camlp-streams" "camlp-streams"
("conf-llvm" (>= 11.0.0)) ; note: includes depexts ("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 "conf-cmake" ; note: includes depexts
) )
(tags ("formal specification" "C++" "plugins" "ACSL" "ACSL++")) (tags ("formal specification" "C++" "plugins" "ACSL" "ACSL++"))
......
...@@ -8,7 +8,7 @@ depends: [ ...@@ -8,7 +8,7 @@ depends: [
"camlp5" "camlp5"
"camlp-streams" "camlp-streams"
"conf-llvm" {>= "11.0.0"} "conf-llvm" {>= "11.0.0"}
"conf-libclang" {>= "11" & = conf-llvm:version} "conf-libclang-cpp" {>= "11.0.0"}
"conf-cmake" "conf-cmake"
"odoc" {with-doc} "odoc" {with-doc}
] ]
...@@ -29,7 +29,7 @@ build: [ ...@@ -29,7 +29,7 @@ build: [
["dune" "install" "-p" name "--create-install-files" name] ["dune" "install" "-p" name "--create-install-files" name]
] ]
name: "frama-clang" name: "frama-clang"
version: "0.0.13" version: "0.0.14"
synopsis: "Frama-C plug-in based on Clang for parsing C++ files" synopsis: "Frama-C plug-in based on Clang for parsing C++ files"
description: """ description: """
This Frama-C plug-in parse C++ files that may content ACSL++ annotations. This Frama-C plug-in parse C++ files that may content ACSL++ annotations.
...@@ -41,6 +41,3 @@ authors: [ ...@@ -41,6 +41,3 @@ authors: [
license: "LGPL-2.1-only" license: "LGPL-2.1-only"
homepage: "https://frama-c.com/frama-clang.html" homepage: "https://frama-c.com/frama-clang.html"
bug-reports: "https://git.frama-c.com/pub/frama-clang" bug-reports: "https://git.frama-c.com/pub/frama-clang"
messages: [
]
name: "frama-clang" name: "frama-clang"
version: "0.0.13" version: "0.0.14"
synopsis: "Frama-C plug-in based on Clang for parsing C++ files" synopsis: "Frama-C plug-in based on Clang for parsing C++ files"
description: """ description: """
This Frama-C plug-in parse C++ files that may content ACSL++ annotations. This Frama-C plug-in parse C++ files that may content ACSL++ annotations.
...@@ -11,6 +11,3 @@ authors: [ ...@@ -11,6 +11,3 @@ authors: [
license: "LGPL-2.1-only" license: "LGPL-2.1-only"
homepage: "https://frama-c.com/frama-clang.html" homepage: "https://frama-c.com/frama-clang.html"
bug-reports: "https://git.frama-c.com/pub/frama-clang" bug-reports: "https://git.frama-c.com/pub/frama-clang"
messages: [
]
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment