Started by GitHub push by nojb
Lightweight checkout support not available, falling back to full checkout.
Checking out git https://github.com/ocaml/ocaml/ into /net/www/ci/ocaml/jobs/other-configs/workspace@script/e5fc3896b7a501a446fdc6a3c1d2fa3f560732009e58e20589af9e6fad5e33c2 to read tools/ci/inria/other-configs/Jenkinsfile
The recommended git tool is: git
using credential 1460efba-98da-4ca5-9696-a7e681202cc4
> git rev-parse --resolve-git-dir /net/www/ci/ocaml/jobs/other-configs/workspace@script/e5fc3896b7a501a446fdc6a3c1d2fa3f560732009e58e20589af9e6fad5e33c2/.git # timeout=10
Fetching changes from the remote Git repository
> git config remote.origin.url https://github.com/ocaml/ocaml/ # timeout=10
Fetching upstream changes from https://github.com/ocaml/ocaml/
> git --version # timeout=10
> git --version # 'git version 2.43.0'
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/origin/* # timeout=10
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.01
Seen branch in repository origin/4.02
Seen branch in repository origin/4.03
Seen branch in repository origin/4.04
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.08
Seen branch in repository origin/4.09
Seen branch in repository origin/4.10
Seen branch in repository origin/4.11
Seen branch in repository origin/4.12
Seen branch in repository origin/4.13
Seen branch in repository origin/4.14
Seen branch in repository origin/5.0
Seen branch in repository origin/5.1
Seen branch in repository origin/5.2
Seen branch in repository origin/5.3
Seen branch in repository origin/5.4
Seen branch in repository origin/abstract-new
Seen branch in repository origin/annot-from-lambda
Seen branch in repository origin/autofocus
Seen branch in repository origin/cducetrunk
Seen branch in repository origin/class-with-type
Seen branch in repository origin/contracts
Seen branch in repository origin/contracts-3.11
Seen branch in repository origin/delegate
Seen branch in repository origin/deprecated_optional_arguments
Seen branch in repository origin/dothat
Seen branch in repository origin/dwarf
Seen branch in repository origin/dynamics
Seen branch in repository origin/dyntypes
Seen branch in repository origin/expoly
Seen branch in repository origin/fastclass
Seen branch in repository origin/fmu
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/hidden_args
Seen branch in repository origin/implicit-subtyping
Seen branch in repository origin/implicits
Seen branch in repository origin/ios-support
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/letopen
Seen branch in repository origin/magic-numbers
Seen branch in repository origin/mark_expansive
Seen branch in repository origin/merge_sig_str
Seen branch in repository origin/mltk
Seen branch in repository origin/module_of_module_type
Seen branch in repository origin/monadic_let
Seen branch in repository origin/multimatch
Seen branch in repository origin/namespaces
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/non-vanishing
Seen branch in repository origin/objvariants
Seen branch in repository origin/ocamlmode
Seen branch in repository origin/olabl
Seen branch in repository origin/open_types
Seen branch in repository origin/polyrec
Seen branch in repository origin/pr8891
Seen branch in repository origin/pr8908
Seen branch in repository origin/pr8934
Seen branch in repository origin/private_abbrevs
Seen branch in repository origin/record-disambiguation
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/static_exceptions
Seen branch in repository origin/strict_labels
Seen branch in repository origin/treematch
Seen branch in repository origin/trunk
Seen branch in repository origin/varunion
Seen 90 remote branches
> git show-ref --tags -d # timeout=10
Checking out Revision dc7baf3cd1e821a8a10be7ccb12346f18ee764df (origin/trunk)
> git config core.sparsecheckout # timeout=10
> git checkout -f dc7baf3cd1e821a8a10be7ccb12346f18ee764df # timeout=10
Commit message: "Missing case in {Stdlib,Float}.frexp documentation (#14128)"
> git rev-list --no-walk 38efe5a55f1ba61eba37596db299d114c0a00ff9 # timeout=10
[Pipeline] Start of Pipeline
[Pipeline] node
Running on ocaml-linux-64 in /home/barsac/ci/builds/workspace/other-configs
[Pipeline] {
[Pipeline] stage
[Pipeline] { (Declarative: Checkout SCM)
[Pipeline] checkout
The recommended git tool is: git
using credential 1460efba-98da-4ca5-9696-a7e681202cc4
Fetching changes from the remote Git repository
Checking out Revision dc7baf3cd1e821a8a10be7ccb12346f18ee764df (origin/trunk)
Commit message: "Missing case in {Stdlib,Float}.frexp documentation (#14128)"
[Pipeline] }
> git rev-parse --resolve-git-dir /home/barsac/ci/builds/workspace/other-configs/.git # timeout=10
> git config remote.origin.url https://github.com/ocaml/ocaml/ # timeout=10
Fetching upstream changes from https://github.com/ocaml/ocaml/
> git --version # timeout=10
> git --version # 'git version 2.34.1'
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/origin/* # timeout=10
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.01
Seen branch in repository origin/4.02
Seen branch in repository origin/4.03
Seen branch in repository origin/4.04
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.08
Seen branch in repository origin/4.09
Seen branch in repository origin/4.10
Seen branch in repository origin/4.11
Seen branch in repository origin/4.12
Seen branch in repository origin/4.13
Seen branch in repository origin/4.13.1+modify+32b
Seen branch in repository origin/4.14
Seen branch in repository origin/5.0
Seen branch in repository origin/5.1
Seen branch in repository origin/5.2
Seen branch in repository origin/5.3
Seen branch in repository origin/5.4
Seen branch in repository origin/OlivierNicole-patch-1
Seen branch in repository origin/__asm__
Seen branch in repository origin/abstract-new
Seen branch in repository origin/afrisch_fix_reachable_words
Seen branch in repository origin/annot-from-lambda
Seen branch in repository origin/autofocus
Seen branch in repository origin/cducetrunk
Seen branch in repository origin/class-with-type
Seen branch in repository origin/contracts
Seen branch in repository origin/contracts-3.11
Seen branch in repository origin/debugger-and-threads
Seen branch in repository origin/delegate
Seen branch in repository origin/deprecated_optional_arguments
Seen branch in repository origin/dothat
Seen branch in repository origin/dwarf
Seen branch in repository origin/dynamics
Seen branch in repository origin/dyntypes
Seen branch in repository origin/expoly
Seen branch in repository origin/fastclass
Seen branch in repository origin/fix-native-tools-build
Seen branch in repository origin/fmu
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/gcc_mingw_partial_link
Seen branch in repository origin/hidden_args
Seen branch in repository origin/implicit-subtyping
Seen branch in repository origin/implicits
Seen branch in repository origin/improve-tsan-manual
Seen branch in repository origin/ios-support
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/letopen
Seen branch in repository origin/magic-numbers
Seen branch in repository origin/make-it-testable
Seen branch in repository origin/mark_expansive
Seen branch in repository origin/merge_sig_str
Seen branch in repository origin/mltk
Seen branch in repository origin/module_of_module_type
Seen branch in repository origin/monadic_let
Seen branch in repository origin/multimatch
Seen branch in repository origin/namespaces
Seen branch in repository origin/native-compilation-32-bits
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/no-marshal-compression-flag-fix
Seen branch in repository origin/non-vanishing
Seen branch in repository origin/objvariants
Seen branch in repository origin/ocamlmode
Seen branch in repository origin/olabl
Seen branch in repository origin/open_types
Seen branch in repository origin/polling-at-bottom
Seen branch in repository origin/polling-at-top
Seen branch in repository origin/polyrec
Seen branch in repository origin/pr8891
Seen branch in repository origin/pr8908
Seen branch in repository origin/pr8934
Seen branch in repository origin/pr9326
Seen branch in repository origin/private_abbrevs
Seen branch in repository origin/record-disambiguation
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/stackframes
Seen branch in repository origin/static_exceptions
Seen branch in repository origin/strict_labels
Seen branch in repository origin/t
Seen branch in repository origin/treematch
Seen branch in repository origin/trunk
Seen branch in repository origin/varunion
Seen 106 remote branches
> git show-ref --tags -d # timeout=10
> git config core.sparsecheckout # timeout=10
> git checkout -f dc7baf3cd1e821a8a10be7ccb12346f18ee764df # timeout=10
[Pipeline] // stage
[Pipeline] withEnv
[Pipeline] {
[Pipeline] timeout
Timeout set to expire in 45 min
[Pipeline] {
[Pipeline] stage
[Pipeline] { (Testing various other compiler configurations)
[Pipeline] sh
+ 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/ccVYOol1.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/cc15VUKo.o /tmp/ccVYOol1.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/ccW9Wsx2.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/cc15VUKo.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/ccW9Wsx2.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/cc15VUKo.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 1496306
1496306 (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-1496306
+ 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
+ printf %s --disable-instrumented-runtime
+ sed -e s/'/'\\''/g
+ 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-1496306 --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
[Pipeline] }
[Pipeline] // stage
[Pipeline] }
[Pipeline] // timeout
[Pipeline] }
[Pipeline] // withEnv
[Pipeline] }
[Pipeline] // node
[Pipeline] End of Pipeline
ERROR: script returned exit code 1
Finished: FAILURE