From 160e6bf288579e3ac6402829e17f231f547749bd Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Mon, 6 Nov 2023 14:12:29 +0100
Subject: [PATCH] version bump + Frama-C dependencies
---
dune-project | 2 +-
frama-clang.opam | 4 ++--
frama-clang.opam.template | 2 +-
3 files changed, 4 insertions(+), 4 deletions(-)
diff --git a/dune-project b/dune-project
index 781f6d96..4c4e12d9 100644
--- a/dune-project
+++ b/dune-project
@@ -29,7 +29,7 @@
(package (name frama-clang)
(depends
- ("frama-c" (and (>= 27.0~) (< 28.0~)))
+ ("frama-c" (and (>= 28.0~) (< 29.0~)))
("zarith" (>= 1.5))
"camlp5"
"camlp-streams"
diff --git a/frama-clang.opam b/frama-clang.opam
index afc2cd3b..81891251 100644
--- a/frama-clang.opam
+++ b/frama-clang.opam
@@ -3,7 +3,7 @@ opam-version: "2.0"
tags: ["formal specification" "C++" "plugins" "ACSL" "ACSL++"]
depends: [
"dune" {>= "3.2"}
- "frama-c" {>= "27.0~" & < "28.0~"}
+ "frama-c" {>= "28.0~" & < "29.0~"}
"zarith" {>= "1.5"}
"camlp5"
"camlp-streams"
@@ -29,7 +29,7 @@ build: [
["dune" "install" "-p" name "--create-install-files" name]
]
name: "frama-clang"
-version: "0.0.14"
+version: "0.0.15-beta"
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.
diff --git a/frama-clang.opam.template b/frama-clang.opam.template
index 9d93d7e4..fb5e8592 100644
--- a/frama-clang.opam.template
+++ b/frama-clang.opam.template
@@ -1,5 +1,5 @@
name: "frama-clang"
-version: "0.0.14"
+version: "0.0.15-beta"
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.
--
GitLab