From 210da2506afb11b235bcd3130a7eab4c5ed4be23 Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Wed, 24 Jul 2024 16:05:00 +0200
Subject: [PATCH] fix

---
 nix/bootstrap.nix  | 2 +-
 src/CMakeLists.txt | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/nix/bootstrap.nix b/nix/bootstrap.nix
index 3685fdb69064..caca4aecebfd 100644
--- a/nix/bootstrap.nix
+++ b/nix/bootstrap.nix
@@ -170,7 +170,7 @@ rec {
           ln -sf ${lean-all}/* .
         '';
         buildPhase = ''
-          ctest --output-junit test-results.xml --output-on-failure -E 'leancomptest_(doc_example|foreign)' -j$NIX_BUILD_CORES
+          ctest --output-junit test-results.xml --output-on-failure -E 'leancomptest_(doc_example|foreign)|leanpkgtest_path' -j$NIX_BUILD_CORES
         '';
         installPhase = ''
           mkdir $out
diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
index f2cc9beae6c7..695c791d42d3 100644
--- a/src/CMakeLists.txt
+++ b/src/CMakeLists.txt
@@ -1,5 +1,6 @@
 cmake_minimum_required(VERSION 3.10)
 cmake_policy(SET CMP0054 NEW)
+cmake_policy(SET CMP0110 NEW)
 if(NOT (${CMAKE_GENERATOR} MATCHES "Unix Makefiles"))
   message(FATAL_ERROR "The only supported CMake generator at the moment is 'Unix Makefiles'")
 endif()