tests: Add test for Ubuntu 20.04

Change-Id: I38bbde4fad7bdc72ad99a1957678539ea813013e
porting_to_gr38
Piotr Krysik 2 years ago
parent 92e4032d6d
commit 6e1473426d
  1. 3
      .travis.yml
  2. 32
      tests/dockerfiles/Ubuntu_20_04.docker

@ -4,6 +4,7 @@ dist: bionic
language: ruby
env:
- DOCKERFILE=tests/dockerfiles/Ubuntu_20_04.docker IMGNAME=ubuntu_20_04
- DOCKERFILE=tests/dockerfiles/Debian_testing.docker IMGNAME=debian_testing
services:
@ -13,6 +14,6 @@ before_install:
- cat $DOCKERFILE > Dockerfile ; docker build -t $IMGNAME .
script:
# - docker run -it --rm $IMGNAME sh -c 'cd /src/build;make test'
- docker run -it --rm $IMGNAME sh -c 'cd /src/build;make test'
- docker run -it --rm $IMGNAME /src/tests/scripts/decode.sh
- docker run -it --rm $IMGNAME /src/tests/scripts/decrypt.sh

@ -0,0 +1,32 @@
FROM ubuntu:20.04
MAINTAINER Piotr Krysik
RUN apt-get update && DEBIAN_FRONTEND=noninteractive apt-get install -y \
cmake \
autoconf \
libtool \
pkg-config \
build-essential \
libcppunit-dev \
swig \
doxygen \
liblog4cpp5-dev \
python3-docutils \
python3-scipy \
gnuradio-dev \
liborc-dev \
libosmocore-dev \
gr-osmosdr
COPY ./ /src/
RUN mkdir /src/build
WORKDIR /src/build
RUN cmake .. && \
# The parallel build sometimes fails when the .grc_gnuradio
# and .gnuradio directories do not exist
mkdir $HOME/.grc_gnuradio/ $HOME/.gnuradio/ && \
make -j $(nproc) && \
make install && \
ldconfig && \
make CTEST_OUTPUT_ON_FAILURE=1 test
Loading…
Cancel
Save