remove watchman

Signed-off-by: Jess Frazelle <acidburn@google.com>
This commit is contained in:
Jess Frazelle 2017-08-08 21:33:59 -04:00
parent 0ec5ea44e5
commit a9ed0f1e7b
No known key found for this signature in database
GPG Key ID: 18F3685C0022BFF3

View File

@ -1,32 +0,0 @@
FROM debian:sid
LABEL maintainer "Jessie Frazelle <jess@linux.com>"
RUN apt-get update && apt-get install -y \
ca-certificates \
--no-install-recommends \
&& rm -rf /var/lib/apt/lists/*
ENV WATCHMAN_VERSION v4.8.0-rc1
RUN buildDeps=' \
autoconf \
automake \
clang \
git \
libtool \
make \
pkg-config \
' \
&& set -x \
&& apt-get update && apt-get install -y $buildDeps --no-install-recommends \
&& rm -rf /var/lib/apt/lists/* \
&& git clone --depth 1 --branch "${WATCHMAN_VERSION}" https://github.com/facebook/watchman.git /usr/src/watchman \
&& cd /usr/src/watchman \
&& ./autogen.sh \
&& ./configure \
&& make \
&& make install \
&& rm -rf /usr/src/watchman \
&& apt-get purge -y --auto-remove $buildDeps
ENTRYPOINT [ "watchman" ]