aboutsummaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authorMohammad Akhlaghi <mohammad@akhlaghi.org>2018-08-11 11:34:41 +0200
committerMohammad Akhlaghi <mohammad@akhlaghi.org>2018-08-11 11:35:41 +0200
commitb42f7bdd034fbc888cf54d1d304c378592c31a8d (patch)
tree6397d7fed7a5d91b991669f3ec250dd47bb747fa /configure
parentf41557ad13796424692ecca525b58fd03fc9dc7a (diff)
Added bash as a dependency to be checked at configure time
While we had set the default Makefile SHELL to be bash, we weren't actually checking if `bash' is available on the system. With this commit, it is also checked at configure time.
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure8
1 files changed, 4 insertions, 4 deletions
diff --git a/configure b/configure
index b9548eb..c776d47 100755
--- a/configure
+++ b/configure
@@ -49,7 +49,7 @@ glconf=$cdir/gnuastro/gnuastro-local.conf
echo "---------------------"
echo "Checking dependencies"
echo "---------------------"
-for prog in cat sed make awk grep flock astnoisechisel pdflatex biber; do
+for prog in bash cat sed make awk grep flock astnoisechisel pdflatex biber; do
if type $prog > /dev/null; then
echo " '$prog' was found."
else
@@ -57,9 +57,9 @@ for prog in cat sed make awk grep flock astnoisechisel pdflatex biber; do
echo "ERROR: '$prog' not found in search path."
if [ $prog = "flock" ]; then
echo
- echo "'flock' is available on GNU/Linux operating system"
- echo "repositories, please install it through your package"
- echo "manager. For other OSs, you can install the "
+ echo "'flock' (file-lock, used for managing parallel operations)"
+ echo "is available on GNU/Linux OSs through your package manager,"
+ echo "please install it. For other OSs, you can install the "
echo "implementation at: https://github.com/discoteq/flock"
fi
exit 1