diff options
author | 2018-05-21 17:55:06 +0200 | |
---|---|---|
committer | 2018-05-21 17:55:06 +0200 | |
commit | 84729fef9e282caea9765c525c2f607d8529838f (patch) | |
tree | 1e6eadf1a57d767c3f8c7d406d25d78930477bf0 /templates/tools/dockerfile/cmake_jessie_backports.include | |
parent | 85daf2db65d60ebd63936a936d69c63777123d10 (diff) |
use cmake from jessie backports
Diffstat (limited to 'templates/tools/dockerfile/cmake_jessie_backports.include')
-rw-r--r-- | templates/tools/dockerfile/cmake_jessie_backports.include | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/templates/tools/dockerfile/cmake_jessie_backports.include b/templates/tools/dockerfile/cmake_jessie_backports.include new file mode 100644 index 0000000000..2fc49dc8d6 --- /dev/null +++ b/templates/tools/dockerfile/cmake_jessie_backports.include @@ -0,0 +1,6 @@ +#================= +# Use cmake 3.6 from jessie-backports +# should only be used for images based on debian jessie. + +RUN echo "deb http://ftp.debian.org/debian jessie-backports main" | tee /etc/apt/sources.list.d/jessie-backports.list +RUN apt-get update && apt-get install -t jessie-backports -y cmake && apt-get clean |