summaryrefslogtreecommitdiff
path: root/build-aux
diff options
context:
space:
mode:
authorLuke T. Shumaker <lukeshu@lukeshu.com>2025-01-27 22:32:10 -0700
committerLuke T. Shumaker <lukeshu@lukeshu.com>2025-01-27 23:05:00 -0700
commit1c0769fdc316a5e2982d8909e713050af223c928 (patch)
treedc4291c162b2299ac9082dc325342b94cad5c75e /build-aux
parent536877a84b6ba93c6c228bee27b2c82691c3d733 (diff)
GNUmakefile: Pull lint/c, lint/all, and lint/unknown out into separate shell scripts
Diffstat (limited to 'build-aux')
-rwxr-xr-xbuild-aux/get-dscname12
-rwxr-xr-xbuild-aux/lint-generic31
-rwxr-xr-xbuild-aux/lint-h19
-rwxr-xr-xbuild-aux/lint-unknown7
4 files changed, 69 insertions, 0 deletions
diff --git a/build-aux/get-dscname b/build-aux/get-dscname
new file mode 100755
index 0000000..c8b3681
--- /dev/null
+++ b/build-aux/get-dscname
@@ -0,0 +1,12 @@
+#!/bin/sh
+# build-aux/get-dscname - Get a file's self-described filename
+#
+# Copyright (C) 2024-2025 Luke T. Shumaker <lukeshu@lukeshu.com>
+# SPDX-License-Identifier: AGPL-3.0-or-later
+
+if [ $# -ne 1 ]; then
+ echo "$0: expected exactly 1 argument"
+ exit 2
+fi
+
+sed -n '1,3{ /^\#!/d; /^<!--$/d; /-\*- .* -\*-/d; s,[/*\# ]*,,; s/ - .*//;p; q; }' -- "$1"
diff --git a/build-aux/lint-generic b/build-aux/lint-generic
new file mode 100755
index 0000000..9f9e0f7
--- /dev/null
+++ b/build-aux/lint-generic
@@ -0,0 +1,31 @@
+#!/bin/sh
+# build-aux/lint-generic - Non-language-specific lint checks
+#
+# Copyright (C) 2024-2025 Luke T. Shumaker <lukeshu@lukeshu.com>
+# SPDX-License-Identifier: AGPL-3.0-or-later
+
+r=0
+for filename in "$@"; do
+ if ! { [ -f "$filename" ] && ! [ -h "$filename" ]; }; then
+ continue
+ fi
+ if ! grep -E -q 'Copyright \(C\) 202[4-9]((-|, )202[5-9])* Luke T. Shumaker' "$filename"; then
+ echo "$filename is missing a copyright statement"; r=1
+ fi
+ if ! grep -q ' SPDX-License-Identifier[:] ' "$filename"; then
+ echo "$filename is missing an SPDX-License-Identifier"; r=1
+ fi
+ dscname_act=$(./build-aux/get-dscname "$filename")
+ dscname_exp=$(echo "$filename" | sed \
+ -e 's,.*/config/,,' \
+ -e 's,.*/config\.h$,config.h,' \
+ -e 's,.*include/,,' \
+ -e 's/\.wip$//')
+ if [ "$dscname_act" != "$dscname_exp" ] && [ "cmd/$dscname_act" != "$dscname_exp" ]; then
+ echo "$filename self-identifies as $dscname_act (expected $dscname_exp)"; r=1
+ fi
+ if grep -n --color=auto "$(printf '\\S\t')" "$filename"; then
+ echo "$filename uses tabs for alignment"; r=1
+ fi
+done
+exit $r
diff --git a/build-aux/lint-h b/build-aux/lint-h
new file mode 100755
index 0000000..965d7d8
--- /dev/null
+++ b/build-aux/lint-h
@@ -0,0 +1,19 @@
+#!/usr/bin/env bash
+# build-aux/lint-h - Lint checks for C header files
+#
+# Copyright (C) 2024-2025 Luke T. Shumaker <lukeshu@lukeshu.com>
+# SPDX-License-Identifier: AGPL-3.0-or-later
+
+r=0
+for filename in "$@"; do
+ dscname=$(./build-aux/get-dscname "$filename")
+ guard=${dscname//'/'/'_'}
+ guard=${guard//'.'/'_'}
+ guard="_${guard^^}_"
+ if ! { grep -Fxq "#ifndef ${guard}" "$filename" &&
+ grep -Fxq "#define ${guard}" "$filename" &&
+ grep -Fxq "#endif /* ${guard} */" "$filename"; }; then
+ echo "$filename does not have ${guard} guard"; r=1
+ fi
+done
+exit $r
diff --git a/build-aux/lint-unknown b/build-aux/lint-unknown
new file mode 100755
index 0000000..59e83c2
--- /dev/null
+++ b/build-aux/lint-unknown
@@ -0,0 +1,7 @@
+#!/bin/sh
+# build-aux/lint-unknown - Lint checks for unknown files
+#
+# Copyright (C) 2024-2025 Luke T. Shumaker <lukeshu@lukeshu.com>
+# SPDX-License-Identifier: AGPL-3.0-or-later
+
+printf "%s: cannot lint unknown file type\n" "$@" >&2