[#233208] FAILED lean.git=3.4.2-alt1

Girar Builder awaiter robot girar-builder at altlinux.org
Wed Jun 26 07:53:10 MSK 2019


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


More information about the Sisyphus-incominger mailing list