![[Jenkins]](/ocaml/static/8707ff75/images/svgs/logo.svg){kind=logo}
Started by upstream project "precheck" build number 827 originally caused by: Started by user damien.doligez@inria.fr Running as SYSTEM Building remotely on ocaml-zsystems (active unix) in workspace /home/ci/jenkins-workspace/workspace/precheck/flambda/true/label/ocaml-zsystems The recommended git tool is: NONE No credentials specified > git rev-parse --resolve-git-dir /home/ci/jenkins-workspace/workspace/precheck/flambda/true/label/ocaml-zsystems/.git # timeout=10 Fetching changes from the remote Git repository > git config remote.origin.url https://github.com/damiendoligez/ocaml # timeout=10 Fetching upstream changes from https://github.com/damiendoligez/ocaml > git --version # timeout=10 > git --version # 'git version 2.31.1' > git fetch --tags --force --progress -- https://github.com/damiendoligez/ocaml +refs/heads/*:refs/remotes/origin/* # timeout=30 JENKINS-19022: warning: possible memory leak due to Git plugin usage; see: https://plugins.jenkins.io/git/#remove-git-plugin-buildsbybranch-builddata-script Checking out Revision c2c45280750031c336e13ffa78e75dfd0e1a5234 (refs/remotes/origin/fix-toplevel-flushing) > git config core.sparsecheckout # timeout=10 > git checkout -f c2c45280750031c336e13ffa78e75dfd0e1a5234 # timeout=30 Commit message: "add test for multi-phrase toplevel lines" First time build. Skipping changelog. No emails were triggered. New run name is 'origin/fix-toplevel-flushing-#827' [ocaml-zsystems] $ /bin/sh -xe /tmp/jenkins3281433117170463803.sh + ./tools/ci/inria/launch ./tools/ci/inria/main + case "${OCAML_ARCH}" in + exec ./tools/ci/inria/main Linux ciocaml 4.18.0-425.3.1.el8.s390x #1 SMP Fri Sep 30 11:35:32 EDT 2022 s390x s390x s390x GNU/Linux /etc/issue content: | \S | Kernel \r on an \m | /etc/redhat-release content: | Red Hat Enterprise Linux release 8.7 (Ootpa) gcc info: | Using built-in specs. | COLLECT_GCC=gcc | COLLECT_LTO_WRAPPER=/usr/libexec/gcc/s390x-redhat-linux/8/lto-wrapper | gcc (GCC) 8.5.0 20210514 (Red Hat 8.5.0-15) | Copyright (C) 2018 Free Software Foundation, Inc. | This is free software; see the source for copying conditions. There is NO | warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. | | | Target: s390x-redhat-linux | Configured with: ../configure --enable-bootstrap --enable-languages=c,c++,fortran,lto --prefix=/usr --mandir=/usr/share/man --infodir=/usr/share/info --with-bugurl=http://bugzilla.redhat.com/bugzilla --enable-shared --enable-threads=posix --enable-checking=release --disable-multilib --with-system-zlib --enable-__cxa_atexit --disable-libunwind-exceptions --enable-gnu-unique-object --enable-linker-build-id --with-gcc-major-version-only --with-linker-hash-style=gnu --enable-plugin --enable-initfini-array --with-isl --disable-libmpx --enable-gnu-indirect-function --with-long-double-128 --with-arch=z13 --with-tune=z14 --enable-decimal-float --build=s390x-redhat-linux | Thread model: posix | gcc version 8.5.0 20210514 (Red Hat 8.5.0-15) (GCC) | COLLECT_GCC_OPTIONS='--version' '-v' '-march=z13' '-m64' '-mzarch' | /usr/libexec/gcc/s390x-redhat-linux/8/cc1 -quiet -v help-dummy -quiet -dumpbase help-dummy -march=z13 -m64 -mzarch -auxbase help-dummy -version --version -o /tmp/ccEBHcWS.s | GNU C17 (GCC) version 8.5.0 20210514 (Red Hat 8.5.0-15) (s390x-redhat-linux) | compiled by GNU C version 8.5.0 20210514 (Red Hat 8.5.0-15), GMP version 6.1.2, MPFR version 3.1.6-p2, MPC version 1.1.0, isl version isl-0.16.1-GMP | | GGC heuristics: --param ggc-min-expand=100 --param ggc-min-heapsize=131072 | COLLECT_GCC_OPTIONS='--version' '-v' '-march=z13' '-m64' '-mzarch' | as -v -m64 -mzarch -march=z13 --version -o /tmp/cckxdvHN.o /tmp/ccEBHcWS.s | GNU assembler version 2.30 (s390x-redhat-linux) using BFD version version 2.30-117.el8 | GNU assembler version 2.30-117.el8 | Copyright (C) 2018 Free Software Foundation, Inc. | This program is free software; you may redistribute it under the terms of | the GNU General Public License version 3 or later. | This program has absolutely no warranty. | This assembler was configured for a target of `s390x-redhat-linux'. | COMPILER_PATH=/usr/libexec/gcc/s390x-redhat-linux/8/:/usr/libexec/gcc/s390x-redhat-linux/8/:/usr/libexec/gcc/s390x-redhat-linux/:/usr/lib/gcc/s390x-redhat-linux/8/:/usr/lib/gcc/s390x-redhat-linux/ | LIBRARY_PATH=/usr/lib/gcc/s390x-redhat-linux/8/:/usr/lib/gcc/s390x-redhat-linux/8/../../../../lib64/:/lib/../lib64/:/usr/lib/../lib64/:/usr/lib/gcc/s390x-redhat-linux/8/../../../:/lib/:/usr/lib/ | COLLECT_GCC_OPTIONS='--version' '-v' '-march=z13' '-m64' '-mzarch' | /usr/libexec/gcc/s390x-redhat-linux/8/collect2 -plugin /usr/libexec/gcc/s390x-redhat-linux/8/liblto_plugin.so -plugin-opt=/usr/libexec/gcc/s390x-redhat-linux/8/lto-wrapper -plugin-opt=-fresolution=/tmp/ccr0hD2N.res -plugin-opt=-pass-through=-lgcc -plugin-opt=-pass-through=-lgcc_s -plugin-opt=-pass-through=-lc -plugin-opt=-pass-through=-lgcc -plugin-opt=-pass-through=-lgcc_s --build-id --no-add-needed --eh-frame-hdr --hash-style=gnu -m elf64_s390 -dynamic-linker /lib/ld64.so.1 --version /usr/lib/gcc/s390x-redhat-linux/8/../../../../lib64/crt1.o /usr/lib/gcc/s390x-redhat-linux/8/../../../../lib64/crti.o /usr/lib/gcc/s390x-redhat-linux/8/crtbegin.o -L/usr/lib/gcc/s390x-redhat-linux/8 -L/usr/lib/gcc/s390x-redhat-linux/8/../../../../lib64 -L/lib/../lib64 -L/usr/lib/../lib64 -L/usr/lib/gcc/s390x-redhat-linux/8/../../.. /tmp/cckxdvHN.o -lgcc --as-needed -lgcc_s --no-as-needed -lc -lgcc --as-needed -lgcc_s --no-as-needed /usr/lib/gcc/s390x-redhat-linux/8/crtend.o /usr/lib/gcc/s390x-redhat-linux/8/../../../../lib64/crtn.o | collect2 version 8.5.0 20210514 (Red Hat 8.5.0-15) | /usr/bin/ld -plugin /usr/libexec/gcc/s390x-redhat-linux/8/liblto_plugin.so -plugin-opt=/usr/libexec/gcc/s390x-redhat-linux/8/lto-wrapper -plugin-opt=-fresolution=/tmp/ccr0hD2N.res -plugin-opt=-pass-through=-lgcc -plugin-opt=-pass-through=-lgcc_s -plugin-opt=-pass-through=-lc -plugin-opt=-pass-through=-lgcc -plugin-opt=-pass-through=-lgcc_s --build-id --no-add-needed --eh-frame-hdr --hash-style=gnu -m elf64_s390 -dynamic-linker /lib/ld64.so.1 --version /usr/lib/gcc/s390x-redhat-linux/8/../../../../lib64/crt1.o /usr/lib/gcc/s390x-redhat-linux/8/../../../../lib64/crti.o /usr/lib/gcc/s390x-redhat-linux/8/crtbegin.o -L/usr/lib/gcc/s390x-redhat-linux/8 -L/usr/lib/gcc/s390x-redhat-linux/8/../../../../lib64 -L/lib/../lib64 -L/usr/lib/../lib64 -L/usr/lib/gcc/s390x-redhat-linux/8/../../.. /tmp/cckxdvHN.o -lgcc --as-needed -lgcc_s --no-as-needed -lc -lgcc --as-needed -lgcc_s --no-as-needed /usr/lib/gcc/s390x-redhat-linux/8/crtend.o /usr/lib/gcc/s390x-redhat-linux/8/../../../../lib64/crtn.o | GNU ld version 2.30-117.el8 | Copyright (C) 2018 Free Software Foundation, Inc. | This program is free software; you may redistribute it under the terms of | the GNU General Public License version 3 or (at your option) a later version. | This program has absolutely no warranty. | COLLECT_GCC_OPTIONS='--version' '-v' '-march=z13' '-m64' '-mzarch' ++ pwd + jenkinsdir=/home/ci/jenkins-workspace/workspace/precheck/flambda/true/label/ocaml-zsystems + echo jenkinsdir=/home/ci/jenkins-workspace/workspace/precheck/flambda/true/label/ocaml-zsystems jenkinsdir=/home/ci/jenkins-workspace/workspace/precheck/flambda/true/label/ocaml-zsystems + case "${OCAML_ARCH}" in + case "${OCAML_ARCH}" in + renice 10 3514288 3514288 (process ID) old priority 0, new priority 10 + set -ex + CCOMP= + case $NODE_NAME in + build= + host= + conffile=Makefile.config + make=make + instdir=/home/ci/ocaml-tmp-install + confoptions='--enable-ocamltest --enable-dependency-generation ' + make_native=true + cleanup=false + check_make_alldepend=false + jobs= + bootstrap=false + init_submodule=false + memory_model_tests='tests/memory-model/forbidden.ml tests/memory-model/publish.ml' + case "${OCAML_ARCH}" in + check_make_alldepend=true + instdir=/home/ci/ocaml-tmp-install-3514288 + case "${OCAML_JOBS}" in + false + pwd /home/ci/jenkins-workspace/workspace/precheck/flambda/true/label/ocaml-zsystems + cd /home/ci/jenkins-workspace/workspace/precheck/flambda/true/label/ocaml-zsystems + false + '[' -f flexdll/Makefile ']' + '[' 0 -gt 0 ']' + export LC_ALL=C + LC_ALL=C + git clean -q -f -d -x + test true = true + confoptions='--enable-ocamltest --enable-dependency-generation --enable-flambda --enable-flambda-invariants' + eval ./configure '' '--prefix=$instdir' --enable-ocamltest --enable-dependency-generation --enable-flambda --enable-flambda-invariants ++ ./configure --prefix=/home/ci/ocaml-tmp-install-3514288 --enable-ocamltest --enable-dependency-generation --enable-flambda --enable-flambda-invariants configure: Configuring OCaml version 5.1.0+dev1-2022-06-09 checking build system type... s390x-ibm-linux-gnu checking host system type... s390x-ibm-linux-gnu checking target system type... s390x-ibm-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 the compiler supports GNU C... yes checking whether gcc accepts -g... yes checking for gcc option to enable C11 features... 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 s390x-ibm-linux-gnu file names to s390x-ibm-linux-gnu format... func_convert_file_noop checking how to convert s390x-ibm-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... dlltool 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 for stdio.h... yes checking for stdlib.h... yes checking for string.h... yes checking for inttypes.h... yes checking for stdint.h... yes checking for strings.h... yes checking for sys/stat.h... yes checking for sys/types.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... no 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 -m elf64_s390) 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 how to run the C preprocessor... gcc -E checking C compiler vendor... gcc-8-5 checking whether host executables can be run in the build... yes checking whether #! works in shell scripts... yes checking for flexdll sources... checking for flexlink... no checking for flexdll.h... no checking for a BSD-compatible install... /usr/bin/install -c checking for cos in -lm... yes checking for math.h... yes checking for unistd.h... (cached) yes checking for stdint.h... (cached) yes checking for pthread_np.h... no checking for dirent.h... yes checking for sys/select.h... yes checking for stdatomic.h... yes checking for sys/mman.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... yes checking alignment of double... 8 checking alignment of long... 8 checking alignment of long long... 8 checking whether the C compiler supports _Atomic types... yes checking whether the C compiler supports __attribute__((aligned(n)))... yes checking whether the C compiler supports __attribute__((optimize("tree-vectorize")))... yes configure: the native compiler is not supported on this platform checking for ld... ld checking for rlwrap... no 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 exp2... yes checking for log2... yes checking for cbrt... yes checking for acosh... yes checking for asinh... yes checking for atanh... yes checking for erf... yes checking for erfc... yes checking for trunc... yes checking for round... yes checking for copysign... yes checking whether round works... yes checking whether fma works... yes checking for gcc options needed to detect all undeclared functions... none needed checking for unistd.h... (cached) yes checking whether getentropy is declared... 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 whether system is declared... yes checking for sys/types.h... (cached) 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 realpath... yes checking for waitpid... yes checking for wait4... yes checking for getgroups... yes checking for setgroups... yes checking for initgroups... 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 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 for setenv... yes checking for unsetenv... yes checking for locale.h... yes checking for newlocale... yes checking for freelocale... yes checking for uselocale... yes 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 for sys/mman.h... (cached) 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 sys/shm.h... yes checking for shmat... yes checking for execvpe... yes checking for spawn.h... yes checking for posix_spawn... yes checking for posix_spawnp... yes checking for ffs... yes checking for _BitScanForward... no configure: replay debugger supported checking whether gcc is Clang... no checking whether pthreads work with "-pthread" and "-lpthread"... 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 checking for sigwait... yes configure: the threads library is supported configure: not using frame pointers checking whether mmap supports huge pages... yes checking for patdiff... no checking for diff... diff checking whether diff supports --strip-trailing-cr... yes checking whether diff supports -u... yes checking whether mmap supports MAP_STACK... yes configure: Disabling function sections. checking for backtrace in -lexecinfo... no configure: creating ./config.status config.status: creating Makefile.build_config config.status: creating Makefile.config config.status: creating stdlib/sys.ml config.status: creating manual/src/version.tex config.status: creating manual/src/html_processing/src/common.ml config.status: creating ocamltest/ocamltest_config.ml config.status: creating utils/config.generated.ml config.status: creating compilerlibs/META config.status: creating otherlibs/dynlink/META config.status: creating otherlibs/runtime_events/META config.status: creating stdlib/META config.status: creating otherlibs/unix/META config.status: creating otherlibs/str/META config.status: creating otherlibs/systhreads/META config.status: creating ocamldoc/META config.status: creating runtime/caml/m.h config.status: creating runtime/caml/s.h config.status: creating runtime/caml/version.h config.status: executing libtool commands + grep -q '^NATIVE_COMPILER=false' Makefile.config + make_native=false + test true = true + test false = false + echo 'No need to test flambda in a bytecode-only system; skipping the test.' No need to test flambda in a bytecode-only system; skipping the test. + exit 0 Email was triggered for: Always Sending email for trigger: Always Sending email to: damien.doligez@inria.fr Finished: SUCCESS