Organisationssamohtocaml-gmp824c36 (master)debian-12-4.04_opam-2.1

debian-12-4.04_opam-2.1

Link Copied
Code Copied

Logs

2024-05-14 13:15.12: New job: test samoht/ocaml-gmp https://github.com/samoht/ocaml-gmp.git#refs/heads/master (824c367c696b14c6da1c325ba66ddb9ff68bf4b3) (linux-x86_64:debian-12-4.04_opam-2.1)
Base: ocaml/opam@sha256:0f5d0fd19d091a9ec4cf32d28835940452b6ae3fd14d05f4b88a8f660fd3f4f8
Opam project build


To reproduce locally:


git clone --recursive "https://github.com/samoht/ocaml-gmp.git" -b "master" && cd "ocaml-gmp" && git reset --hard 824c367c
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam@sha256:0f5d0fd19d091a9ec4cf32d28835940452b6ae3fd14d05f4b88a8f660fd3f4f8
# debian-12-4.04_opam-2.1
USER 1000:1000
ENV CLICOLOR_FORCE="1"
ENV OPAMCOLOR="always"
WORKDIR /src
RUN sudo ln -f /usr/bin/opam-2.1 /usr/bin/opam
RUN opam init --reinit -ni
RUN uname -rs && opam exec -- ocaml -version && opam --version
WORKDIR /src
RUN sudo chown opam /src
RUN cd ~/opam-repository && (git cat-file -e 2275b400535e884d216047a092e70705139c9e41 || git fetch origin master) && git reset -q --hard 2275b400535e884d216047a092e70705139c9e41 && git log --no-decorate -n1 --oneline && opam update -u
COPY --chown=1000:1000 gmp.opam ./
RUN opam pin add -yn gmp.dev './'
ENV DEPS="base-bigarray.base base-threads.base base-unix.base dune.3.15.2 ocaml.4.04.2 ocaml-base-compiler.4.04.2 ocaml-config.1 ocaml-secondary-compiler.4.08.1-1 ocamlfind.1.9.6 ocamlfind-secondary.1.9.6"
ENV CI="true"
ENV OCAMLCI="true"
RUN opam update --depexts && opam install --cli=2.1 --depext-only -y gmp.dev $DEPS
RUN opam install $DEPS
COPY --chown=1000:1000 . /src
RUN opam exec -- dune build @install @check @runtest && rm -rf _build


END-OF-DOCKERFILE
docker build .
END-REPRO-BLOCK


