diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2020-12-01 17:22:22 +0000 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2020-12-02 15:11:39 +0000 |
| commit | d450b92e6faa361dae7f425e285b42b6792691d0 (patch) | |
| tree | e3bdb5a665283a9d3ba682c72ad8fc949e5f6c2a /tools | |
| parent | 26b13da1c032ff3426012f43b17a8fa86598857b (diff) | |
| download | klee-d450b92e6faa361dae7f425e285b42b6792691d0.tar.gz | |
Detect system include headers on macOS
System header files on macOS are not part of `/usr/include` since Catalina. Instead, multiple locations are possible and depend on the selected SDK. Use `xcrun` to automatically detect the correct path on macOS.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions