klever/Klever-bridge.docker at master · ldv-klever/klever · 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
# This is a Docker image for running the tests.
# and will be used by CI as declared in .gitlab-ci.yml.
#
# Commands for updating the image:
# docker build --pull -t gitlab.ispras.ru:4567/verification/klever - < ./gitlab-ci.Dockerfile.base
# docker push gitlab.ispras.ru:4567/verification/klever

FROM ubuntu:22.04 AS klever-bridge

RUN apt update && apt install -y --no-install-recommends \
  curl \
  git \
  xz-utils \
  gcc \
  g++

# Some problem with ca-certificates
# RUN apt install -y ca-certificates --reinstall

RUN apt install -y --no-install-recommends --fix-missing  \
    make python3 python3-dev python3-pip python-is-python3 unzip wget  \
    libelf-dev libssl-dev graphviz bc bison  \
    flex rabbitmq-server netcat

RUN apt update && DEBIAN_FRONTEND=noninteractive TZ=Etc/UTC apt install -y --no-install-recommends tzdata

RUN apt install -y --no-install-recommends --fix-missing     \
    gettext nginx libbz2-dev lzma   \
    liblzma-dev liblz-dev cmake libc6-dev-i386 \
    libffi-dev

WORKDIR /klever

RUN git clone https://github.com/ldv-klever/klever.git klever-src/

WORKDIR /klever/klever-src
RUN python3 -m pip install --upgrade pip setuptools setuptools_scm wheel
RUN python3 -m pip install --upgrade -r requirements.txt

RUN sed -i 's/localhost/rabbitmq/g' ./bridge/bridge/common.py
RUN sed -i 's/127.0.0.1/postgres/g' ./bridge/bridge/common.py

# celery disable
RUN sed -i 's/\.delay//g' ./bridge/jobs/Download.py
RUN sed -i 's/\.delay//g' ./bridge/reports/UploadReport.py
RUN sed -i 's/\.delay//g' ./bridge/tools/utils.py

COPY ./bridge/bridge/urls.py bridge/bridge/urls.py
COPY ./bridge/bridge/utils.py bridge/bridge/utils.py

COPY ./run_bridge.sh run_bridge.sh

RUN python3 ./bridge/manage.py compilemessages

ENTRYPOINT ["./run_bridge.sh"]