2024-05-14 13:15.12: Using cache hint "samoht/ocaml-gmp-ocaml/opam@sha256:0f5d0fd19d091a9ec4cf32d28835940452b6ae3fd14d05f4b88a8f660fd3f4f8-debian-12-4.04_opam-2.1-60766052a74ffe09553010ed20833eeb"
2024-05-14 13:15.12: Using OBuilder spec:
((from ocaml/opam@sha256:0f5d0fd19d091a9ec4cf32d28835940452b6ae3fd14d05f4b88a8f660fd3f4f8)
 (comment debian-12-4.04_opam-2.1)
 (user (uid 1000) (gid 1000))
 (env CLICOLOR_FORCE 1)
 (env OPAMCOLOR always)
 (workdir /src)
 (run (shell "sudo ln -f /usr/bin/opam-2.1 /usr/bin/opam"))
 (run (shell "opam init --reinit -ni"))
 (run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
 (workdir /src)
 (run (shell "sudo chown opam /src"))
 (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
      (network host)
      (shell "cd ~/opam-repository && (git cat-file -e 2275b400535e884d216047a092e70705139c9e41 || git fetch origin master) && git reset -q --hard 2275b400535e884d216047a092e70705139c9e41 && git log --no-decorate -n1 --oneline && opam update -u"))
 (copy (src gmp.opam) (dst ./))
 (run (network host)
      (shell "opam pin add -yn gmp.dev './'"))
 (env DEPS "base-bigarray.base base-threads.base base-unix.base dune.3.15.2 ocaml.4.04.2 ocaml-base-compiler.4.04.2 ocaml-config.1 ocaml-secondary-compiler.4.08.1-1 ocamlfind.1.9.6 ocamlfind-secondary.1.9.6")
 (env CI true)
 (env OCAMLCI true)
 (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
      (network host)
      (shell "opam update --depexts && opam install --cli=2.1 --depext-only -y gmp.dev $DEPS"))
 (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
      (network host)
      (shell "opam install $DEPS"))
 (copy (src .) (dst /src))
 (run (shell "opam exec -- dune build @install @check @runtest && rm -rf _build"))
)


2024-05-14 13:15.12: Waiting for resource in pool OCluster
2024-05-14 13:15.15: Waiting for worker…
2024-05-14 13:15.15: Got resource from pool OCluster
Building on x86-bm-c14.sw.ocaml.org
All commits already cached
HEAD is now at 824c367 import gmp 6.1.2


(from ocaml/opam@sha256:0f5d0fd19d091a9ec4cf32d28835940452b6ae3fd14d05f4b88a8f660fd3f4f8)
Unable to find image 'ocaml/opam@sha256:0f5d0fd19d091a9ec4cf32d28835940452b6ae3fd14d05f4b88a8f660fd3f4f8' locally
docker.io/ocaml/opam@sha256:0f5d0fd19d091a9ec4cf32d28835940452b6ae3fd14d05f4b88a8f660fd3f4f8: Pulling from ocaml/opam
e58cd26576ff: Pulling fs layer
e58cd26576ff: Verifying Checksum
e58cd26576ff: Download complete
e58cd26576ff: Pull complete
Digest: sha256:0f5d0fd19d091a9ec4cf32d28835940452b6ae3fd14d05f4b88a8f660fd3f4f8
Status: Downloaded newer image for ocaml/opam@sha256:0f5d0fd19d091a9ec4cf32d28835940452b6ae3fd14d05f4b88a8f660fd3f4f8
2024-05-14 13:17.15 ---> saved as "f8cc879b8fa41146f4d68824f571af48d0fc242fa563e6c44aad42da2480e773"


/: (comment debian-12-4.04_opam-2.1)


/: (user (uid 1000) (gid 1000))


/: (env CLICOLOR_FORCE 1)


/: (env OPAMCOLOR always)


/: (workdir /src)


/src: (run (shell "sudo ln -f /usr/bin/opam-2.1 /usr/bin/opam"))
2024-05-14 13:17.15 ---> saved as "7acf9c20e3a294f65eec146d2b0278d86ac3011a3aaf14f981174ab68667921e"


/src: (run (shell "opam init --reinit -ni"))
Configuring from /home/opam/.opamrc and then from built-in defaults.
Checking for available remotes: rsync and local, git.
  - you won't be able to use mercurial repositories unless you install the hg command on your system.
  - you won't be able to use darcs repositories unless you install the darcs command on your system.


This version of opam requires an update to the layout of /home/opam/.opam from version 2.0 to version 2.1, which can't be reverted.
You may want to back it up before going further.


Continue? [Y/n] y
Format upgrade done.


<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] synchronised from file:///home/opam/opam-repository
2024-05-14 13:18.48 ---> saved as "eb9e02ecfcb5ba37a004cedecf7a30bca11d30398ed5232984b27dff3d577897"


/src: (run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
Linux 5.15.0-101-generic
The OCaml toplevel, version 4.04.2
2.1.5
2024-05-14 13:18.48 ---> saved as "1c1947f6600fe344049c423f5d475e2bbcf469ba4d40ccfe151b45e81f7382fc"


/src: (workdir /src)


/src: (run (shell "sudo chown opam /src"))
2024-05-14 13:18.48 ---> saved as "cac506b2ad2021f1ddbd68db7b37261e0a93bd2be740791bb6297e219b96903b"


/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
           (network host)
           (shell "cd ~/opam-repository && (git cat-file -e 2275b400535e884d216047a092e70705139c9e41 || git fetch origin master) && git reset -q --hard 2275b400535e884d216047a092e70705139c9e41 && git log --no-decorate -n1 --oneline && opam update -u"))
2275b40053 @dra27 maintains ocaml-secondary-compiler


<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><>
[default] synchronised from file:///home/opam/opam-repository


Everything as up-to-date as possible (run with --verbose to show unavailable upgrades).
However, you may "opam upgrade" these packages explicitly, which will ask permission to downgrade or uninstall the conflicting packages.
Nothing to do.
# Run eval $(opam env) to update the current shell environment
2024-05-14 13:20.10 ---> saved as "800b17a660229cc976f7d4526dcf0ee91522b2e21a3a24f393a8935cca2d7e93"


