ROOT ?= $(PWD)
HTTP_PORT ?= 49438
HTTP_HOST ?= localhost
PHP_FCGI_PORT ?= 49439


serve: nginx.conf
	nginx -p $(ROOT)/ -c $(ROOT)/$<


serve-php: php.ini
	php-cgi -c $< -b 127.0.0.1:$(PHP_FCGI_PORT)


nginx.conf: nginx.conf.in
	chmod 644 $@ ;
	cat $< |  \
	sed -e 's@__ROOT__@$(ROOT)@g' \
	    -e 's@__HTTP_PORT__@$(HTTP_PORT)@g' \
	    -e 's@__HTTP_HOST__@$(HTTP_HOST)@g' \
	    -e 's@__PHP_FCGI_PORT__@$(PHP_FCGI_PORT)@g' > $@ ;
	chmod 444 $@


php.ini: php.ini.in
	chmod 644 $@ ;
	cat $< | sed -e 's@__ROOT__@$(ROOT)@g' > $@ ;
	chmod 444 $@


.PHONY: serve