diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-02-15 14:10:29 +0100 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-02-15 14:22:04 +0100 |
| commit | f9de1124b675b2cfd09e9ad75aeda45ecea7319a (patch) | |
| tree | a83fe1129e9ac5a641f15c57bd1ce7a1d795ec66 /reproduce/config/gnuastro | |
| parent | e45ac9f074a62a0dab26e4de86e4c97458384d18 (diff) | |
Gnuastro's memory mapping is now a local variable
As described in the commens above `MINMAPSIZE' of `LOCAL.mk.in', the amount
of memory to map to HDD/SSD or keep in RAM is a local issue and not
relevant to the pipeline's results. So it is now defined in a
`gnuastro-local.conf' file.
To keep the Makefiles clean, this file is created by the `./configure'
script. To do this cleanly, the `./configure' script was also almost fully
re-written with better functionality now.
Diffstat (limited to 'reproduce/config/gnuastro')
| -rw-r--r-- | reproduce/config/gnuastro/gnuastro.conf | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/reproduce/config/gnuastro/gnuastro.conf b/reproduce/config/gnuastro/gnuastro.conf index 49f9906..a2a44cf 100644 --- a/reproduce/config/gnuastro/gnuastro.conf +++ b/reproduce/config/gnuastro/gnuastro.conf @@ -12,9 +12,10 @@ # pipeline is taken from the default Gnuastro configuration from its # source (`bin/gnuastro.conf'). -# Reproduction pipeline +# Reproduction pipeline (`./config' has to be before `lastconfig'). + config .gnuastro/gnuastro-local.conf + # onlyversion X.X lastconfig 1 -# onlyversion X.X # Input: hdu 1 @@ -30,7 +31,4 @@ interponlyblank 0 # Output: - tableformat fits-binary - -# Operating mode - minmapsize 1000000000
\ No newline at end of file + tableformat fits-binary
\ No newline at end of file |