From 9332043bf292c8cccd81d107cbca94c41cd84c28 Mon Sep 17 00:00:00 2001 From: Tiago Carvalho Date: Wed, 22 Jul 2020 00:12:39 +0100 Subject: [PATCH] tweak build script --- make.sh | 26 ++++++++++++++++++++++++++ 1 file changed, 26 insertions(+) create mode 100755 make.sh diff --git a/make.sh b/make.sh new file mode 100755 index 0000000..161f667 --- /dev/null +++ b/make.sh @@ -0,0 +1,26 @@ +#!/bin/sh + +usage() { + echo Usage: $0 '[run|build|clean]' +} + +case $1 in + run) + $0 build >&2 || exit 1 + echo '' >&2 && ./Main + ;; + build) + if ! command -v tup >/dev/null; then + echo Error: You need tup installed to build: http://gittup.org/tup/ + exit 1 + fi + tup init 2>/dev/null + tup >&2 + ;; + clean) + rm -f Main *.o *.hi IRC/*.o IRC/*.hi + ;; + *) + usage + ;; +esac