From 0d2bfaac8dc666809907d80b88daffb1b56f86ee Mon Sep 17 00:00:00 2001
From: Sarah Vaupel <sarah.vaupel@uniworx.de>
Date: Thu, 17 Oct 2024 05:23:08 +0200
Subject: [PATCH] build(Makefile): inline hoogle.sh (now a oneliner)

---
 Makefile | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index f2df08fb3..985fd51d1 100644
--- a/Makefile
+++ b/Makefile
@@ -401,9 +401,10 @@ start-%: --develop
 	DEV_PORT_HTTP=`cat $(CONTAINER_FILE) | grep 'DEV_PORT_HTTP=' | sed 's/DEV_PORT_HTTP=//'`; \
 	DEV_PORT_HTTPS=`cat $(CONTAINER_FILE) | grep 'DEV_PORT_HTTPS=' | sed 's/DEV_PORT_HTTPS=//'`; \
 	./start.sh
---start-hoogle-backend: hoogle.sh
+--start-hoogle-backend:
 	HOOGLE_PORT=`cat $(CONTAINER_FILE) | grep 'HOOGLE_PORT=' | sed 's/HOOGLE_PORT=//'` ; \
-	./hoogle.sh
+	echo "${HOOGLE_PORT}" ; \
+	stack --work-dir .stack-work-doc hoogle -- -server --local --port $${HOOGLE_PORT}
 
 --start-frontend: static
 	npm run start