![[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-centos-oldest (linux active) in workspace /builds/workspace/precheck/flambda/false/label/ocaml-centos-oldest The recommended git tool is: NONE No credentials specified > git rev-parse --resolve-git-dir /builds/workspace/precheck/flambda/false/label/ocaml-centos-oldest/.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 1.8.3.1' > git fetch --tags --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-centos-oldest] $ /bin/sh -xe /tmp/jenkins7599230088039161478.sh + ./tools/ci/inria/launch ./tools/ci/inria/main + case "${OCAML_ARCH}" in + exec ./tools/ci/inria/main Linux ocaml-centos-oldest 3.10.0-1160.53.1.el7.x86_64 #1 SMP Fri Jan 14 13:59:45 UTC 2022 x86_64 x86_64 x86_64 GNU/Linux /etc/issue content: | \S | Kernel \r on an \m | /etc/redhat-release content: | CentOS Linux release 7.9.2009 (Core) gcc info: | Using built-in specs. | COLLECT_GCC=gcc | COLLECT_LTO_WRAPPER=/usr/libexec/gcc/x86_64-redhat-linux/4.8.5/lto-wrapper | gcc (GCC) 4.8.5 20150623 (Red Hat 4.8.5-44) | Copyright (C) 2015 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: x86_64-redhat-linux | Configured with: ../configure --prefix=/usr --mandir=/usr/share/man --infodir=/usr/share/info --with-bugurl=http://bugzilla.redhat.com/bugzilla --enable-bootstrap --enable-shared --enable-threads=posix --enable-checking=release --with-system-zlib --enable-__cxa_atexit --disable-libunwind-exceptions --enable-gnu-unique-object --enable-linker-build-id --with-linker-hash-style=gnu --enable-languages=c,c++,objc,obj-c++,java,fortran,ada,go,lto --enable-plugin --enable-initfini-array --disable-libgcj --with-isl=/builddir/build/BUILD/gcc-4.8.5-20150702/obj-x86_64-redhat-linux/isl-install --with-cloog=/builddir/build/BUILD/gcc-4.8.5-20150702/obj-x86_64-redhat-linux/cloog-install --enable-gnu-indirect-function --with-tune=generic --with-arch_32=x86-64 --build=x86_64-redhat-linux | Thread model: posix | gcc version 4.8.5 20150623 (Red Hat 4.8.5-44) (GCC) | COLLECT_GCC_OPTIONS='--version' '-v' '-mtune=generic' '-march=x86-64' | /usr/libexec/gcc/x86_64-redhat-linux/4.8.5/cc1 -quiet -v help-dummy -quiet -dumpbase help-dummy -mtune=generic -march=x86-64 -auxbase help-dummy -version --version -o /tmp/cc8650Yd.s | GNU C (GCC) version 4.8.5 20150623 (Red Hat 4.8.5-44) (x86_64-redhat-linux) | compiled by GNU C version 4.8.5 20150623 (Red Hat 4.8.5-44), GMP version 6.0.0, MPFR version 3.1.1, MPC version 1.0.1 | GGC heuristics: --param ggc-min-expand=100 --param ggc-min-heapsize=131072 | COLLECT_GCC_OPTIONS='--version' '-v' '-mtune=generic' '-march=x86-64' | as -v --64 --version -o /tmp/ccu1jUs5.o /tmp/cc8650Yd.s | GNU assembler version 2.27 (x86_64-redhat-linux) using BFD version version 2.27-44.base.el7_9.1 | GNU assembler version 2.27-44.base.el7_9.1 | Copyright (C) 2016 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 `x86_64-redhat-linux'. | COMPILER_PATH=/usr/libexec/gcc/x86_64-redhat-linux/4.8.5/:/usr/libexec/gcc/x86_64-redhat-linux/4.8.5/:/usr/libexec/gcc/x86_64-redhat-linux/:/usr/lib/gcc/x86_64-redhat-linux/4.8.5/:/usr/lib/gcc/x86_64-redhat-linux/ | LIBRARY_PATH=/usr/lib/gcc/x86_64-redhat-linux/4.8.5/:/usr/lib/gcc/x86_64-redhat-linux/4.8.5/../../../../lib64/:/lib/../lib64/:/usr/lib/../lib64/:/usr/lib/gcc/x86_64-redhat-linux/4.8.5/../../../:/lib/:/usr/lib/ | COLLECT_GCC_OPTIONS='--version' '-v' '-mtune=generic' '-march=x86-64' | /usr/libexec/gcc/x86_64-redhat-linux/4.8.5/collect2 --build-id --no-add-needed --eh-frame-hdr --hash-style=gnu -m elf_x86_64 -dynamic-linker /lib64/ld-linux-x86-64.so.2 --version /usr/lib/gcc/x86_64-redhat-linux/4.8.5/../../../../lib64/crt1.o /usr/lib/gcc/x86_64-redhat-linux/4.8.5/../../../../lib64/crti.o /usr/lib/gcc/x86_64-redhat-linux/4.8.5/crtbegin.o -L/usr/lib/gcc/x86_64-redhat-linux/4.8.5 -L/usr/lib/gcc/x86_64-redhat-linux/4.8.5/../../../../lib64 -L/lib/../lib64 -L/usr/lib/../lib64 -L/usr/lib/gcc/x86_64-redhat-linux/4.8.5/../../.. /tmp/ccu1jUs5.o -lgcc --as-needed -lgcc_s --no-as-needed -lc -lgcc --as-needed -lgcc_s --no-as-needed /usr/lib/gcc/x86_64-redhat-linux/4.8.5/crtend.o /usr/lib/gcc/x86_64-redhat-linux/4.8.5/../../../../lib64/crtn.o | collect2 version 4.8.5 20150623 (Red Hat 4.8.5-44) | /usr/bin/ld --build-id --no-add-needed --eh-frame-hdr --hash-style=gnu -m elf_x86_64 -dynamic-linker /lib64/ld-linux-x86-64.so.2 --version /usr/lib/gcc/x86_64-redhat-linux/4.8.5/../../../../lib64/crt1.o /usr/lib/gcc/x86_64-redhat-linux/4.8.5/../../../../lib64/crti.o /usr/lib/gcc/x86_64-redhat-linux/4.8.5/crtbegin.o -L/usr/lib/gcc/x86_64-redhat-linux/4.8.5 -L/usr/lib/gcc/x86_64-redhat-linux/4.8.5/../../../../lib64 -L/lib/../lib64 -L/usr/lib/../lib64 -L/usr/lib/gcc/x86_64-redhat-linux/4.8.5/../../.. /tmp/ccu1jUs5.o -lgcc --as-needed -lgcc_s --no-as-needed -lc -lgcc --as-needed -lgcc_s --no-as-needed /usr/lib/gcc/x86_64-redhat-linux/4.8.5/crtend.o /usr/lib/gcc/x86_64-redhat-linux/4.8.5/../../../../lib64/crtn.o | GNU ld version 2.27-44.base.el7_9.1 | Copyright (C) 2016 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. ++ pwd + jenkinsdir=/builds/workspace/precheck/flambda/false/label/ocaml-centos-oldest + echo jenkinsdir=/builds/workspace/precheck/flambda/false/label/ocaml-centos-oldest jenkinsdir=/builds/workspace/precheck/flambda/false/label/ocaml-centos-oldest + case "${OCAML_ARCH}" in + case "${OCAML_ARCH}" in + renice 10 22444 22444 (process ID) old priority 0, new priority 10 + set -ex + CCOMP= + case $NODE_NAME in + build= + host= + conffile=Makefile.config + make=make + instdir=/builds/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=/builds/ocaml-tmp-install-22444 + case "${OCAML_JOBS}" in + false + pwd /builds/workspace/precheck/flambda/false/label/ocaml-centos-oldest + cd /builds/workspace/precheck/flambda/false/label/ocaml-centos-oldest + false + '[' -f flexdll/Makefile ']' + '[' 0 -gt 0 ']' + export LC_ALL=C + LC_ALL=C + git clean -q -f -d -x + test false = true + eval ./configure '' '--prefix=$instdir' --enable-ocamltest --enable-dependency-generation ++ ./configure --prefix=/builds/ocaml-tmp-install-22444 --enable-ocamltest --enable-dependency-generation configure: Configuring OCaml version 5.1.0+dev1-2022-06-09 checking build system type... x86_64-pc-linux-gnu checking host system type... x86_64-pc-linux-gnu checking target system type... x86_64-pc-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... -std=gnu11 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 -std=gnu11... 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 x86_64-pc-linux-gnu file names to x86_64-pc-linux-gnu format... func_convert_file_noop checking how to convert x86_64-pc-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 -std=gnu11 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 -std=gnu11 supports -fno-rtti -fno-exceptions... no checking for gcc -std=gnu11 option to produce PIC... -fPIC -DPIC checking if gcc -std=gnu11 PIC flag -fPIC -DPIC works... yes checking if gcc -std=gnu11 static flag -static works... no checking if gcc -std=gnu11 supports -c -o file.o... yes checking if gcc -std=gnu11 supports -c -o file.o... (cached) yes checking whether the gcc -std=gnu11 linker (ld -m elf_x86_64) 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 -std=gnu11 -E checking C compiler vendor... gcc-4-8 checking whether host executables can be run in the build... yes checking whether #! works in shell scripts... yes configure: error: This version of GCC is too old. Please use GCC version 4.9 or above. Build step 'Execute shell' changed build result to UNSTABLE Email was triggered for: Always Sending email for trigger: Always Sending email to: damien.doligez@inria.fr Finished: UNSTABLE