-
Notifications
You must be signed in to change notification settings - Fork 1
/
Dockerfile
35 lines (35 loc) · 2.21 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
FROM ubuntu:latest
RUN apt-get -y update
RUN apt-get -y upgrade
RUN DEBIAN_FRONTEND=noninteractive apt-get install -y --no-install-recommends tzdata apt-utils
RUN apt-get -y install --no-install-recommends gcc-11 g++-11 make graphviz python3 python3-dev python3-pip python3-venv openjdk-8-jre-headless git nodejs npm wget
ADD --chown=root:root doc/* /etc/skel/doc/
RUN apt-get -y autoclean
RUN update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-11 10
RUN update-alternatives --install /usr/bin/g++ g++ /usr/bin/g++-11 10
RUN update-alternatives --install /usr/bin/cpp cpp /usr/bin/cpp-11 10
RUN useradd --skel /etc/skel --create-home --password ec2saXpWqj10U --user-group ecco
RUN npm install -g configurable-http-proxy
WORKDIR /usr/local
RUN git clone https://github.com/fpom/ecofolder.git ecofolder.git
WORKDIR /usr/local/ecofolder.git
RUN make clean && make
RUN cp -a ecofolder mci2dot mci2dot_ev pr_encoding mci2csv rs_complement /usr/local/bin/
WORKDIR /usr/local
RUN rm -rf ecofolder.git
SHELL ["/usr/bin/bash", "--login", "-c"]
RUN python3 -m venv /usr/local/ecco.venv
RUN echo '. /usr/local/ecco.venv/bin/activate' >> /etc/profile.d/ecco.sh
RUN echo 'export CC="gcc"' >> /etc/profile.d/ecco.sh
RUN echo 'export CXX="g++"' >> /etc/profile.d/ecco.sh
RUN echo 'export LD_LIBRARY_PATH=/usr/local/ecco.venv/lib' >> /etc/profile.d/ecco.sh
WORKDIR /usr/local/ecco.venv
RUN wget -nv https://github.com/fpom/pyddd/raw/master/libDDD.tar.gz && tar xzf libDDD.tar.gz && rm libDDD.tar.gz
RUN wget -nv https://github.com/fpom/pyits/raw/master/libITS.tar.gz && tar xzf libITS.tar.gz && rm libITS.tar.gz
RUN pip3 install --no-cache-dir --upgrade setuptools wheel jupyter networkx pandas numpy bqplot colour bitarray sympy cython tatsu==5.5.0 psutil prince pydot python-igraph ipycytoscape unidecode scikit-learn typeguard rich[jupyter]
RUN pip3 install --no-cache-dir git+https://github.com/fpom/pytl.git
RUN pip3 install --no-cache-dir git+https://github.com/fpom/cunf-ptnet-py3.git
RUN pip3 install --no-cache-dir git+https://github.com/fpom/pyddd.git
RUN pip3 install --no-cache-dir git+https://github.com/fpom/pyits.git
RUN pip3 install --no-cache-dir git+https://github.com/fpom/pymc.git
RUN pip3 install --no-cache-dir git+https://github.com/fpom/ecco.git