Your message dated Sun, 28 Aug 2016 17:43:42 +0000
with message-id <[email protected]>
and subject line Bug#830457: fixed in minizinc 2.0.14+dfsg1-1
has caused the Debian Bug report #830457,
regarding minizinc: FTBFS: flatten_internal.hh:240:116: error: 'floor' was not
declared in this scope
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.)
--
830457: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=830457
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Source: minizinc
Version: 2.0.13+dfsg1-1
Severity: serious
Tags: stretch sid
User: [email protected]
Usertags: qa-ftbfs-20160707 qa-ftbfs
Justification: FTBFS on amd64
Hi,
During a rebuild of all packages in sid, your package failed to build on
amd64.
Relevant part (hopefully):
> /usr/bin/g++ -I/«BUILDDIR»/minizinc-2.0.13+dfsg1/obj-x86_64-linux-gnu
> -I/«BUILDDIR»/minizinc-2.0.13+dfsg1/include -g -O2 -fstack-protector-strong
> -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -std=c++11
> -o CMakeFiles/minizinc.dir/lib/astexception.cpp.o -c
> /«BUILDDIR»/minizinc-2.0.13+dfsg1/lib/astexception.cpp
> In file included from
> /«BUILDDIR»/minizinc-2.0.13+dfsg1/lib/astexception.cpp:13:0:
> /«BUILDDIR»/minizinc-2.0.13+dfsg1/include/minizinc/flatten_internal.hh: In
> static member function 'static MiniZinc::LinearTraits<MiniZinc::IntLit>::Val
> MiniZinc::LinearTraits<MiniZinc::IntLit>::floor_div(MiniZinc::LinearTraits<MiniZinc::IntLit>::Val,
> MiniZinc::LinearTraits<MiniZinc::IntLit>::Val)':
> /«BUILDDIR»/minizinc-2.0.13+dfsg1/include/minizinc/flatten_internal.hh:240:116:
> error: 'floor' was not declared in this scope
> return static_cast<long long
> int>(floor(static_cast<FloatVal>(v0.toInt()) /
> static_cast<FloatVal>(v1.toInt())));
>
> ^
> In file included from
> /«BUILDDIR»/minizinc-2.0.13+dfsg1/lib/astexception.cpp:13:0:
> /«BUILDDIR»/minizinc-2.0.13+dfsg1/include/minizinc/flatten_internal.hh: In
> static member function 'static MiniZinc::LinearTraits<MiniZinc::IntLit>::Val
> MiniZinc::LinearTraits<MiniZinc::IntLit>::ceil_div(MiniZinc::LinearTraits<MiniZinc::IntLit>::Val,
> MiniZinc::LinearTraits<MiniZinc::IntLit>::Val)':
> /«BUILDDIR»/minizinc-2.0.13+dfsg1/include/minizinc/flatten_internal.hh:242:128:
> error: 'ceil' was not declared in this scope
> static Val ceil_div(Val v0, Val v1) { return static_cast<long long
> int>(ceil(static_cast<FloatVal>(v0.toInt()) / v1.toInt())); }
>
> ^
> make[3]: *** [CMakeFiles/minizinc.dir/lib/astexception.cpp.o] Error 1
The full build log is available from:
http://people.debian.org/~lucas/logs/2016/07/07/minizinc_2.0.13+dfsg1-1_unstable_reb.normal.log
A list of current common problems and possible solutions is available at
http://wiki.debian.org/qa.debian.org/FTBFS . You're welcome to contribute!
About the archive rebuild: The rebuild was done on EC2 VM instances from
Amazon Web Services, using a clean, minimal and up-to-date chroot. Every
failed build was retried once to eliminate random failures.
--- End Message ---
--- Begin Message ---
Source: minizinc
Source-Version: 2.0.14+dfsg1-1
We believe that the bug you reported is fixed in the latest version of
minizinc, 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.
Kari Pahula <[email protected]> (supplier of updated minizinc 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, 28 Aug 2016 18:44:29 +0300
Source: minizinc
Binary: minizinc
Architecture: source amd64
Version: 2.0.14+dfsg1-1
Distribution: unstable
Urgency: medium
Maintainer: Kari Pahula <[email protected]>
Changed-By: Kari Pahula <[email protected]>
Description:
minizinc - constraint modelling language and tool chain
Closes: 830457
Changes:
minizinc (2.0.14+dfsg1-1) unstable; urgency=medium
.
* New upstream release
- Include cmath where needed. (Closes: #830457)
* Bump standards-version to 3.9.8 (no changes necessary).
Checksums-Sha1:
c7d4def91bc99fd8aaed5873d1c2c1d8a0297f0f 1779 minizinc_2.0.14+dfsg1-1.dsc
c85d2ea8da4bef7781979d398faa51f4c77be5c4 448765
minizinc_2.0.14+dfsg1.orig.tar.gz
e83a60d5572d46f57aca3e7bf6235e899f06e37c 9244
minizinc_2.0.14+dfsg1-1.debian.tar.xz
c9a0c2a783ff77ed941ac8e86fa2b06205957ca8 14036104
minizinc-dbgsym_2.0.14+dfsg1-1_amd64.deb
4effd1d18083f3bc1f84e557cdbad8dae9352f4f 1094870
minizinc_2.0.14+dfsg1-1_amd64.deb
Checksums-Sha256:
7d29258f3d3181b61fc2cbebf5ecffef1840d8b68a72cba5c702aaaace0d2df4 1779
minizinc_2.0.14+dfsg1-1.dsc
efca17960656bccad62f955324e658140f5e009e0642a76d94a56a626d6eb709 448765
minizinc_2.0.14+dfsg1.orig.tar.gz
4fac12c235a3f3f3ad6b1fc1bb1d6b7e5b5748209205641565655db59ca79bd7 9244
minizinc_2.0.14+dfsg1-1.debian.tar.xz
2fee5068b868ca11486334519c7a3adc095a22a49594b3fc8fd4be0f51fc486e 14036104
minizinc-dbgsym_2.0.14+dfsg1-1_amd64.deb
9fa10d99f4292fbc9a42c4d08602be78437209c2b1e0d114baba6eace83c5a18 1094870
minizinc_2.0.14+dfsg1-1_amd64.deb
Files:
fbde0757e149e87a3d38afc94a641eab 1779 devel extra minizinc_2.0.14+dfsg1-1.dsc
31046f9af394b1dd1f63e069dcdb5e85 448765 devel extra
minizinc_2.0.14+dfsg1.orig.tar.gz
37351fc7e483d4486b0b5b9a46210a0e 9244 devel extra
minizinc_2.0.14+dfsg1-1.debian.tar.xz
6e65153e651c6d1ffc74e75f5ed92b5e 14036104 debug extra
minizinc-dbgsym_2.0.14+dfsg1-1_amd64.deb
af256625d56b9dba7bb373cbb0cd40fe 1094870 devel extra
minizinc_2.0.14+dfsg1-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQIcBAEBCAAGBQJXww0hAAoJEIQIZ+6djyZcKt8P/R+6RF/FFkEmpt01F2GtJ/Pd
90ErJgR6Cs8bdWvkIWPLA8Qyw5dfKUEQK9vxP2gfCCTGfIZjPPBuB8Gmk07Z9HOs
ph2ULxEEGTMDyxcDgD8LOC0lQcK8iHlHtf6qkes4TquzvEALjq4ayhHFD1zf6Kn2
kuyROuFx4ise31dPB6UaRBnf44TT6xc2GaVyvf6ML5aJ0zO2WgpjH6rfgrSaSU4B
RVbz8Ou0FukqAz8D6Xsvb9T5QpbptirR4MyEFyj4cm5iYSaX7qaDYE0vLAg6h8oV
LMKjBfp9kZKFRuAIsWKba+U589tCiWnzFLUDtG3wGFumCvBYLxitvlz2HD/GP99h
a2twSbCFWMKjXpmA/pswJV6jYBvcm9kutDVggRkeUkecDd1gB+BDovZ5mu1RNATd
8MX0uPJSfcLaaicGF9oiY5QEJxrI68W0aiUKrUsRsTJIUFAVo/fGe+8Z54Fl1S8W
MLF47fVmIBFTOOeiprYOx161lNyLM+LBPf2eK4es/eenJLcENgE6P63f6+PI99GG
OvPuEQiio5RAv7J/LRP5UNZ0WKm2gcx9SN0S89j4qYusm5IKLxQ4wl5yl+T2cEXJ
CWzFhYcEmzXuiasx9RVV4pRRCMPyDoA4IASjy9xp/ls2DnxOCRs95xKnLtTJf7ii
GlNHPZvDMOGU64x5Q6MQ
=DGa1
-----END PGP SIGNATURE-----
--- End Message ---
