promote executable and copy dist folder with dune

goblint · Jan 30, 2024 · 43d5ad3 · 43d5ad3
1 parent 69a962d
commit 43d5ad3
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/dune b/dune
@@ -3,7 +3,9 @@
  (target dist)
  (deps src/App.bc.js goblint-http-server/goblint_http.exe node_modules webpack.config.js)
  (action
-  (run npx webpack build)))
+  (progn
+   (run npx webpack build)
+   (system "mkdir -p ../../../gobview/_dist && cp -f ./dist/* ../../../gobview/_dist/"))))
 
 (rule
  (targets node_modules)

diff --git a/goblint-http-server/dune b/goblint-http-server/dune
@@ -1,6 +1,7 @@
 (executable
  (name goblint_http)
  (public_name goblint-http)
+ (promote (until-clean) (into ../..))
  (libraries
   batteries.unthreaded
   cohttp