if(NOT LIBC_BUILD_AUTOMEMCPY)
  return ()
endif()

if(NOT LLVM_WITH_Z3)
  MESSAGE(FATAL_ERROR "Building llvm-libc automemcpy requires Z3")
endif()

set(LIBC_AUTOMEMCPY_INCLUDE_DIR ${CMAKE_CURRENT_SOURCE_DIR}/include)

add_subdirectory(lib)
add_subdirectory(unittests)