1
0
mirror of https://github.com/gnss-sdr/gnss-sdr synced 2024-11-10 20:10:05 +00:00

Fix building

This commit is contained in:
Carles Fernandez 2024-08-19 10:24:48 +02:00
parent 614693ea0f
commit f3ba1822b1
No known key found for this signature in database
GPG Key ID: 4C583C52B0C3877D

View File

@ -103,6 +103,11 @@ if(ENABLE_ZMQ)
list(APPEND OPT_DRIVER_HEADERS zmq_signal_source.h) list(APPEND OPT_DRIVER_HEADERS zmq_signal_source.h)
endif() endif()
if(ENABLE_ION)
list(APPEND OPT_DRIVER_SOURCES ion_gsms_signal_source.cc)
list(APPEND OPT_DRIVER_HEADERS ion_gsms_signal_source.h)
endif()
set(SIGNAL_SOURCE_ADAPTER_SOURCES set(SIGNAL_SOURCE_ADAPTER_SOURCES
signal_source_base.cc signal_source_base.cc
file_source_base.cc file_source_base.cc
@ -119,7 +124,6 @@ set(SIGNAL_SOURCE_ADAPTER_SOURCES
two_bit_packed_file_signal_source.cc two_bit_packed_file_signal_source.cc
four_bit_cpx_file_signal_source.cc four_bit_cpx_file_signal_source.cc
file_timestamp_signal_source.cc file_timestamp_signal_source.cc
ion_gsms_signal_source.cc
${OPT_DRIVER_SOURCES} ${OPT_DRIVER_SOURCES}
) )
@ -139,7 +143,6 @@ set(SIGNAL_SOURCE_ADAPTER_HEADERS
two_bit_packed_file_signal_source.h two_bit_packed_file_signal_source.h
four_bit_cpx_file_signal_source.h four_bit_cpx_file_signal_source.h
file_timestamp_signal_source.h file_timestamp_signal_source.h
ion_gsms_signal_source.h
${OPT_DRIVER_HEADERS} ${OPT_DRIVER_HEADERS}
) )