Distinguish between public and private headers in jerry-core (#2472)
The patch also ensures that all components access only the public headers of other components (except for unit tests, which are allowed to use private headers, too). JerryScript-DCO-1.0-Signed-off-by: Akos Kiss akiss@inf.u-szeged.hu
This commit is contained in:
+5
-5
@@ -246,16 +246,16 @@ endif()
|
||||
# Jerry's core
|
||||
add_subdirectory(jerry-core)
|
||||
|
||||
# Jerry's default port implementation
|
||||
if(JERRY_PORT_DEFAULT)
|
||||
add_subdirectory(jerry-port/default)
|
||||
endif()
|
||||
|
||||
# Jerry's extension tools
|
||||
if(JERRY_EXT)
|
||||
add_subdirectory(jerry-ext)
|
||||
endif()
|
||||
|
||||
# Jerry's default port implementation
|
||||
if(JERRY_PORT_DEFAULT)
|
||||
add_subdirectory(jerry-port/default)
|
||||
endif()
|
||||
|
||||
# Jerry command line tool
|
||||
if(JERRY_CMDLINE OR JERRY_CMDLINE_TEST OR JERRY_CMDLINE_SNAPSHOT)
|
||||
add_subdirectory(jerry-main)
|
||||
|
||||
Reference in New Issue
Block a user