cmake RV examples

AnyDSL/thorin CMakeLists.txt :51 

find_package(RV QUIET CONFIG)