1#!/bin/sh
2# SPDX-License-Identifier: GPL-2.0+
3#
4# Parse arguments common to the various scripts.
5#
6# . scripts/parseargs.sh
7#
8# Include into other Linux kernel tools/memory-model scripts.
9#
10# Copyright IBM Corporation, 2018
11#
12# Author: Paul E. McKenney <paulmck@linux.ibm.com>
13
14T=/tmp/parseargs.sh.$$
15mkdir $T
16
17# Initialize one parameter: initparam name default
18initparam () {
19	echo if test -z '"$'$1'"' > $T/s
20	echo then >> $T/s
21	echo	$1='"'$2'"' >> $T/s
22	echo	export $1 >> $T/s
23	echo fi >> $T/s
24	echo $1_DEF='$'$1  >> $T/s
25	. $T/s
26}
27
28initparam LKMM_DESTDIR "."
29initparam LKMM_HERD_OPTIONS "-conf linux-kernel.cfg"
30initparam LKMM_HW_MAP_FILE ""
31initparam LKMM_JOBS `getconf _NPROCESSORS_ONLN`
32initparam LKMM_PROCS "3"
33initparam LKMM_TIMEOUT "1m"
34
35scriptname=$0
36
37usagehelp () {
38	echo "Usage $scriptname [ arguments ]"
39	echo "      --destdir path (place for .litmus.out, default by .litmus)"
40	echo "      --herdopts -conf linux-kernel.cfg ..."
41	echo "      --hw AArch64"
42	echo "      --jobs N (number of jobs, default one per CPU)"
43	echo "      --procs N (litmus tests with at most this many processes)"
44	echo "      --timeout N (herd7 timeout (e.g., 10s, 1m, 2hr, 1d, '')"
45	echo "Defaults: --destdir '$LKMM_DESTDIR_DEF' --herdopts '$LKMM_HERD_OPTIONS_DEF' --hw '$LKMM_HW_MAP_FILE' --jobs '$LKMM_JOBS_DEF' --procs '$LKMM_PROCS_DEF' --timeout '$LKMM_TIMEOUT_DEF'"
46	exit 1
47}
48
49usage () {
50	usagehelp 1>&2
51}
52
53# checkarg --argname argtype $# arg mustmatch cannotmatch
54checkarg () {
55	if test $3 -le 1
56	then
57		echo $1 needs argument $2 matching \"$5\"
58		usage
59	fi
60	if echo "$4" | grep -q -e "$5"
61	then
62		:
63	else
64		echo $1 $2 \"$4\" must match \"$5\"
65		usage
66	fi
67	if echo "$4" | grep -q -e "$6"
68	then
69		echo $1 $2 \"$4\" must not match \"$6\"
70		usage
71	fi
72}
73
74while test $# -gt 0
75do
76	case "$1" in
77	--destdir)
78		checkarg --destdir "(path to directory)" "$#" "$2" '.\+' '^--'
79		LKMM_DESTDIR="$2"
80		mkdir $LKMM_DESTDIR > /dev/null 2>&1
81		if ! test -e "$LKMM_DESTDIR"
82		then
83			echo "Cannot create directory --destdir '$LKMM_DESTDIR'"
84			usage
85		fi
86		if test -d "$LKMM_DESTDIR" -a -x "$LKMM_DESTDIR"
87		then
88			:
89		else
90			echo "Directory --destdir '$LKMM_DESTDIR' insufficient permissions to create files"
91			usage
92		fi
93		shift
94		;;
95	--herdopts|--herdopt)
96		checkarg --destdir "(herd7 options)" "$#" "$2" '.*' '^--'
97		LKMM_HERD_OPTIONS="$2"
98		shift
99		;;
100	--hw)
101		checkarg --hw "(.map file architecture name)" "$#" "$2" '^[A-Za-z0-9_-]\+' '^--'
102		LKMM_HW_MAP_FILE="$2"
103		shift
104		;;
105	-j[1-9]*)
106		njobs="`echo $1 | sed -e 's/^-j//'`"
107		trailchars="`echo $njobs | sed -e 's/[0-9]\+\(.*\)$/\1/'`"
108		if test -n "$trailchars"
109		then
110			echo $1 trailing characters "'$trailchars'"
111			usagehelp
112		fi
113		LKMM_JOBS="`echo $njobs | sed -e 's/^\([0-9]\+\).*$/\1/'`"
114		;;
115	--jobs|--job|-j)
116		checkarg --jobs "(number)" "$#" "$2" '^[1-9][0-9]*$' '^--'
117		LKMM_JOBS="$2"
118		shift
119		;;
120	--procs|--proc)
121		checkarg --procs "(number)" "$#" "$2" '^[0-9]\+$' '^--'
122		LKMM_PROCS="$2"
123		shift
124		;;
125	--timeout)
126		checkarg --timeout "(timeout spec)" "$#" "$2" '^\([0-9]\+[smhd]\?\|\)$' '^--'
127		LKMM_TIMEOUT="$2"
128		shift
129		;;
130	--)
131		shift
132		break
133		;;
134	*)
135		echo Unknown argument $1
136		usage
137		;;
138	esac
139	shift
140done
141if test -z "$LKMM_TIMEOUT"
142then
143	LKMM_TIMEOUT_CMD=""; export LKMM_TIMEOUT_CMD
144else
145	LKMM_TIMEOUT_CMD="timeout $LKMM_TIMEOUT"; export LKMM_TIMEOUT_CMD
146fi
147rm -rf $T
148