File: Findspot.cmake

package info (click to toggle)
ompl 1.5.2%2Bds1-1
  • links: PTS, VCS
  • area: main
  • in suites: bookworm, bullseye
  • size: 52,448 kB
  • sloc: cpp: 78,358; python: 4,904; sh: 228; xml: 24; javascript: 15; makefile: 11
file content (13 lines) | stat: -rw-r--r-- 415 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
8
9
10
11
12
13
 
# Find spot, a platform for LTL and ω-automata manipulation
# See https://spot.lrde.epita.fr

include(FindPackageHandleStandardArgs)

find_package(PkgConfig)
if(PKGCONFIG_FOUND)
    pkg_check_modules(SPOT libspot)
    if(SPOT_LIBRARIES AND NOT SPOT_INCLUDE_DIRS)
        set(SPOT_INCLUDE_DIRS "/usr/include")
    endif()
endif()
find_package_handle_standard_args(spot DEFAULT_MSG SPOT_LIBRARIES SPOT_INCLUDE_DIRS)