Started by GitHub push by damiendoligez Running as SYSTEM Building remotely on olive in workspace /home/ci/workspace/Risc-V No credentials specified using credential 1460efba-98da-4ca5-9696-a7e681202cc4 > git rev-parse --is-inside-work-tree # timeout=10 Fetching changes from 2 remote Git repositories > git config remote.origin.url https://github.com/nojb/ocaml # timeout=10 Fetching upstream changes from https://github.com/nojb/ocaml > git --version # timeout=10 > git fetch --tags --force --progress -- https://github.com/nojb/ocaml +refs/heads/*:refs/remotes/origin/* # timeout=10 > git config remote.origin1.url https://github.com/ocaml/ocaml # timeout=10 Fetching upstream changes from https://github.com/ocaml/ocaml using GIT_SSH to set credentials Credential used by Jenkins to login to GitHub over SSH > git fetch --tags --force --progress -- https://github.com/ocaml/ocaml +refs/heads/*:refs/remotes/origin1/* # timeout=10 Seen branch in repository origin/1200_man Seen branch in repository origin/3.08 Seen branch in repository origin/3.09 Seen branch in repository origin/3.10 Seen branch in repository origin/3.11 Seen branch in repository origin/3.12 Seen branch in repository origin/4.00 Seen branch in repository origin/4.00-with-binannot Seen branch in repository origin/4.01 Seen branch in repository origin/4.02 Seen branch in repository origin/4.02.0+riscv64-unknown-elf Seen branch in repository origin/4.05 Seen branch in repository origin/4.06 Seen branch in repository origin/4.07 Seen branch in repository origin/4.09 Seen branch in repository origin/FSF Seen branch in repository origin/abstract-new Seen branch in repository origin/abstract_x86_asm Seen branch in repository origin/add_string_get_utf_8 Seen branch in repository origin/annot-from-lambda Seen branch in repository origin/arm64 Seen branch in repository origin/array_map_of_list Seen branch in repository origin/ast_rewriter Seen branch in repository origin/attributes Seen branch in repository origin/autofocus Seen branch in repository origin/backend-optims Seen branch in repository origin/bigstring Seen branch in repository origin/binary-annot Seen branch in repository origin/binary-compat Seen branch in repository origin/bool_to_option Seen branch in repository origin/c-stubs-unicode-doc Seen branch in repository origin/caml_commits_doc Seen branch in repository origin/capitalized_method_labels Seen branch in repository origin/cducetrunk Seen branch in repository origin/changes Seen branch in repository origin/check_compare_prim_arity Seen branch in repository origin/class-with-type Seen branch in repository origin/cmt2annot Seen branch in repository origin/cmt2annot-new Seen branch in repository origin/cmt2annot_bak Seen branch in repository origin/constructors_with_record Seen branch in repository origin/constructors_with_record2 Seen branch in repository origin/constructors_with_record3 Seen branch in repository origin/contracts Seen branch in repository origin/contracts-3.11 Seen branch in repository origin/darwin_fp Seen branch in repository origin/delegate Seen branch in repository origin/dims Seen branch in repository origin/do_not_use_%S Seen branch in repository origin/dothat Seen branch in repository origin/dotop_seq_expr Seen branch in repository origin/dwarf Seen branch in repository origin/dynamic_loading Seen branch in repository origin/dynamics Seen branch in repository origin/dynlink2 Seen branch in repository origin/dynlink_ocamldebug Seen branch in repository origin/dyntypes Seen branch in repository origin/ephemeron Seen branch in repository origin/erasable_optional_arg_fix Seen branch in repository origin/exception_registration Seen branch in repository origin/exn Seen branch in repository origin/expoly Seen branch in repository origin/extension_points Seen branch in repository origin/fastclass Seen branch in repository origin/feature/reraise_raw_backtrace Seen branch in repository origin/feature/reraise_raw_backtrace-backup Seen branch in repository origin/fix_1200_naming Seen branch in repository origin/fix_bigarray_overflow Seen branch in repository origin/fix_env_of_summary_open Seen branch in repository origin/fix_gethost_const_c_charptr Seen branch in repository origin/fix_headernt_unicode Seen branch in repository origin/fix_neg_zero_float_print Seen branch in repository origin/fix_nth_dim_bounds_check Seen branch in repository origin/fix_raise_with_backtrace_partial_application Seen branch in repository origin/fix_sys_isatty_for_cygwin Seen branch in repository origin/fix_unix_utimes_windows_dst Seen branch in repository origin/fix_unix_wenvironment Seen branch in repository origin/fix_wchar_vs_char Seen branch in repository origin/fix_windows_cp_locale Seen branch in repository origin/fixedtypes Seen branch in repository origin/flambda Seen branch in repository origin/fmu Seen branch in repository origin/fstclassmod Seen branch in repository origin/fstclassmod_parametrized Seen branch in repository origin/gadts Seen branch in repository origin/gadts-devel Seen branch in repository origin/gadts-devel-lenormand Seen branch in repository origin/gcaml Seen branch in repository origin/gcaml3 Seen branch in repository origin/gcaml3090 Seen branch in repository origin/gcaml3101 Seen branch in repository origin/generic-print Seen branch in repository origin/getridof Seen branch in repository origin/ground_coercion Seen branch in repository origin/hashtbl_of_list Seen branch in repository origin/hidden_args Seen branch in repository origin/hostnames_unicode_windows Seen branch in repository origin/implicit-subtyping Seen branch in repository origin/implicit-unpack Seen branch in repository origin/implicits Seen branch in repository origin/improve_format_default_out_indent Seen branch in repository origin/in_out_channel_stdlib Seen branch in repository origin/inline-more Seen branch in repository origin/inplace_let Seen branch in repository origin/io_in_ocaml Seen branch in repository origin/io_managed_buffering Seen branch in repository origin/jo311 Seen branch in repository origin/jo312 Seen branch in repository origin/jo400 Seen branch in repository origin/jo401 Seen branch in repository origin/jocamltrunk Seen branch in repository origin/jocamltrunk+cduce Seen branch in repository origin/labltk Seen branch in repository origin/letopen Seen branch in repository origin/letopenin Seen branch in repository origin/lightlabels Seen branch in repository origin/linscan_flag_manual Seen branch in repository origin/load_path_single_file Seen branch in repository origin/located_errors Seen branch in repository origin/make_ocamltest_unicode_aware Seen branch in repository origin/mark_expansive Seen branch in repository origin/menhir Seen branch in repository origin/menhir-wip Seen branch in repository origin/menhir-wip2 Seen branch in repository origin/menubars Seen branch in repository origin/metadata Seen branch in repository origin/minus-camlp4 Seen branch in repository origin/mips32 Seen branch in repository origin/mltk Seen branch in repository origin/modular-backend Seen branch in repository origin/module-alias Seen branch in repository origin/module_of_module_type Seen branch in repository origin/moduletypeof Seen branch in repository origin/monadic_let Seen branch in repository origin/more_unboxing Seen branch in repository origin/multimatch Seen branch in repository origin/namespaces Seen branch in repository origin/natdynlink Seen branch in repository origin/natdynlink_load_once Seen branch in repository origin/newfunsyntax Seen branch in repository origin/newoolab Seen branch in repository origin/newoolab2 Seen branch in repository origin/newoolabmult Seen branch in repository origin/newsysthreads Seen branch in repository origin/newtypein Seen branch in repository origin/nojebar_manual_CAMLprim Seen branch in repository origin/non-vanishing Seen branch in repository origin/objvariants Seen branch in repository origin/ocaml-binannot Seen branch in repository origin/ocaml2 Seen branch in repository origin/ocamldoc_without_str Seen branch in repository origin/ocamllex-case-insensitive-string-literals Seen branch in repository origin/ocamllex-utf8 Seen branch in repository origin/ocamlmklib_args Seen branch in repository origin/ocamlmode Seen branch in repository origin/ocamltest_candy Seen branch in repository origin/ocamltest_migration Seen branch in repository origin/ocamltest_output_complete_exe Seen branch in repository origin/olabl Seen branch in repository origin/open_types Seen branch in repository origin/opt_backtrace Seen branch in repository origin/override Seen branch in repository origin/overridemethod Seen branch in repository origin/parser_no_diff Seen branch in repository origin/parsetree_punning_arg_label Seen branch in repository origin/pattern_variables_attributes Seen branch in repository origin/poly_meth Seen branch in repository origin/poly_meth2 Seen branch in repository origin/polyrec Seen branch in repository origin/ppx-anonymous-extensions Seen branch in repository origin/prefix_compiler_libs_take_2 Seen branch in repository origin/private_abbrevs Seen branch in repository origin/punning_warning Seen branch in repository origin/raise_variants Seen branch in repository origin/record-disambiguation Seen branch in repository origin/recursive_modules Seen branch in repository origin/refactor_warnings Seen branch in repository origin/reloadretaddr_dead Seen branch in repository origin/remove_compiler_plugins Seen branch in repository origin/riscv Seen branch in repository origin/riscv64-unknown-elf Seen branch in repository origin/safe-string Seen branch in repository origin/scheme Seen branch in repository origin/sedlex Seen branch in repository origin/short-paths Seen branch in repository origin/short-paths-4.01 Seen branch in repository origin/sigsubst Seen branch in repository origin/spacetime_fixes Seen branch in repository origin/spacetime_windows_fixes Seen branch in repository origin/sse2 Seen branch in repository origin/stack_queue_opt Seen branch in repository origin/static_exceptions Seen branch in repository origin/strict_labels Seen branch in repository origin/string_escape_optim Seen branch in repository origin/string_set_map Seen branch in repository origin/stripped-ocaml Seen branch in repository origin/targetint_ocaml_ints Seen branch in repository origin/thread-local-runtime Seen branch in repository origin/tmp-merging-3.12.1 Seen branch in repository origin/toplevel_many_phrases Seen branch in repository origin/toplevel_printers Seen branch in repository origin/toplevel_readline_with_ledit Seen branch in repository origin/treematch Seen branch in repository origin/trunk Seen branch in repository origin/uchar_literals Seen branch in repository origin/unlabeled-1.1.2 Seen branch in repository origin/unlabeled-1.2.2 Seen branch in repository origin/unlabeled-1.3.2 Seen branch in repository origin/unused_declarations Seen branch in repository origin/use-findlib Seen branch in repository origin/use_native_windows_getenv Seen branch in repository origin/use_targetint_backend Seen branch in repository origin/utf8 Seen branch in repository origin/utimes_bug Seen branch in repository origin/variants303 Seen branch in repository origin/varunion Seen branch in repository origin/warnings_refactor Seen branch in repository origin/win32 Seen branch in repository origin/win_unicode Seen branch in repository origin/win_unicode-ci Seen branch in repository origin/win_unicode-ocamlyacc Seen branch in repository origin/windows_localtime Seen branch in repository origin/windows_long_paths Seen branch in repository origin/windows_symlinks_forward_slashes Seen branch in repository origin/windows_use_real_pids Seen branch in repository origin/wip Seen branch in repository origin/wipwip Seen branch in repository origin/wipwrap Seen branch in repository origin/with-frame-pointers Seen branch in repository origin/wrap_compiler_libs Seen branch in repository origin1/3.08 Seen branch in repository origin1/3.09 Seen branch in repository origin1/3.10 Seen branch in repository origin1/3.11 Seen branch in repository origin1/3.12 Seen branch in repository origin1/4.00 Seen branch in repository origin1/4.01 Seen branch in repository origin1/4.02 Seen branch in repository origin1/4.03 Seen branch in repository origin1/4.04 Seen branch in repository origin1/4.05 Seen branch in repository origin1/4.06 Seen branch in repository origin1/4.07 Seen branch in repository origin1/4.08 Seen branch in repository origin1/4.09 Seen branch in repository origin1/4.10 Seen branch in repository origin1/4.11 Seen branch in repository origin1/abstract-new Seen branch in repository origin1/annot-from-lambda Seen branch in repository origin1/autofocus Seen branch in repository origin1/cducetrunk Seen branch in repository origin1/class-with-type Seen branch in repository origin1/contracts Seen branch in repository origin1/contracts-3.11 Seen branch in repository origin1/delegate Seen branch in repository origin1/deprecated_optional_arguments Seen branch in repository origin1/dothat Seen branch in repository origin1/dwarf Seen branch in repository origin1/dynamics Seen branch in repository origin1/dyntypes Seen branch in repository origin1/expoly Seen branch in repository origin1/fastclass Seen branch in repository origin1/fmu Seen branch in repository origin1/gadts Seen branch in repository origin1/gadts-devel Seen branch in repository origin1/gadts-devel-lenormand Seen branch in repository origin1/gcaml Seen branch in repository origin1/gcaml3 Seen branch in repository origin1/gcaml3090 Seen branch in repository origin1/gcaml3101 Seen branch in repository origin1/hidden_args Seen branch in repository origin1/implicit-subtyping Seen branch in repository origin1/implicits Seen branch in repository origin1/ios-support Seen branch in repository origin1/jo311 Seen branch in repository origin1/jo312 Seen branch in repository origin1/jo400 Seen branch in repository origin1/jo401 Seen branch in repository origin1/jocamltrunk Seen branch in repository origin1/jocamltrunk+cduce Seen branch in repository origin1/letopen Seen branch in repository origin1/mark_expansive Seen branch in repository origin1/merge_sig_str Seen branch in repository origin1/mltk Seen branch in repository origin1/module_of_module_type Seen branch in repository origin1/monadic_let Seen branch in repository origin1/multimatch Seen branch in repository origin1/namespaces Seen branch in repository origin1/newfunsyntax Seen branch in repository origin1/newoolab Seen branch in repository origin1/newoolab2 Seen branch in repository origin1/newoolabmult Seen branch in repository origin1/non-vanishing Seen branch in repository origin1/objvariants Seen branch in repository origin1/ocamlmode Seen branch in repository origin1/olabl Seen branch in repository origin1/open_types Seen branch in repository origin1/polyrec Seen branch in repository origin1/pr8891 Seen branch in repository origin1/pr8908 Seen branch in repository origin1/pr8934 Seen branch in repository origin1/private_abbrevs Seen branch in repository origin1/record-disambiguation Seen branch in repository origin1/short-paths Seen branch in repository origin1/short-paths-4.01 Seen branch in repository origin1/sigsubst Seen branch in repository origin1/static_exceptions Seen branch in repository origin1/strict_labels Seen branch in repository origin1/treematch Seen branch in repository origin1/trunk Seen branch in repository origin1/varunion Seen 311 remote branches > git show-ref --tags -d # timeout=10 Checking out Revision 2d3c211e00121ca6588315a6d0b8c9d14aba672c (origin1/trunk) > git config core.sparsecheckout # timeout=10 > git checkout -f 2d3c211e00121ca6588315a6d0b8c9d14aba672c # timeout=10 Commit message: "release checklist: fix small problems in branching instructions" > git rev-list --no-walk 2d3c211e00121ca6588315a6d0b8c9d14aba672c # timeout=10 New run name is '#34' [Risc-V] $ /bin/sh -xe /tmp/jenkins8158773130750602388.sh + ssh -p 10000 riscv@localhost GIT_COMMIT=2d3c211e00121ca6588315a6d0b8c9d14aba672c flambda=false /home/riscv/run-ci + cd /home/riscv/ocaml + git clean -q -fdx + git fetch --all Récupération de origin Récupération de upstream + git checkout 2d3c211e00121ca6588315a6d0b8c9d14aba672c HEAD est maintenant sur 2d3c211e0 release checklist: fix small problems in branching instructions M .depend M ocamltest/.depend M otherlibs/raw_spacetime_lib/.depend M otherlibs/str/.depend M otherlibs/systhreads/.depend M otherlibs/unix/.depend M otherlibs/win32unix/.depend M runtime/.depend + export OCAML_ARCH=linux + OCAML_ARCH=linux + export OCAML_JOBS=4 + OCAML_JOBS=4 + ./tools/ci/inria/main ++ pwd + jenkinsdir=/home/riscv/ocaml + echo jenkinsdir=/home/riscv/ocaml jenkinsdir=/home/riscv/ocaml + case "${OCAML_ARCH}" in + case "${OCAML_ARCH}" in + renice 10 33085 33085 (process ID) priorité précédente 0, nouvelle priorité 10 + set -ex + CCOMP= + case $NODE_NAME in + build= + host= + conffile=Makefile.config + make=make + instdir=/home/riscv/ocaml-tmp-install + confoptions='--enable-ocamltest ' + make_native=true + cleanup=false + check_make_alldepend=false + dorebase=false + jobs= + case "${OCAML_ARCH}" in + check_make_alldepend=true + instdir=/home/riscv/ocaml-tmp-install-33085 + case "${OCAML_JOBS}" in + jobs=-j4 + false + pwd /home/riscv/ocaml + cd /home/riscv/ocaml + '[' 0 -gt 0 ']' + export LC_ALL=C + LC_ALL=C + git clean -q -f -d -x + false + eval ./configure '' '--prefix=$instdir' --enable-ocamltest ++ ./configure --prefix=/home/riscv/ocaml-tmp-install-33085 --enable-ocamltest configure: Configuring OCaml version 4.12.0+dev0-2020-04-22 checking build system type... riscv64-unknown-linux-gnu checking host system type... riscv64-unknown-linux-gnu checking target system type... riscv64-unknown-linux-gnu checking for ld... ld checking how to print strings... printf checking for gcc... gcc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether we are using the GNU C compiler... yes checking whether gcc accepts -g... yes checking for gcc option to accept ISO C89... none needed checking for a sed that does not truncate output... /usr/bin/sed checking for grep that handles long lines and -e... /usr/bin/grep checking for egrep... /usr/bin/grep -E checking for fgrep... /usr/bin/grep -F checking for ld used by gcc... ld checking if the linker (ld) is GNU ld... yes checking for BSD- or MS-compatible name lister (nm)... /usr/bin/nm -B checking the name lister (/usr/bin/nm -B) interface... BSD nm checking whether ln -s works... yes checking the maximum length of command line arguments... 1572864 checking how to convert riscv64-unknown-linux-gnu file names to riscv64-unknown-linux-gnu format... func_convert_file_noop checking how to convert riscv64-unknown-linux-gnu file names to toolchain format... func_convert_file_noop checking for ld option to reload object files... -r checking for objdump... objdump checking how to recognize dependent libraries... pass_all checking for dlltool... no checking how to associate runtime and link libraries... printf %s\n checking for ar... ar checking for archiver @FILE support... @ checking for strip... strip checking for ranlib... ranlib checking for gawk... gawk checking command to parse /usr/bin/nm -B output from gcc object... ok checking for sysroot... no checking for a working dd... /usr/bin/dd checking how to truncate binary pipes... /usr/bin/dd bs=4096 count=1 checking for mt... no checking if : is a manifest tool... no checking how to run the C preprocessor... gcc -E checking for ANSI C header files... yes checking for sys/types.h... yes checking for sys/stat.h... yes checking for stdlib.h... yes checking for string.h... yes checking for memory.h... yes checking for strings.h... yes checking for inttypes.h... yes checking for stdint.h... yes checking for unistd.h... yes checking for dlfcn.h... yes checking for objdir... .libs checking if gcc supports -fno-rtti -fno-exceptions... no checking for gcc option to produce PIC... -fPIC -DPIC checking if gcc PIC flag -fPIC -DPIC works... yes checking if gcc static flag -static works... yes checking if gcc supports -c -o file.o... yes checking if gcc supports -c -o file.o... (cached) yes checking whether the gcc linker (ld) supports shared libraries... yes checking whether -lc should be explicitly linked in... no checking dynamic linker characteristics... GNU/Linux ld.so checking how to hardcode library paths into programs... immediate checking whether stripping libraries is possible... yes checking if libtool supports shared libraries... yes checking whether to build shared libraries... yes checking whether to build static libraries... yes checking C compiler vendor... gcc-9-2 checking whether #! works in shell scripts... yes checking for a BSD-compatible install... /usr/bin/install -c checking for cos in -lm... yes checking math.h usability... yes checking math.h presence... yes checking for math.h... yes checking for unistd.h... (cached) yes checking for stdint.h... (cached) yes checking sys/shm.h usability... yes checking sys/shm.h presence... yes checking for sys/shm.h... yes checking for dirent.h... yes checking for sys/select.h... yes checking for off_t... yes checking size of int... 4 checking size of long... 8 checking size of long *... 8 checking size of short... 2 checking size of long long... 8 configure: Target is a 64 bits architecture checking whether byte ordering is bigendian... no checking alignment of double... 8 checking alignment of long... 8 checking alignment of long long... 8 checking whether the C compiler supports __attribute__((aligned(n)))... yes checking for ld... ld configure: checking semantics of signal handlers checking for sigaction... yes checking for sigprocmask... yes configure: POSIX signal handling found. checking for expm1... yes checking for log1p... yes checking for hypot... yes checking for fma... yes checking for copysign... yes checking for getrusage... yes checking for times... yes checking for secure_getenv... yes checking for issetugid... no checking for library containing clock_gettime... none required checking for socket... yes checking for socketpair... yes checking for bind... yes checking for listen... yes checking for accept... yes checking for connect... yes checking for socklen_t... yes checking for inet_aton... yes checking for struct sockaddr_in6... yes checking for getaddrinfo... yes checking for getnameinfo... yes checking for inet_pton... yes checking for inet_ntop... yes checking for rewinddir... yes checking for lockf... yes checking for mkfifo... yes checking for getcwd... yes checking for sys/types.h... (cached) yes checking utime.h usability... yes checking utime.h presence... yes checking for utime.h... yes checking for utime... yes checking for utimes... yes checking for fchmod... yes checking for fchown... yes checking for truncate... yes checking for ftruncate... yes checking for select... yes checking for fd_set... yes checking for nanosleep... yes checking for symlink... yes checking for readlink... yes checking for lstat... yes checking for waitpid... yes checking for wait4... yes checking for getgroups... yes checking for setgroups... yes checking for initgroups... yes checking termios.h usability... yes checking termios.h presence... yes checking for termios.h... yes checking for tcgetattr... yes checking for tcsetattr... yes checking for tcsendbreak... yes checking for tcflush... yes checking for tcflow... yes checking for setitimer... yes checking for gethostname... yes checking sys/utsname.h usability... yes checking sys/utsname.h presence... yes checking for sys/utsname.h... yes checking for uname... yes checking for gettimeofday... yes checking for mktime... yes checking for setsid... yes checking for putenv... yes checking locale.h usability... yes checking locale.h presence... yes checking for locale.h... yes checking for newlocale... yes checking for freelocale... yes checking for uselocale... yes checking xlocale.h usability... no checking xlocale.h presence... no checking for xlocale.h... no checking for strtod_l... yes checking for dlopen... no checking for dlopen in -ldl... yes configure: Dynamic loading of shared libraries is supported. checking sys/mman.h usability... yes checking sys/mman.h presence... yes checking for sys/mman.h... yes checking for mmap... yes checking for munmap... yes checking for pwrite... yes checking whether the C compiler supports -fdebug-prefix-map... yes checking for struct stat.st_atim.tv_nsec... yes configure: stat supports nanosecond precision checking how many arguments gethostbyname_r() takes... six checking how many arguments gethostbyaddr_r() takes... eight checking for mkstemp... yes checking for nice... yes checking for dup3... yes checking for pipe2... yes checking for accept4... yes checking for getauxval... yes checking for execvpe... yes checking for ffs... yes checking for _BitScanForward... no configure: replay debugger supported checking whether stack overflows can be detected... no checking whether gcc is Clang... no checking whether pthreads work with -pthread... yes checking for joinable pthread attribute... PTHREAD_CREATE_JOINABLE checking whether more special flags are required for pthreads... no checking for PTHREAD_PRIO_INHERIT... yes configure: the POSIX threads library is supported checking for sigwait... yes checking bfd.h usability... no checking bfd.h presence... no checking for bfd.h... no configure: BFD library not found, 'ocamlobjinfo' will be unable to display info on .cmxs files. checking whether the assembler supports --debug-prefix-map... no checking whether the assembler supports CFI directives... no configure: not using frame pointers checking whether mmap supports huge pages... yes checking whether to build spacetime... no configure: Disabling function sections. configure: creating ./config.status config.status: creating Makefile.common config.status: creating Makefile.config config.status: creating runtime/caml/m.h config.status: creating runtime/caml/s.h config.status: executing libtool commands + true + make -j4 --warn-undefined-variables Makefile:24: warning: undefined variable 'MAKECMDGOALS' Makefile:929: *** The native-code compiler is not supported on this platform. Stop. Build step 'Execute shell' marked build as failure New run name is '#34' Sending e-mails to: ocaml-ci-notifications@inria.fr Finished: FAILURE