Source: minizinc
Version: 2.0.13+dfsg1-1
Severity: serious
Tags: stretch sid
User: debian...@lists.debian.org
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.
