Docker: Use Debian packages for PEGTL
@@ -75,6 +75,7 @@ RUN apt-get update \
ruby-dev \
swig3.0 \
systemd \
+ tao-pegtl-dev \
tclcl-dev \
uuid-dev \
valgrind \
@@ -94,13 +95,6 @@ RUN mkdir -p ${GTEST_ROOT} \
&& tar -zxvf gtest.tar.gz --strip-components=1 -C ${GTEST_ROOT} \
&& rm gtest.tar.gz
-# PEGTL
-ARG PEGTL_VERSION=2.7.1
-RUN cd /tmp \
- && git clone --branch ${PEGTL_VERSION} --depth 1 https://github.com/taocpp/PEGTL.git \
- && cp -R PEGTL/include/tao /usr/local/include \
- && rm -rf PEGTL
-
# YAEP
ARG YAEP_VERSION=550de4cc5600d5f6109c7ebcfbacec51bf80d8d3
RUN cd /tmp \
