let dist files be copied in make.sh

goblint · Dec 8, 2023 · 69a962d · 69a962d
1 parent a5ef30d
commit 69a962d
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 3 deletions.
diff --git a/.gitignore b/.gitignore
@@ -24,7 +24,8 @@
 .LSOverride
 
 # Icon must end with two \r
-Icon
+Icon
+
 
 # Thumbnails
 ._*
@@ -170,6 +171,9 @@ dist
 # ocamlbuild working directory
 _build/
 
+# distribution files
+_dist/
+
 # ocamlbuild targets
 *.byte
 *.native

diff --git a/dune b/dune
@@ -1,6 +1,6 @@
 (rule
  (alias gobview)
- (mode promote)
+ (target dist)
  (deps src/App.bc.js goblint-http-server/goblint_http.exe node_modules webpack.config.js)
  (action
   (run npx webpack build)))

diff --git a/goblint-http-server/goblint_http.ml b/goblint-http-server/goblint_http.ml
@@ -6,7 +6,7 @@ open Lwt.Infix
 module Yojson_conv = Ppx_yojson_conv_lib.Yojson_conv
 
 let docroot = ref "run"
-let distroot = ref "gobview/dist"
+let distroot = ref "gobview/_dist"
 let index = ref "index.html"
 let addr = ref "127.0.0.1"
 let port = ref 8080