Console Output

+ tools/ci/inria/other-configs/script
============== minimal build =================
tools/ci/inria/main:
arguments: -j8 -conf --disable-native-compiler -conf --disable-shared -conf --disable-debug-runtime -conf --disable-instrumented-runtime -conf --disable-systhreads -conf --disable-str-lib -conf --disable-unix-lib -conf --disable-ocamldoc -conf --disable-dependency-generation -no-native
OCAML_CONFIGURE_OPTIONS=
OCAML_JOBS=
OCAML_4_ONLY=
Linux barsac 5.15.0-100-generic #110-Ubuntu SMP Wed Feb 7 13:27:48 UTC 2024 x86_64 x86_64 x86_64 GNU/Linux
/etc/issue content:
| Ubuntu 22.04.3 LTS \n \l
| 
gcc info:
| Using built-in specs.
| COLLECT_AS_OPTIONS='--version'
| COLLECT_GCC=gcc
| COLLECT_LTO_WRAPPER=/usr/lib/gcc/x86_64-linux-gnu/11/lto-wrapper
| OFFLOAD_TARGET_NAMES=nvptx-none:amdgcn-amdhsa
| OFFLOAD_TARGET_DEFAULT=1
| gcc (Ubuntu 11.4.0-1ubuntu1~22.04) 11.4.0
| Copyright (C) 2021 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-linux-gnu
| Configured with: ../src/configure -v --with-pkgversion='Ubuntu 11.4.0-1ubuntu1~22.04' --with-bugurl=file:///usr/share/doc/gcc-11/README.Bugs --enable-languages=c,ada,c++,go,brig,d,fortran,objc,obj-c++,m2 --prefix=/usr --with-gcc-major-version-only --program-suffix=-11 --program-prefix=x86_64-linux-gnu- --enable-shared --enable-linker-build-id --libexecdir=/usr/lib --without-included-gettext --enable-threads=posix --libdir=/usr/lib --enable-nls --enable-bootstrap --enable-clocale=gnu --enable-libstdcxx-debug --enable-libstdcxx-time=yes --with-default-libstdcxx-abi=new --enable-gnu-unique-object --disable-vtable-verify --enable-plugin --enable-default-pie --with-system-zlib --enable-libphobos-checking=release --with-target-system-zlib=auto --enable-objc-gc=auto --enable-multiarch --disable-werror --enable-cet --with-arch-32=i686 --with-abi=m64 --with-multilib-list=m32,m64,mx32 --enable-multilib --with-tune=generic --enable-offload-targets=nvptx-none=/build/gcc-11-XeT9lY/gcc-11-11.4.0/debian/tmp-nvptx/usr,amdgcn-amdhsa=/build/gcc-11-XeT9lY/gcc-11-11.4.0/debian/tmp-gcn/usr --without-cuda-driver --enable-checking=release --build=x86_64-linux-gnu --host=x86_64-linux-gnu --target=x86_64-linux-gnu --with-build-config=bootstrap-lto-lean --enable-link-serialization=2
| Thread model: posix
| Supported LTO compression algorithms: zlib zstd
| gcc version 11.4.0 (Ubuntu 11.4.0-1ubuntu1~22.04) 
| COLLECT_GCC_OPTIONS='--version' '-v' '-mtune=generic' '-march=x86-64' '-dumpdir' 'a-'
|  /usr/lib/gcc/x86_64-linux-gnu/11/cc1 -quiet -v -imultiarch x86_64-linux-gnu help-dummy -quiet -dumpdir a- -dumpbase help-dummy -mtune=generic -march=x86-64 -version --version -fasynchronous-unwind-tables -fstack-protector-strong -Wformat -Wformat-security -fstack-clash-protection -fcf-protection -o /tmp/ccsp5ypw.s
| GNU C17 (Ubuntu 11.4.0-1ubuntu1~22.04) version 11.4.0 (x86_64-linux-gnu)
| 	compiled by GNU C version 11.4.0, GMP version 6.2.1, MPFR version 4.1.0, MPC version 1.2.1, isl version isl-0.24-GMP
| 
| GGC heuristics: --param ggc-min-expand=100 --param ggc-min-heapsize=131072
| COLLECT_GCC_OPTIONS='--version' '-v' '-mtune=generic' '-march=x86-64' '-dumpdir' 'a-'
|  as -v --64 --version -o /tmp/ccvOetjA.o /tmp/ccsp5ypw.s
| GNU assembler version 2.38 (x86_64-linux-gnu) using BFD version (GNU Binutils for Ubuntu) 2.38
| GNU assembler (GNU Binutils for Ubuntu) 2.38
| Copyright (C) 2022 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-linux-gnu'.
| COMPILER_PATH=/usr/lib/gcc/x86_64-linux-gnu/11/:/usr/lib/gcc/x86_64-linux-gnu/11/:/usr/lib/gcc/x86_64-linux-gnu/:/usr/lib/gcc/x86_64-linux-gnu/11/:/usr/lib/gcc/x86_64-linux-gnu/
| LIBRARY_PATH=/usr/lib/gcc/x86_64-linux-gnu/11/:/usr/lib/gcc/x86_64-linux-gnu/11/../../../x86_64-linux-gnu/:/usr/lib/gcc/x86_64-linux-gnu/11/../../../../lib/:/lib/x86_64-linux-gnu/:/lib/../lib/:/usr/lib/x86_64-linux-gnu/:/usr/lib/../lib/:/usr/lib/gcc/x86_64-linux-gnu/11/../../../:/lib/:/usr/lib/
| COLLECT_GCC_OPTIONS='--version' '-v' '-mtune=generic' '-march=x86-64' '-dumpdir' 'a.'
|  /usr/lib/gcc/x86_64-linux-gnu/11/collect2 -plugin /usr/lib/gcc/x86_64-linux-gnu/11/liblto_plugin.so -plugin-opt=/usr/lib/gcc/x86_64-linux-gnu/11/lto-wrapper -plugin-opt=-fresolution=/tmp/cc2KdslO.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 --eh-frame-hdr -m elf_x86_64 --hash-style=gnu --as-needed -dynamic-linker /lib64/ld-linux-x86-64.so.2 -pie -z now -z relro --version /usr/lib/gcc/x86_64-linux-gnu/11/../../../x86_64-linux-gnu/Scrt1.o /usr/lib/gcc/x86_64-linux-gnu/11/../../../x86_64-linux-gnu/crti.o /usr/lib/gcc/x86_64-linux-gnu/11/crtbeginS.o -L/usr/lib/gcc/x86_64-linux-gnu/11 -L/usr/lib/gcc/x86_64-linux-gnu/11/../../../x86_64-linux-gnu -L/usr/lib/gcc/x86_64-linux-gnu/11/../../../../lib -L/lib/x86_64-linux-gnu -L/lib/../lib -L/usr/lib/x86_64-linux-gnu -L/usr/lib/../lib -L/usr/lib/gcc/x86_64-linux-gnu/11/../../.. /tmp/ccvOetjA.o -lgcc --push-state --as-needed -lgcc_s --pop-state -lc -lgcc --push-state --as-needed -lgcc_s --pop-state /usr/lib/gcc/x86_64-linux-gnu/11/crtendS.o /usr/lib/gcc/x86_64-linux-gnu/11/../../../x86_64-linux-gnu/crtn.o
| collect2 version 11.4.0
| /usr/bin/ld -plugin /usr/lib/gcc/x86_64-linux-gnu/11/liblto_plugin.so -plugin-opt=/usr/lib/gcc/x86_64-linux-gnu/11/lto-wrapper -plugin-opt=-fresolution=/tmp/cc2KdslO.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 --eh-frame-hdr -m elf_x86_64 --hash-style=gnu --as-needed -dynamic-linker /lib64/ld-linux-x86-64.so.2 -pie -z now -z relro --version /usr/lib/gcc/x86_64-linux-gnu/11/../../../x86_64-linux-gnu/Scrt1.o /usr/lib/gcc/x86_64-linux-gnu/11/../../../x86_64-linux-gnu/crti.o /usr/lib/gcc/x86_64-linux-gnu/11/crtbeginS.o -L/usr/lib/gcc/x86_64-linux-gnu/11 -L/usr/lib/gcc/x86_64-linux-gnu/11/../../../x86_64-linux-gnu -L/usr/lib/gcc/x86_64-linux-gnu/11/../../../../lib -L/lib/x86_64-linux-gnu -L/lib/../lib -L/usr/lib/x86_64-linux-gnu -L/usr/lib/../lib -L/usr/lib/gcc/x86_64-linux-gnu/11/../../.. /tmp/ccvOetjA.o -lgcc --push-state --as-needed -lgcc_s --pop-state -lc -lgcc --push-state --as-needed -lgcc_s --pop-state /usr/lib/gcc/x86_64-linux-gnu/11/crtendS.o /usr/lib/gcc/x86_64-linux-gnu/11/../../../x86_64-linux-gnu/crtn.o
| GNU ld (GNU Binutils for Ubuntu) 2.38
| Copyright (C) 2022 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' '-mtune=generic' '-march=x86-64' '-dumpdir' 'a.'
+ pwd
+ jenkinsdir=/home/barsac/ci/builds/workspace/other-configs
+ echo jenkinsdir=/home/barsac/ci/builds/workspace/other-configs
jenkinsdir=/home/barsac/ci/builds/workspace/other-configs
+ renice 10 747386
747386 (process ID) old priority 0, new priority 10
+ set -ex
+ CCOMP=
+ build=
+ host=
+ conffile=Makefile.config
+ make=make
+ instdir=/home/barsac/ci/ocaml-tmp-install
+ confoptions=--enable-ocamltest --enable-dependency-generation --enable-codegen-invariants 
+ make_native=true
+ cleanup=false
+ check_make_alldepend=false
+ jobs=
+ bootstrap=false
+ init_submodule_flexdll=false
+ init_submodule_winpthreads=false
+ memory_model_tests=tests/memory-model/forbidden.ml tests/memory-model/publish.ml
+ check_make_alldepend=true
+ instdir=/home/barsac/ci/ocaml-tmp-install-747386
+ false
+ pwd
/home/barsac/ci/builds/workspace/other-configs
+ cd /home/barsac/ci/builds/workspace/other-configs
+ false
+ [ -f flexdll/Makefile ]
+ false
+ [ -f winpthreads/Makefile.in ]
+ [ 20 -gt 0 ]
+ jobs=-j8
+ shift
+ [ 19 -gt 0 ]
+ quote1 --disable-native-compiler
+ printf %s --disable-native-compiler
+ sed -e s/'/'\\''/g
+ printf '%s' --disable-native-compiler
+ confoptions=--enable-ocamltest --enable-dependency-generation --enable-codegen-invariants  '--disable-native-compiler'
+ shift
+ shift
+ [ 17 -gt 0 ]
+ quote1 --disable-shared
+ printf %s --disable-shared
+ sed -e s/'/'\\''/g
+ printf '%s' --disable-shared
+ confoptions=--enable-ocamltest --enable-dependency-generation --enable-codegen-invariants  '--disable-native-compiler' '--disable-shared'
+ shift
+ shift
+ [ 15 -gt 0 ]
+ quote1 --disable-debug-runtime
+ printf %s --disable-debug-runtime
+ sed -e s/'/'\\''/g
+ printf '%s' --disable-debug-runtime
+ confoptions=--enable-ocamltest --enable-dependency-generation --enable-codegen-invariants  '--disable-native-compiler' '--disable-shared' '--disable-debug-runtime'
+ shift
+ shift
+ [ 13 -gt 0 ]
+ quote1 --disable-instrumented-runtime
+ + sedprintf -e %s s/'/'\\''/g --disable-instrumented-runtime

