mirrors/gnss-sdr
1
0
Fork 0
mirror of https://github.com/gnss-sdr/gnss-sdr synced 2024-12-15 12:40:35 +00:00
Code Issues Releases Wiki Activity

Add Ubuntu 18.10

Browse Source
This commit is contained in:
Carles Fernandez 2018-10-05 00:03:37 +02:00
parent 730b862c5c
commit 4d41bdc3a6
No known key found for this signature in database
GPG Key ID: 4C583C52B0C3877D
1 changed files with 17 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
.gitlab-ci.yml
View File

@ -317,6 +317,20 @@ ubuntu18.04:
- make -j$(($NPROC+1)) - make -j$(($NPROC+1))
- make check - make check
- make install - make install
ubuntu18.10:
image: ubuntu:cosmic
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
- 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 allow_failure: true
@ -490,7 +504,7 @@ docker-gnsssdr:
- docker:dind - docker:dind
script: script:
- wget https://raw.githubusercontent.com/carlesfernandez/docker-gnsssdr/master/Dockerfile - wget https://raw.githubusercontent.com/carlesfernandez/docker-gnsssdr/master/Dockerfile
- docker login -u "$CI_REGISTRY_USER" -p "$CI_REGISTRY_PASSWORD" - docker login -u "$DOCKER_HUB_USER" -p "$DOCKER_HUB_PASSWORD"
- mkdir docker-build - mkdir docker-build
- cd docker-build - cd docker-build
- cp ../Dockerfile . - cp ../Dockerfile .
@ -508,7 +522,7 @@ docker-gnsssdr-v0.0.10:
- docker:dind - docker:dind
script: script:
- wget https://raw.githubusercontent.com/carlesfernandez/docker-gnsssdr/v0.0.10/Dockerfile - wget https://raw.githubusercontent.com/carlesfernandez/docker-gnsssdr/v0.0.10/Dockerfile
- docker login -u "$CI_REGISTRY_USER" -p "$CI_REGISTRY_PASSWORD" - docker login -u "$DOCKER_HUB_USER" -p "$DOCKER_HUB_PASSWORD"
- mkdir docker-build - mkdir docker-build
- cd docker-build - cd docker-build
- cp ../Dockerfile . - cp ../Dockerfile .
@ -527,7 +541,7 @@ docker-pybombs-gnsssdr:
- docker:dind - docker:dind
script: script:
- wget https://raw.githubusercontent.com/carlesfernandez/docker-pybombs-gnsssdr/master/Dockerfile - wget https://raw.githubusercontent.com/carlesfernandez/docker-pybombs-gnsssdr/master/Dockerfile
- docker login -u "$CI_REGISTRY_USER" -p "$CI_REGISTRY_PASSWORD" - docker login -u "$DOCKER_HUB_USER" -p "$DOCKER_HUB_PASSWORD"
- mkdir docker-build - mkdir docker-build
- cd docker-build - cd docker-build
- cp ../Dockerfile . - cp ../Dockerfile .