Print version number in log together with location
This commit is contained in:
parent
47b2c64675
commit
976c5c54a2
@ -81,9 +81,7 @@ function (find_dune_version suite module)
|
|||||||
|
|
||||||
# if it is not available, it may make havoc having empty defines in the source
|
# if it is not available, it may make havoc having empty defines in the source
|
||||||
# code later, so we bail out early
|
# code later, so we bail out early
|
||||||
if (_dune_mod)
|
if (NOT _dune_mod)
|
||||||
message (STATUS "Version of ${suite}-${module} from ${_dune_mod}")
|
|
||||||
else ()
|
|
||||||
if (${suite}-${module}_FIND_REQUIRED)
|
if (${suite}-${module}_FIND_REQUIRED)
|
||||||
message (FATAL_ERROR "Failed to locate dune.module for ${suite}-${module}")
|
message (FATAL_ERROR "Failed to locate dune.module for ${suite}-${module}")
|
||||||
else ()
|
else ()
|
||||||
@ -117,4 +115,7 @@ function (find_dune_version suite module)
|
|||||||
set (${_SUITE}_${_MODULE}_VERSION_MINOR "${_minor}" PARENT_SCOPE)
|
set (${_SUITE}_${_MODULE}_VERSION_MINOR "${_minor}" PARENT_SCOPE)
|
||||||
set (${_SUITE}_${_MODULE}_VERSION_REVISION "${_revision}" PARENT_SCOPE)
|
set (${_SUITE}_${_MODULE}_VERSION_REVISION "${_revision}" PARENT_SCOPE)
|
||||||
endif ()
|
endif ()
|
||||||
|
|
||||||
|
# print the version number we detected in the configuration log
|
||||||
|
message (STATUS "Version ${_major}.${_minor}.${_revision} of ${suite}-${module} from ${_dune_mod}")
|
||||||
endfunction (find_dune_version suite module)
|
endfunction (find_dune_version suite module)
|
||||||
|
Loading…
Reference in New Issue
Block a user