blob: c4b65653ae9ada8ad9ee8be0d2a67737d363438f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
|
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
# You may obtain a copy of the License at
#
# http://www.apache.org/licenses/LICENSE-2.0
#
# Unless required by applicable law or agreed to in writing, software
# distributed under the License is distributed on an "AS IS" BASIS,
# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
# See the License for the specific language governing permissions and
# limitations under the License.
#
# Tries to find the infer module
#
# Usage of this module as follows:
#
# find_package(InferTools)
#
# Variables used by this module, they can change the default behaviour and need
# to be set before calling find_package:
#
# InferTools_PATH -
# When set, this path is inspected instead of standard library binary locations
# to find infer
#
# This module defines
# INFER_BIN, The path to the infer binary
# INFER_FOUND, Whether infer was found
find_program(INFER_BIN
NAMES infer
PATHS ${InferTools_PATH}
$ENV{INFER_TOOLS_PATH}
/usr/local/bin
/usr/bin
/usr/local/homebrew/bin
/opt/local/bin
NO_DEFAULT_PATH)
if("${INFER_BIN}" STREQUAL "INFER_BIN-NOTFOUND")
set(INFER_FOUND 0)
message(STATUS "infer not found")
else()
set(INFER_FOUND 1)
message(STATUS "infer found at ${INFER_BIN}")
endif()
|
