Remove references to k-frontend Makefile target (#2398)

* Remove references to k-frontend Makefile target

* scripts/deps.sh: Remove reference to k-frontend target

* scripts/integration-k.sh: Remove reference to k-frontend target

Author: ttuegel

Makefile

@@ -1,6 +1,6 @@
 include include.mk
 
-.PHONY: all clean docs haddock jenkins k-frontend \
+.PHONY: all clean docs haddock \
         test test-kore test-k \
         kore-exec kore-repl
 
@@ -12,8 +12,6 @@ kore-repl: $(KORE_REPL)
 
 kore-parser: $(KORE_PARSER)
 
-k-frontend: $(K)
-
 docs: haddock
 
 haddock:
@@ -32,7 +30,7 @@ haddock:
 haskell_documentation: haddock
 	cp -r $$($(STACK_HADDOCK) path --local-doc-root) haskell_documentation
 
-all: kore k-frontend
+all: kore
 
 test: test-kore test-k
 

scripts/build.sh

@@ -2,13 +2,6 @@
 
 set -exuo pipefail
 
-export TOP=${TOP:-$(git rev-parse --show-toplevel)}
-export PATH="$(stack path --local-bin)${PATH:+:$PATH}"
-
-MAKE="make -O -j --directory $TOP"
-
 # Dockerfile caches only snapshot dependencies.
 # Make non-snapshot dependencies available early.
 stack build --only-dependencies --test --no-run-tests --bench --no-run-benchmarks
-
-$MAKE k-frontend

scripts/deps.sh

@@ -21,5 +21,5 @@ else
     MAKE="make -j ${JOBS:?} -C $TOP"
 fi
 
-$MAKE kore k-frontend
+$MAKE kore
 $MAKE test-k