From c883d781bd2416b5283f53273266015646b00a4b Mon Sep 17 00:00:00 2001
From: Aster Boese <asterboese@mailbox.org>
Date: Thu, 16 Apr 2026 21:42:56 +0200
Subject: [PATCH] ci: grep: enforce installing kernel modules to
 `/usr/lib/modules/`

Signed-off-by: Aster Boese <asterboese@mailbox.org>
Part-of: <https://gitlab.postmarketos.org/postmarketOS/pmaports/-/merge_requests/8374>
---
 .ci/grep.sh | 28 ++++++++++++++++++++++++++++
 1 file changed, 28 insertions(+)

diff --git a/.ci/grep.sh b/.ci/grep.sh
index 57f44d4e3..19a58b515 100755
--- a/.ci/grep.sh
+++ b/.ci/grep.sh
@@ -130,6 +130,34 @@ if [ -n "$CI_MERGE_REQUEST_DIFF_BASE_SHA" ]; then
 		fi
 	fi
 
+	# Find all moved, added, or generally modified kernel APKBUILDs
+	MODIFIED_KERNEL_PACKAGES=$(git show --pretty="" --name-only --diff-filter=AMR "$CI_MERGE_REQUEST_DIFF_BASE_SHA"..HEAD | grep "device/\(main\|community\|testing\|downstream\)/linux-.*/APKBUILD" || true)
+
+	if [ -n "$MODIFIED_KERNEL_PACKAGES" ]; then
+		# Disallow installing kernel modules outside /usr/
+		_bad_module_path_packages=""
+		for package in $MODIFIED_KERNEL_PACKAGES; do
+			# Check for INSTALL_MOD_PATH being set
+			if grep -qr 'INSTALL_MOD_PATH="$pkgdir"' "$package"; then
+				# Check if INSTALL_MOD_PATH is set to install to usr
+				if ! grep -qr 'INSTALL_MOD_PATH="$pkgdir"/usr' "$package"; then
+					# If INSTALL_MOD_PATH doesn't include usr, add package to list and
+					# setup failure
+					_bad_module_path_packages="$_bad_module_path_packages $package"
+					_module_error=1
+				fi
+			fi
+		done
+		# Fail with error and pretty print bad packages for logging
+		if [ -n "$_module_error" ]; then
+			echo "ERROR: Please set INSTALL_MOD_PATH to '\"\$pkgdir\"/usr'."
+			for package in $_bad_module_path_packages; do
+				printf "$package\n"
+			done
+			exit_code=1
+		fi
+	fi
+
 	# Disallow adding packages without a maintainer set
 	NEW_APKBUILDS=$(git show --pretty="" --name-only --diff-filter=A "$CI_MERGE_REQUEST_DIFF_BASE_SHA"..HEAD | grep APKBUILD || true)