mirror of
https://github.com/gnss-sdr/gnss-sdr
synced 2025-05-31 21:54:10 +00:00
Keeping armadillo version up to date
This commit is contained in:
parent
8c668f7bc2
commit
6b86864c0f
@ -720,8 +720,8 @@ if(NOT ARMADILLO_FOUND)
|
|||||||
message(STATUS " Armadillo will be downloaded and built automatically ")
|
message(STATUS " Armadillo will be downloaded and built automatically ")
|
||||||
message(STATUS " when doing 'make'. ")
|
message(STATUS " when doing 'make'. ")
|
||||||
|
|
||||||
set(armadillo_RELEASE 5.400.3)
|
set(armadillo_RELEASE 5.200.2)
|
||||||
set(armadillo_MD5 "397733eb2f305b50f28ead3350d975bd")
|
set(armadillo_MD5 "ef57ba4c473a3b67c672441a7face09e")
|
||||||
|
|
||||||
ExternalProject_Add(
|
ExternalProject_Add(
|
||||||
armadillo-${armadillo_RELEASE}
|
armadillo-${armadillo_RELEASE}
|
||||||
|
Loading…
x
Reference in New Issue
Block a user