aboutsummaryrefslogtreecommitdiff
path: root/aux/workflow/repocheck.sh
blob: 688410ab605ce9717d6dd30d90b1b46b7597d02c (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
#!/bin/sh
set -eu

if [ -n "${RECURSIVE_CHECK:-}" ]; then
	exit
fi
export RECURSIVE_CHECK=true

. aux/lib.sh

REPODIR="$PWD"

INSTALLCHECK=false
while getopts 'x:l:f:' flag; do
	case "$flag" in
		x)
			EXECUTABLES="$OPTARG"
			INSTALLCHECK=true
			;;
		l)
			SYMLINKS="$OPTARG"
			INSTALLCHECK=true
			;;
		f)
			FILES="$OPTARG"
			INSTALLCHECK=true
			;;
		*)
			exit 2
			;;
	esac
done
shift $((OPTIND - 1))

assert_no_diffs() {
	if [ -n "$(git status -s)" ]; then
		echo 'Repository left dirty.' >&2
		git status >&2
		exit 1
	fi
}

assert_installed_files() {
	if [ -n "${EXECUTABLES:-}" ]; then
		ACTUAL="$(find "$1" -type f -perm -u=x | wc -l)"
		if [ "$EXECUTABLES" != "$ACTUAL" ]; then
			printf 'Expected %s executables, found %s:\n' \
				"$EXECUTABLES" "$ACTUAL" >&2
			echo "find $1 -type f -perm -u=x:" >&2
			find "$1" -type f -perm -u=x >&2
			exit 1
		fi
	fi

	if [ -n "${SYMLINKS:-}" ]; then
		ACTUAL="$(find "$1" -type l | wc -l)"
		if [ "$SYMLINKS" != "$ACTUAL" ]; then
			printf 'Expected %s symlinks, found %s:\n' \
				"$SYMLINKS" "$ACTUAL" >&2
			echo "find $1 -type l:" >&2
			find "$1" -type l >&2
			exit 1
		fi
	fi

	if [ -n "${FILES:-}" ]; then
		ACTUAL="$(find "$1" -type f | wc -l)"
		if [ "$FILES" != "$ACTUAL" ]; then
			printf 'Expected %s files, found %s:\n' \
				"$FILES" "$ACTUAL" >&2
			echo "find $1 -type f:" >&2
			find "$1" -type f >&2
			exit 1
		fi
	fi
}

assert_uninstalled_files() {
	if [ "$(find "$1" \( -type f -o -type l \) | wc -l)" != 0 ]; then
		echo 'Left-over files after uninstall' >&2
		echo "find $1 \( -type f -o -type l \):"
		find "$1" \( -type f -o -type l \)
		exit 1
	fi
}

assert_install() {
	if [ "$INSTALLCHECK" != 'true' ]; then
		return
	fi

	make clean

	echo 'Asserting "canonical" install path' >&2
	INSTALL1="$(mkdtemp)"
	make                         PREFIX="$INSTALL1"
	make check                   PREFIX="$INSTALL1"
	make install                 PREFIX="$INSTALL1"
	assert_installed_files              "$INSTALL1"
	make uninstall               PREFIX="$INSTALL1"
	assert_uninstalled_files            "$INSTALL1"

	make clean

	echo 'Asserting "straigh-forward" install path' >&2
	INSTALL2="$(mkdtemp)"
	make install                 PREFIX="$INSTALL2"
	assert_installed_files              "$INSTALL2"
	make uninstall               PREFIX="$INSTALL2"
	assert_uninstalled_files            "$INSTALL2"

	make clean

	echo 'Asserting "idempotent" install path' >&2
	INSTALL3="$(mkdtemp)"
	make install                 PREFIX="$INSTALL3"
	make install                 PREFIX="$INSTALL3"
	assert_installed_files              "$INSTALL3"
	make uninstall               PREFIX="$INSTALL3"
	make uninstall               PREFIX="$INSTALL3"
	assert_uninstalled_files            "$INSTALL3"

	make clean

	echo 'Asserting "destdir" install path' >&2
	DESTDIR="$(mkdtemp)"
	INSTALL4="$(mkdtemp)"
	make install                 DESTDIR="$DESTDIR" PREFIX="$INSTALL4"
	assert_installed_files               "$DESTDIR/$INSTALL4"
	make uninstall               DESTDIR="$DESTDIR" PREFIX="$INSTALL4"
	assert_uninstalled_files             "$DESTDIR/$INSTALL4"
}

assert_clean_clone() {
	CLONEDIR="$(mkdtemp)"
	cd "$CLONEDIR"

	git clone "$REPODIR" .

	make clean public dev-check
	assert_no_diffs
	make clean
	assert_no_diffs

	if [ -n "$(git clean -ffdx --dry-run)" ]; then
		echo '"make clean" left files:' >&2
		git clean -ffdx --dry-run >&2
		echo "Clone directory: $CLONEDIR" >&2
		exit 1
	fi

	rm -rf aux/
	make clean check || {
		echo 'Cannot run "make check" without "aux/".' >&2
		echo "Clone directory: $CLONEDIR" >&2
		exit 1
	}

	assert_install

	cd - > /dev/null
}

assert_clean_checkout() {
	CHECKOUTDIR="$(mkdtemp)"
	git --work-tree="$CHECKOUTDIR" checkout HEAD -- .
	cd "$CHECKOUTDIR"

	FILECOUNT="$(find . -type f | wc -l)"
	make clean public dev-check
	make clean
	if [ "$FILECOUNT" != "$(find . -type f | wc -l)" ]; then
		echo 'File count mismatch after "make clean".' >&2
		echo "Checkout directory: $CHECKOUTDIR" >&2
		exit 1
	fi

	assert_install

	cd - > /dev/null
}

assert_clean_clone
assert_clean_checkout