diff options
Diffstat (limited to 'tests/dockerfiles/Debian_testing.docker')
-rw-r--r-- | tests/dockerfiles/Debian_testing.docker | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tests/dockerfiles/Debian_testing.docker b/tests/dockerfiles/Debian_testing.docker index a1010ed..643472e 100644 --- a/tests/dockerfiles/Debian_testing.docker +++ b/tests/dockerfiles/Debian_testing.docker @@ -26,6 +26,9 @@ RUN cmake .. && \ # The parallel build sometimes fails when the .grc_gnuradio # and .gnuradio directories do not exist mkdir $HOME/.grc_gnuradio/ $HOME/.gnuradio/ && \ + # Workaround for the grcc failure + # https://github.com/ptrkrysik/gr-gsm/pull/378#issuecomment-379587145 + ln -sf /usr/lib/x86_64-linux-gnu/libvolk.so.1.3.1 /usr/lib/x86_64-linux-gnu/libvolk.so.1.3 && \ make -j $(nproc) && \ make install && \ ldconfig && \ |