From e2a8352bfee3736f657bb98e9b4512224e9e75ab Mon Sep 17 00:00:00 2001 From: Brad Wu Date: Tue, 24 Sep 2024 16:13:44 -0400 Subject: [PATCH] update dockerfile to reflect cmake change --- .ci/docker/ubuntu.Dockerfile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.ci/docker/ubuntu.Dockerfile b/.ci/docker/ubuntu.Dockerfile index 8741084..7f4e8db 100644 --- a/.ci/docker/ubuntu.Dockerfile +++ b/.ci/docker/ubuntu.Dockerfile @@ -1,6 +1,6 @@ # SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception -# Using a non-LTS Ubuntu, just until CMake 3.23 is available on Ubuntu 24.04. +# Using a non-LTS Ubuntu, just until CMake 3.24 is available on Ubuntu 24.04. FROM ubuntu:23.10 # Install dependencies, @@ -30,5 +30,6 @@ ENV CC="$cc" CXX="$cxx" CMAKE_GENERATOR="Ninja" CMAKE_EXPORT_COMPILE_COMMANDS=on RUN ls -lR src RUN cmake -B build -S . "$cmake_args" RUN cmake --build build --verbose +RUN cmake --build build --target all_verify_interface_header_sets RUN cmake --install build --prefix /opt/beman.exemplar RUN find /opt/beman.exemplar -type f