From 77d81cb38cd9a85faf8cb6a9e647db9381d56f58 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?J=C3=A9r=C3=B4me=20Duval?= Date: Sun, 10 Sep 2023 14:34:15 +0200 Subject: [PATCH] vcmi: disable pch headers build --- games-strategy/vcmi/vcmi-1.3.1.recipe | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/games-strategy/vcmi/vcmi-1.3.1.recipe b/games-strategy/vcmi/vcmi-1.3.1.recipe index 2835dbe60..eea2d0097 100644 --- a/games-strategy/vcmi/vcmi-1.3.1.recipe +++ b/games-strategy/vcmi/vcmi-1.3.1.recipe @@ -92,7 +92,8 @@ BUILD() -DCMAKE_INSTALL_PREFIX=$prefix \ -DLIB_DIR=$relativeLibDir \ -DFORCE_BUNDLED_FL=0 \ - -DBUILD_SHARED_LIBS=ON + -DBUILD_SHARED_LIBS=ON \ + -DCMAKE_DISABLE_PRECOMPILE_HEADERS=ON make -C build $jobArgs }