diff options
| author | Sai Praveen Bangaru <31557731+saipraveenb25@users.noreply.github.com> | 2025-03-25 10:56:55 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-03-25 13:56:55 -0400 |
| commit | b9300bae08a77df6ef2efe2b62de14a13b10b9a4 (patch) | |
| tree | b4a29e6e92f72126bdb6fdacfb1811a32e670d62 /prelude | |
| parent | c54bc9ebff0691c397885363e0da7a122e3e407d (diff) | |
Improve embed tool to search all include directories as determined by CMake (#6675)
* Improve embed tool to search all include directories as determined by CMake
Hopefully this puts an end to prelude generation issues.
* Update CMakeLists.txt
* Update CMakeLists.txt
* Use Slang's string representation instead of malloc-ing chars
Diffstat (limited to 'prelude')
| -rw-r--r-- | prelude/CMakeLists.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/prelude/CMakeLists.txt b/prelude/CMakeLists.txt index 27acd49f9..913809f07 100644 --- a/prelude/CMakeLists.txt +++ b/prelude/CMakeLists.txt @@ -12,8 +12,8 @@ foreach(input ${prelude_headers}) add_custom_command( OUTPUT ${output} COMMAND - slang-embed "${input}" "${CMAKE_CURRENT_LIST_DIR}/../include" - ${output} + slang-embed "${input}" ${output} + "-I$<JOIN:$<TARGET_PROPERTY:core,INCLUDE_DIRECTORIES>, -I>" DEPENDS ${input} slang-embed VERBATIM ) |