More explicit path resolution

runtimeverification · Oct 7, 2024 · 8386d62 · 8386d62
1 parent 6d9e534
commit 8386d62
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/find-k.mak b/find-k.mak
@@ -9,7 +9,7 @@ export K_HOME?=/usr
 else ifneq (,$(wildcard /usr/local/include/kframework/ktest.mak))
 export K_HOME?=/usr/local
 else ifneq (,$(shell which kompile))
-export K_HOME?=$(abspath $(shell which kompile)/../..)
+export K_HOME?=$(abspath $(dir $(shell which kompile))/..)
 else
 $(error "Could not find installation of K. Please set K_HOME environment variable to your K installation.")
 endif