@@ -23,7 +23,7 @@ function(add_ia2_compartment NAME TYPE)
2323 # Parse options
2424 set (options ENABLE_UBSAN)
2525 set (oneValueArgs PKEY)
26- set (multiValueArgs LIBRARIES SOURCES INCLUDE_DIRECTORIES EXTRA_REWRITER_ARGS )
26+ set (multiValueArgs LIBRARIES SOURCES INCLUDE_DIRECTORIES )
2727 cmake_parse_arguments (ARG "${options} " "${oneValueArgs} "
2828 "${multiValueArgs} " ${ARGN} )
2929
@@ -49,9 +49,6 @@ function(add_ia2_compartment NAME TYPE)
4949 IA2_ENABLE=1
5050 PKEY=${ARG_PKEY}
5151 )
52- if (IA2_TRACE_EXIT)
53- target_compile_definitions (${NAME} PRIVATE IA2_TRACE_EXIT=1)
54- endif ()
5552 set_target_properties (${NAME} PROPERTIES PKEY ${ARG_PKEY} )
5653 target_compile_options (${NAME} PRIVATE
5754 "-Werror=incompatible-pointer-types"
@@ -80,7 +77,7 @@ function(add_ia2_compartment NAME TYPE)
8077
8178 if ("${TYPE} " STREQUAL "EXECUTABLE" )
8279 # Create and link call gates
83- add_ia2_call_gates(${NAME} LIBRARIES ${ARG_LIBRARIES} EXTRA_REWRITER_ARGS ${ARG_EXTRA_REWRITER_ARGS} )
80+ add_ia2_call_gates(${NAME} LIBRARIES ${ARG_LIBRARIES} )
8481 endif ()
8582endfunction ()
8683
@@ -150,9 +147,6 @@ function(create_compile_commands NAME TYPE)
150147 IA2_ENABLE=0
151148 PKEY=${ARG_PKEY}
152149 )
153- if (IA2_TRACE_EXIT)
154- target_compile_definitions (${COMPILE_COMMAND_TARGET} PRIVATE IA2_TRACE_EXIT=1)
155- endif ()
156150 # Copy target properties from the real target. We might need to add more properties.
157151 target_link_libraries (${COMPILE_COMMAND_TARGET} PRIVATE $<TARGET_PROPERTY:${NAME} ,LINK_LIBRARIES >)
158152 target_include_directories (${COMPILE_COMMAND_TARGET} PRIVATE ${INCLUDE_DIRECTORIES} )
@@ -224,7 +218,7 @@ function(add_ia2_call_gates NAME)
224218 # Parse options
225219 set (options "" )
226220 set (oneValueArgs "" )
227- set (multiValueArgs LIBRARIES EXTRA_REWRITER_ARGS )
221+ set (multiValueArgs LIBRARIES)
228222 cmake_parse_arguments (ARG "${options} " "${oneValueArgs} "
229223 "${multiValueArgs} " ${ARGN} )
230224
@@ -328,7 +322,6 @@ function(add_ia2_call_gates NAME)
328322 # Set the build path so the rewriter can find the compile_commands JSON
329323 -p ${CMAKE_BINARY_DIR}
330324 ${SYSROOT_FLAG}
331- ${ARG_EXTRA_REWRITER_ARGS}
332325 ${SOURCES}
333326 WORKING_DIRECTORY ${CMAKE_BINARY_DIR}
334327 # dependencies on custom targets (i.e. the rewriter) do not re-run this
0 commit comments