diff options
| author | kaizhangNV <149626564+kaizhangNV@users.noreply.github.com> | 2024-07-23 12:15:27 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-07-23 10:15:27 -0700 |
| commit | 1670d7ee3ed29a03f50ba9deb4e8af47d31eab64 (patch) | |
| tree | b494946288c46c9a35be4675893b901f00c7f2cc | |
| parent | 986256ffb92ab7c8fc7cf9f2c424919a439a824f (diff) | |
Install the missing public headers in release package (#4712)
In the change:
2db15080 Move the file public header files to `include` dir (#4636)
we miss the installation of the public headers as they move to a new
`include` folder, and cpack doesn't catch those automatically.
Therefore, add the install command to install those headers.
| -rw-r--r-- | CMakeLists.txt | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/CMakeLists.txt b/CMakeLists.txt index 05dcd7db7..54eae379b 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -818,5 +818,9 @@ install(DIRECTORY "${slang_SOURCE_DIR}/docs/" DESTINATION share/doc/slang ) +install(DIRECTORY + "${slang_SOURCE_DIR}/include" + DESTINATION . +) include(CPack) |