[gnuastro-commits] master 4445501: developer-build: check added to see if bootstrapping has been done

[Mohammad Akhlaghi]

branch: master
commit 444550148fb1aaa84e60995c654a192bc3f244ca
Author: Mohammad Akhlaghi <mohammad@akhlaghi.org>
Commit: Mohammad Akhlaghi <mohammad@akhlaghi.org>

    developer-build: check added to see if bootstrapping has been done
    
    Until now, if the 'developer-build' script was run without bootstrapping,
    it would simply abort with a './configure: No such file or directory'
    error. The configure script is created by the bootstrapping process, but
    that is not directly obvious.
    
    With this commit, a check has been added at the start of the
    'developer-build' script to see if 'configure' exists or not. If it doesn't
    exist, the script stops with a descriptive message, showing how to fix the
    problem (by bootstrapping).
    
    This issue was reported by Sepideh Eskandarlou and Zahra Hosseini.
---
 developer-build | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)

diff --git a/developer-build b/developer-build
index 70c96b4..3b99cc1 100755
--- a/developer-build
+++ b/developer-build
@@ -306,6 +306,27 @@ done
 
 
 
+# Check if the configure script already exists. If not, let the user know
+# what to do.
+if ! [ -f configure ]; then
+    echo "The 'configure' script doesn't exist!"
+    echo "It is created after bootstrapping Gnuastro."
+    echo;
+    echo "The dependencies to bootstrap Gnuastro are described here:"
+    echo "   
https://www.gnu.org/software/gnuastro/manual/html_node/Bootstrapping-dependencies.html";
+    echo;
+    echo "Afterwards, the bootstrapping process is described here:"
+    echo "   
https://www.gnu.org/software/gnuastro/manual/html_node/Bootstrapping.html";
+    echo;
+    echo "If you don't want to develop Gnuastro, but just build, install and 
use it, you don't need to bootstrap, please use the tarball:"
+    echo "   https://ftp.gnu.org/gnu/gnuastro/";
+    exit 1
+fi
+
+
+
+
+
 # Keep the address of this source directory (where this script is being run
 # from) which we will need later.
 srcdir=$(pwd)