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