Skip to content

Commit 8e15dd1

Browse files
committed
Small refactor
1 parent 967b61e commit 8e15dd1

File tree

3 files changed

+2
-631
lines changed

3 files changed

+2
-631
lines changed

docker/Dockerfile_base

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -70,7 +70,7 @@ WORKDIR /home/utbot
7070
USER root
7171
ARG LLVM_VERSION_MAJOR
7272
RUN mkdir $UTBOT_ALL/llvm_gold_plugin
73-
COPY building_dependencies/llvm_gold_plugin/plugin-api.h $UTBOT_ALL/llvm_gold_plugin
73+
RUN wget -P $UTBOT_ALL/llvm_gold_plugin https://github.com/raw/bminor/binutils-gdb/fd67aa1129fd006ad49ed5ecb2b063705211553a/include/plugin-api.h
7474
RUN git clone --single-branch --branch "release/${LLVM_VERSION_MAJOR}.x" --depth 1 "https://github.com/llvm/llvm-project.git" $UTBOT_ALL/llvm-project
7575
WORKDIR $UTBOT_ALL/llvm-project
7676
RUN mkdir build && cd build \
@@ -211,7 +211,7 @@ RUN wget https://github.com/agauniyal/rang/releases/download/v3.1.0/rang.hpp -P
211211
COPY building_dependencies/runtime_env.sh /home/utbot/.bashrc
212212
COPY building_dependencies/runtime_env.sh /root/.bashrc
213213

214-
# We need to install version 2, because KLEE uses two.
214+
# We need to install version 32 and 64 for klee.
215215
# Install uclibc-32
216216
RUN git clone -b klee_uclibc_v1.2 https://github.com/klee/klee-uclibc.git $UTBOT_ALL/klee-uclibc-32
217217
WORKDIR $UTBOT_ALL/klee-uclibc-32

0 commit comments

Comments
 (0)