diff options
Diffstat (limited to 'project')
| -rwxr-xr-x | project | 13 |
1 files changed, 7 insertions, 6 deletions
@@ -3,8 +3,8 @@ # High-level script to manage the project. # Run './project --help' for a description of how to use it. # -# Copyright (C) 2019-2025 Mohammad Akhlaghi <mohammad@akhlaghi.org> -# Copyright (C) 2021-2025 Raul Infante-Sainz <infantesainz@gmail.com> +# Copyright (C) 2019-2026 Mohammad Akhlaghi <mohammad@akhlaghi.org> +# Copyright (C) 2021-2026 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 @@ -35,8 +35,8 @@ group= debug= quiet=0 timing=0 -host_cc=0 offline= +host_cc=0 operation= build_dir= input_dir= @@ -123,14 +123,14 @@ Configure options: -s, --software-dir=STR Directory containing necessary software tarballs. Configure and Make options: - -d, --debug[=FLAGS] In configure: use -j1, no -k, and no Zenodo check. + -d, --debug[=FLAGS] In configure: use -j1 and stop on first crash. In make: 'FLAGS' will be directly passed to 'make'. - -k, --keep-going Keep going when some targets can't be made. -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: + -k, --keep-going Keep going when some targets can't be made. -p, --prepare-redo Re-do preparation (only done automatically once). -t, --timing Starting and ending times written in 'timing.txt'. @@ -649,6 +649,7 @@ case $operation in bindir="$bdir"/software/installed/bin rcfile=$(pwd)/reproduce/software/shell/bashrc.sh .local/bin/env -i \ + LC_ALL=C \ HOME="$bdir" \ TERM="$TERM" \ PATH="$bindir" \ @@ -678,7 +679,7 @@ case $operation in No operation defined! Please run with '--help' for more information. -(TIP: available operations are: 'configure', 'make', or 'shell'). +(TIP: available modes are: 'configure', 'make', or 'shell'). EOF exit 1 |