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 31346fd227 - Show all commits

View File

@ -370,7 +370,7 @@ start-%: --ensure-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=//'`; \
./utils/watchrun.sh "$(CONTAINER_FILE)" ./start.sh
--start-hoogle: hoogle.sh
--start-hoogle-backend: hoogle.sh
HOOGLE_PORT=`cat $(CONTAINER_FILE) | grep 'HOOGLE_PORT=' | sed 's/HOOGLE_PORT=//'` ; \
./utils/watchrun.sh "$(CONTAINER_FILE)" ./hoogle.sh