Skip to content

Commit 05df6a6

Browse files
committed
update docker images
1 parent 65eaebd commit 05df6a6

File tree

2 files changed

+16
-5
lines changed

2 files changed

+16
-5
lines changed

dockerfiles/pipeline.docker

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -11,6 +11,13 @@ RUN apt-get -y install \
1111
wget \
1212
unzip
1313

14+
# installing bazel
15+
RUN apt install apt-transport-https curl gnupg -y
16+
RUN curl -fsSL https://bazel.build/bazel-release.pub.gpg | gpg --dearmor >bazel-archive-keyring.gpg
17+
RUN mv bazel-archive-keyring.gpg /usr/share/keyrings
18+
RUN echo "deb [arch=amd64 signed-by=/usr/share/keyrings/bazel-archive-keyring.gpg] https://storage.googleapis.com/bazel-apt stable jdk1.8" | sudo tee /etc/apt/sources.list.d/bazel.list
19+
RUN apt update && apt install bazel
20+
1421
# install pipeline
1522
USER root
1623
WORKDIR /

dockerfiles/tools.docker

Lines changed: 9 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -31,11 +31,15 @@ ENV TEST_SPARK_HOME=/var/tools/TestSpark
3131
# install Jazzer
3232
USER root
3333
WORKDIR /var/tools
34-
RUN mkdir Jazzer
35-
WORKDIR /var/tools/Jazzer
36-
RUN wget https://github.com/CodeIntelligenceTesting/jazzer/releases/download/v0.22.1/jazzer-linux.tar.gz
37-
RUN tar -xvzf jazzer-linux.tar.gz
38-
ENV JAZZER_HOME=/var/tools/Jazzer
34+
RUN git clone https://github.com/AbdullinAM/jazzer.git
35+
WORKDIR /var/tools/jazzer
36+
RUN bazel run //:jazzer
37+
ENV JAZZER_HOME=/var/tools/jazzer/bazel-bin/launcher/
38+
# RUN mkdir Jazzer
39+
# WORKDIR /var/tools/Jazzer
40+
# RUN wget https://github.com/CodeIntelligenceTesting/jazzer/releases/download/v0.22.1/jazzer-linux.tar.gz
41+
# RUN tar -xvzf jazzer-linux.tar.gz
42+
# ENV JAZZER_HOME=/var/tools/Jazzer
3943

4044
# run tool
4145
USER root

0 commit comments

Comments
 (0)