diff --git a/dune b/dune index f4f59bd..09e9580 100644 --- a/dune +++ b/dune @@ -1,12 +1,12 @@ (rule (alias gobview) - (targets dist) - (deps src/App.bc.js node_modules webpack.config.js) + (targets (dir dist)) + (deps src/App.bc.js node_modules webpack.config.js (sandbox always)) (action (run npx webpack build))) (rule - (targets node_modules) - (deps package-lock.json) + (targets (dir node_modules)) + (deps package.json package-lock.json (sandbox always)) (action (run npm ci))) diff --git a/dune-project b/dune-project index ddd94d9..95e9feb 100644 --- a/dune-project +++ b/dune-project @@ -1,4 +1,5 @@ -(lang dune 2.7) +(lang dune 3.0) +(using directory-targets 0.1) (name gobview) diff --git a/gobview.opam b/gobview.opam index 218d25f..49e657d 100644 --- a/gobview.opam +++ b/gobview.opam @@ -12,7 +12,7 @@ license: "MIT" homepage: "https://github.com/goblint/gobview" bug-reports: "https://github.com/goblint/gobview/issues" depends: [ - "dune" {>= "2.7"} + "dune" {>= "3.0"} "ocaml" {>= "4.10.0"} "jsoo-react" "goblint-cil" {>= "2.0.0"}