diff options
Diffstat (limited to 'Makefile')
| -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 |