From 1e1c46ac72eec83cbb99f0f1887492cb9d4429eb Mon Sep 17 00:00:00 2001 From: Evgeny Chernyavskiy Date: Fri, 3 Apr 2020 15:56:11 -0400 Subject: [PATCH] Add basic Makefile. --- Makefile | 39 +++++++++++++++++++++++++++++++++++++++ 1 file changed, 39 insertions(+) create mode 100644 Makefile diff --git a/Makefile b/Makefile new file mode 100644 index 00000000..8c5dcfbf --- /dev/null +++ b/Makefile @@ -0,0 +1,39 @@ +ROOT_DIRECTORY = $(shell dirname "$(realpath $(lastword $(MAKEFILE_LIST)))") +PHP := $(shell which php) +PORT := 8000 + + +.DEFAULT_GOAL := default + + +.PHONY: default +default: compile + +.PHONY: compile +compile: + $(PHP) $(ROOT_DIRECTORY)/compile.php + +.PHONY: server +server: + php \ + --server 127.0.0.1:$(PORT) \ + --docroot $(ROOT_DIRECTORY) + +.PHONY: initialize +initialize: + git \ + -C $(ROOT_DIRECTORY) \ + submodule \ + update \ + --init \ + --recursive + +.PHONY: clean +clean: + rm \ + --recursive \ + --force \ + $(ROOT_DIRECTORY)/adminer.php + +.PHONY: clean.all +clean.all: clean