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 /.dir-locals.el | |
| 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 '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions