diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-01-10 12:26:51 +0000 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-01-10 12:26:51 +0000 |
| commit | e557699b996b906202ecdf2fa2e29f62a3cfd88a (patch) | |
| tree | 590512e192cc1688baf4fb0edac326cb5e4b3d6b /reproduce/src/make/initialize.mk | |
| parent | 6dd16b871a04fe29d1805b110371b0a229876159 (diff) | |
ccache ignored and disabled
ccache is a super annoying program in the context of the reproduction
pipeline. On systems that use it, the `gcc' and `g++' that are found in
PATH are actually calls to `ccache' (so it can manage their call)!
Two steps have been taken to ignore and disable ccache (if it isn't ignored
properly!): 1) when making symbolic links to compilers, if a directory
containing `ccache' is present in the PATH, it is first removed, then we
look for the low-level programs that we won't be building. 2) The
`CCACHE_DISABLE' environment variable is set to 1 where necessary (with the
other environment variables).
Diffstat (limited to 'reproduce/src/make/initialize.mk')
| -rw-r--r-- | reproduce/src/make/initialize.mk | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/reproduce/src/make/initialize.mk b/reproduce/src/make/initialize.mk index 32a65b2..a6ad00b 100644 --- a/reproduce/src/make/initialize.mk +++ b/reproduce/src/make/initialize.mk @@ -73,7 +73,8 @@ curdir := $(shell echo $$(pwd)) # environment variables, we are setting it to prefer the software we have # build here. .ONESHELL: -.SHELLFLAGS = -ec +.SHELLFLAGS = -ec +export CCACHE_DISABLE := 1 export PATH := $(installdir)/bin export LD_LIBRARY_PATH := $(installdir)/lib export LDFLAGS := -L$(installdir)/lib |