diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-11-20 19:31:12 +0000 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-11-20 20:16:29 +0000 |
| commit | 11d5e76a7f89abe6da0b7c2b948f97f5c1cdc508 (patch) | |
| tree | 36675b4cfe15d8ae36ac3e715b3090e7c2298b8a /reproduce/config/pipeline | |
| parent | 1edf44917b4d28eba7d7344616b2ed3b43e29168 (diff) | |
Configure script passes if TeX Live was not finalized
When there is a problem in creating the final TeX Live installation, the
previous version of the pipeline would not understand and just finish! We
would later have problems in building the paper.
So the following series of steps were taken: to keep the recipes in a
shorter and easier to understand way, the steps to install TeX Live are now
one rule (that produce `.local/bin/texlive-ready-tlmgr' when its
successful), and the steps to install the necessary packages are in another
rule (that produce `.local/bin/texlive-ready' when its successful).
When control comes back inside configure, if `.local/bin/texlive-ready'
isn't there (something failed during the TeX Live installation, or building
packages), then the whole TeX Live installation directory
(`.local/texlive') will be deleted along with the two output files. This
will help ensure that future steps can check the availablility of a working
TeX Live in the pipeline.
Diffstat (limited to 'reproduce/config/pipeline')
0 files changed, 0 insertions, 0 deletions