From 16af583b2666cc1c24203237c69e3cd4d567faf3 Mon Sep 17 00:00:00 2001
From: Julian Hurst <julian.hurst92@gmail.com>
Date: Wed, 15 Jun 2022 10:39:03 +0200
Subject: Initial commit

---
 Makefile | 47 +++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 47 insertions(+)
 create mode 100644 Makefile

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
new file mode 100644
index 0000000..ef9e49f
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,47 @@
+.POSIX:
+.SUFFIXES:
+HARE=hare
+HAREFLAGS=
+HAREDOC=haredoc
+
+DESTDIR=
+PREFIX=/usr/local
+SRCDIR=$(PREFIX)/src
+HARESRCDIR=$(SRCDIR)/hare
+THIRDPARTYDIR=$(HARESRCDIR)/third-party
+
+all:
+	@true # no-op
+
+check:
+	$(HARE) test
+
+clean:
+	rm -rf docs
+
+docs:
+	mkdir -p docs/libtui/layout/vlayout
+	mkdir -p docs/libtui/widget/list
+	mkdir -p docs/libtui/widget/ed
+	$(HAREDOC) -Fhtml libtui > docs/libtui/index.html
+	$(HAREDOC) -Fhtml libtui::layout > docs/libtui/layout/index.html
+	$(HAREDOC) -Fhtml libtui::layout::vlayout > docs/libtui/layout/vlayout/index.html
+	$(HAREDOC) -Fhtml libtui::widget > docs/libtui/widget/index.html
+	$(HAREDOC) -Fhtml libtui::widget::list > docs/libtui/widget/list/index.html
+	$(HAREDOC) -Fhtml libtui::widget::ed > docs/libtui/widget/ed/index.html
+
+install:
+	mkdir -p "$(DESTDIR)$(THIRDPARTYDIR)"
+	cp -r libtui "$(DESTDIR)$(THIRDPARTYDIR)"/libtui
+	chmod -R 644 "$(DESTDIR)$(THIRDPARTYDIR)"/libtui/*
+	chmod 755 "$(DESTDIR)$(THIRDPARTYDIR)"/libtui
+	chmod 755 "$(DESTDIR)$(THIRDPARTYDIR)"/libtui/layout
+	chmod 755 "$(DESTDIR)$(THIRDPARTYDIR)"/libtui/layout/vlayout
+	chmod 755 "$(DESTDIR)$(THIRDPARTYDIR)"/libtui/widget
+	chmod 755 "$(DESTDIR)$(THIRDPARTYDIR)"/libtui/widget/list
+	chmod 755 "$(DESTDIR)$(THIRDPARTYDIR)"/libtui/widget/ed
+
+uninstall:
+	rm -rf $(DESTDIR)$(THIRDPARTYDIR)/libtui
+
+.PHONY: all clean check docs install uninstall
-- 
cgit v1.2.3