Single wrapper instead of old ./configure, Makefile and ./for-group

Until now, to work on a project, it was necessary to `./configure' it and
build the software. Then we had to run `.local/bin/make' to run the project
and do the analysis every time. If the project was a shared project between
many users on a large server, it was necessary to call the `./for-group'
script.

This way of managing the project had a major problem: since the user
directly called the lower-level `./configure' or `.local/bin/make' it was
not possible to provide high-level control (for example limiting the
environment variables). This was especially noticed recently with a bug
that was related to environment variables (bug #56682).

With this commit, this problem is solved using a single script called
`project' in the top directory. To configure and build the project, users
can now run these commands:

   $ ./project configure
   $ ./project make

To work on the project with other users in a group these commands can be
used:

  $ ./project configure --group=GROUPNAME
  $ ./project make      --group=GROUPNAME

The old options to both configure and make the project are still valid. Run
`./project --help' to see a list. For example:

  $ ./project configure -e --host-cc
  $ ./project make -j8

The old `configure' script has been moved to
`reproduce/software/bash/configure.sh' and is called by the new `./project'
script. The `./project' script now just manages the options, then passes
control to the `configure.sh' script. For the "make" step, it also reads
the options, then calls Make. So in the lower-level nothing has
changed. Only the `./project' script is now the single/direct user
interface of the project.

On a parallel note: as part of bug #56682, we also found out that on some
macOS systems, the `DYLD_LIBRARY_PATH' environment variable has to be set
to blank. This is no problem because RPATH is automatically set in macOS
and the executables and libraries contain the absolute address of the
libraries they should link with. But having `DYLD_LIBRARY_PATH' can
conflict with some low-level system libraries and cause very hard to debug
linking errors (like that reported in the bug report).

This fixes bug #56682.

1 files changed, 6 insertions, 6 deletions

diff --git a/reproduce/analysis/make/top.mk b/reproduce/analysis/make/top.mk
index b753979..7d20800 100644
--- a/reproduce/analysis/make/top.mk
+++ b/reproduce/analysis/make/top.mk
@@ -19,7 +19,8 @@
 
 
 
-# Load the local configuration (created after running `./configure').
+# Load the local configuration (created after running
+# `./project configure').
 include reproduce/software/config/installation/LOCAL.mk
 
 
@@ -49,9 +50,8 @@ include reproduce/software/config/installation/LOCAL.mk
 #
 # Controlling this requires two variables that are available at this stage:
 #
-#   - `GROUP-NAME': from `LOCAL.mk' (which was built by `./configure').
-#   - `reproducible_paper_group_name': from the `./for-group' script (if it
-#     was used to call Make).
+#   - `GROUP-NAME': from `LOCAL.mk' (which was built by `./project configure').
+#   - `reproducible_paper_group_name': value to the `--group' option.
 #
 # The analysis is only done when both have the same group name. Note that
 # when the project isn't being built for a group, both variables will be an
@@ -70,10 +70,10 @@ else
 all:
 	@if [ "x$(GROUP-NAME)" = x ]; then \
 	  echo "Project is NOT configured for groups, please run"; \
-	  echo "   $$ .local/bin/make"; \
+	  echo "   $$ ./project make"; \
 	else \
 	  echo "Project is configured for groups, please run"; \
-	  echo "   $$ ./for-group $(GROUP-NAME) make -j8"; \
+	  echo "   $$ ./project make --group=$(GROUP-NAME) -j8"; \
 	fi
 endif