mirror of
https://github.com/jerryscript-project/jerryscript.git
synced 2025-12-15 16:29:21 +00:00
Fix include directories of jerry-ext (#2464)
The distinction between public and private include directories was not maintained and the install paths got confusing. JerryScript-DCO-1.0-Signed-off-by: Akos Kiss akiss@inf.u-szeged.hu
This commit is contained in:
parent
b31e43075a
commit
990b5d24dd
@ -17,7 +17,8 @@ set(JERRY_EXT_NAME jerry-ext)
|
||||
project (${JERRY_EXT_NAME} C)
|
||||
|
||||
# Include directories
|
||||
set(INCLUDE_EXT "${CMAKE_CURRENT_SOURCE_DIR}/include" "${CMAKE_CURRENT_SOURCE_DIR}/common")
|
||||
set(INCLUDE_EXT_PUBLIC "${CMAKE_CURRENT_SOURCE_DIR}/include")
|
||||
set(INCLUDE_EXT_PRIVATE "${CMAKE_CURRENT_SOURCE_DIR}/common")
|
||||
|
||||
if(FEATURE_INIT_FINI)
|
||||
set(DEFINES_EXT ${DEFINES_EXT} ENABLE_INIT_FINI)
|
||||
@ -39,9 +40,10 @@ set(SOURCE_EXT
|
||||
|
||||
add_library(${JERRY_EXT_NAME} ${SOURCE_EXT})
|
||||
|
||||
target_include_directories(${JERRY_EXT_NAME} PUBLIC ${INCLUDE_EXT})
|
||||
target_include_directories(${JERRY_EXT_NAME} PUBLIC ${INCLUDE_EXT_PUBLIC})
|
||||
target_include_directories(${JERRY_EXT_NAME} PRIVATE ${INCLUDE_EXT_PRIVATE})
|
||||
target_compile_definitions(${JERRY_EXT_NAME} PUBLIC ${DEFINES_EXT})
|
||||
target_link_libraries(${JERRY_EXT_NAME} jerry-core)
|
||||
|
||||
install(TARGETS ${JERRY_EXT_NAME} DESTINATION lib)
|
||||
install(DIRECTORY ${INCLUDE_EXT}/ DESTINATION include)
|
||||
install(DIRECTORY ${INCLUDE_EXT_PUBLIC}/ DESTINATION include)
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user