IMPORTANT: better names for to-publish dirs and portability fixesHEADmaneage

Summary: this commit only affects the analysis of your project in case you
used the 'tex-publish-dir' or 'data-publish-dir' directories. They need to
be renamed to 'figdir' and 'drdir' respectively.

Until now, the directories containing the to-be-published data were
described deep in the middle of 'initialize.mk' (away from the other shared
directories), they also had hard-to-use (long) names. Furthermore,
'README-hacking.md' that is the main documentation of Maneage had grown
organically, such that the checklists were scattered across the file and
some things were repeated or not classified clearly. Finally, some
portability issues were reported by Stergios Amarantidis and Diana Korotun.

With this commit, the to-be-published directories have been renamed to the
more simple names of 'figdir' and 'drdir' respectively and their definition
in 'initialize.mk' has come right under the rest of the top-level
directories (to be easily found). Furthermore, the 'README-hacking.md' has
been fully restructured to be easier to navigate and follow for a new
reader. Finally, the portability issues mentioned above have been
addressed:

 - Within the '--help' output of './project', the '--keep-going' option was
   listed under "Configure and Make options", while it is only relevant as
   a Make option. It was therefore moved under Make options.

 - We had not explicitly set the locale of Maneage; causing a crash on one
   of the newly tested computers (a macOS with a non-C locale) during the
   execution of 'prep-source.sh'. With this commit, all the top-level
   Makefiles and scripts of Maneage set 'LC_ALL' to 'C' to ensure the same
   locale on any system.

 - The 'download-multi-try.sh' script would crash when building basic
   software in the following scenario: the downloader was still from the
   host, but one of its linked libraries had already been installed in
   Maneage and conflicted with the host. A step has been added to catch
   such cases and remove the Maneage'd library when this was the problem.

 - On macOS, we discovered that 'pkg-config' and 'wget' need a Python
   installation, so the necessary conditions have been added.

 - The 'apptainer.sh' script did not allow passing the '--debug' or
   '--host-cc' options to the execution of './project' within the
   container.

 - Within 'configure.sh', we wrote the absolute path of the downloader to
   use in 'LOCAL.conf'. However, we install both downloaders and it is
   safer to use Maneage's own downloader when it has been installed. So the
   downloader name in 'LOCAL.conf' now only has the name (without its
   absolute path).

1 files changed, 24 insertions, 0 deletions

diff --git a/reproduce/analysis/bash/download-multi-try.sh b/reproduce/analysis/bash/download-multi-try.sh
index 5cc5407..2df8aab 100755
--- a/reproduce/analysis/bash/download-multi-try.sh
+++ b/reproduce/analysis/bash/download-multi-try.sh
@@ -96,6 +96,25 @@ download_func () {
     # Set the arguments.
     inurl="$1"
 
+    # During the installation of basic software, the dependencies of the
+    # downloaders that are installed in Maneage can conflict with the
+    # downloader that is not yet installed in Maneage. To avoid this, we
+    # check if the downloader works (with '--version') and remove the
+    # Maneage library temporarily in case it does not.
+    lpathorig=""
+    dprog=$(echo $downloader | awk '{print $1}')
+    if ! $dprog --version > /dev/null 2> /dev/null; then
+        echo "NOTE: the segmentation fault is expected, is not a problem"
+        basedir=$(echo $outname \
+                      | sed -e's|\/tarballs\/| |' \
+                      | awk '{print $1}')
+        libdir=$basedir/installed/lib
+        lpathorig=$LD_LIBRARY_PATH
+        lpath=$(echo $LD_LIBRARY_PATH \
+                    | sed -e's|'$libdir':||')
+        export LD_LIBRARY_PATH=$lpath
+    fi
+
     # Attempt downloading the file. Note that the 'downloader' ends with
     # the respective option to specify the output name. For example "wget
     # -O" (so 'outname', that comes after it) will be the name of the
@@ -107,6 +126,11 @@ download_func () {
            "if ! $downloader $outname \"$inurl\"; then rm -f $outname; fi"
     fi
 
+    # In case the LD_LIBRARY_PATH was changed, set it back to normal.
+    if ! [ x"$lpathorig" = x ]; then
+        export LD_LIBRARY_PATH=$lpathorig
+    fi
+
     # Some servers return HTTP 4xx/5xx errors as an HTML page with a 200
     # status, so the downloader exits 0 and saves the HTML body to disk.
     # Detect this by checking whether the response starts with an HTML tag