From: Girar Builder awaiter robot <girar-builder@altlinux.org>
To: "Fr. Br. George" <george@altlinux.org>
Cc: sisyphus-incominger@lists.altlinux.org
Subject: [#233208] FAILED lean.git=3.4.2-alt1
Date: Wed, 26 Jun 2019 04:53:10 +0000
Message-ID: <20190626045310.GA13637@gyle.altlinux.org> (raw)
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
reply other threads:[~2019-06-26 4:53 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20190626045310.GA13637@gyle.altlinux.org \
--to=girar-builder@altlinux.org \
--cc=george@altlinux.org \
--cc=sisyphus-incominger@lists.altlinux.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
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