cmake spot examples

ompl/omplapp CMakeLists.txt :134 

find_package(spot)

ompl/ompl CMakeLists.txt :130 

find_package(spot)