/src: (copy (src gmp.opam) (dst ./))
2024-05-14 13:20.10 ---> saved as "7daaeb09e33ea4cc91432a7ae620c68f969d2947f43cfdf9b55e6bec712d740f"


/src: (run (network host)
           (shell "opam pin add -yn gmp.dev './'"))
[gmp.dev] synchronised (file:///src)
gmp is now pinned to file:///src (version dev)
2024-05-14 13:20.12 ---> saved as "6ceaa647f788977154172512fca1d5a0618f8b259d9bfe65d8e53d4bb4583000"


/src: (env DEPS "base-bigarray.base base-threads.base base-unix.base dune.3.15.2 ocaml.4.04.2 ocaml-base-compiler.4.04.2 ocaml-config.1 ocaml-secondary-compiler.4.08.1-1 ocamlfind.1.9.6 ocamlfind-secondary.1.9.6")


/src: (env CI true)


/src: (env OCAMLCI true)


/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
           (network host)
           (shell "opam update --depexts && opam install --cli=2.1 --depext-only -y gmp.dev $DEPS"))
+ /usr/bin/sudo "apt-get" "update"
- Hit:1 http://deb.debian.org/debian bookworm InRelease
- Get:2 http://deb.debian.org/debian bookworm-updates InRelease [55.4 kB]
- Get:3 http://deb.debian.org/debian-security bookworm-security InRelease [48.0 kB]
- Fetched 103 kB in 0s (476 kB/s)
- Reading package lists...


<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>
[gmp.dev] synchronised (no changes)


[NOTE] Package ocaml-secondary-compiler is already installed (current version is 4.08.1-1).
[NOTE] Package ocaml-config is already installed (current version is 1).
[NOTE] Package ocaml-base-compiler is already installed (current version is 4.04.2).
[NOTE] Package ocaml is already installed (current version is 4.04.2).
[NOTE] Package base-unix is already installed (current version is base).
[NOTE] Package base-threads is already installed (current version is base).
[NOTE] Package base-bigarray is already installed (current version is base).
2024-05-14 13:20.35 ---> saved as "3159fab0b61759e51e01c221965ca9ccd65d20876aafacf1e6dd11b9fca11734"


/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
           (network host)
           (shell "opam install $DEPS"))
[NOTE] Package ocaml-secondary-compiler is already installed (current version is 4.08.1-1).
[NOTE] Package ocaml-config is already installed (current version is 1).
[NOTE] Package ocaml-base-compiler is already installed (current version is 4.04.2).
[NOTE] Package ocaml is already installed (current version is 4.04.2).
[NOTE] Package base-unix is already installed (current version is base).
[NOTE] Package base-threads is already installed (current version is base).
[NOTE] Package base-bigarray is already installed (current version is base).
The following actions will be performed:
  - install ocamlfind           1.9.6
  - install ocamlfind-secondary 1.9.6
  - install dune                3.15.2
===== 3 to install =====


<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved ocamlfind.1.9.6  (cached)
-> retrieved dune.3.15.2  (cached)
-> retrieved ocamlfind-secondary.1.9.6  (cached)
-> installed ocamlfind.1.9.6
-> installed ocamlfind-secondary.1.9.6
-> installed dune.3.15.2
Done.
# Run eval $(opam env) to update the current shell environment
2024-05-14 13:21.45 ---> saved as "a1ff9185d16e56913372a0267fd1143b1e480e5b9ba9bafa6730c90d986c8a77"


/src: (copy (src .) (dst /src))
2024-05-14 13:21.46 ---> saved as "b227a1921eb0fcdc013e3908c432ea5c81f494565d98c45829c7097db74c43e0"


