-
Notifications
You must be signed in to change notification settings - Fork 0
/
Dockerfile
43 lines (34 loc) · 1.1 KB
/
Dockerfile
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
FROM ubuntu:14.04
MAINTAINER Francesco Marconi <[email protected]>
# Setting the environment
ENV USERHOME /root
ENV DEBIAN_FRONTEND noninteractive
ENV USER root
WORKDIR /tmp
# Update the repos and install all the used packages
RUN apt-get update && apt-get install -y --force-yes --no-install-recommends \
curl \
git \
python \
python-dev \
build-essential \
&& \
apt-get autoclean && \
apt-get autoremove && \
rm -rf /var/lib/apt/lists/*
#installing pip
WORKDIR /tmp
RUN curl -k -O https://bootstrap.pypa.io/get-pip.py && \
python get-pip.py && \
rm get-pip.py
#environment variables for DICE-TraCT
ENV PROJECT_FOLDER /opt/DICE-Trace-Checking/
ENV SERVER_CODE_FOLDER ${PROJECT_FOLDER}dicetract/
# get DICE-TraCT from github
# RUN git clone https://github.com/dice-project/DICE-Trace-Checking $PROJECT_FOLDER
# load code from current directory
ADD . $PROJECT_FOLDER
#load all needed packages from pip
RUN pip install -r ${PROJECT_FOLDER}requirements.txt
WORKDIR $SERVER_CODE_FOLDER
CMD ["python", "dicetractservice.py"]