Your message dated Mon, 26 Sep 2016 06:36:50 +0000
with message-id <[email protected]>
and subject line Bug#835754: fixed in z3 4.4.1-0.3
has caused the Debian Bug report #835754,
regarding z3: FTBFS: util/debug.cpp:79:38: error: cannot convert
'std::basic_istream<char>' to 'bool' in initialization
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact [email protected]
immediately.)
--
835754: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=835754
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Source: z3
Version: 4.4.1-0.2
Severity: serious
Justification: fails to build from source
User: [email protected]
Usertags: ftbfs
X-Debbugs-Cc: [email protected]
Dear Maintainer,
z3 fails to build from source in unstable/amd64:
[..]
dh_ocamlinit -O--parallel
debian/rules override_dh_auto_configure
make[1]: Entering directory
'/home/lamby/temp/cdt.20160828113355.M8pdxROBix.db.z3/z3-4.4.1'
if [ yes = yes ]; then \
sed -i 's/^DOTNET_ENABLED=.*/DOTNET_ENABLED=True/' scripts/mk_util.py; \
else \
sed -i 's/^DOTNET_ENABLED=.*/DOTNET_ENABLED=False/' scripts/mk_util.py;
\
fi
if [ yes = yes ]; then \
python scripts/mk_make.py --java --ml
--prefix=/home/lamby/temp/cdt.20160828113355.M8pdxROBix.db.z3/z3-4.4.1/debian/tmp/usr;
\
else \
python scripts/mk_make.py --ml
--prefix=/home/lamby/temp/cdt.20160828113355.M8pdxROBix.db.z3/z3-4.4.1/debian/tmp/usr;
\
fi
opt = --java, arg =
opt = --ml, arg =
opt = --prefix, arg =
/home/lamby/temp/cdt.20160828113355.M8pdxROBix.db.z3/z3-4.4.1/debian/tmp/usr
New component: 'util'
New component: 'polynomial'
New component: 'sat'
New component: 'nlsat'
New component: 'hilbert'
New component: 'simplex'
New component: 'interval'
New component: 'realclosure'
New component: 'subpaving'
New component: 'ast'
New component: 'rewriter'
New component: 'normal_forms'
New component: 'model'
New component: 'tactic'
New component: 'substitution'
New component: 'parser_util'
New component: 'grobner'
New component: 'euclid'
New component: 'core_tactics'
New component: 'sat_tactic'
New component: 'arith_tactics'
New component: 'nlsat_tactic'
New component: 'subpaving_tactic'
New component: 'aig_tactic'
New component: 'solver'
New component: 'interp'
New component: 'cmd_context'
New component: 'extra_cmds'
New component: 'smt2parser'
New component: 'proof_checker'
New component: 'simplifier'
New component: 'fpa'
New component: 'macros'
New component: 'pattern'
New component: 'bit_blaster'
New component: 'smt_params'
New component: 'proto_model'
New component: 'smt'
New component: 'user_plugin'
New component: 'bv_tactics'
New component: 'fuzzing'
New component: 'smt_tactic'
New component: 'sls_tactic'
New component: 'qe'
New component: 'duality'
New component: 'muz'
New component: 'dataflow'
New component: 'transforms'
New component: 'rel'
New component: 'pdr'
New component: 'clp'
New component: 'tab'
New component: 'bmc'
New component: 'ddnf'
New component: 'duality_intf'
New component: 'fp'
New component: 'nlsat_smt_tactic'
New component: 'smtlogic_tactics'
New component: 'fpa_tactics'
New component: 'ufbv_tactic'
New component: 'sat_solver'
New component: 'portfolio'
New component: 'smtparser'
New component: 'opt'
New component: 'api'
New component: 'shell'
New component: 'test'
New component: 'api_dll'
New component: 'dotnet'
New component: 'java'
New component: 'ml'
New component: 'cpp'
Python bindings directory was detected.
New component: 'cpp_example'
New component: 'iz3'
New component: 'z3_tptp'
New component: 'c_example'
New component: 'maxsat'
New component: 'dotnet_example'
New component: 'java_example'
New component: 'py_example'
Generated 'src/util/version.h'
Updated 'src/api/dotnet/Properties/AssemblyInfo'
Generated 'src/nlsat/nlsat_params.hpp'
Generated 'src/tactic/sls/sls_params.hpp'
Generated 'src/math/realclosure/rcf_params.hpp'
Generated 'src/math/polynomial/algebraic_params.hpp'
Generated 'src/muz/base/fixedpoint_params.hpp'
Generated 'src/ast/pp_params.hpp'
Generated 'src/ast/fpa/fpa2bv_rewriter_params.hpp'
Generated 'src/ast/simplifier/bv_simplifier_params_helper.hpp'
Generated 'src/ast/simplifier/arith_simplifier_params_helper.hpp'
Generated 'src/ast/simplifier/array_simplifier_params_helper.hpp'
Generated 'src/ast/normal_forms/nnf_params.hpp'
Generated 'src/ast/rewriter/rewriter_params.hpp'
Generated 'src/ast/rewriter/bv_rewriter_params.hpp'
Generated 'src/ast/rewriter/bool_rewriter_params.hpp'
Generated 'src/ast/rewriter/arith_rewriter_params.hpp'
Generated 'src/ast/rewriter/fpa_rewriter_params.hpp'
Generated 'src/ast/rewriter/array_rewriter_params.hpp'
Generated 'src/ast/rewriter/poly_rewriter_params.hpp'
Generated 'src/ast/pattern/pattern_inference_params_helper.hpp'
Generated 'src/opt/opt_params.hpp'
Generated 'src/sat/sat_scc_params.hpp'
Generated 'src/sat/sat_simplifier_params.hpp'
Generated 'src/sat/sat_asymm_branch_params.hpp'
Generated 'src/sat/sat_params.hpp'
Generated 'src/solver/combined_solver_params.hpp'
Generated 'src/interp/interp_params.hpp'
Generated 'src/model/model_params.hpp'
Generated 'src/model/model_evaluator_params.hpp'
Generated 'src/smt/params/smt_params_helper.hpp'
Generated 'src/parsers/util/parser_params.hpp'
Generated 'src/ast/pattern/database.h'
Generated 'src/shell/install_tactic.cpp'
Generated 'src/test/install_tactic.cpp'
Generated 'src/api/dll/install_tactic.cpp'
Generated 'src/shell/mem_initializer.cpp'
Generated 'src/test/mem_initializer.cpp'
Generated 'src/api/dll/mem_initializer.cpp'
Generated 'src/shell/gparams_register_modules.cpp'
Generated 'src/test/gparams_register_modules.cpp'
Generated 'src/api/dll/gparams_register_modules.cpp'
Generated 'src/api/python/z3consts.py'
Generated 'src/api/dotnet/Enumerations.cs'
Finding javac ...
Finding jar ...
Testing /usr/bin/javac...
Finding jni.h...
Generated 'src/api/java/enumerations'
Generated 'src/api/java/Native.java'
Generated "src/api/ml/z3native.ml"
Generated 'src/api/api_log_macros.h'
Generated 'src/api/api_log_macros.cpp'
Generated 'src/api/api_commands.cpp'
Generated 'src/api/python/z3core.py'
Generated 'src/api/dotnet/Native.cs'
Listing src/api/python ...
Compiling src/api/python/z3.py ...
Compiling src/api/python/z3consts.py ...
Compiling src/api/python/z3core.py ...
Compiling src/api/python/z3num.py ...
Compiling src/api/python/z3poly.py ...
Compiling src/api/python/z3printer.py ...
Compiling src/api/python/z3rcf.py ...
Compiling src/api/python/z3test.py ...
Compiling src/api/python/z3types.py ...
Compiling src/api/python/z3util.py ...
Copied 'z3printer.py'
Copied 'z3num.py'
Copied 'z3util.py'
Copied 'z3poly.py'
Copied 'z3test.py'
Copied 'z3consts.py'
Copied 'z3core.py'
Copied 'z3types.py'
Copied 'z3rcf.py'
Copied 'z3.py'
Generated 'z3poly.pyc'
Generated 'z3test.pyc'
Generated 'z3types.pyc'
Generated 'z3printer.pyc'
Generated 'z3.pyc'
Generated 'z3util.pyc'
Generated 'z3consts.pyc'
Generated 'z3num.pyc'
Generated 'z3core.pyc'
Generated 'z3rcf.pyc'
Testing ocamlc...
Finding OCAML_LIB...
OCAML_LIB=/usr/lib/ocaml
Testing ocamlfind...
Generated "src/api/ml/z3enums.ml"
Generated "src/api/ml/z3enums.mli"
Testing ar...
Testing g++...
Testing gcc...
Testing floating point support...
Testing OpenMP...
Host platform: Linux
C++ Compiler: g++
C Compiler : gcc
Arithmetic: internal
OpenMP: True
Prefix:
/home/lamby/temp/cdt.20160828113355.M8pdxROBix.db.z3/z3-4.4.1/debian/tmp/usr
64-bit: True
FP math: SSE2-GCC
Python version: 2.7
JNI Bindings: /usr/lib/jvm/java-8-openjdk-amd64/include
Java Compiler: /usr/bin/javac
OCaml Compiler: ocamlc
OCaml Native: true
OCaml Library: /usr/lib/ocaml
Writing build/Makefile
Updated 'build/api/ml/META'
Copied Z3Py example 'example.py' to 'build'
Makefile was successfully generated.
python packages dir:
/home/lamby/temp/cdt.20160828113355.M8pdxROBix.db.z3/z3-4.4.1/debian/tmp/usr/lib/python2.7/dist-packages
compilation mode: Release
Type 'cd build; make' to build Z3
sed -i 's/^SLINK_FLAGS=.*/SLINK_FLAGS=-fPIE -pie -Wl,-z,relro -Wl,-z,now
-Wl,-soname,libz3.so.4 -fPIC -shared/' build/config.mk
sed -i 's/^CXXFLAGS=/CXXFLAGS=-fPIC /' build/config.mk
printf '%%:\n\t$(MAKE) -C build $@\n' > Makefile
printf '\nall:\n\t$(MAKE) -C build $@\n' >> Makefile
ln -s libz3.so build/libz3.dll
# from T2 README, with fixes
printf '<configuration>\n <dllmap dll="libz3.dll"
target="/usr/lib/x86_64-linux-gnu/libz3.so" os="linux"/>\n</configuration>\n' >
build/Microsoft.Z3.dll.config
make[1]: Leaving directory
'/home/lamby/temp/cdt.20160828113355.M8pdxROBix.db.z3/z3-4.4.1'
jh_linkjars -O--parallel
dh_auto_build -O--parallel
make -j9
make[1]: Entering directory
'/home/lamby/temp/cdt.20160828113355.M8pdxROBix.db.z3/z3-4.4.1'
make -C build all
make[2]: Entering directory
'/home/lamby/temp/cdt.20160828113355.M8pdxROBix.db.z3/z3-4.4.1/build'
src/smt/smt_statistics.cpp
src/interp/iz3profiling.cpp
src/util/approx_nat.cpp
src/util/luby.cpp
src/util/common_msgs.cpp
src/util/scoped_ctrl_c.cpp
src/api/dll/dll.cpp
cp ../src/api/ml/z3enums.mli api/ml/z3enums.mli
cp ../src/api/ml/z3native.mli api/ml/z3native.mli
cp ../src/api/ml/z3.mli api/ml/z3.mli
cp ../src/api/ml/z3enums.ml api/ml/z3enums.ml
cp ../src/api/ml/z3native.ml api/ml/z3native.ml
cp ../src/api/ml/z3.ml api/ml/z3.ml
cp ../src/api/ml/z3native_stubs.c api/ml/z3native_stubs.c
src/util/approx_set.cpp
src/util/memory_manager.cpp
src/util/z3_exception.cpp
src/util/cooperate.cpp
src/util/timeit.cpp
ocamlc -I api/ml -c api/ml/z3enums.mli
src/api/api_commands.cpp
src/util/scoped_timer.cpp
src/util/util.cpp
src/util/lbool.cpp
src/util/page.cpp
src/util/stack.cpp
src/util/timer.cpp
src/util/mpn.cpp
src/util/bit_util.cpp
src/util/timeout.cpp
ocamlc -I api/ml -c api/ml/z3native.mli
ocamlc -a -o api/ml/z3enums.ml -o api/ml/z3enums.cma
src/shell/z3_log_frontend.cpp
src/api/api_log.cpp
src/util/hash.cpp
src/util/fixed_bit_vector.cpp
ocamlc -I api/ml -c api/ml/z3.mli
ocamlc -a -o api/ml/z3native.ml -o api/ml/z3native.cma
src/api/z3_replayer.cpp
src/util/symbol.cpp
src/util/region.cpp
src/util/prime_generator.cpp
src/util/small_object_allocator.cpp
src/util/warning.cpp
src/util/rlimit.cpp
src/util/smt2_util.cpp
src/util/trace.cpp
src/util/cmd_context_types.cpp
src/util/bit_vector.cpp
src/util/permutation.cpp
src/util/debug.cpp
ocamlc -a -o api/ml/z3.ml -o api/ml/z3.cma
src/api/api_log_macros.cpp
src/smt/params/qi_params.cpp
src/smt/params/theory_arith_params.cpp
src/smt/params/theory_bv_params.cpp
../src/util/debug.cpp: In function 'void invoke_gdb()':
../src/util/debug.cpp:79:38: error: cannot convert 'std::basic_istream<char>'
to 'bool' in initialization
bool ok = (std::cin >> result);
^
Makefile:289: recipe for target 'util/debug.o' failed
make[2]: *** [util/debug.o] Error 1
make[2]: *** Waiting for unfinished jobs....
make[2]: Leaving directory
'/home/lamby/temp/cdt.20160828113355.M8pdxROBix.db.z3/z3-4.4.1/build'
Makefile:5: recipe for target 'all' failed
make[1]: *** [all] Error 2
make[1]: Leaving directory
'/home/lamby/temp/cdt.20160828113355.M8pdxROBix.db.z3/z3-4.4.1'
dh_auto_build: make -j9 returned exit code 2
debian/rules:23: recipe for target 'build' failed
make: *** [build] Error 2
[..]
The full build log is attached.
Regards,
--
,''`.
: :' : Chris Lamb
`. `'` [email protected] / chris-lamb.co.uk
`-
z3.4.4.1-0.2.unstable.amd64.log.txt.gz
Description: Binary data
--- End Message ---
--- Begin Message ---
Source: z3
Source-Version: 4.4.1-0.3
We believe that the bug you reported is fixed in the latest version of
z3, which is due to be installed in the Debian FTP archive.
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to [email protected],
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Gianfranco Costamagna <[email protected]> (supplier of updated z3
package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing [email protected])
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Sun, 25 Sep 2016 23:06:24 +0200
Source: z3
Binary: z3 libz3-4 libz3-dev python-z3 libz3-cil libz3-ocaml-dev libz3-java
libz3-jni
Architecture: source
Version: 4.4.1-0.3
Distribution: unstable
Urgency: medium
Maintainer: Michael Tautschnig <[email protected]>
Changed-By: Gianfranco Costamagna <[email protected]>
Description:
libz3-4 - theorem prover from Microsoft Research - runtime libraries
libz3-cil - theorem prover from Microsoft Research - CLI bindings
libz3-dev - theorem prover from Microsoft Research - development files
libz3-java - theorem prover from Microsoft Research - java bindings
libz3-jni - theorem prover from Microsoft Research - JNI library
libz3-ocaml-dev - theorem prover from Microsoft Research - OCaml bindings
python-z3 - theorem prover from Microsoft Research - Python bindings
z3 - theorem prover from Microsoft Research
Closes: 835743 835754
Changes:
z3 (4.4.1-0.3) unstable; urgency=medium
.
* Non-maintainer upload.
.
[ Fabian Wolff ]
* debian/patches/f02d273ee39ae047222e362c37213d29135dc661.patch:
Fix build failure with new gnu++14 standard. (Closes: #835754)
* debian/patches/27399309009314f56cdfbd8333f287b1a9b7a3a6.patch:
Fix build failure with new compiler and clang. (Closes: #835743)
.
[ Gianfranco Costamagna ]
* debian/patches/fix-build.patch: tweak the casts a little bit
more to really fix 835743.
Checksums-Sha1:
2a36b942e4ad65148f9e788646c7d9bc896eb540 2787 z3_4.4.1-0.3.dsc
5e2e60e354b2445fb5e000bd8c7ed1063003ecad 14280 z3_4.4.1-0.3.debian.tar.xz
Checksums-Sha256:
8678a2d34717dc16b548411d8ae9083077b56743bd371a8cc40d797b34d6eda6 2787
z3_4.4.1-0.3.dsc
d3243ca3d0cd5edebecd1063ce7a9a51f912882b49a451ceb14dde35a6839d4d 14280
z3_4.4.1-0.3.debian.tar.xz
Files:
640f36384685da84d3c150675dc739cd 2787 science extra z3_4.4.1-0.3.dsc
c6bd61a8b4bc45a6f00021fc019f36de 14280 science extra z3_4.4.1-0.3.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2
iQIcBAEBCAAGBQJX6LtfAAoJEPNPCXROn13ZmF4P/AljsPWLLfTDR0/kCnl2pm2F
xzBawtjh9+e9m8jdd3upUJeE6I5jVMlwaV3nu/k9Pembl2wyJLvE6LJH1VmtRTHv
PMSjr9CyKWIDSB3nNu8rHqMKh+RuaWr1BPlknLZajzHnuLY5kUSIw6cxuYcHrgrn
urxN3Wto/eXYEHmlkD7gYxGuG1CqTCMvena9kBKhkSp4zPWrTAixs15g3x92+NbE
RkECJJRcplRypi0Sbg2m0G9mm1AKfv/7U5MGja2WJkNI+aLIpTGoxNTmzMHDcyHb
6VzV6MJYXAMpnY2ab9VxvdrIu0Ha+Mm7ssP3L5rwdMGwaqft7U8M9YbtPO2235ft
LqKOOVQOBQPG0BtimYsEij1TisPezeE2XVRM8RrrbZOj4Szqc+7xsdQ5vuMJuyBg
VKTiPcz4lpjLED6EWemJQI/cH4nDAtIV+PvvrB5hn70aZ1yGsq4jgyvSa5iwYp/H
WU157Ngqd0uzC+131aq+JzQp99vzxbLCNMDX9IUlyw35RrIUh5LSYB4CUj+L7/un
xalWJmnHxcOJe6uIp9IEjUy/mfUrZJfbRUGwXT+tZIQwSXDdcg2s2hAGaif+d56q
Ai25QFKVRCUd6ZXpLcMtgnQOsf70QGtaZ95+TNcIPKJEIZQXQF+TzdbHA6SnSB0D
7KOKY6jsY2R4fqP6KAKX
=EjpS
-----END PGP SIGNATURE-----
--- End Message ---
