From 86663503a95b4f156776f777daa0f688548e9e54 Mon Sep 17 00:00:00 2001
From: Patrick Baudin <patrick.baudin@cea.fr>
Date: Wed, 21 Sep 2022 11:33:19 +0200
Subject: [PATCH] [ptests] requires dune 3.2
---
dune-project | 2 +-
frama-c-clang.opam | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/dune-project b/dune-project
index 5d099147..cc926b7e 100644
--- a/dune-project
+++ b/dune-project
@@ -1,4 +1,4 @@
-(lang dune 2.9)
+(lang dune 3.2)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ;;
;; This file is part of Frama-Clang ;;
diff --git a/frama-c-clang.opam b/frama-c-clang.opam
index 25c87f16..b48ddefc 100644
--- a/frama-c-clang.opam
+++ b/frama-c-clang.opam
@@ -2,7 +2,7 @@
opam-version: "2.0"
tags: ["formal specification" "C++" "plugins" "ACSL" "ACSL++"]
depends: [
- "dune" {>= "2.9"}
+ "dune" {>= "3.2"}
"frama-c" {>= "25.0" & < "26.0"}
"zarith" {>= "1.5"}
"camlp5"
--
GitLab