From 8386d625424c7fc9ae97db881148e0b3114e647a Mon Sep 17 00:00:00 2001
From: Guy Repta <50716988+gtrepta@users.noreply.github.com>
Date: Mon, 7 Oct 2024 15:35:50 -0500
Subject: [PATCH] More explicit path resolution

---
 find-k.mak | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/find-k.mak b/find-k.mak
index ada6f15..5df1920 100644
--- 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