cmake AR examples

NASA-SW-VnV/ikos analyzer/CMakeLists.txt :116 

find_package(AR REQUIRED)