From ac38ea828eb6d8229cc176e924b927693945b87d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Gustavo=20Adolfo=20Mesa=20Rold=C3=A1n?= Date: Wed, 8 Aug 2018 03:08:26 +0200 Subject: [PATCH] Docker --- dockerfile | 15 +++++++++++++++ 1 file changed, 15 insertions(+) create mode 100644 dockerfile diff --git a/dockerfile b/dockerfile new file mode 100644 index 0000000..e8a7286 --- /dev/null +++ b/dockerfile @@ -0,0 +1,15 @@ +FROM ubuntu:16.04 +RUN apt-get update +RUN apt-get install -qq apt-utils +RUN apt-get install -qq software-properties-common + +RUN apt-key adv --keyserver keyserver.ubuntu.com --recv B6391CB2CFBA643D +RUN apt-add-repository "deb http://zeroc.com/download/Ice/3.7/ubuntu16.04 stable main" +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 +RUN cd /server && make slice && make + +CMD /server/server