xref: /relibc/core_io/functions.sh (revision 2da6c7634d974687d6d431d9f70d5a37658e0b09)
1#!/bin/bash
2
3git_file_exists() {
4	[ "$(git ls-tree --name-only $IO_COMMIT -- $1)" = "$1" ]
5}
6
7git_extract() {
8	slashes=${1//[^\/]/}
9	git archive $IO_COMMIT $1|tar xf - -C src/$IO_COMMIT --strip-components=${#slashes}
10}
11
12git_commits_ordered() {
13	format="$1"
14	shift
15	if [ $# -ge 1 ]; then
16		git log --topo-order --no-walk=sorted --date=iso-local --pretty=format:"$format" "$@"
17	fi
18	echo
19}
20
21echo_lines() {
22	for i in "$@"; do
23		echo $i
24	done
25}
26
27get_io_commits() {
28	for COMPILER_COMMIT in $COMPILER_COMMITS; do
29		IO_COMMIT=$(git log -n1 --pretty=format:%H $COMPILER_COMMIT -- src/libstd/io)
30		if ! grep -q $COMPILER_COMMIT mapping.rs; then
31			echo "-Mapping(\"$COMPILER_COMMIT\",\"$IO_COMMIT\")" >> mapping.rs
32		fi
33		echo $IO_COMMIT
34	done
35}
36
37get_patch_commits() {
38	find $PATCH_DIR -type f -printf %f\\n|cut -d. -f1
39}
40
41prepare_version() {
42	mkdir src/$IO_COMMIT
43	git_extract src/libstd/io/
44	if git_file_exists src/libcore/slice/memchr.rs; then
45		true
46	elif git_file_exists src/libstd/sys_common/memchr.rs; then
47		git_extract src/libstd/sys_common/memchr.rs
48	elif git_file_exists src/libstd/sys/common/memchr.rs; then
49		git_extract src/libstd/sys/common/memchr.rs
50	else
51		git_extract src/libstd/memchr.rs
52	fi
53	rm -f src/$IO_COMMIT/stdio.rs src/$IO_COMMIT/lazy.rs
54}
55
56bold_arrow() {
57	echo -ne '\e[1;36m==> \e[0m'
58}
59
60custom_bashrc() {
61	echo '
62if [ -f ~/.bashrc ]; then . ~/.bashrc; fi
63
64try_patch() {
65	patch -p1 < ../../patches/$1.patch
66}
67'
68}
69
70bash_diff_loop() {
71	bash --rcfile <(custom_bashrc) <> /dev/stderr
72	while git diff --exit-code > /dev/null; do
73		bold_arrow; echo "$1"
74		while true; do
75			bold_arrow; echo -n "(T)ry again or (A)bort? "
76			read answer <> /dev/stderr
77			case "$answer" in
78				[tT])
79					break
80					;;
81				[aA])
82					bold_arrow; echo "Aborting..."
83					exit 1
84					;;
85			esac
86		done
87		bash <> /dev/stderr
88	done
89}
90