Skip to content

Commit

Permalink
Add pkgconfig, immer, json
Browse files Browse the repository at this point in the history
  • Loading branch information
ladisgin committed Aug 1, 2024
1 parent df4818f commit 5fec33a
Showing 1 changed file with 3 additions and 1 deletion.
4 changes: 3 additions & 1 deletion docker/Dockerfile_base
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@ WORKDIR docker
# Install required system packages
RUN apt update
RUN DEBIAN_FRONTEND=noninteractive apt install -y --no-install-recommends sudo file python3-dateutil wget fakeroot libssl-dev build-essential \
software-properties-common
software-properties-common pkg-config
RUN echo "check_certificate = off" > /etc/wgetrc

# We use C++ 17 for UnitTestBot, it is available in gcc-9; default gcc for ubuntu:18.04 is gcc-7
Expand Down Expand Up @@ -217,6 +217,8 @@ RUN ./configure --make-llvm-lib && make -j`nproc`

# Download library for access private members
RUN git clone https://github.com/martong/access_private.git $UTBOT_ALL/access_private
RUN git clone https://github.com/arximboldi/immer.git $UTBOT_ALL/immer
RUN git clone https://github.com/nlohmann/json.git $UTBOT_ALL/json

RUN apt autoclean

Expand Down

0 comments on commit 5fec33a

Please sign in to comment.