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 64f5391
Show file tree
Hide file tree
Showing 2 changed files with 4 additions and 2 deletions.
2 changes: 1 addition & 1 deletion .github/workflows/matrix.json
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
{
"include": [
{
"DOCKER_TAG": "2024.03.0",
"DOCKER_TAG": "2024.08.0",
"OPERATING_SYSTEM_TAG": "20.04",
"LLVM_VERSION_MAJOR": "14"
}
Expand Down
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 64f5391

Please sign in to comment.