blob: 6cc494920930dfffc9acca39f926912f4abd2586 [file] [log] [blame]
Piotr Krysik1d425442016-04-13 12:26:41 +02001FROM debian:testing
Piotr Krysikd24a4942018-02-20 12:58:08 +01002MAINTAINER Piotr Krysik
Piotr Krysik1d425442016-04-13 12:26:41 +02003
Vasil Velichkov8c4eefb2018-04-24 23:27:40 +03004RUN apt-get update && DEBIAN_FRONTEND=noninteractive apt-get install -y \
Piotr Krysik1d425442016-04-13 12:26:41 +02005 cmake \
6 autoconf \
7 libtool \
Vasil Velichkov3f6ab152018-02-21 05:57:31 +02008 pkg-config \
Piotr Krysik1d425442016-04-13 12:26:41 +02009 build-essential \
Petter Reinholdtsencf5718c2017-09-20 21:52:31 +020010 python-docutils \
Piotr Krysik1d425442016-04-13 12:26:41 +020011 libcppunit-dev \
12 swig \
13 doxygen \
14 liblog4cpp5-dev \
Piotr Krysik332e2be2018-07-28 12:44:23 +020015 python-gtk2 \
Piotr Krysik1d425442016-04-13 12:26:41 +020016 python-scipy \
Vasil Velichkov333027f2019-08-29 00:17:10 +030017 gnuradio-dev gnuradio libgmp-dev libboost-regex-dev \
Piotr Krysik1d425442016-04-13 12:26:41 +020018 libosmocore-dev
19
20COPY ./ /src/
21RUN ls /src
22
Piotr Krysik50a0e952016-04-29 15:47:45 +020023RUN mkdir /src/build
24WORKDIR /src/build
25RUN cmake .. && \
Vasil Velichkov0feb4ab2018-02-21 06:12:04 +020026 # The parallel build sometimes fails when the .grc_gnuradio
27 # and .gnuradio directories do not exist
28 mkdir $HOME/.grc_gnuradio/ $HOME/.gnuradio/ && \
29 make -j $(nproc) && \
Piotr Krysik1d425442016-04-13 12:26:41 +020030 make install && \
Piotr Krysik398fd8b2018-02-20 13:00:31 +010031 ldconfig && \
Vasil Velichkove153e722018-06-05 20:01:55 +030032 make CTEST_OUTPUT_ON_FAILURE=1 test