+ printf '%s' --disable-instrumented-runtime
+ confoptions=--enable-ocamltest --enable-dependency-generation --enable-codegen-invariants  '--disable-native-compiler' '--disable-shared' '--disable-debug-runtime' '--disable-instrumented-runtime'
+ shift
+ shift
+ [ 11 -gt 0 ]
+ quote1 --disable-systhreads
+ printf %s --disable-systhreads
+ sed -e s/'/'\\''/g
+ printf '%s' --disable-systhreads
+ confoptions=--enable-ocamltest --enable-dependency-generation --enable-codegen-invariants  '--disable-native-compiler' '--disable-shared' '--disable-debug-runtime' '--disable-instrumented-runtime' '--disable-systhreads'
+ shift
+ shift
+ [ 9 -gt 0 ]
+ quote1 --disable-str-lib
+ + printf %s --disable-str-lib
sed -e s/'/'\\''/g
+ printf '%s' --disable-str-lib
+ confoptions=--enable-ocamltest --enable-dependency-generation --enable-codegen-invariants  '--disable-native-compiler' '--disable-shared' '--disable-debug-runtime' '--disable-instrumented-runtime' '--disable-systhreads' '--disable-str-lib'
+ shift
+ shift
+ [ 7 -gt 0 ]
+ quote1 --disable-unix-lib
+ printf %s --disable-unix-lib
+ sed -e s/'/'\\''/g
+ printf '%s' --disable-unix-lib
+ confoptions=--enable-ocamltest --enable-dependency-generation --enable-codegen-invariants  '--disable-native-compiler' '--disable-shared' '--disable-debug-runtime' '--disable-instrumented-runtime' '--disable-systhreads' '--disable-str-lib' '--disable-unix-lib'
+ shift
+ shift
+ [ 5 -gt 0 ]
+ quote1 --disable-ocamldoc
+ printf %s --disable-ocamldoc
+ sed -e s/'/'\\''/g
+ printf '%s' --disable-ocamldoc
+ confoptions=--enable-ocamltest --enable-dependency-generation --enable-codegen-invariants  '--disable-native-compiler' '--disable-shared' '--disable-debug-runtime' '--disable-instrumented-runtime' '--disable-systhreads' '--disable-str-lib' '--disable-unix-lib' '--disable-ocamldoc'
+ shift
+ shift
+ [ 3 -gt 0 ]
+ quote1 --disable-dependency-generation
+ printf %s --disable-dependency-generation
+ sed -e s/'/'\\''/g
+ printf '%s' --disable-dependency-generation
+ confoptions=--enable-ocamltest --enable-dependency-generation --enable-codegen-invariants  '--disable-native-compiler' '--disable-shared' '--disable-debug-runtime' '--disable-instrumented-runtime' '--disable-systhreads' '--disable-str-lib' '--disable-unix-lib' '--disable-ocamldoc' '--disable-dependency-generation'
+ shift
+ shift
+ [ 1 -gt 0 ]
+ make_native=false
+ shift
+ [ 0 -gt 0 ]
+ export LC_ALL=C
+ git clean -q -f -d -x
+ test  = true
+ confoptions=--enable-ocamltest --enable-dependency-generation --enable-codegen-invariants  '--disable-native-compiler' '--disable-shared' '--disable-debug-runtime' '--disable-instrumented-runtime' '--disable-systhreads' '--disable-str-lib' '--disable-unix-lib' '--disable-ocamldoc' '--disable-dependency-generation' --enable-native-toplevel
+ eval ./configure  --prefix=$instdir --enable-ocamltest --enable-dependency-generation --enable-codegen-invariants '--disable-native-compiler' '--disable-shared' '--disable-debug-runtime' '--disable-instrumented-runtime' '--disable-systhreads' '--disable-str-lib' '--disable-unix-lib' '--disable-ocamldoc' '--disable-dependency-generation' --enable-native-toplevel
+ ./configure --prefix=/home/barsac/ci/ocaml-tmp-install-747386 --enable-ocamltest --enable-dependency-generation --enable-codegen-invariants --disable-native-compiler --disable-shared --disable-debug-runtime --disable-instrumented-runtime --disable-systhreads --disable-str-lib --disable-unix-lib --disable-ocamldoc --disable-dependency-generation --enable-native-toplevel
configure: Configuring OCaml version 5.5.0+dev0-2025-04-28
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 csc... no
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 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 file... file
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 ranlib... ranlib
checking for ar... ar
checking for archiver @FILE support... @
checking for strip... strip
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... mt
checking if mt 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... 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 -m elf_x86_64) supports shared libraries... yes
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... no
checking whether to build static libraries... yes
checking if gcc generates a .note.GNU-stack section... yes
checking if gcc generates .size and .type asm directives... yes
checking how to run the C preprocessor... gcc -E
checking C compiler vendor... gcc-11-4
checking whether target executables can be run in the build... yes
checking whether #! works in shell scripts... yes
checking whether the C compiler accepts -Wold-style-declaration... yes
checking whether the C compiler accepts -Wimplicit-fallthrough=5... yes
checking for winpthreads sources... skipping on that platform
checking for a BSD-compatible install... /usr/bin/install -c
checking for library containing cos... -lm
checking for pthread_np.h... no
checking for dirent.h... yes
checking for sys/select.h... yes
checking for sys/mman.h... yes
checking for linux/futex.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 for max_align_t... yes
checking if gcc supports _Atomic types with no additional options... yes
checking whether the C compiler accepts -fno-tree-vrp... yes
checking whether the C compiler supports __attribute__((optimize("tree-vectorize")))... yes
checking whether gcc supports the labels as values extension... yes
configure: the native compiler is disabled
configure: error: The native toplevel requires native dynlink support