[#249212] FAILED z3.git=4.8.7-alt1

[Girar Builder awaiter robot]

http://git.altlinux.org/tasks/249212/logs/events.1.1.log

2020-Apr-02 15:38:09 :: task #249212 for sisyphus started by darktemplar:
#100 build 4.8.7-alt1 from /people/darktemplar/packages/z3.git fetched at 2020-Apr-02 15:37:25
2020-Apr-02 15:38:09 :: [i586] #100 z3.git 4.8.7-alt1: build start
2020-Apr-02 15:38:09 :: [aarch64] #100 z3.git 4.8.7-alt1: build start
2020-Apr-02 15:38:09 :: [x86_64] #100 z3.git 4.8.7-alt1: build start
2020-Apr-02 15:38:09 :: [ppc64le] #100 z3.git 4.8.7-alt1: build start
[  3%] Building CXX object src/util/CMakeFiles/util.dir/params.cpp.o
make[2]: Leaving directory '/usr/src/RPM/BUILD/z3-4.8.7/BUILD'
make[2]: Entering directory '/usr/src/RPM/BUILD/z3-4.8.7/BUILD'
[  2%] Building CXX object src/util/CMakeFiles/util.dir/mpf.cpp.o
make[2]: Leaving directory '/usr/src/RPM/BUILD/z3-4.8.7/BUILD'
make[2]: Entering directory '/usr/src/RPM/BUILD/z3-4.8.7/BUILD'
[  3%] Building CXX object src/util/CMakeFiles/util.dir/mpq.cpp.o
make[2]: Leaving directory '/usr/src/RPM/BUILD/z3-4.8.7/BUILD'
make[1]: *** [CMakeFiles/Makefile2:1652: src/util/CMakeFiles/util.dir/all] Error 2
make: *** [Makefile:147: all] Error 2
2020-Apr-02 15:39:14 :: [i586] z3.git 4.8.7-alt1: remote: build failed
2020-Apr-02 15:39:14 :: [i586] #100 z3.git 4.8.7-alt1: build FAILED
2020-Apr-02 15:39:14 :: [i586] requesting cancellation of task processing
2020-Apr-02 15:55:21 :: [x86_64] #100 z3.git 4.8.7-alt1: build OK
2020-Apr-02 15:56:48 :: [ppc64le] #100 z3.git 4.8.7-alt1: build OK
2020-Apr-02 15:56:53 :: [aarch64] #100 z3.git 4.8.7-alt1: build OK
2020-Apr-02 15:39:14 :: [i586] build FAILED
2020-Apr-02 15:56:53 :: task #249212 for sisyphus FAILED