/src: (run (shell "opam exec -- dune build @install @check @runtest && rm -rf _build"))
File "dune", line 6, characters 0-114:
6 | (rule
7 |  (deps (source_tree src))
8 |  (targets gmp.h libgmp.a)
9 |  (action (run ./build.sh %{ocaml-config:target} %{cc})))
(cd _build/default && ./build.sh x86_64-unknown-linux-gnu gcc -std=gnu99 -O2 -fno-strict-aliasing -fwrapv -fcommon -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC)
checking build system type... haswell-pc-linux-gnu
checking host system type... x86_64-unknown-linux-gnu
checking for a BSD-compatible install... /usr/bin/install -c
checking whether build environment is sane... yes
checking for x86_64-unknown-linux-gnu-strip... no
checking for strip... strip
checking for a thread-safe mkdir -p... /usr/bin/mkdir -p
checking for gawk... no
checking for mawk... mawk
checking whether make sets $(MAKE)... yes
checking whether make supports nested variables... yes
checking whether to enable maintainer-specific portions of Makefiles... no
checking ABI=64
checking compiler gcc -O2 -pedantic -fomit-frame-pointer -m64 -std=gnu99 -O2 -fno-strict-aliasing -fwrapv -fcommon -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC... yes
checking for x86_64-unknown-linux-gnu-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 whether gcc understands -c and -o together... yes
checking for gcc option to accept ISO C99... none needed
checking for gcc option to accept ISO Standard C... (cached) none needed
checking how to run the C preprocessor... gcc -E
checking build system compiler gcc... yes
checking for build system preprocessor... gcc -E
checking for build system executable suffix... 
checking whether build system compiler is ANSI... yes
checking for build system compiler math library... -lm
checking for grep that handles long lines and -e... /usr/bin/grep
checking for egrep... /usr/bin/grep -E
using ABI="64"
      CC="gcc"
      CFLAGS="-O2 -pedantic -fomit-frame-pointer -m64"
      CPPFLAGS="-std=gnu99 -O2 -fno-strict-aliasing -fwrapv -fcommon -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC"
      MPN_PATH=" x86_64/fat x86_64 generic"
