tests: Add test for Ubuntu 20.04

Change-Id: I38bbde4fad7bdc72ad99a1957678539ea813013e

.travis.yml

@@ -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

tests/dockerfiles/Ubuntu_20_04.docker

@@ -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