diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-11-19 20:12:55 +0000 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-11-19 20:12:55 +0000 |
| commit | a832f17a68819e22296258fef1c6156a97f14490 (patch) | |
| tree | fcb9e9066d12d5d50b30a30dbe401d2ca29577bd /reproduce/config | |
| parent | 63dd3b9936c22270c7f21da8965a01445ade4973 (diff) | |
Libtool set as Gnuastro dependency
Until now, we were building Libtool as a high-level `top-level-programs'
software. But all tools that use the `./configure' script already have a
version of Libtool in them. So ultimately the `libtool' in the PATH is not
used. However, in the case of Gnuastro, we need libtool for running
BulidProgram. So in effect, its a dependency of Gnuastro.
Diffstat (limited to 'reproduce/config')
0 files changed, 0 insertions, 0 deletions