checking whether assembler supports --noexecstack option... yes
checking for x86_64-unknown-linux-gnu-ar... no
checking for ar... ar
checking for BSD- or MS-compatible name lister (nm)... no
checking for x86_64-unknown-linux-gnu-dumpbin... no
checking for x86_64-unknown-linux-gnu-link... no
checking for dumpbin... no
checking for link... link -dump
checking the name lister (nm) interface... BSD nm
checking for BSD- or MS-compatible name lister (nm)... /usr/bin/nm -B
checking the name lister (/usr/bin/nm -B) interface... (cached) BSD nm
checking how to print strings... printf
checking for a sed that does not truncate output... /usr/bin/sed
checking for fgrep... /usr/bin/grep -F
checking for ld used by gcc... /usr/bin/ld
checking if the linker (/usr/bin/ld) is GNU ld... yes
checking whether ln -s works... yes
checking the maximum length of command line arguments... 1572864
checking how to convert haswell-pc-linux-gnu file names to x86_64-unknown-linux-gnu format... func_convert_file_noop
checking how to convert haswell-pc-linux-gnu file names to toolchain format... func_convert_file_noop
checking for /usr/bin/ld option to reload object files... -r
checking for x86_64-unknown-linux-gnu-objdump... objdump
checking how to recognize dependent libraries... pass_all
checking for x86_64-unknown-linux-gnu-dlltool... dlltool
checking how to associate runtime and link libraries... printf %s\n
checking for x86_64-unknown-linux-gnu-ar... ar
checking for archiver @FILE support... @
checking for x86_64-unknown-linux-gnu-strip... strip
checking for x86_64-unknown-linux-gnu-ranlib... no
checking for ranlib... ranlib
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 x86_64-unknown-linux-gnu-mt... no
checking for mt... no
checking if : is a manifest tool... no
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 (/usr/bin/ld) 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 for ANSI C header files... (cached) yes
checking whether time.h and sys/time.h may both be included... yes
checking fcntl.h usability... yes
checking fcntl.h presence... yes
checking for fcntl.h... yes
checking float.h usability... yes
checking float.h presence... yes
checking for float.h... yes
checking invent.h usability... no
checking invent.h presence... no
checking for invent.h... no
checking langinfo.h usability... yes
checking langinfo.h presence... yes
checking for langinfo.h... yes
checking locale.h usability... yes
checking locale.h presence... yes
checking for locale.h... yes
checking nl_types.h usability... yes
checking nl_types.h presence... yes
checking for nl_types.h... yes
checking sys/attributes.h usability... no
checking sys/attributes.h presence... no
checking for sys/attributes.h... no
checking sys/iograph.h usability... no
checking sys/iograph.h presence... no
checking for sys/iograph.h... no
checking sys/mman.h usability... yes
checking sys/mman.h presence... yes
checking for sys/mman.h... yes
checking sys/param.h usability... yes
checking sys/param.h presence... yes
checking for sys/param.h... yes
checking sys/processor.h usability... no
checking sys/processor.h presence... no
checking for sys/processor.h... no
checking sys/pstat.h usability... no
checking sys/pstat.h presence... no
checking for sys/pstat.h... no
checking sys/sysinfo.h usability... yes
checking sys/sysinfo.h presence... yes
checking for sys/sysinfo.h... yes
checking sys/syssgi.h usability... no
checking sys/syssgi.h presence... no
checking for sys/syssgi.h... no
checking sys/systemcfg.h usability... no
checking sys/systemcfg.h presence... no
checking for sys/systemcfg.h... no
checking sys/time.h usability... yes
checking sys/time.h presence... yes
checking for sys/time.h... yes
checking sys/times.h usability... yes
checking sys/times.h presence... yes
checking for sys/times.h... yes
checking for sys/resource.h... yes
checking for sys/sysctl.h... no
checking for machine/hal_sysinfo.h... no
checking whether fgetc is declared... yes
checking whether fscanf is declared... yes
checking whether optarg is declared... yes
checking whether ungetc is declared... yes
checking whether vfprintf is declared... yes
checking whether sys_errlist is declared... no
checking whether sys_nerr is declared... no
checking return type of signal handlers... void
checking for intmax_t... yes
checking for long double... yes
checking for long long... yes
checking for ptrdiff_t... yes
checking for quad_t... yes
checking for uint_least32_t... yes
checking for intptr_t... yes
checking for working volatile... yes
checking for C/C++ restrict keyword... __restrict
checking whether gcc __attribute__ ((const)) works... yes
checking whether gcc __attribute__ ((malloc)) works... yes
checking whether gcc __attribute__ ((mode (XX))) works... yes
checking whether gcc __attribute__ ((noreturn)) works... yes
checking whether gcc hidden aliases work... yes
checking for inline... inline
checking for cos in -lm... yes
checking for working alloca.h... yes
checking for alloca (via gmp-impl.h)... yes
checking how to allocate temporary memory... alloca
checking whether byte ordering is bigendian... no
checking format of `double' floating point... IEEE little endian
checking for alarm... yes
checking for attr_get... no
checking for clock... yes
checking for cputime... no
checking for getpagesize... yes
checking for getrusage... yes
checking for gettimeofday... yes
checking for getsysinfo... no
checking for localeconv... (cached) no
checking for memset... yes
checking for mmap... yes
checking for mprotect... yes
checking for nl_langinfo... yes
checking for obstack_vprintf... (cached) no
checking for popen... yes
checking for processor_info... no
checking for pstat_getprocessor... no
checking for raise... yes
checking for read_real_time... no
checking for sigaction... yes
checking for sigaltstack... yes
checking for sigstack... yes
checking for syssgi... no
checking for strchr... yes
checking for strerror... yes
checking for strnlen... yes
checking for strtol... yes
checking for strtoul... yes
checking for sysconf... yes
checking for sysctl... no
checking for sysctlbyname... no
checking for times... yes
checking for library containing clock_gettime... none required
checking for vsnprintf... yes
checking whether vsnprintf works... yes
checking whether sscanf needs writable input... no
checking for struct pst_processor.psp_iticksperclktick... no
checking for suitable m4... + TARGET=x86_64-unknown-linux-gnu
+ shift
+ CC=gcc
+ shift
+ CFLAGS=-std=gnu99 -O2 -fno-strict-aliasing -fwrapv -fcommon -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC
+ cd src/
+ ac_cv_func_obstack_vprintf=no ac_cv_func_localeconv=no ./configure --host=x86_64-unknown-linux-gnu --enable-fat --disable-shared --with-pic CC=gcc CPPFLAGS=-std=gnu99 -O2 -fno-strict-aliasing -fwrapv -fcommon -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC
./configure: line 14535: /usr/bin/file: No such file or directory
configure: error: No usable m4 in $PATH or /usr/5bin (see config.log for reasons).
"/usr/bin/env" "bash" "-c" "opam exec -- dune build @install @check @runtest && rm -rf _build" failed with exit status 1
2024-05-14 13:22.00: Job failed: Failed: Build failed