diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-02-20 14:27:27 +0100 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-02-20 14:38:19 +0100 |
| commit | 8ba0292cd9299e415bc9c2c2a3307d61177f0cf5 (patch) | |
| tree | 5eade2f5d05269e767eecf8d9a1fd601c502d7c4 /.gitignore | |
| parent | f21104afffe7a5cb28f7824211f90dc778d45b57 (diff) | |
Necessary programs checked at configure time
The mandatory and optional (for example downloader) dependencies are now
checked at configure time so users can know what they may be missing before
the processing starts. Since its recommended to be run in parallel, it can
be hard to find what you are missing after running the pipeline. As part of
these checks, the program to use for downloading is now also set at
configure time, it is only used as a pre-defined (in `LOCAL.mk') variable
during Make's processing.
A small title was also added to discus the pipeline architecture that will
be filled in the next commit.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions