* [#233208] FAILED lean.git=3.4.2-alt1
@ 2019-06-26 4:53 Girar Builder awaiter robot
0 siblings, 0 replies; only message in thread
From: Girar Builder awaiter robot @ 2019-06-26 4:53 UTC (permalink / raw)
To: Fr. Br. George; +Cc: sisyphus-incominger
http://git.altlinux.org/tasks/233208/logs/events.1.1.log
2019-Jun-26 04:41:05 :: task #233208 for sisyphus started by george:
#100 build 3.4.2-alt1 from /people/george/packages/lean.git fetched at 2019-Jun-26 04:41:04
2019-Jun-26 04:41:06 :: [i586] #100 lean.git 3.4.2-alt1: build start
2019-Jun-26 04:41:06 :: [aarch64] #100 lean.git 3.4.2-alt1: build start
2019-Jun-26 04:41:06 :: [x86_64] #100 lean.git 3.4.2-alt1: build start
In file included from /usr/src/tmp/lean-buildroot/usr/include/lean_ext/api/ios.h:8:
/usr/src/tmp/lean-buildroot/usr/include/lean_ext/library/io_state.h:8:10: fatal error: string: No such file or directory
#include <string>
--
cpp.req: /usr/src/tmp/lean-buildroot/usr/include/lean_ext/api/ios.h: cpp failed, trying c++ mode
/usr/src/tmp/lean-buildroot/usr/include/lean_ext/library/register_module.h:8:10: fatal error: util/script_state.h: No such file or directory
#include "util/script_state.h"
--
cpp.req: WARNING: /usr/src/tmp/lean-buildroot/usr/include/lean_ext/library/register_module.h: cpp failed
/usr/src/tmp/lean-buildroot/usr/include/lean_ext/util/sexpr/register_module.h:8:10: fatal error: util/script_state.h: No such file or directory
#include "util/script_state.h"
--
cpp.req: WARNING: /usr/src/tmp/lean-buildroot/usr/include/lean_ext/util/sexpr/register_module.h: cpp failed
/usr/src/tmp/lean-buildroot/usr/include/lean_ext/util/numerics/register_module.h:8:10: fatal error: util/script_state.h: No such file or directory
#include "util/script_state.h"
--
cpp.req: WARNING: /usr/src/tmp/lean-buildroot/usr/include/lean_ext/util/numerics/register_module.h: cpp failed
/usr/src/tmp/lean-buildroot/usr/include/lean_ext/library/tactic/smt/util.h:8:10: fatal error: kernel/expr.h: No such file or directory
#include "kernel/expr.h"
--
cpp.req: WARNING: /usr/src/tmp/lean-buildroot/usr/include/lean_ext/library/tactic/smt/util.h: cpp failed
/usr/src/tmp/lean-buildroot/usr/include/lean_ext/library/tactic/smt/ematch.h:8:10: fatal error: library/type_context.h: No such file or directory
#include "library/type_context.h"
--
cpp.req: WARNING: /usr/src/tmp/lean-buildroot/usr/include/lean_ext/library/tactic/smt/ematch.h: cpp failed
/usr/src/tmp/lean-buildroot/usr/include/lean_ext/library/tactic/smt/smt_state.h:8:10: fatal error: library/tactic/tactic_state.h: No such file or directory
#include "library/tactic/tactic_state.h"
--
cpp.req: WARNING: /usr/src/tmp/lean-buildroot/usr/include/lean_ext/library/tactic/smt/smt_state.h: cpp failed
/usr/src/tmp/lean-buildroot/usr/include/lean_ext/library/tactic/smt/theory_ac.h:8:10: fatal error: library/type_context.h: No such file or directory
#include "library/type_context.h"
--
cpp.req: WARNING: /usr/src/tmp/lean-buildroot/usr/include/lean_ext/library/tactic/smt/theory_ac.h: cpp failed
/usr/src/tmp/lean-buildroot/usr/include/lean_ext/library/tactic/smt/hinst_lemmas.h:7:10: fatal error: util/rb_multi_map.h: No such file or directory
#include "util/rb_multi_map.h"
--
cpp.req: WARNING: /usr/src/tmp/lean-buildroot/usr/include/lean_ext/library/tactic/smt/hinst_lemmas.h: cpp failed
/usr/src/tmp/lean-buildroot/usr/include/lean_ext/library/tactic/smt/congruence_closure.h:8:10: fatal error: kernel/expr.h: No such file or directory
#include "kernel/expr.h"
2019-Jun-26 04:46:31 :: [i586] lean.git 3.4.2-alt1: remote: build failed
2019-Jun-26 04:46:31 :: [i586] #100 lean.git 3.4.2-alt1: build FAILED
2019-Jun-26 04:46:31 :: [i586] requesting cancellation of task processing
2019-Jun-26 04:47:22 :: [x86_64] #100 lean.git 3.4.2-alt1: build OK
2019-Jun-26 04:53:09 :: [aarch64] #100 lean.git 3.4.2-alt1: build OK
2019-Jun-26 04:46:31 :: [i586] build FAILED
2019-Jun-26 04:53:09 :: task #233208 for sisyphus FAILED
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2019-06-26 4:53 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2019-06-26 4:53 [#233208] FAILED lean.git=3.4.2-alt1 Girar Builder awaiter robot
ALT Linux Girar Builder robot reports
This inbox may be cloned and mirrored by anyone:
git clone --mirror http://lore.altlinux.org/sisyphus-incominger/0 sisyphus-incominger/git/0.git
# If you have public-inbox 1.1+ installed, you may
# initialize and index your mirror using the following commands:
public-inbox-init -V2 sisyphus-incominger sisyphus-incominger/ http://lore.altlinux.org/sisyphus-incominger \
sisyphus-incominger@lists.altlinux.org sisyphus-incominger@lists.altlinux.ru sisyphus-incominger@lists.altlinux.com
public-inbox-index sisyphus-incominger
Example config snippet for mirrors.
Newsgroup available over NNTP:
nntp://lore.altlinux.org/org.altlinux.lists.sisyphus-incominger
AGPL code for this site: git clone https://public-inbox.org/public-inbox.git