From cf03829c503e2ce178eef981ab0248dcb724c550 Mon Sep 17 00:00:00 2001
From: Vekhir <Vekhir@yahoo.com>
Date: Sun, 13 Aug 2023 20:27:42 +0200
Subject: [PATCH] Minor fixes for STP handling

---
 src/vendor/stp/Makefile | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/vendor/stp/Makefile b/src/vendor/stp/Makefile
index eaf413d3f..ee54458a5 100644
--- a/src/vendor/stp/Makefile
+++ b/src/vendor/stp/Makefile
@@ -30,7 +30,7 @@ ifeq ($(STP_USE_LIB),included)      # compile from provided source
     else
         SNAME=libstp_incl.so.1
     endif
-else ifeq ($(STP_USE_LIB),disable)  # disable STP at runtime
+else ifeq ($(STP_USE_LIB),disable)  # disable STP
     SRC = src_stub
     SNAME=libstp_disabled.$(SO)
 else ifeq ($(STP_USE_LIB),system)   # use system STP
@@ -63,8 +63,11 @@ install:
 	ln -fsn HaskellIfc include_hs
 	@# necessary for bsc linker (src/comp/Makefile:51)
 	ln -s "$(SNAME)" lib/libstp.$(SO)
+# put self-compiled library in path where it can be found at runtime
+ifeq ($(SRC), $(findstring $(SRC), src src_stub))
 	install -m 755 -d $(PREFIX)/lib/SAT
 	install -m 644 "lib/$(SNAME)" $(PREFIX)/lib/SAT
+endif
 
 clean:
 	$(MAKE) -C $(SRC) clean