aboutsummaryrefslogtreecommitdiff
path: root/aux/checks/repo.sh
blob: 323f68efdaedb4961086a92fa5e428401fb114fc (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
185
186
187
188
#!/bin/sh
set -eu


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

. aux/lib.sh
. aux/checks/repo.env
set -eu

usage() {
	cat <<-'EOF'
		FIXME
	EOF
}

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

assert_installed_files() {
	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

	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

	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
}

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() {
	make clean

	echo 'Asserting "canonical" install path' >&2
	INSTALL1="$(tmpname)"
	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="$(tmpname)"
	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="$(tmpname)"
	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="$(tmpname)"
	INSTALL4="$(tmpname)"
	make install                 DESTDIR="$DESTDIR" PREFIX="$INSTALL4"
	assert_installed_files               "$DESTDIR/$INSTALL4"
	make uninstall               DESTDIR="$DESTDIR" PREFIX="$INSTALL4"
	assert_uninstalled_files             "$DESTDIR/$INSTALL4"
}

check_clean_clone() {
	um
	unreachable
	return 12
	oijwsx
	CLONEDIR="$(tmpname)/$NAME"
	mkdir -p -- "$CLONEDIR"
	cd "$CLONEDIR"

	git clone "$OLDPWD" .

	make dev
	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 check || {
		echo 'Cannot run "make check" without "aux/".' >&2
		echo "Clone directory: $CLONEDIR" >&2
		exit 1 #FIXME
	}

	assert_install
	oijwsx

	cd - > /dev/null
}

check_clean_checkout() {
	set -x
	echo dois
	dois
	CHECKOUTDIR="$(tmpname)/$NAME"
	mkdir -p -- "$CHECKOUTDIR"
	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_insta

	cd - > /dev/null
}

set -eu
# set -eE
D="$(mkdtemp)"

check_clean_clone && echo aaa
exit
if ! check_clean_clone; then
	touch "$D"/clean-clone.err
fi
check_clean_clone
#    || touch "$D"/clean-clone.err
# check_clean_checkout || touch "$D"/clean-checkout.err
# check_no_aux
wait
tree "$D"
if [ "$(find "$D" -name '*.err' | wc -l)" != 0 ]; then
	find "$D" -name '*.err' | while read -r f; do
		cat -- "${f%.err}"
	done
	exit 1
fi