Started by user n.oje.bar@gmail.com Running as SYSTEM Building remotely on olive in workspace /home/ci/workspace/Risc-V No credentials specified > git rev-parse --is-inside-work-tree # timeout=10 Fetching changes from the remote Git repository > 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 rev-parse origin/riscv^{commit} # timeout=10 Checking out Revision bb04274c40e0505dda93ffa457e491d5703d35af (origin/riscv) > git config core.sparsecheckout # timeout=10 > git checkout -f bb04274c40e0505dda93ffa457e491d5703d35af # timeout=10 Commit message: "Add riscv64 backend" First time build. Skipping changelog. New run name is '#16' [Risc-V] $ /bin/sh -xe /tmp/jenkins6709412488314580325.sh + ssh riscv GIT_COMMIT=bb04274c40e0505dda93ffa457e491d5703d35af flambda=false /home/ci/bin/run-ci fatal: la référence n'est pas un arbre : bb04274c40e0505dda93ffa457e491d5703d35af ++ pwd + jenkinsdir=/mnt/ci/ocaml + echo jenkinsdir=/mnt/ci/ocaml jenkinsdir=/mnt/ci/ocaml + case "${OCAML_ARCH}" in + case "${OCAML_ARCH}" in + renice 10 4386 4386 (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/ci/ocaml-tmp-install + confoptions= + make_native=true + cleanup=false + check_make_alldepend=false + dorebase=false + jobs= + case "${OCAML_ARCH}" in + check_make_alldepend=true + instdir=/home/ci/ocaml-tmp-install-4386 + case "${OCAML_JOBS}" in + jobs=-j3 + false + pwd /mnt/ci/ocaml + cd /mnt/ci/ocaml + '[' 0 -gt 0 ']' + export LC_ALL=C + LC_ALL=C + git clean -q -f -d -x + false + eval ./configure '' '--prefix=$instdir' ++ ./configure --prefix=/home/ci/ocaml-tmp-install-4386 configure: Configuring OCaml version 4.11.0+dev0-2019-10-18 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 whether #! works in shell scripts... yes checking C compiler vendor... gcc-9-2 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 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... New run name is '#16' Build was aborted Aborted by n.oje.bar@gmail.com Finished: ABORTED