From 468ab432302e9dbb4d59266093af678487e735fe Mon Sep 17 00:00:00 2001 From: Jose Galisteo Date: Wed, 31 Oct 2018 23:22:18 +0100 Subject: [PATCH] Add makefile --- Makefile | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) create mode 100644 Makefile diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..5bf7c6d --- /dev/null +++ b/Makefile @@ -0,0 +1,16 @@ +CRYSTAL_BIN ?= $(shell which crystal) +SHARDS_BIN ?= $(shell which shards) +FP_BIN ?= $(shell which fp) +PREFIX ?= /usr/local + +build: + $(SHARDS_BIN) build --release $(CRFLAGS) +clean: + rm -f ./bin/fp ./bin/fp.dwarf +test: build + $(CRYSTAL_BIN) spec +install: build + mkdir -p $(PREFIX)/bin + cp ./bin/fp $(PREFIX)/bin +reinstall: build + cp ./bin/fp $(FP_BIN) -rf