From 2a543f57859d33a0ffc0df9fc349fb26a934a878 Mon Sep 17 00:00:00 2001
From: stilscher <66023521+stilscher@users.noreply.github.com>
Date: Tue, 30 Jan 2024 18:41:48 +0100
Subject: [PATCH] copy dist folder and promote executable with dune

---
 docs/user-guide/inspecting.md | 4 ++--
 make.sh                       | 7 +------
 2 files changed, 3 insertions(+), 8 deletions(-)

diff --git a/docs/user-guide/inspecting.md b/docs/user-guide/inspecting.md
index c03f4c8be9..9df965381f 100644
--- a/docs/user-guide/inspecting.md
+++ b/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>
diff --git a/make.sh b/make.sh
index 9eee68325b..75da2b154b 100755
--- a/make.sh
+++ b/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 &&