From d1055282efabab1a48cc24289b293dc64b74b6ad Mon Sep 17 00:00:00 2001
From: Kevin Daudt <me@ikke.info>
Date: Sun, 19 May 2019 11:00:41 +0200
Subject: [PATCH] implement build system based on redo

---
 .gitignore     |  1 +
 build.do       |  1 +
 clean.do       |  3 +++
 conf           |  3 +++
 default.man.do |  1 +
 install.do     | 28 ++++++++++++++++++++++++++++
 manpages.do    |  3 +++
 7 files changed, 40 insertions(+)
 create mode 100644 .gitignore
 create mode 100644 build.do
 create mode 100644 clean.do
 create mode 100644 conf
 create mode 100644 default.man.do
 create mode 100644 install.do
 create mode 100644 manpages.do

diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..1f3d32e
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1 @@
+.redo
diff --git a/build.do b/build.do
new file mode 100644
index 0000000..ff1cf3e
--- /dev/null
+++ b/build.do
@@ -0,0 +1 @@
+redo-ifchange manpages
diff --git a/clean.do b/clean.do
new file mode 100644
index 0000000..369ac94
--- /dev/null
+++ b/clean.do
@@ -0,0 +1,3 @@
+. ./conf
+
+rm $MAN_1_PAGES $MAN_5_PAGES
diff --git a/conf b/conf
new file mode 100644
index 0000000..3c55a00
--- /dev/null
+++ b/conf
@@ -0,0 +1,3 @@
+MAN_5_PAGES="alint.5.man"
+MAN_1_PAGES="apkbuild-lint.1.man aports-lint.1.man"
+BINARIES="apkbuild-lint aports-lint"
diff --git a/default.man.do b/default.man.do
new file mode 100644
index 0000000..e41c21d
--- /dev/null
+++ b/default.man.do
@@ -0,0 +1 @@
+scdoc <"$2".scd >$3
diff --git a/install.do b/install.do
new file mode 100644
index 0000000..bdeb393
--- /dev/null
+++ b/install.do
@@ -0,0 +1,28 @@
+. ./conf
+
+: ${DESTDIR:=NONE}
+: ${PREFIX:=/usr}
+: ${MANDIR:=$DESTDIR$PREFIX/share/man}
+: ${BINDIR:=$DESTDIR$PREFIX/bin}
+
+if [ "$DESTDIR" = "NONE" ]; then
+	echo "$0: fatal: set DESTDIR before trying to install." >&2
+	exit 99
+fi
+
+redo-ifchange build
+
+for page in $MAN_1_PAGES
+do
+    install -Dm0644 "$page" "$MANDIR"/man1/"${page%*.man}"
+done
+
+for page in $MAN_5_PAGES
+do
+    install -Dm0644 "$page" "$MANDIR"/man5/"${page%*.man}"
+done
+
+for binary in $BINARIES
+do
+    install -Dm0755 "$binary" "$BINDIR/$binary"
+done
diff --git a/manpages.do b/manpages.do
new file mode 100644
index 0000000..466c69e
--- /dev/null
+++ b/manpages.do
@@ -0,0 +1,3 @@
+. ./conf
+
+redo-ifchange $MAN_1_PAGES $MAN_5_PAGES
-- 
GitLab