Merge pull request #16733 from Rajpratik71:master

Some debian package manager tweaks
pull/16851/head
Pratik Raj 5 years ago committed by GitHub
parent ca23c0e630
commit 2160f9b20e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
  1. 2
      modules/videoio/misc/plugin_ffmpeg/Dockerfile-ffmpeg
  2. 2
      modules/videoio/misc/plugin_ffmpeg/Dockerfile-ubuntu
  3. 2
      modules/videoio/misc/plugin_gstreamer/Dockerfile

@ -1,6 +1,6 @@
FROM ubuntu:18.04 FROM ubuntu:18.04
RUN apt-get update && apt-get install -y \ RUN apt-get update && apt-get --no-install-recommends install -y \
pkg-config \ pkg-config \
cmake \ cmake \
g++ \ g++ \

@ -1,7 +1,7 @@
ARG VER ARG VER
FROM ubuntu:$VER FROM ubuntu:$VER
RUN apt-get update && apt-get install -y \ RUN apt-get update && apt-get --no-install-recommends install -y \
libavcodec-dev \ libavcodec-dev \
libavfilter-dev \ libavfilter-dev \
libavformat-dev \ libavformat-dev \

@ -1,6 +1,6 @@
FROM ubuntu:18.04 FROM ubuntu:18.04
RUN apt-get update && apt-get install -y \ RUN apt-get update && apt-get --no-install-recommends install -y \
libgstreamer-plugins-base1.0-dev \ libgstreamer-plugins-base1.0-dev \
libgstreamer-plugins-good1.0-dev \ libgstreamer-plugins-good1.0-dev \
libgstreamer1.0-dev \ libgstreamer1.0-dev \

Loading…
Cancel
Save