From 501419bd4db7c850f75136b170f1a9ee0dff61cd Mon Sep 17 00:00:00 2001
From: Simmo Saan <simmo.saan@gmail.com>
Date: Mon, 22 Aug 2022 09:43:06 +0300
Subject: [PATCH] Use directory targets for node_modules and dist

---
 dune         | 8 ++++----
 dune-project | 3 ++-
 gobview.opam | 2 +-
 3 files changed, 7 insertions(+), 6 deletions(-)

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"}