LogicFactory/Dockerfile at master · OSCC-Project/LogicFactory · GitHub

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
56
57
58
59
60
61
62
63
64
65
66
67
68
FROM ubuntu:20.04

ENV DEBIAN_FRONTEND=noninteractive
ENV TZ=Asia/Shanghai

RUN apt-get update && apt-get upgrade -y --no-install-recommends apt-utils

# build essential
RUN apt-get install -y \
    software-properties-common \
    build-essential \
    wget \
    curl \
    cmake \
    ninja-build \
    git

# toolkit related libraries
RUN apt-get install -y \
    libreadline6-dev \
    tcl-dev \
    pkg-config \
    bison \
    flex \
    rustc \
    cargo


RUN apt-get install -y \
    libboost-all-dev \
    libeigen3-dev \
    libgtest-dev \
    libgoogle-glog-dev \
    libyaml-cpp-dev \
    libcairo2-dev \
    libunwind-dev \
    libgmp-dev \
    libgmpxx4ldbl \
    libhwloc-dev \
    libffi-dev \
    libgflags-dev \
    libmetis-dev

RUN add-apt-repository ppa:ubuntu-toolchain-r/test -y \
    && apt-get update \
    && apt-get install -y gcc-10 g++-10

# python and distutils
RUN apt-get update && apt-get install -y \
    python3.8 \
    python3.8-distutils \
    python3-pip

RUN python3.8 -m pip install --upgrade pip setuptools wheel

RUN python3.8 -m pip install matplotlib imageio

# rust and cargo
# you can use this mirror for faster download
ENV RUSTUP_DIST_SERVER=https://mirrors.tuna.tsinghua.edu.cn/rustup
RUN curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh -s -- -y
ENV PATH="/root/.cargo/bin:${PATH}"

RUN update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-10 60 --slave /usr/bin/g++ g++ /usr/bin/g++-10

WORKDIR /workspace

CMD ["bash"]