diff options
| author | Jonas Kohl | 2024-07-20 13:32:45 +0200 |
|---|---|---|
| committer | Jonas Kohl | 2024-07-20 13:32:45 +0200 |
| commit | 19cca027b9f7ee21215e0e5fca8568dcf01853c1 (patch) | |
| tree | 083a64ed32544734edd4fa529efd22d1326e61cf | |
| parent | cfe4149bc1a37faa5144215a3fbbcc41b4fd67d7 (diff) | |
Add ability to change dev server binding
| -rw-r--r-- | Makefile | 11 |
1 files changed, 10 insertions, 1 deletions
@@ -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 |