mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-06 17:44:08 +00:00
Code Activity

api: dotnet: FindDotnet.cmake now handles 'REQUIRED' option.

Browse source
This commit is contained in:
Yatao Li 2018-09-10 09:34:28 +08:00
parent 232a88101b
commit 90890e46a9
1 changed files with 4 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
cmake/modules/FindDotnet.cmake
View file

@ -56,7 +56,7 @@
# #
# Require 3.5 for batch copy multiple files # Require 3.5 for batch copy multiple files
CMAKE_MINIMUM_REQUIRED(VERSION 3.5.0) cmake_minimum_required(VERSION 3.5.0)
IF(DOTNET_FOUND) IF(DOTNET_FOUND)
RETURN() RETURN()
@ -68,6 +68,9 @@ SET(DOTNET_MODULE_DIR ${CMAKE_CURRENT_LIST_DIR})
IF(NOT DOTNET_EXE) IF(NOT DOTNET_EXE)
SET(DOTNET_FOUND FALSE) SET(DOTNET_FOUND FALSE)
IF(Dotnet_FIND_REQUIRED)
MESSAGE(SEND_ERROR "Command 'dotnet' is not found.")
ENDIF()
RETURN() RETURN()
ENDIF() ENDIF()