diff options
author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-12-04 15:07:48 +0000 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-12-04 15:07:48 +0000 |
commit | e093f994617f05fd6bd2467cde023b7883ad57a6 (patch) | |
tree | a1ce0b653a40d6c772a1870caa951a7c92ebf645 /tex | |
parent | 65fdffdae8c70595b451cb180e80d7608d541cb2 (diff) |
Low-level links nolonger a prerequisite of programs
Until now the low-level links that we put in our internal installation from
the operating system were a prerequisite of essentially all the basic
dependencies. So a change in them would mean a full re-build of all the
basic dependencies. But in building the basic dependencies, we already have
the operating system's PATH and other environment variables. So unlike the
higher-level dependencies, they don't need these links at all!
With this commit, the `low-level-links' file is placed in `installed/bin'
and is a top-level target of the basic dependencies build. In this way, if
it is necessary to update/change to use something from the host operating
system, we can simply delete it and run `./configure' again wihout having
to re-build all the basic dependencies.
Diffstat (limited to 'tex')
0 files changed, 0 insertions, 0 deletions