2017-08-17 15:02:35 +02:00
|
|
|
FROM debian:wheezy-slim
|
|
|
|
|
ENV DEBIAN_FRONTEND noninteractive
|
2019-11-21 14:46:51 +01:00
|
|
|
RUN cat /etc/apt/sources.list
|
2019-11-21 14:58:34 +01:00
|
|
|
RUN echo 'deb http://archive.debian.org/debian/dists/wheezy/ wheezy main' > /etc/apt/sources.list
|
|
|
|
|
RUN echo 'deb http://archive.debian.org/debian/dists/wheezy/ wheezy-updates main' >> /etc/apt/sources.list
|
2017-08-17 15:02:35 +02:00
|
|
|
RUN apt-get -y update
|
|
|
|
|
RUN apt-get -y upgrade
|
|
|
|
|
RUN apt-get -y install \
|
|
|
|
|
autoconf \
|
|
|
|
|
build-essential \
|
|
|
|
|
flex \
|
|
|
|
|
bison \
|
|
|
|
|
ncurses-dev \
|
|
|
|
|
libreadline-dev
|
