copy dist folder and promote executable with dune

docs/user-guide/inspecting.md

@@ -19,7 +19,7 @@ For the initial setup:
 To build GobView (also for development):
 
 1. Run `make view` in the analyzer directory to build the web UI
-2. The executable `goblint-http` takes the analyzer directory and additional Goblint configurations such as the files to be analyzed as parameters. Run it e.g. with the following command:\
-`./goblint-http tests/regression/00-sanity/01-assert.c`
+2. The executable `goblint-http.exe` takes the analyzer directory and additional Goblint configurations such as the files to be analyzed as parameters. Run it e.g. with the following command:\
+`./goblint-http.exe tests/regression/00-sanity/01-assert.c`
 
 3. Visit <http://localhost:8080>

make.sh

@@ -35,12 +35,7 @@ rule() {
       cp _build/default/$TARGET.exe goblint
     ;; view)
       eval $(opam config env)
-      dune build gobview &&
-      rm -f goblint-http &&
-      cp ./_build/default/gobview/goblint-http-server/goblint_http.exe goblint-http &&
-      rm -rf gobview/_dist &&
-      mkdir gobview/_dist
-      cp ./_build/default/gobview/dist/* gobview/_dist/
+      dune build gobview
     # alternatives to .exe: .bc (bytecode), .bc.js (js_of_ocaml), see https://dune.readthedocs.io/en/stable/dune-files.html#executable
     ;; js) # https://dune.readthedocs.io/en/stable/jsoo.html
       dune build $TARGET.bc.js &&