diff options
author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-04-04 01:15:06 +0100 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-04-04 01:15:06 +0100 |
commit | a8f19d7c8aec1eb5e8c545f0fc003d0fe7ab4818 (patch) | |
tree | 4e023d357114d0789f59eb61863762712b4f4105 /reproduce/src/make | |
parent | 77001293a64932949049e439efecd792aa3b2d12 (diff) |
Better option-reading in configure, using .build to access BDIR
Until now, the steps to manage the command-line options of the configure
script were limited (couldn't accept an equal sign or space between the
option name and value). With this commit, it can now also accept optional
equal signs between the option name and value. Thus not causing many
confusions.
Also, it is more logically consistent for the link to the build-directory
to be placed in the top directory (as a hidden file like `.local' until
now), and not as a visible directory like `reproduce/build' (which we used
until now). Therefore, with this commit, the link to easily access the
build-directory is `.build' in the top source directory.
Finally, because `minmapsize' is too specific to Gnuastro and has now been
given its default value at the start of the configure script, the
description for `minmapsize' has been removed (to not confuse users who
don't use Gnuastro). If anyone is familiar enough with Gnuastro to change
it, they already know it from its book.
Diffstat (limited to 'reproduce/src/make')
0 files changed, 0 insertions, 0 deletions