nitlanguage
/
nit.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
ci: compile the manual
[nit.git]
/
misc
/
docker
/
Dockerfile
diff --git
a/misc/docker/Dockerfile
b/misc/docker/Dockerfile
index
a1d602c
..
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.
# 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
MAINTAINER Jean Privat <jean@pryen.org>
# Install dependencies
@@
-16,6
+16,7
@@
RUN apt-get update && DEBIAN_FRONTEND=noninteractive apt-get install -y --no-ins
git \
ca-certificates \
curl \
git \
ca-certificates \
curl \
+ libcurl4-openssl-dev \
# For nit manpages :)
man \
&& rm -rf /var/lib/apt/lists/*
# For nit manpages :)
man \
&& rm -rf /var/lib/apt/lists/*
@@
-26,7
+27,7
@@
RUN git clone https://github.com/nitlang/nit.git /nit \
&& make \
&& . misc/nit_env.sh install \
# Clean and reduce size
&& 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
&& ccache -C \
&& rm -rf .git