From 19cca027b9f7ee21215e0e5fca8568dcf01853c1 Mon Sep 17 00:00:00 2001 From: Jonas Kohl Date: Sat, 20 Jul 2024 13:32:45 +0200 Subject: Add ability to change dev server binding --- Makefile | 11 ++++++++++- 1 file changed, 10 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index ae56b92..43ace06 100644 --- a/Makefile +++ b/Makefile @@ -1,6 +1,15 @@ SRCFILES:=$(shell find src/pages/ -type f -name '*.php') HTMLTARGETS:=$(SRCFILES:src/pages/%.php=build/%.html) +DEV_SERVER_BINDING?=127.0.0.1:19310 + +foo: $(objects) +ifeq ($(CC),gcc) + $(CC) -o foo $(objects) $(libs_for_gcc) +else + $(CC) -o foo $(objects) $(normal_libs) +endif + .PHONY: build/static publish dev-server all: $(HTMLTARGETS) $(STATICFILES) build/static @@ -26,4 +35,4 @@ publish-all: publish publish-http dev-server: @bash -c 'echo -e "\e[91mWARNING: This server should only be used for \ development purposes! IT IS NOT PRODUCTION-SAFE! USE WITH CAUTION!\e[0m"' - php -S 127.0.0.1:19310 dev-server.php + php -S "$(DEV_SERVER_BINDING)" dev-server.php -- cgit v1.2.3