1
0
mirror of https://github.com/gnss-sdr/gnss-sdr synced 2024-12-14 20:20:35 +00:00

Add Ubuntu Disco

This commit is contained in:
Carles Fernandez 2019-02-08 02:05:24 +01:00
parent 0663a19fea
commit bda39f00af
No known key found for this signature in database
GPG Key ID: 4C583C52B0C3877D

View File

@ -352,6 +352,21 @@ ubuntu18.10:
allow_failure: true
ubuntu19.04:
image: ubuntu:disco
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 g$
- cd build
- cmake -DENABLE_OSMOSDR=ON -DENABLE_RAW_UDP=ON ..
- NPROC=$(grep -c ^processor /proc/cpuinfo)
- make -j$(($NPROC+1))
- make check
- make install
allow_failure: true
coverity-scan:
image: ubuntu:xenial
stage: build