remove explicit option for shared build, set to Release mode. .so art…

…ifacts take 800MB in distribution Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Feb 1, 2024 · ca0e9a1 · ca0e9a1
1 parent ec6640d
commit ca0e9a1
Showing 1 changed file with 1 addition and 2 deletions.
diff --git 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