We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 48687e5 commit cd96ce0Copy full SHA for cd96ce0
1 file changed
Dockerfile
@@ -105,7 +105,7 @@ RUN apt-get -y update \
105
ARG GTIRB_BRANCH=master
106
ARG GTIRB_CACHE_KEY
107
RUN git clone --depth=1 -b $GTIRB_BRANCH https://github.com/GrammaTech/gtirb /usr/local/src/gtirb
108
-RUN cmake -DGTIRB_JAVA_API=OFF -DGTIRB_CL_API=OFF /usr/local/src/gtirb -B/usr/local/src/gtirb/build
+RUN cmake -DGTIRB_JAVA_API=OFF -DGTIRB_CL_API=OFF -DGTIRB_ENABLE_TESTS=OFF /usr/local/src/gtirb -B/usr/local/src/gtirb/build
109
RUN cmake --build /usr/local/src/gtirb/build -j4 --target all install
110
111
# ------------------------------------------------------------------------------
0 commit comments