WIP: Draft: Resolve "Use gnumake for uniform dev build system and GitLab CI" #213

Draft
savau wants to merge 540 commits from 145-build-system-rewrite into master
Showing only changes of commit 0d2bfaac8d - Show all commits

View File

@ -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