Docker build update (#2578)

* cut v from front of deps/k_release to match docker tag

* explicitly state target kore to build kore-exec, kore-repl, and kore-parser. Otherwise only kore-exec builds and make test will not complete

* remove cut for older k_release version formats

Co-authored-by: rv-jenkins <[email protected]>

Author: dopamane

README.md

@@ -60,7 +60,7 @@ Use `docker.sh` to run commands inside the container:
 
 ``` sh
 ./docker/build.sh  # run once when dependencies change
-./docker/run.sh make  # build the backend
+./docker/run.sh make kore  # build the backend
 ./docker/run.sh make test  # run all tests
 ./docker/run.sh make -C test/imp test  # run all tests in test/imp
 ```

docker/build.sh

@@ -1,2 +1,2 @@
 #!/usr/bin/env bash
-docker build --build-arg K_COMMIT=$(cat deps/k_release | cut --delimiter="-" --field="2") --build-arg USER_ID=$(id -u) --build-arg GROUP_ID=$(id -g) -t kore .
+docker build --build-arg K_COMMIT=$(cat deps/k_release | cut -c2- ) --build-arg USER_ID=$(id -u) --build-arg GROUP_ID=$(id -g) -t kore .