Merge: Ci: move services to specific hostnames

[nit.git] / misc / docker / Dockerfile

diff --git a/misc/docker/Dockerfile b/misc/docker/Dockerfile
index 95995bf..b32af8c 100644 (file)
--- a/misc/docker/Dockerfile
+++ b/misc/docker/Dockerfile
@@ -1,6 +1,6 @@
 # This is a basic install of Nit on a debian base.
 
-FROM debian:jessie
+FROM debian:stretch
 MAINTAINER Jean Privat <jean@pryen.org>
 
 # Install dependencies
@@ -16,20 +16,21 @@ RUN apt-get update && DEBIAN_FRONTEND=noninteractive apt-get install -y --no-ins
                git \
                ca-certificates \
                curl \
+               libcurl4-openssl-dev \
                # For nit manpages :)
                man \
        && rm -rf /var/lib/apt/lists/*
 
 # Clone and compile
-RUN git clone https://github.com/nitlang/nit.git /root/nit \
-       && cd /root/nit \
+RUN git clone https://github.com/nitlang/nit.git /nit \
+       && cd /nit \
        && make \
        && . misc/nit_env.sh install \
        # Clean and reduce size
-       && strip c_src/nitc bin/nit* \
+       && { strip c_src/nitc bin/nit* || true; } \
        && ccache -C \
        && rm -rf .git
 
-ENV NIT_DIR /root/nit
+ENV NIT_DIR /nit
 ENV PATH $NIT_DIR/bin:$PATH
 WORKDIR $NIT_DIR