diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-12-03 04:51:45 +0000 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-12-03 05:27:32 +0000 |
| commit | cbd448bb7412e147fc1c22406c458c71954535cb (patch) | |
| tree | f8e3178f16e98ba1a3fc694c3efc582ae33516f6 /reproduce/config/pipeline | |
| parent | 952cdacb25ac690a3206e48673168ed8de4a4056 (diff) | |
Preference for shared library linking
Some high-level programs like Wget and cURL need to be built in shared mode
because they also include dynamic loading of libraries. Therefore, if we
only build the lower-level libraries in static mode, our own build will be
ignored and they will go and find the system's shared libraries to link
with. Because of this, for now, we have manually set the `static_build'
variable in the configure script to `no'.
Also, if the downloader fails, we'll delete the output (an empty file in
the case of Wget) because it interefers with a target definition.
Diffstat (limited to 'reproduce/config/pipeline')
| -rw-r--r-- | reproduce/config/pipeline/dependency-versions.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/reproduce/config/pipeline/dependency-versions.mk b/reproduce/config/pipeline/dependency-versions.mk index 25aa277..99d55ee 100644 --- a/reproduce/config/pipeline/dependency-versions.mk +++ b/reproduce/config/pipeline/dependency-versions.mk @@ -14,7 +14,7 @@ gcc-version = 8.2.0 ghostscript-version = 9.26 git-version = 2.19.1 gmp-version = 6.1.2 -gnuastro-version = 0.7.66-0ad3 +gnuastro-version = 0.7.67-4a59 grep-version = 3.1 gzip-version = 1.9.10-051e isl-version = 0.18 |