diff options
author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-11-30 17:02:46 +0000 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-11-30 17:02:46 +0000 |
commit | e5082a353ead04ec735cfd1c9e60e4fda87da922 (patch) | |
tree | d1ae0690bb4e7a7f8fe1a187b1f532932a4fc768 /reproduce | |
parent | 7c7b79cae6302999851230cf1d186ad5153b99a9 (diff) |
cURL now also available as downloader with -L flag
The main reason I wasn't using cURL as a downloading tool was that I wasn't
familar with how to ask it to follow a re-direct. But I just found out that
its with the `-L' configure time option. So it is now added as a downloader
tool to the pipeline.
Diffstat (limited to 'reproduce')
-rw-r--r-- | reproduce/src/make/dependencies-basic.mk | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/reproduce/src/make/dependencies-basic.mk b/reproduce/src/make/dependencies-basic.mk index 74ca429..889ed0b 100644 --- a/reproduce/src/make/dependencies-basic.mk +++ b/reproduce/src/make/dependencies-basic.mk @@ -186,6 +186,7 @@ $(ibdir)/low-level: | $(ibdir) $(call makelink,ld) $(call makelink,nm) $(call makelink,ps) + $(call makelink,ranlib) # On Mac OS, libtool is different compared to GNU Libtool. The # libtool we'll build in the high-level dependencies has the @@ -198,9 +199,12 @@ $(ibdir)/low-level: | $(ibdir) # GNU M4 (for managing building macros) $(call makelink,m4) - # Needed by TeXLive specifically + # Needed by TeXLive specifically. $(call makelink,perl) + + # Downloaders. $(call makelink,wget) + $(call makelink,curl) echo "Low-level program links are setup" > $@ |