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

[config] make dune >= 3.3 mandatory

parent e7718ec0
No related branches found
No related tags found
No related merge requests found
(lang dune 3.2) (lang dune 3.3)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ;; ;; ;;
;; This file is part of Frama-C. ;; ;; This file is part of Frama-C. ;;
......
...@@ -119,7 +119,7 @@ run-test: [ ...@@ -119,7 +119,7 @@ run-test: [
] ]
depends: [ depends: [
"dune" { >= "3.2.0" | (>= "3.5.0" & os="macos") } "dune" { >= "3.3.0" | (>= "3.5.0" & os="macos") }
"dune-configurator" "dune-configurator"
"dune-site" "dune-site"
......
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