mirror of
https://github.com/gnss-sdr/gnss-sdr
synced 2025-05-28 20:24:10 +00:00
Improve information provided to the user
This commit is contained in:
parent
4eea63326f
commit
a2076418d8
@ -76,4 +76,5 @@ if("${ARMADILLO_VERSION_STRING}" VERSION_GREATER "9.800" OR (NOT ARMADILLO_FOUND
|
||||
else()
|
||||
message(STATUS "The Armadillo library version found (${ARMADILLO_VERSION_STRING}) is older than 9.800.")
|
||||
message(STATUS " The obsdiff utility tool will not be built.")
|
||||
message(STATUS " You could build it by setting -DENABLE_OWN_ARMADILLO=ON")
|
||||
endif()
|
||||
|
@ -101,6 +101,16 @@ if(Boost_FOUND)
|
||||
else()
|
||||
message(STATUS "Boost Iostreams library not found.")
|
||||
message(STATUS " The rinex2assist utility tool will not be built.")
|
||||
if(${CMAKE_SYSTEM_NAME} MATCHES "Linux|kFreeBSD|GNU")
|
||||
message(STATUS " You can install the Boost Iostreams library it by doing:")
|
||||
if(${LINUX_DISTRIBUTION} MATCHES "Fedora" OR ${LINUX_DISTRIBUTION} MATCHES "Red Hat")
|
||||
message(STATUS " sudo yum install boost-iostreams")
|
||||
elseif(${LINUX_DISTRIBUTION} MATCHES "openSUSE")
|
||||
message(STATUS " sudo zypper install libboost_iostreams-devel")
|
||||
else()
|
||||
message(STATUS " sudo apt-get install libboost-iostreams-dev")
|
||||
endif()
|
||||
endif()
|
||||
endif()
|
||||
|
||||
set(Boost_FOUND TRUE) # trick for summary report
|
||||
|
Loading…
x
Reference in New Issue
Block a user