Bump dune lower bound to 3.0

Author: sim642

dune-project

@@ -1,4 +1,5 @@
 (lang dune 2.9)
+; cannot move to 3.0 due to ppx_blob: https://github.com/johnwhitington/ppx_blob/issues/23
 ; need 2.9 for dune-site to work with opam install: https://github.com/ocaml/dune/issues/4212, https://github.com/ocaml/dune/pull/4645, https://github.com/ocaml/dune/pull/4774
 (using dune_site 0.1)
 (cram enable)
@@ -25,7 +26,7 @@
   (synopsis "Static analysis framework for C")
   (depends
     (ocaml (>= 4.10))
-    (dune (>= 2.9.1)) ; explicit lower bound needed for opam install (https://github.com/ocaml/dune/pull/4806), (lang dune 2.9.1) doesn't do this
+    (dune (>= 3.0)) ; 3.0 lower bound needed in tests/extraction ; 2.9.1 explicit lower bound needed for opam install (https://github.com/ocaml/dune/pull/4806), (lang dune 2.9.1) doesn't do this
     (goblint-cil (>= 2.0.0)) ; TODO no way to define as pin-depends? Used goblint.opam.template to add it for now. https://github.com/ocaml/dune/issues/3231. Alternatively, removing this line and adding cil as a git submodule and `(vendored_dirs cil)` as ./dune also works. This way, no more need to reinstall the pinned cil opam package on changes. However, then cil is cleaned and has to be rebuild together with goblint.
     (batteries (>= 3.4.0))
     (zarith (>= 1.8))

goblint.opam

@@ -20,7 +20,7 @@ doc: "https://goblint.readthedocs.io/en/latest/"
 bug-reports: "https://github.com/goblint/analyzer/issues"
 depends: [
   "ocaml" {>= "4.10"}
-  "dune" {>= "2.9.1"}
+  "dune" {>= "3.0"}
   "goblint-cil" {>= "2.0.0"}
   "batteries" {>= "3.4.0"}
   "zarith" {>= "1.8"}