aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorMohammad Akhlaghi <mohammad@akhlaghi.org>2018-11-14 01:33:16 +0000
committerMohammad Akhlaghi <mohammad@akhlaghi.org>2018-11-14 01:41:26 +0000
commitdb97ea9a8f32050f74d8c981a9efa21f9e0dc512 (patch)
tree64cec9abbb22baf8e669422d586e6d288e40fa4f /.gitignore
parent66c1b59ea170032f54441fed39a3ed255070c400 (diff)
./configure and building of Bash and Make with more basic tools
After a test by Raúl Infante Sainz, we found out that the configure script and the Make script for Bash and Make are making too many assumptions on more recent versions of both. As a result, it couldn't be built. Therefore, the `configure' script was modified to not use more recent tools like `readlink' (to find the absolute address of a relative one). It was also re-organized to not have to read the configuration parameters from a text file. The parameters are directly read from the command-line and are written into the proper file afterwards. This removes the need to opening a text editor by the user (which also caused problems on Raúl's system). To fix the Make version issue, the building of Bash and Make are now done in a new Makefile (`reproduce/src/make/dependencies-basic.mk'). This file doesn't make many of the assumptions that were made in `dependencies.mk'. So it should hopefully work on any version of Make. To help in debugging, for now, the Makefile of configure, are asked to work on one thread (the `-j' option is commented in the `configure'). But after checks, we'll fix this.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions