#!/bin/bash # # High-level script to manage the project. # Run `./project --help' for a description of how to use it. # # Copyright (C) 2019-2020 Mohammad Akhlaghi # # This script is free software: you can redistribute it and/or modify it # under the terms of the GNU General Public License as published by the # Free Software Foundation, either version 3 of the License, or (at your # option) any later version. # # This script is distributed in the hope that it will be useful, but # WITHOUT ANY WARRANTY; without even the implied warranty of # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General # Public License for more details. See . # Basic settings # -------------- # Stop the script if there are any errors. set -e # Default option values jobs=0 # 0 is for the default for the `configure.sh' script. group= debug= host_cc=0 operation= build_dir= input_dir= make_targets= software_dir= clean_texdir=0 existing_conf=0 scriptname="./project" minmapsize=10000000000 # Parse the options # ----------------- # # Separate command-line arguments from options. Then put the option value # into the respective variable. # # Each option has two lines because we want to process both these formats: # `--name=value' and `--name value'. The former (with `=') is a single # command-line argument, so we just need to shift the counter by one. The # latter (without `=') is two arguments, so we'll need two shifts. # # Note on the case strings: for every option, we need three lines: one when # the option name and value are separate. Another when there is an equal # between them, and finally one where the value is immediately after the # short-format. This exact order is important. Otherwise, there will be a # conflict between them. print_help() { # Print the output. cat < /dev/null" &> /dev/null; then echo "$scriptname: '$group' is not a usable group name on this system."; echo "(TIP: you can use the 'groups' command to see your groups)" exit 1 fi # Set the group option for running Make. gopt="reproducible_paper_group_name=$group" fi # Run operations in controlled environment # ---------------------------------------- controlled_env() { # Get the full address of the build directory: bdir=`.local/bin/realpath .build` # Remove all existing environment variables (with `env -i') and only # use some pre-defined environment variables, then build the project. envmake=".local/bin/env -i HOME=$bdir sys_rm=$(which rm) $gopt" envmake="$envmake .local/bin/make --no-builtin-rules" envmake="$envmake --no-builtin-variables -f $1" if ! [ x"$debug" = x ]; then envmake="$envmake --debug=$debug"; fi # Set the number of jobs. Note that for the `configure.sh' script the # default value has to be 0, so the default is the maximum number of # threads. But here, the default value is 1. if ! [ x"$jobs" = x0 ]; then envmake="$envmake -j$jobs"; fi # Run the project if [ x"$group" = x ]; then $envmake $make_targets else # Set the group and permission flags. sg "$group" "umask $perms && $envmake $make_targets" fi } # Error messages # -------------- # # Having the error messages here helps the over-all process be more # readable. print_error_abort() { case $1 in prepare) cat <