From 7816ae171414c53c38e69b05f5298cf614a541fa Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Thu, 5 Oct 2023 12:21:58 +0200
Subject: [PATCH] [dev] more bump constraints on dune files generated by
build-scripts
---
bin/frama-c-build-scripts.sh | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/bin/frama-c-build-scripts.sh b/bin/frama-c-build-scripts.sh
index 2ecb83522fe..01da991eb03 100755
--- a/bin/frama-c-build-scripts.sh
+++ b/bin/frama-c-build-scripts.sh
@@ -85,13 +85,13 @@ SCRIPT_LIBS=""
###############
DuneProject () {
- echo "(lang dune 3.0)"
+ echo "(lang dune 3.3)"
echo "(generate_opam_files true)"
echo "(name ${PACKAGE})"
echo "(maintainers \"anonymous\")"
echo "(package (name ${PACKAGE})"
echo " (depends"
- echo " (\"frama-c\" (>= 26.0))"
+ echo " (\"frama-c\" (>= 27.0))"
echo " )"
echo " (tags (\"Frama-C scripts\"))"
echo ")"
--
GitLab