src/test/main.cpp | 24 12 + 12 - 0 !
1 file changed, 12 insertions(+), 12 deletions(-)

 disable some lengthy and possibly failing tests

scripts/mk_util.py | 2 1 + 1 - 0 !
1 file changed, 1 insertion(+), 1 deletion(-)

 fix mono build command

scripts/mk_util.py | 2 1 + 1 - 0 !
src/api/dotnet/Microsoft.Z3.csproj | 6 3 + 3 - 0 !
2 files changed, 4 insertions(+), 4 deletions(-)

 fix .net version number to build with mono
 This patch fixes a FTBFS with Mono caused by an apparently
 unsupported version of the .NET framework.

scripts/mk_project.py | 1 0 + 1 - 0 !
scripts/mk_util.py | 16 2 + 14 - 0 !
2 files changed, 2 insertions(+), 15 deletions(-)

 ocamlopt is not available everywhere

src/util/hwf.cpp | 2 1 + 1 - 0 !
1 file changed, 1 insertion(+), 1 deletion(-)

 intrinsics are not universally available

src/ast/dl_decl_plugin.cpp | 4 2 + 2 - 0 !
src/ast/normal_forms/pull_quant.cpp | 4 2 + 2 - 0 !
src/ast/pp_params.pyg | 2 1 + 1 - 0 !
src/cmd_context/cmd_util.cpp | 2 1 + 1 - 0 !
src/cmd_context/cmd_util.h | 2 1 + 1 - 0 !
src/cmd_context/tactic_cmds.cpp | 2 1 + 1 - 0 !
src/math/realclosure/rcf.pyg | 2 1 + 1 - 0 !
src/math/subpaving/subpaving_t.h | 2 1 + 1 - 0 !
src/muz/base/dl_util.h | 2 1 + 1 - 0 !
src/muz/fp/datalog_parser.cpp | 4 2 + 2 - 0 !
src/muz/rel/dl_compiler.h | 2 1 + 1 - 0 !
src/muz/transforms/dl_mk_unbound_compressor.cpp | 12 6 + 6 - 0 !
src/smt/asserted_formulas.cpp | 2 1 + 1 - 0 !
src/smt/params/smt_params_helper.pyg | 2 1 + 1 - 0 !
src/smt/smt_context_pp.cpp | 4 2 + 2 - 0 !
src/tactic/arith/diff_neq_tactic.h | 2 1 + 1 - 0 !
src/tactic/probe.h | 2 1 + 1 - 0 !
src/tactic/sls/sls_tracker.h | 2 1 + 1 - 0 !
src/util/mpff.h | 2 1 + 1 - 0 !
19 files changed, 28 insertions(+), 28 deletions(-)

 fix typos found by lintian

scripts/mk_util.py | 2 1 + 1 - 0 !
1 file changed, 1 insertion(+), 1 deletion(-)

 enable hardening flags for all shared libraries

scripts/mk_util.py | 2 1 + 1 - 0 !
1 file changed, 1 insertion(+), 1 deletion(-)

 fix compilation on kfreebsd-* systems

src/util/debug.cpp | 2 1 + 1 - 0 !
1 file changed, 1 insertion(+), 1 deletion(-)

 [patch] convert stream to bool explicitly

In C++11 there is no implicit conversion from iostream classes to `void*`, just an explicit conversion to bool.

src/util/mpz.cpp | 2 1 + 1 - 0 !
1 file changed, 1 insertion(+), 1 deletion(-)

 [patch] fix build with clang

Signed-off-by: Nuno Lopes <nlopes@microsoft.com>

src/test/mpff.cpp | 8 4 + 4 - 0 !
src/test/mpz.cpp | 2 1 + 1 - 0 !
2 files changed, 5 insertions(+), 5 deletions(-)

 add some more casts to fix the build (bug: #835743)