diff --git a/watchman/Dockerfile b/watchman/Dockerfile deleted file mode 100644 index 2b8a2e9..0000000 --- a/watchman/Dockerfile +++ /dev/null @@ -1,32 +0,0 @@ -FROM debian:sid -LABEL maintainer "Jessie Frazelle " - -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" ]