mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-06 17:44:08 +00:00
Code Activity

re-enable dotnet, ci got broken. Related #1815

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2018-09-11 03:50:49 -07:00
parent b1423e17a1
commit ef310648ae
1 changed files with 11 additions and 11 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

22
contrib/ci/scripts/build_z3_cmake.sh
View file

@ -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