1
0
mirror of https://github.com/gnss-sdr/gnss-sdr synced 2024-07-04 19:03:14 +00:00

Fix Ubuntu 18.10

This commit is contained in:
Carles Fernandez 2018-10-05 00:21:10 +02:00
parent 4d41bdc3a6
commit fe898a1e35
No known key found for this signature in database
GPG Key ID: 4C583C52B0C3877D

View File

@ -324,7 +324,7 @@ ubuntu18.10:
stage: build
script:
- apt-get update
- apt-get install -y --no-install-recommends build-essential cmake git libboost-dev libboost-date-time-dev libboost-system-dev libboost-filesystem-dev libboost-thread-dev libboost-chrono-dev libboost-serialization-dev liblog4cpp5-dev gnuradio-dev gr-osmosdr libpcap-dev libblas-dev liblapack-dev libarmadillo-dev libgflags-dev libgoogle-glog-dev libgnutls-openssl-dev python-mako python-six libmatio-dev googletest
- apt-get install -y --no-install-recommends build-essential cmake git libboost-dev libboost-date-time-dev libboost-system-dev libboost-filesystem-dev libboost-thread-dev libboost-chrono-dev libboost-serialization-dev liblog4cpp5-dev gnuradio-dev gr-osmosdr libpcap-dev libblas-dev liblapack-dev libarmadillo-dev libgflags-dev libgoogle-glog-dev libgnutls-openssl-dev python-mako python-six libmatio-dev libgtest-dev
- cd build
- cmake -DENABLE_OSMOSDR=ON -DENABLE_RAW_UDP=ON ..
- NPROC=$(grep -c ^processor /proc/cpuinfo)