File tree 2 files changed +4
-2
lines changed
2 files changed +4
-2
lines changed Original file line number Diff line number Diff line change 1
1
{
2
2
"include" : [
3
3
{
4
- "DOCKER_TAG" : " 2024.03 .0" ,
4
+ "DOCKER_TAG" : " 2024.08 .0" ,
5
5
"OPERATING_SYSTEM_TAG" : " 20.04" ,
6
6
"LLVM_VERSION_MAJOR" : " 14"
7
7
}
Original file line number Diff line number Diff line change @@ -20,7 +20,7 @@ WORKDIR docker
20
20
# Install required system packages
21
21
RUN apt update
22
22
RUN DEBIAN_FRONTEND=noninteractive apt install -y --no-install-recommends sudo file python3-dateutil wget fakeroot libssl-dev build-essential \
23
- software-properties-common
23
+ software-properties-common pkg-config
24
24
RUN echo "check_certificate = off" > /etc/wgetrc
25
25
26
26
# We use C++ 17 for UnitTestBot, it is available in gcc-9; default gcc for ubuntu:18.04 is gcc-7
@@ -217,6 +217,8 @@ RUN ./configure --make-llvm-lib && make -j`nproc`
217
217
218
218
# Download library for access private members
219
219
RUN git clone https://github.com/martong/access_private.git $UTBOT_ALL/access_private
220
+ RUN git clone https://github.com/arximboldi/immer.git $UTBOT_ALL/immer
221
+ RUN git clone https://github.com/nlohmann/json.git $UTBOT_ALL/json
220
222
221
223
RUN apt autoclean
222
224
You can’t perform that action at this time.
0 commit comments