[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[gnuastro-commits] master 4445501: developer-build: check added to see i
[gnuastro-commits] master 4445501: developer-build: check added to see if bootstrapping has been done
Sun, 19 Dec 2021 16:49:40 -0500 (EST)
Author: Mohammad Akhlaghi <email@example.com>
Commit: Mohammad Akhlaghi <firstname.lastname@example.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
@@ -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 "The dependencies to bootstrap Gnuastro are described here:"
+ echo "
+ echo "Afterwards, the bootstrapping process is described here:"
+ 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
# Keep the address of this source directory (where this script is being run
# from) which we will need later.
|[Prev in Thread]
||[Next in Thread]|
- [gnuastro-commits] master 4445501: developer-build: check added to see if bootstrapping has been done,
Mohammad Akhlaghi <=