docker scripts

This commit is contained in:
2020-02-12 14:13:10 +01:00
parent 26303a6454
commit 45a1af39f6
5 changed files with 11 additions and 11 deletions

View File

@ -28,6 +28,7 @@ RUN git clone https://github.com/MOVE-II/move2radio.git && \
cd move2radio-prop/ldpc && git checkout 940e8f96ccae831c7d3ad6b9497710696cd7f324 && git reset --hard && cd ../.. && \
git clone git@${PROP_SERVER}:${PROP_DIR_SDR}/gr-ccsds.git move2radio-prop/gr-ccsds && \
cd move2radio-prop/gr-ccsds && git checkout 5777e4176fe381327fe6cf55b7ec0dfe3c63b3f6 && git reset --hard && cd ../..
RUN git clone git@${PROP_SERVER}:${PROP_DIR_SDR}/com_utilities.git move2radio-prop/com_utilities
# Build stage
FROM ubuntu:18.04