diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-02-01 21:24:00 +0100 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-02-01 21:24:00 +0100 |
| commit | 35ed6cf0df743175688b49a4559793cb7f6e9d66 (patch) | |
| tree | 2287830898c4a5af2e72f8a3c6435f4876b000fb /reproduce/software/bash/bashrc.sh | |
| parent | 334af0e29a950873a19f958b0e47d847808e8910 (diff) | |
IMPORTANT: reproduce/software/bash renamed to reproduce/software/shell
Until now the shell scripts in the software building phase were in the
`reproduce/software/bash' directory. But given our recent change to a
POSIX-only start, the `configure.sh' shell script (which is the main
component of this directory) is no longer written with Bash.
With this commit, to fix that problem, that directory's name has been
changed to `reproduce/software/shell'.
Diffstat (limited to 'reproduce/software/bash/bashrc.sh')
| -rwxr-xr-x | reproduce/software/bash/bashrc.sh | 45 |
1 files changed, 0 insertions, 45 deletions
diff --git a/reproduce/software/bash/bashrc.sh b/reproduce/software/bash/bashrc.sh deleted file mode 100755 index b2a151f..0000000 --- a/reproduce/software/bash/bashrc.sh +++ /dev/null @@ -1,45 +0,0 @@ -# Bash startup file for better control of project environment. -# -# To have better control over the environment of each analysis step (Make -# recipe), besides having environment variables (directly included from -# Make), it may also be useful to have a Bash startup file (this file). All -# of the Makefiles set this file as the `BASH_ENV' environment variable, so -# it is loaded into all the Make recipes within the project. -# -# The special `PROJECT_STATUS' environment variable is defined in every -# top-level Makefile of the project. It defines the the state of the Make -# that is calling this script. It can have three values: -# -# configure_basic -# --------------- -# When doing basic configuration, therefore the executed steps cannot -# make any assumptions about the version of Bash (or any other -# program). Therefore it is important for any step in this step to be -# highly portable. -# -# configure_highlevel -# ------------------- -# When building the higher-level programs, so the versions of the -# most basic tools are set and you may safely assume certain -# features. -# -# make -# ---- -# When doing the project's analysis: all software have known -# versions. -# -# -# Copyright (C) 2019-2020 Mohammad Akhlaghi <mohammad@akhlaghi.org> -# -# 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. -# -# A copy of the GNU General Public License is available at -# <http://www.gnu.org/licenses/>. |