testing: Use Debian trixie to test TKM

This commit is contained in:
Tobias Brunner
2025-09-18 11:13:32 +02:00
parent a0a5bd7669
commit 906205b7ee
+5 -5
View File
@@ -23,12 +23,12 @@
# #
# make -j check TESTS_RUNNERS=tkm TESTS_TKM=1 # make -j check TESTS_RUNNERS=tkm TESTS_TKM=1
FROM debian:bookworm FROM debian:trixie
ARG packages="autoconf automake bison build-essential ca-certificates ccache \ ARG packages="autoconf automake bison build-essential ca-certificates ccache \
flex git gperf libssl-dev libtool pkg-config \ flex git gperf libssl-dev libtool pkg-config \
gnat gprbuild libahven11-dev libxmlada-schema12-dev libgmpada12-dev \ gnat gprbuild libahven-dev libxmlada-schema-dev libgmpada-dev \
libalog8-dev" libalog-dev"
RUN apt-get update && \ RUN apt-get update && \
DEBIAN_FRONTEND=noninteractive apt-get install -qq -y \ DEBIAN_FRONTEND=noninteractive apt-get install -qq -y \
@@ -48,8 +48,8 @@ RUN cd /tmp/recipes \
&& make -f 010_tkm.mk \ && make -f 010_tkm.mk \
&& rm -rf /tmp/recipes && rm -rf /tmp/recipes
ENV ADA_PROJECT_PATH /usr/local/ada/lib/gnat ENV ADA_PROJECT_PATH=/usr/local/ada/lib/gnat
ENV PATH /usr/lib/ccache:$PATH ENV PATH=/usr/lib/ccache:$PATH
COPY tkm/generate-config.sh /usr/local/share/tkm/ COPY tkm/generate-config.sh /usr/local/share/tkm/
COPY tests/tkm/host2host-initiator/hosts/moon/etc/tkm/tkm.conf /usr/local/share/tkm/ COPY tests/tkm/host2host-initiator/hosts/moon/etc/tkm/tkm.conf /usr/local/share/tkm/