diff options
author | Akos Kiss <akiss@inf.u-szeged.hu> | 2016-09-09 13:32:36 +0200 |
---|---|---|
committer | Tilmann Scheller <t.scheller@samsung.com> | 2016-09-09 13:32:36 +0200 |
commit | 2e1c180658d9a5c1b90fd183c0ff2002c37dd17f (patch) | |
tree | 918f45a9331f1104a2c524b539a4ff0629b7bf14 /jerry-libc | |
parent | da02a37a02b15f724f2155991fbbffaf394790d3 (diff) |
Enable `make install` (#1335)
With the new build system, the conventional `cmake && make` already
works. However, the last step, i.e., `make install` was still
missing (didn't work). This patch adds the `install()` commands to
CMakeLists that are required to generate the `install` target in
the Makefile.
JerryScript-DCO-1.0-Signed-off-by: Akos Kiss akiss@inf.u-szeged.hu
Diffstat (limited to 'jerry-libc')
-rw-r--r-- | jerry-libc/CMakeLists.txt | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/jerry-libc/CMakeLists.txt b/jerry-libc/CMakeLists.txt index 54bf1839..126022a6 100644 --- a/jerry-libc/CMakeLists.txt +++ b/jerry-libc/CMakeLists.txt @@ -47,3 +47,6 @@ add_library(${JERRY_LIBC_NAME} STATIC ${SOURCE_LIBC} ${TARGET_SPECIFIC_LIBC_SOUR target_compile_definitions(${JERRY_LIBC_NAME} PRIVATE ${DEFINES_LIBC}) target_include_directories(${JERRY_LIBC_NAME} PRIVATE ${INCLUDE_LIBC}) target_include_directories(${JERRY_LIBC_NAME} SYSTEM PUBLIC "${CMAKE_SOURCE_DIR}/jerry-libc/include") + +install(TARGETS ${JERRY_LIBC_NAME} DESTINATION lib) +install(DIRECTORY ${INCLUDE_LIBC}/include/ DESTINATION include/jerry-libc) |