diff options
author | João Valverde <joao.valverde@tecnico.ulisboa.pt> | 2018-11-23 20:39:48 +0000 |
---|---|---|
committer | João Valverde <j@v6e.pt> | 2018-11-24 13:48:16 +0000 |
commit | 65c13f9b900cec51c4117c848bee045c9cecd35f (patch) | |
tree | 153021770405714b67432ecd1beeea33329c8820 /codecs | |
parent | f1cf2646aa44fe0f56019906d0edbc49253ececa (diff) |
Install development headers on all platforms
Install headers to support plugins development on Windows.
Change-Id: I3161bd2f730edf62ab44fee6ce4fedbb9aee0d31
Reviewed-on: https://code.wireshark.org/review/30776
Petri-Dish: João Valverde <j@v6e.pt>
Tested-by: Petri Dish Buildbot
Reviewed-by: João Valverde <j@v6e.pt>
Diffstat (limited to 'codecs')
-rw-r--r-- | codecs/CMakeLists.txt | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/codecs/CMakeLists.txt b/codecs/CMakeLists.txt index 4e07b3e994..81079695ce 100644 --- a/codecs/CMakeLists.txt +++ b/codecs/CMakeLists.txt @@ -86,11 +86,9 @@ install(TARGETS wscodecs ARCHIVE DESTINATION ${CMAKE_INSTALL_LIBDIR} ) -if(NOT WIN32) - install(FILES ${WSCODECS_PUBLIC_HEADERS} - DESTINATION "${CMAKE_INSTALL_INCLUDEDIR}/${CPACK_PACKAGE_NAME}/codecs" - ) -endif() +install(FILES ${WSCODECS_PUBLIC_HEADERS} + DESTINATION "${CMAKE_INSTALL_INCLUDEDIR}/${CPACK_PACKAGE_NAME}/codecs" +) CHECKAPI( NAME |