aboutsummaryrefslogtreecommitdiff
path: root/reproduce/software
diff options
context:
space:
mode:
authorMohammad Akhlaghi <mohammad@akhlaghi.org>2019-07-07 16:20:07 +0100
committerMohammad Akhlaghi <mohammad@akhlaghi.org>2019-07-07 16:20:07 +0100
commit468bd2a8c5f3b8d94eddeef641ce90d863b7bebc (patch)
tree538495e8114bcea0a33495d5bf8cabba0f614094 /reproduce/software
parent1e4065aef1f2a99a1c31a9b5628b85f059c4b71c (diff)
Using fixed TeX Live repository
Until now, we were letting the TeXLive installer use the default CTAN-chosen mirror based on the host. But in many cases, this is not efficient and sometimes those servers don't work. With this commit, we manually set the server to use (`rit.edu'), which is relatively fast and up to date. In this way, until we build TeXLive from source, every user will be using the same CTAN mirror.
Diffstat (limited to 'reproduce/software')
-rw-r--r--reproduce/software/make/high-level.mk16
1 files changed, 14 insertions, 2 deletions
diff --git a/reproduce/software/make/high-level.mk b/reproduce/software/make/high-level.mk
index 3cf3fb9..1c306ac 100644
--- a/reproduce/software/make/high-level.mk
+++ b/reproduce/software/make/high-level.mk
@@ -780,6 +780,18 @@ $(ibidir)/swig: $(tdir)/swig-$(swig-version).tar.gz
# the final PDF). So we'll make a simple ASCII file called
# `texlive-ready-tlmgr' and use its contents to mark if we can use it or
# not.
+
+# TeX Live mirror
+# ---------------
+#
+# The automatic mirror finding fails sometimes. So we'll manually set it to
+# use a fixed mirror. I first tried the LaTeX root webpage
+# (`ftp.dante.de'), however, it is far too slow (when I tested it). The
+# `rit.edu' server seems to be a good alternative (given the importance of
+# NY on the internet infrastructure).
+tlmirror=http://mirrors.rit.edu/CTAN/systems/texlive/tlnet
+
+# The core TeX Live system.
$(itidir)/texlive-ready-tlmgr: $(tdir)/install-tl-unx.tar.gz \
reproduce/software/config/installation/texlive.conf
@@ -797,7 +809,7 @@ $(itidir)/texlive-ready-tlmgr: $(tdir)/install-tl-unx.tar.gz \
# TeX Live's installation may fail due to any reason. But TeX Live
# is optional (only necessary for building the final PDF). So we
# don't want the configure script to fail if it can't run.
- if ./install-tl --profile=texlive.conf; then
+ if ./install-tl --profile=texlive.conf -repository $(tlmirror); then
# Put a symbolic link of the TeX Live executables in `ibdir'. The
# main problem is that the year and build system (for example
@@ -837,7 +849,7 @@ $(itidir)/texlive: reproduce/software/config/installation/texlive.mk \
# Before checking LaTeX packages, update tlmgr itself.
tlmgr option backupdir $$backupdir
- tlmgr update --self
+ tlmgr -repository $(tlmirror) update --self
# Install all the extra necessary packages. If LaTeX complains
# about not finding a command/file/what-ever/XXXXXX, simply run