From 0eb5f525eea7346903127418d1cb71a783e85dae Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Gustavo=20Adolfo=20Mesa=20Rold=C3=A1n?= Date: Wed, 8 Aug 2018 03:15:48 +0200 Subject: [PATCH] Docker --- dockerfile | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/dockerfile b/dockerfile index e8a7286..c79ef2e 100644 --- a/dockerfile +++ b/dockerfile @@ -9,7 +9,10 @@ RUN apt-get update RUN apt-get install -qq wget unzip build-essential cmake gcc libcunit1-dev libudev-dev zeroc-ice-all-runtime zeroc-ice-all-dev libzeroc-freeze-dev zeroc-freeze-utils -ADD src/ /server +ADD src/ /server/src +ADD certs/ /server/certs +ADD include/ /server/include + RUN cd /server && make slice && make CMD /server/server