From ca0e9a1526e7f97d6728e806e3f2f9e61636b306 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 1 Feb 2024 04:54:32 -0800 Subject: [PATCH] remove explicit option for shared build, set to Release mode. .so artifacts take 800MB in distribution Signed-off-by: Nikolaj Bjorner --- scripts/nightly.yaml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml index d0745010f..8683523f5 100644 --- a/scripts/nightly.yaml +++ b/scripts/nightly.yaml @@ -73,7 +73,7 @@ stages: mkdir $(arch) cd $(arch) $(buildenv) cmake \ - -DCMAKE_BUILD_TYPE=RelWithDebInfo\ + -DCMAKE_BUILD_TYPE=Release\ -DCMAKE_CXX_COMPILER=$(compiler)\ -DZ3_BUILD_DOTNET_BINDINGS=ON\ -DZ3_INSTALL_DOTNET_BINDINGS=ON \ @@ -84,7 +84,6 @@ stages: -DZ3_BUILD_PYTHON_BINDINGS=ON\ -DZ3_INSTALL_PYTHON_BINDINGS=ON\ -DCMAKE_INSTALL_PYTHON_PKG_DIR=bin/python\ - -DZ3_BUILD_LIBZ3_SHARED=ON\ -DCMAKE_INSTALL_PREFIX=$(name)\ -G "Ninja" ../ ninja install