copy gobview distribution files to gobview_dist

goblint · Nov 2, 2023 · a883207 · a883207
1 parent 660a678
commit a883207
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/.gitignore b/.gitignore
@@ -85,6 +85,7 @@ dune-workspace
 # gobview
 run/
 gobview_out/*
+gobview_dist/*
 
 # witnesses
 witness.yml

diff --git a/make.sh b/make.sh
@@ -38,8 +38,8 @@ rule() {
       dune build gobview &&
       rm -f goblint-http &&
       cp ./_build/default/gobview/goblint-http-server/goblint_http.exe goblint-http &&
-      mkdir -p run &&
-      cp -R ./_build/default/gobview/dist/* ./run/
+      mkdir -p gobview_dist &&
+      cp -R ./_build/default/gobview/dist/* ./gobview_dist/
     # 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 &&