From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Date: Wed, 26 Jun 2019 04:53:10 +0000 From: Girar Builder awaiter robot To: "Fr. Br. George" Subject: [#233208] FAILED lean.git=3.4.2-alt1 Message-ID: <20190626045310.GA13637@gyle.altlinux.org> Mail-Followup-To: girar-builder@altlinux.org MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline X-girar-task-id: 233208 X-girar-task-owner: george X-girar-task-repo: sisyphus X-girar-task-try: 1 X-girar-task-iter: 1 X-girar-task-status: FAILED X-girar-task-URL: http://git.altlinux.org/tasks/233208/ X-girar-task-log: logs/events.1.1.log X-girar-task-summary: [#233208] FAILED lean.git=3.4.2-alt1 User-Agent: Mutt/1.8.3 (2017-05-23) Cc: sisyphus-incominger@lists.altlinux.org X-BeenThere: sisyphus-incominger@lists.altlinux.org X-Mailman-Version: 2.1.12 Precedence: list Reply-To: george@altlinux.org List-Id: ALT Linux Girar Builder robot reports List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 26 Jun 2019 04:53:11 -0000 Archived-At: List-Archive: 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 -- 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