diff options
author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-11-17 04:43:08 +0000 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-11-17 04:43:08 +0000 |
commit | b15818ddc06d499bac1bac5640682d40901e9588 (patch) | |
tree | a9b9831f6654551defb76c730806972ebbee0b92 /reproduce/config/pipeline/texlive.conf | |
parent | d0d7eed20b43fd13a4fcb1e37eb4cabcd7a47a91 (diff) |
TeX Live also built within the pipeline (no extra packages yet)
TeX Live is now also downloaded and built by the reproduction
pipeline. Currently on the basic (TeX and LaTeX) source is built but no
extra packages, so the PDF building will fail. We'll add them in the next
commit.
Diffstat (limited to 'reproduce/config/pipeline/texlive.conf')
-rw-r--r-- | reproduce/config/pipeline/texlive.conf | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/reproduce/config/pipeline/texlive.conf b/reproduce/config/pipeline/texlive.conf new file mode 100644 index 0000000..3aa5db5 --- /dev/null +++ b/reproduce/config/pipeline/texlive.conf @@ -0,0 +1,29 @@ +# Basic profile for build. Values to set: +# +# installdir: Install directory +# topdir: Top pipeline directory +selected_scheme scheme-basic +TEXDIR @installdir@/texlive/2018 +TEXMFCONFIG @topdir@/.texlive2018/texmf-config +TEXMFLOCAL @installdir@/texlive/texmf-local +TEXMFSYSCONFIG @installdir@/texlive/2018/texmf-config +TEXMFSYSVAR @installdir@/texlive/2018/texmf-var +TEXMFVAR @topdir@/.texlive2018/texmf-var +instopt_adjustpath 0 +instopt_adjustrepo 1 +instopt_letter 0 +instopt_portable 0 +instopt_write18_restricted 1 +tlpdbopt_autobackup 1 +tlpdbopt_backupdir @installdir@/texlive/2018/backups +tlpdbopt_create_formats 1 +tlpdbopt_desktop_integration 1 +tlpdbopt_file_assocs 1 +tlpdbopt_generate_updmap 0 +tlpdbopt_install_docfiles 1 +tlpdbopt_install_srcfiles 1 +tlpdbopt_post_code 1 +tlpdbopt_sys_bin @installdir@/bin +tlpdbopt_sys_info @installdir@/share/info +tlpdbopt_sys_man @installdir@/share/man +tlpdbopt_w32_multi_user 1 |