diff options
author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-01-19 15:08:08 +0000 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-01-19 15:08:08 +0000 |
commit | 852d996f8f5f1e5e0114dc82aaf33d81c725fb20 (patch) | |
tree | 090e35ceaef018d4ba287369db1e4a97e5077475 /reproduce/analysis/config/INPUTS.conf | |
parent | 6ec4881a1bd19052db633adec3bedbac0f4bc21a (diff) |
Better search for static C library at start of configuration
Until now, to see if a working static C library and `sys/cdefs.h' exist, we
were checking absolute locations like `/usr/include/sys/cdefs.h' or
`/usr/lib/libc.a' and `/usr/lib64/libc.a'. But this is not robust because
on different systems, they can be in different locations.
With this commit, we actually use `find' to find the location of `libc.a'
and use that to add elements to CPPFLAGS and LDFLAGS. This should fix the
problem on systems that have them on non-standard locations.
Diffstat (limited to 'reproduce/analysis/config/INPUTS.conf')
0 files changed, 0 insertions, 0 deletions