From ef310648aebfbac16695ae6b6f6a1244674d7648 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 11 Sep 2018 03:50:49 -0700 Subject: [PATCH] re-enable dotnet, ci got broken. Related #1815 Signed-off-by: Nikolaj Bjorner --- contrib/ci/scripts/build_z3_cmake.sh | 22 +++++++++++----------- 1 file changed, 11 insertions(+), 11 deletions(-) diff --git a/contrib/ci/scripts/build_z3_cmake.sh b/contrib/ci/scripts/build_z3_cmake.sh index b12e90aa8..c1014d5d5 100755 --- a/contrib/ci/scripts/build_z3_cmake.sh +++ b/contrib/ci/scripts/build_z3_cmake.sh @@ -78,17 +78,17 @@ else fi # .NET bindings? -#if [ "X${DOTNET_BINDINGS}" = "X1" ]; then -# ADDITIONAL_Z3_OPTS+=( \ -# '-DBUILD_DOTNET_BINDINGS=ON' \ -# '-DINSTALL_DOTNET_BINDINGS=ON' \ -# ) -#else -# ADDITIONAL_Z3_OPTS+=( \ -# '-DBUILD_DOTNET_BINDINGS=OFF' \ -# '-DINSTALL_DOTNET_BINDINGS=OFF' \ -# ) -#fi +if [ "X${DOTNET_BINDINGS}" = "X1" ]; then + ADDITIONAL_Z3_OPTS+=( \ + '-DBUILD_DOTNET_BINDINGS=ON' \ + '-DINSTALL_DOTNET_BINDINGS=ON' \ + ) +else + ADDITIONAL_Z3_OPTS+=( \ + '-DBUILD_DOTNET_BINDINGS=OFF' \ + '-DINSTALL_DOTNET_BINDINGS=OFF' \ + ) +fi # Java bindings? if [ "X${JAVA_BINDINGS}" = "X1" ]; then