0856c0a0b4
mk/precompiled-headers.mk: Remove special handling for clang
2020-10-06 13:27:09 +02:00
b4db315a56
mk/precompiled-headers.mk: Fix clang test
...
"clang++" includes the string "g++" so this test didn't work
properly. However the separate handling of clang might not be needed
anymore...
2020-10-06 13:26:00 +02:00
d110fdd03f
Disable precompiled headers in 'nix develop'
...
They're still enabled in regular builds though.
2020-09-21 13:30:05 +02:00
72f8771094
Allow PRECOMPILE_HEADERS in cross-compilation
...
In cross, CXX will look like aarch64-unknown-linux-gnu-g++. We could
run some command to check what kind of compiler it is, but for now we
can just check if g++ is anywhere in the string. I couldn’t find any
"ends with" for makefile, so it can be anywhere in CXX.
2020-07-25 18:02:42 -05:00
e322a16523
Remove global -I flags
...
(cherry picked from commit 2c692a3b14
2020-03-30 15:30:19 +02:00
50d483a2c1
Fix precompiled-headers generation
...
It's now regenerated when util.hh changes, and is ordered after
config.h to fix a race.
2019-12-05 20:26:24 +01:00
5ff4d77f55
Precompile headers
...
This cuts 'make install -j6' on my laptop from 170s to 134s.
2019-11-07 10:12:35 +01:00
Eelco Dolstra