Configuration: --debug option available in this phase also

Until now, each time there was a problem in the configuration of Maneage'd
projects and debugging was necessary, we had to take the following changes:

 - Run the configuration on a single thread ('-j1') to see the building of
   only the problematic software.

 - Disable the Zenodo check manually by commenting those parts of
   'reproduce/software/shell/configure.sh'. Because the internet connection
   wastes a few seconds and is thus very annoying during repeated runs!

 - Manually remove the '-k' option that was passed to Make (when building
   the software). With the '-k', Make keeps going with the execution of
   other targets if something crashes and this usually causes confusions
   during the debugging.

Doing the manual changes within the code was both very annoying and prone
to errors (forgetting to correct it!).

With this commit, the existing '--debug' option has been generalized to the
software configuration phase of Maneage also. Until now, it was only
available in the analysis phase (and would directly be passed to the 'make'
command that would run the analysis). When this option is used, and the
project is in the software configuration phase, the Zenodo check won't be
done, it will use one single thread ('-j1'), and it will stop the execution
as soon as an error occurs (Make is not run with '-k').

1 files changed, 4 insertions, 1 deletions

diff --git a/project b/project
index 900e02c..7fef1fe 100755
--- a/project
+++ b/project
@@ -4,6 +4,7 @@
 # Run `./project --help' for a description of how to use it.
 #
 # Copyright (C) 2019-2021 Mohammad Akhlaghi <mohammad@akhlaghi.org>
+# Copyright (C) 2021      Raul Infante-Sainz <infantesainz@gmail.com>
 #
 # This program is free software: you can redistribute it and/or modify
 # it under the terms of the GNU General Public License as published by
@@ -117,12 +118,13 @@ Configure options:
       --all-highlevel      Build all high-level software (for development).
 
 Configure and Make options:
+  -d, --debug[=FLAGS]      In configure: use -j1, no -k, and no Zenodo check.
+                           In make: 'FLAGS' will be directly passed to 'make'.
   -g, --group=STR          Build and run with write permissions for a group.
   -j, --jobs=INT           Number of threads to build/run the software.
   -?, --help               Print this help list.
 
 Make (analysis) options:
-  -d, --debug=FLAGS        Print various types of debugging information.
   -p, --prepare-redo       Re-do preparation (only done automatically once).
 
 Make (final PDF) options:
@@ -439,6 +441,7 @@ case $operation in
 
         # Variables to pass to the configuration script.
         export jobs=$jobs
+        export debug=$debug
         export host_cc=$host_cc
         export build_dir=$build_dir
         export input_dir=$input_dir