diff --git a/bin/frama-c-build-scripts.sh b/bin/frama-c-build-scripts.sh index 2ecb83522feb30b8776644520f430a6cd2f08a09..01da991eb03fb57527facae00ff1859d45d658f5 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 ")"