-
Notifications
You must be signed in to change notification settings - Fork 0
/
Dockerfile
55 lines (54 loc) · 3.02 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
43
44
45
46
47
48
49
50
51
52
53
54
55
FROM debian
MAINTAINER Thomas Rodenhausen <thomas.rodenhausen@gmail.com>
LABEL Description="This image is used to setup the EulerX executable in a Debian OS"
RUN apt-get update
RUN apt-get install -y make
RUN apt-get install -y gcc
RUN apt-get install -y git
RUN apt-get install -y wget
RUN apt-get install -y graphviz
RUN apt-get install -y python-pip
RUN apt-get install -y python-numpy
RUN apt-get install -y pkg-config
RUN apt-get install -y libfreetype6-dev
RUN apt-get install -y python-dev
RUN apt-get install -y python-tk
RUN wget https://repo.continuum.io/archive/Anaconda2-4.2.0-Linux-x86_64.sh -P /opt/anaconda2
RUN chmod +x /opt/anaconda2/Anaconda2-4.2.0-Linux-x86_64.sh
RUN /opt/anaconda2/Anaconda2-4.2.0-Linux-x86_64.sh -b -f -p /opt/anaconda2
RUN pip install pyyaml
RUN pip install docopt
RUN pip install pinject
RUN pip install autologging
RUN pip install matplotlib
RUN pip install networkx
RUN pip install gitpython
RUN pip install beautifulsoup4
RUN pip install html5lib
RUN pip install ruamel.yaml
RUN git clone https://github.com/EulerProject/EulerX /opt/eulerx
RUN git clone https://github.com/EulerProject/e3 /opt/e3
RUN git clone https://github.com/EulerProject/e3-kernel /opt/e3-kernel
RUN /opt/e3-kernel/install_script.sh
RUN git clone https://github.com/EulerProject/euler2-demos /opt/euler2-demos
RUN wget http://www.dlvsystem.com/files/dlv.x86-64-linux-elf-static.bin -P /opt/reasoners/dlv
RUN wget -O /opt/reasoners/gringo-4.5.4-linux-x86_64.tar.gz "https://downloads.sourceforge.net/project/potassco/gringo/4.5.4/gringo-4.5.4-linux-x86_64.tar.gz?r=https%3A%2F%2Fsourceforge.net%2Fprojects%2Fpotassco%2Ffiles%2Fgringo%2F4.5.4%2F&ts=1484341313&use_mirror=master"
RUN wget -O /opt/reasoners/claspD-1.1.4-x86-linux.tar.gz "http://downloads.sourceforge.net/project/potassco/claspD/1.1.4/claspD-1.1.4-x86-linux.tar.gz?r=https%3A%2F%2Fsourceforge.net%2Fprojects%2Fpotassco%2Ffiles%2FclaspD%2F1.1.4%2F&ts=1483579150&use_mirror=master"
RUN wget http://www.cs.unm.edu/%7Emccune/mace4/download/LADR-2009-11A.tar.gz -P /opt/reasoners
RUN tar zxvf /opt/reasoners/gringo-4.5.4-linux-x86_64.tar.gz -C /opt/reasoners
RUN rm -R /opt/reasoners/gringo-4.5.4-linux-x86_64.tar.gz
RUN tar zxvf /opt/reasoners/claspD-1.1.4-x86-linux.tar.gz -C /opt/reasoners/
RUN rm -R /opt/reasoners/claspD-1.1.4-x86-linux.tar.gz
RUN tar zxvf /opt/reasoners/LADR-2009-11A.tar.gz -C /opt/reasoners
RUN rm /opt/reasoners/LADR-2009-11A.tar.gz
RUN make all -C /opt/reasoners/LADR-2009-11A
RUN ln -s /opt/reasoners/dlv/dlv.x86-64-linux-elf-static.bin /usr/local/bin/dlv
RUN ln -s /opt/reasoners/gringo-4.5.4-linux-x86_64/gringo /usr/local/bin/gringo
RUN ln -s /opt/reasoners/claspD-1.1.4/claspD-1.1.4 /usr/local/bin/claspD
RUN ln -s /opt/reasoners/LADR-2009-11A/bin/mace4 /usr/local/bin/mace4
RUN ln -s /opt/reasoners/LADR-2009-11A/bin/prover9 /usr/local/bin/prover9
RUN ln -s /opt/eulerx/src-el/euler2 /usr/local/bin/euler2
RUN ln -s /opt/eulerx/src-el/y2d /usr/local/bin/y2d
RUN ln -s /opt/eulerx/src-el/euler /usr/local/bin/euler
RUN ln -s /opt/e3/e3 /usr/local/bin/e3
RUN chmod +x /usr/local/bin/dlv