Building on spring
(from freebsd)
2024-09-08 00:28.54 ---> using "77d5fe31836124b4684d554707425c4fde23f9ef3df0a804431a47419573778d" from cache
/: (user (uid 1000) (gid 1000))
/: (env OPAMPRECISETRACKING 1)
/: (env OPAMUTF8 never)
/: (env OPAMEXTERNALSOLVER builtin-0install)
/: (env OPAMCRITERIA +removed)
/: (run (shell "sudo ln -f /usr/local/bin/opam-dev /usr/local/bin/opam"))
2024-09-08 00:28.55 ---> using "a2b22593046b56fadc85e22b0da7b84e903c1f5aa4d42a7c481121ceec28b31f" from cache
/: (run (network host)
(shell "rm -rf ~/opam-repository && git clone -q 'https://github.com/ocaml/opam-repository' ~/opam-repository && git -C ~/opam-repository checkout -q 1a7ee1360c05c742f9ac7a3a05afc019750073d6"))
2024-09-08 00:28.55 ---> using "e44d7dd5bc96c9278c8d6fe50995dcb61d134d5bc50bd43e0c358c3b53f0eb6b" from cache
/: (run (shell "rm -rf ~/.opam && opam init -ya --bare ~/opam-repository"))
No configuration file found, using 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.
<><> Fetching repository information ><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
default (at file:///home/opam/opam-repository):
[WARNING] opam is out-of-date. Please consider updating it (https://opam.ocaml.org/doc/Install.html)
User configuration:
~/.profile is already up-to-date.
[NOTE] Make sure that ~/.profile is well sourced in your ~/.bashrc.
2024-09-08 00:28.55 ---> using "765fbdb354c6be84b7b365f6763262867738485040bb114dadbe6824659bd691" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam switch create --repositories=default '5.2.0' 'ocaml-base-compiler.5.2.0'"))
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "5.2.0"}]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved ocaml-config.3 (cached)
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> installed host-arch-x86_64.1
-> installed host-system-other.1
-> installed ocaml-options-vanilla.1
-> retrieved ocaml-base-compiler.5.2.0 (cached)
-> installed ocaml-base-compiler.5.2.0
-> installed ocaml-config.3
-> installed ocaml.5.2.0
-> installed base-domains.base
-> installed base-nnp.base
Done.
# Run eval $(opam env --switch=5.2.0) to update the current shell environment
2024-09-08 00:28.55 ---> using "2325ca00d2ef2ef0d1981a5243a67ac179f7fbef41f3ad2b319f79042e91bd9d" from cache
/: (run (network host)
(shell "opam update --depexts"))
[WARNING] Unknown update command for bsd, skipping system update
2024-09-08 00:28.56 ---> using "9f96960ac3acd71f840bfa11d231a63182428757bdb8c2506da2607bc93a7b88" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "\
\nopam remove -y \"solo5-kernel-virtio.0.3.1\"\
\nopam install -vy \"solo5-kernel-virtio.0.3.1\"\
\nres=$?\
\nif [ $res = 31 ]; then\
\n if opam show -f x-ci-accept-failures: \"solo5-kernel-virtio.0.3.1\" | grep -q '\"freebsd\"'; then\
\n echo \"This package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\"\
\n exit 69\
\n fi\
\nfi\
\n\
\n\
\nexit $res\
\n"))
[NOTE] solo5-kernel-virtio.0.3.1 is not installed.
Nothing to do.
The following actions will be performed:
=== install 2 packages
- install conf-pkg-config 2 [required by solo5-kernel-virtio]
- install solo5-kernel-virtio 0.3.1 (deprecated)
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 2/6: [solo5-kernel-virtio.0.3.1: extract]
Processing 3/6: [solo5-kernel-virtio.0.3.1: extract] [conf-pkg-config: pkg-config]
+ /usr/local/bin/pkg-config "--help" (CWD=/home/opam/.opam/5.2.0/.opam-switch/build/conf-pkg-config.2)
- usage: pkgconf [OPTIONS] [LIBRARIES]
-
- basic options:
-
- --help this message
- --about print pkgconf version and license to stdout
- --version print supported pkg-config version to stdout
- --verbose print additional information
- --atleast-pkgconfig-version check whether or not pkgconf is compatible
- with a specified pkg-config version
- --errors-to-stdout print all errors on stdout instead of stderr
- --print-errors ensure all errors are printed
- --short-errors be less verbose about some errors
- --silence-errors explicitly be silent about errors
- --list-all list all known packages
- --list-package-names list all known package names
- --simulate simulate walking the calculated dependency graph
- --no-cache do not cache already seen packages when
- walking the dependency graph
- --log-file=filename write an audit log to a specified file
- --with-path=path adds a directory to the search path
- --define-prefix override the prefix variable with one that is guessed based on
- the location of the .pc file
- --dont-define-prefix do not override the prefix variable under any circumstances
- --prefix-variable=varname sets the name of the variable that pkgconf considers
- to be the package prefix
- --relocate=path relocates a path and exits (mostly for testsuite)
- --dont-relocate-paths disables path relocation support
-
- cross-compilation personality support:
-
- --personality=triplet|filename sets the personality to 'triplet' or a file named 'filename'
- --dump-personality dumps details concerning selected personality
-
- checking specific pkg-config database entries:
-
- --atleast-version require a specific version of a module
- --exact-version require an exact version of a module
- --max-version require a maximum version of a module
- --exists check whether or not a module exists
- --uninstalled check whether or not an uninstalled module will be used
- --no-uninstalled never use uninstalled modules when satisfying dependencies
- --no-provides do not use 'provides' rules to resolve dependencies
- --maximum-traverse-depth maximum allowed depth for dependency graph
- --static be more aggressive when computing dependency graph
- (for static linking)
- --shared use a simplified dependency graph (usually default)
- --pure optimize a static dependency graph as if it were a normal
- dependency graph
- --env-only look only for package entries in PKG_CONFIG_PATH
- --ignore-conflicts ignore 'conflicts' rules in modules
- --validate validate specific .pc files for correctness
-
- querying specific pkg-config database fields:
-
- --define-variable=varname=value define variable 'varname' as 'value'
- --variable=varname print specified variable entry to stdout
- --cflags print required CFLAGS to stdout
- --cflags-only-I print required include-dir CFLAGS to stdout
- --cflags-only-other print required non-include-dir CFLAGS to stdout
- --libs print required linker flags to stdout
- --libs-only-L print required LDPATH linker flags to stdout
- --libs-only-l print required LIBNAME linker flags to stdout
- --libs-only-other print required other linker flags to stdout
- --print-requires print required dependency frameworks to stdout
- --print-requires-private print required dependency frameworks for static
- linking to stdout
- --print-provides print provided dependencies to stdout
- --print-variables print all known variables in module to stdout
- --digraph print entire dependency graph in graphviz 'dot' format
- --solution print dependency graph solution in a simple format
- --keep-system-cflags keep -I/usr/include entries in cflags output
- --keep-system-libs keep -L/usr/lib entries in libs output
- --path show the exact filenames for any matching .pc files
- --modversion print the specified module's version to stdout
- --internal-cflags do not filter 'internal' cflags from output
- --license print the specified module's license to stdout if known
-
- filtering output:
-
- --msvc-syntax print translatable fragments in MSVC syntax
- --fragment-filter=types filter output fragments to the specified types
-
- report bugs to <https://github.com/pkgconf/pkgconf/issues/new>.
-> compiled conf-pkg-config.2
Processing 3/6: [solo5-kernel-virtio.0.3.1: extract]
Processing 4/6: [solo5-kernel-virtio.0.3.1: extract] [conf-pkg-config: mkdir]
-> retrieved solo5-kernel-virtio.0.3.1 (cached)
Processing 4/6: [conf-pkg-config: mkdir]
+ /bin/mkdir "-p" "/home/opam/.opam/5.2.0/lib/pkgconfig" (CWD=/home/opam/.opam/5.2.0/.opam-switch/build/conf-pkg-config.2)
-> installed conf-pkg-config.2
Processing 5/6: [solo5-kernel-virtio: gmake virtio]
+ /usr/local/bin/gmake "virtio" (CWD=/home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1)
- ./configure.sh
- /usr/local/bin/gmake -C kernel virtio
- gmake[1]: Entering directory '/home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/kernel'
- cc -nostdlibinc -ffreestanding -mno-red-zone -mno-sse -mno-mmx -mno-aes -mno-avx -isystem /home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/include-host -std=gnu99 -Wall -Wextra -Werror -O2 -g -D__SOLO5_KERNEL__ -DASM_FILE -c virtio/boot.S -o virtio/boot.o
- cc -nostdlibinc -ffreestanding -mno-red-zone -mno-sse -mno-mmx -mno-aes -mno-avx -isystem /home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/include-host -std=gnu99 -Wall -Wextra -Werror -O2 -g -D__SOLO5_KERNEL__ -c virtio/kernel.c -o virtio/kernel.o
- cc -nostdlibinc -ffreestanding -mno-red-zone -mno-sse -mno-mmx -mno-aes -mno-avx -isystem /home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/include-host -std=gnu99 -Wall -Wextra -Werror -O2 -g -D__SOLO5_KERNEL__ -c virtio/platform.c -o virtio/platform.o
- cc -nostdlibinc -ffreestanding -mno-red-zone -mno-sse -mno-mmx -mno-aes -mno-avx -isystem /home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/include-host -std=gnu99 -Wall -Wextra -Werror -O2 -g -D__SOLO5_KERNEL__ -c virtio/platform_intr.c -o virtio/platform_intr.o
- cc -nostdlibinc -ffreestanding -mno-red-zone -mno-sse -mno-mmx -mno-aes -mno-avx -isystem /home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/include-host -std=gnu99 -Wall -Wextra -Werror -O2 -g -D__SOLO5_KERNEL__ -c virtio/pci.c -o virtio/pci.o
- cc -nostdlibinc -ffreestanding -mno-red-zone -mno-sse -mno-mmx -mno-aes -mno-avx -isystem /home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/include-host -std=gnu99 -Wall -Wextra -Werror -O2 -g -D__SOLO5_KERNEL__ -c virtio/serial.c -o virtio/serial.o
- cc -nostdlibinc -ffreestanding -mno-red-zone -mno-sse -mno-mmx -mno-aes -mno-avx -isystem /home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/include-host -std=gnu99 -Wall -Wextra -Werror -O2 -g -D__SOLO5_KERNEL__ -c virtio/time.c -o virtio/time.o
- cc -nostdlibinc -ffreestanding -mno-red-zone -mno-sse -mno-mmx -mno-aes -mno-avx -isystem /home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/include-host -std=gnu99 -Wall -Wextra -Werror -O2 -g -D__SOLO5_KERNEL__ -c virtio/virtio_ring.c -o virtio/virtio_ring.o
- cc -nostdlibinc -ffreestanding -mno-red-zone -mno-sse -mno-mmx -mno-aes -mno-avx -isystem /home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/include-host -std=gnu99 -Wall -Wextra -Werror -O2 -g -D__SOLO5_KERNEL__ -c virtio/virtio_net.c -o virtio/virtio_net.o
- cc -nostdlibinc -ffreestanding -mno-red-zone -mno-sse -mno-mmx -mno-aes -mno-avx -isystem /home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/include-host -std=gnu99 -Wall -Wextra -Werror -O2 -g -D__SOLO5_KERNEL__ -c virtio/virtio_blk.c -o virtio/virtio_blk.o
- cc -nostdlibinc -ffreestanding -mno-red-zone -mno-sse -mno-mmx -mno-aes -mno-avx -isystem /home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/include-host -std=gnu99 -Wall -Wextra -Werror -O2 -g -D__SOLO5_KERNEL__ -c virtio/tscclock.c -o virtio/tscclock.o
- cc -nostdlibinc -ffreestanding -mno-red-zone -mno-sse -mno-mmx -mno-aes -mno-avx -isystem /home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/include-host -std=gnu99 -Wall -Wextra -Werror -O2 -g -D__SOLO5_KERNEL__ -c virtio/clock_subr.c -o virtio/clock_subr.o
- cc -nostdlibinc -ffreestanding -mno-red-zone -mno-sse -mno-mmx -mno-aes -mno-avx -isystem /home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/include-host -std=gnu99 -Wall -Wextra -Werror -O2 -g -D__SOLO5_KERNEL__ -c virtio/pvclock.c -o virtio/pvclock.o
- cc -nostdlibinc -ffreestanding -mno-red-zone -mno-sse -mno-mmx -mno-aes -mno-avx -isystem /home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/include-host -std=gnu99 -Wall -Wextra -Werror -O2 -g -D__SOLO5_KERNEL__ -c abort.c -o abort.o
- cc -nostdlibinc -ffreestanding -mno-red-zone -mno-sse -mno-mmx -mno-aes -mno-avx -isystem /home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/include-host -std=gnu99 -Wall -Wextra -Werror -O2 -g -D__SOLO5_KERNEL__ -c cpu_x86_64.c -o cpu_x86_64.o
- cc -nostdlibinc -ffreestanding -mno-red-zone -mno-sse -mno-mmx -mno-aes -mno-avx -isystem /home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/include-host -std=gnu99 -Wall -Wextra -Werror -O2 -g -D__SOLO5_KERNEL__ -DASM_FILE -c cpu_vectors_x86_64.S -o cpu_vectors_x86_64.o
- cc -nostdlibinc -ffreestanding -mno-red-zone -mno-sse -mno-mmx -mno-aes -mno-avx -isystem /home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/include-host -std=gnu99 -Wall -Wextra -Werror -O2 -g -D__SOLO5_KERNEL__ -c ee_printf.c -o ee_printf.o
- cc -nostdlibinc -ffreestanding -mno-red-zone -mno-sse -mno-mmx -mno-aes -mno-avx -isystem /home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/include-host -std=gnu99 -Wall -Wextra -Werror -O2 -g -D__SOLO5_KERNEL__ -c intr.c -o intr.o
- cc -nostdlibinc -ffreestanding -mno-red-zone -mno-sse -mno-mmx -mno-aes -mno-avx -isystem /home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/include-host -std=gnu99 -Wall -Wextra -Werror -O2 -g -D__SOLO5_KERNEL__ -c lib.c -o lib.o
- cc -nostdlibinc -ffreestanding -mno-red-zone -mno-sse -mno-mmx -mno-aes -mno-avx -isystem /home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/include-host -std=gnu99 -Wall -Wextra -Werror -O2 -g -D__SOLO5_KERNEL__ -c mem.c -o mem.o
- cc -nostdlibinc -ffreestanding -mno-red-zone -mno-sse -mno-mmx -mno-aes -mno-avx -isystem /home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/include-host -std=gnu99 -Wall -Wextra -Werror -O2 -g -D__SOLO5_KERNEL__ -c exit.c -o exit.o
- cc -nostdlibinc -ffreestanding -mno-red-zone -mno-sse -mno-mmx -mno-aes -mno-avx -isystem /home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/include-host -std=gnu99 -Wall -Wextra -Werror -O2 -g -D__SOLO5_KERNEL__ -c log.c -o log.o
- cc -nostdlibinc -ffreestanding -mno-red-zone -mno-sse -mno-mmx -mno-aes -mno-avx -isystem /home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/include-host -std=gnu99 -Wall -Wextra -Werror -O2 -g -D__SOLO5_KERNEL__ -c cmdline.c -o cmdline.o
- ld -r -nostdlib -z max-page-size=0x1000 -static -o virtio/solo5.o virtio/boot.o virtio/kernel.o virtio/platform.o virtio/platform_intr.o virtio/pci.o virtio/serial.o virtio/time.o virtio/virtio_ring.o virtio/virtio_net.o virtio/virtio_blk.o virtio/tscclock.o virtio/clock_subr.o virtio/pvclock.o abort.o cpu_x86_64.o cpu_vectors_x86_64.o ee_printf.o intr.o lib.o mem.o exit.o log.o cmdline.o
- objcopy -w -G solo5_\* -G _start\* virtio/solo5.o virtio/solo5.o
- gmake[1]: Leaving directory '/home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/kernel'
- /usr/local/bin/gmake -C tests virtio
- gmake[1]: Entering directory '/home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/tests'
- /usr/local/bin/gmake -C test_hello virtio
- gmake[2]: Entering directory '/home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/tests/test_hello'
- /home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/ukvm/ukvm-configure /home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/ukvm gdb
- ukvm-configure: error: Unsupported compiler target: x86_64-unknown-freebsd14.0
- cc -nostdlibinc -ffreestanding -mno-red-zone -isystem /home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/include-host -std=gnu99 -Wall -Wextra -Werror -O2 -g -I/home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/kernel -c test_hello.c -o test_hello.o
- ld -T /home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/kernel/virtio/solo5.lds \
- -nostdlib -z max-page-size=0x1000 -static -o test_hello.virtio /home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/kernel/virtio/solo5.o test_hello.o
- gmake[2]: Leaving directory '/home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/tests/test_hello'
- /usr/local/bin/gmake -C test_globals virtio
- gmake[2]: Entering directory '/home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/tests/test_globals'
- /home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/ukvm/ukvm-configure /home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/ukvm
- ukvm-configure: error: Unsupported compiler target: x86_64-unknown-freebsd14.0
- cc -nostdlibinc -ffreestanding -mno-red-zone -isystem /home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/include-host -std=gnu99 -Wall -Wextra -Werror -O2 -g -I/home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/kernel -c test_globals.c -o test_globals.o
- ld -T /home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/kernel/virtio/solo5.lds \
- -nostdlib -z max-page-size=0x1000 -static -o test_globals.virtio /home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/kernel/virtio/solo5.o test_globals.o
- gmake[2]: Leaving directory '/home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/tests/test_globals'
- /usr/local/bin/gmake -C test_ping_serve virtio
- gmake[2]: Entering directory '/home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/tests/test_ping_serve'
- /home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/ukvm/ukvm-configure /home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/ukvm net
- ukvm-configure: error: Unsupported compiler target: x86_64-unknown-freebsd14.0
- cc -nostdlibinc -ffreestanding -mno-red-zone -isystem /home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/include-host -std=gnu99 -Wall -Wextra -Werror -O2 -g -I/home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/kernel -c test_ping_serve.c -o test_ping_serve.o
- ld -T /home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/kernel/virtio/solo5.lds \
- -nostdlib -z max-page-size=0x1000 -static -o test_ping_serve.virtio /home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/kernel/virtio/solo5.o test_ping_serve.o
- gmake[2]: Leaving directory '/home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/tests/test_ping_serve'
- /usr/local/bin/gmake -C test_blk virtio
- gmake[2]: Entering directory '/home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/tests/test_blk'
- /home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/ukvm/ukvm-configure /home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/ukvm blk
- ukvm-configure: error: Unsupported compiler target: x86_64-unknown-freebsd14.0
- cc -nostdlibinc -ffreestanding -mno-red-zone -isystem /home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/include-host -std=gnu99 -Wall -Wextra -Werror -O2 -g -I/home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/kernel -c test_blk.c -o test_blk.o
- ld -T /home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/kernel/virtio/solo5.lds \
- -nostdlib -z max-page-size=0x1000 -static -o test_blk.virtio /home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/kernel/virtio/solo5.o test_blk.o
- gmake[2]: Leaving directory '/home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/tests/test_blk'
- /usr/local/bin/gmake -C test_exception virtio
- gmake[2]: Entering directory '/home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/tests/test_exception'
- /home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/ukvm/ukvm-configure /home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/ukvm
- ukvm-configure: error: Unsupported compiler target: x86_64-unknown-freebsd14.0
- cc -nostdlibinc -ffreestanding -mno-red-zone -isystem /home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/include-host -std=gnu99 -Wall -Wextra -Werror -O2 -g -I/home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/kernel -c test_exception.c -o test_exception.o
- ld -T /home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/kernel/virtio/solo5.lds \
- -nostdlib -z max-page-size=0x1000 -static -o test_exception.virtio /home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/kernel/virtio/solo5.o test_exception.o
- gmake[2]: Leaving directory '/home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/tests/test_exception'
- /usr/local/bin/gmake -C test_abort virtio
- gmake[2]: Entering directory '/home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/tests/test_abort'
- /home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/ukvm/ukvm-configure /home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/ukvm dumpcore
- ukvm-configure: error: Unsupported compiler target: x86_64-unknown-freebsd14.0
- cc -nostdlibinc -ffreestanding -mno-red-zone -isystem /home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/include-host -std=gnu99 -Wall -Wextra -Werror -O2 -g -I/home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/kernel -c test_abort.c -o test_abort.o
- ld -T /home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/kernel/virtio/solo5.lds \
- -nostdlib -z max-page-size=0x1000 -static -o test_abort.virtio /home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/kernel/virtio/solo5.o test_abort.o
- gmake[2]: Leaving directory '/home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/tests/test_abort'
- /usr/local/bin/gmake -C test_fpu virtio
- gmake[2]: Entering directory '/home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/tests/test_fpu'
- /home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/ukvm/ukvm-configure /home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/ukvm
- ukvm-configure: error: Unsupported compiler target: x86_64-unknown-freebsd14.0
- cc -nostdlibinc -ffreestanding -mno-red-zone -isystem /home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/include-host -std=gnu99 -Wall -Wextra -Werror -O2 -g -I/home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/kernel -c test_fpu.c -o test_fpu.o
- ld -T /home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/kernel/virtio/solo5.lds \
- -nostdlib -z max-page-size=0x1000 -static -o test_fpu.virtio /home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/kernel/virtio/solo5.o test_fpu.o
- gmake[2]: Leaving directory '/home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/tests/test_fpu'
- /usr/local/bin/gmake -C test_time virtio
- gmake[2]: Entering directory '/home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/tests/test_time'
- /home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/ukvm/ukvm-configure /home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/ukvm
- ukvm-configure: error: Unsupported compiler target: x86_64-unknown-freebsd14.0
- cc -nostdlibinc -ffreestanding -mno-red-zone -isystem /home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/include-host -std=gnu99 -Wall -Wextra -Werror -O2 -g -I/home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/kernel -c test_time.c -o test_time.o
- ld -T /home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/kernel/virtio/solo5.lds \
- -nostdlib -z max-page-size=0x1000 -static -o test_time.virtio /home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/kernel/virtio/solo5.o test_time.o
- gmake[2]: Leaving directory '/home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/tests/test_time'
- /usr/local/bin/gmake -C test_quiet virtio
- gmake[2]: Entering directory '/home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/tests/test_quiet'
- /home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/ukvm/ukvm-configure /home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/ukvm
- ukvm-configure: error: Unsupported compiler target: x86_64-unknown-freebsd14.0
- cc -nostdlibinc -ffreestanding -mno-red-zone -isystem /home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/include-host -std=gnu99 -Wall -Wextra -Werror -O2 -g -I/home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/kernel -c test_quiet.c -o test_quiet.o
- ld -T /home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/kernel/virtio/solo5.lds \
- -nostdlib -z max-page-size=0x1000 -static -o test_quiet.virtio /home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/kernel/virtio/solo5.o test_quiet.o
- gmake[2]: Leaving directory '/home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/tests/test_quiet'
- gmake[1]: Leaving directory '/home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/tests'
-> compiled solo5-kernel-virtio.0.3.1
Processing 6/6: [solo5-kernel-virtio: gmake opam-virtio-install]
+ /usr/local/bin/gmake "opam-virtio-install" "PREFIX=/home/opam/.opam/5.2.0" (CWD=/home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1)
- sed <solo5-kernel-virtio.pc.in > solo5-kernel-virtio.pc \
- -e 's#!CFLAGS!#-nostdlibinc -ffreestanding -mno-red-zone#g;' \
- -e 's#!LDFLAGS!#-nostdlib -z max-page-size=0x1000 -static #g;' \
- -e 's#!LD!#ld#g;' \
-
- /usr/local/bin/gmake -C kernel virtio
- gmake[1]: Entering directory '/home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/kernel'
- gmake[1]: Nothing to be done for 'virtio'.
- gmake[1]: Leaving directory '/home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/kernel'
- /usr/local/bin/gmake -C tests virtio
- gmake[1]: Entering directory '/home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/tests'
- /usr/local/bin/gmake -C test_hello virtio
- gmake[2]: Entering directory '/home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/tests/test_hello'
- /home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/ukvm/ukvm-configure /home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/ukvm gdb
- ukvm-configure: error: Unsupported compiler target: x86_64-unknown-freebsd14.0
- gmake[2]: Nothing to be done for 'virtio'.
- gmake[2]: Leaving directory '/home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/tests/test_hello'
- /usr/local/bin/gmake -C test_globals virtio
- gmake[2]: Entering directory '/home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/tests/test_globals'
- /home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/ukvm/ukvm-configure /home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/ukvm
- ukvm-configure: error: Unsupported compiler target: x86_64-unknown-freebsd14.0
- gmake[2]: Nothing to be done for 'virtio'.
- gmake[2]: Leaving directory '/home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/tests/test_globals'
- /usr/local/bin/gmake -C test_ping_serve virtio
- gmake[2]: Entering directory '/home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/tests/test_ping_serve'
- /home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/ukvm/ukvm-configure /home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/ukvm net
- ukvm-configure: error: Unsupported compiler target: x86_64-unknown-freebsd14.0
- gmake[2]: Nothing to be done for 'virtio'.
- gmake[2]: Leaving directory '/home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/tests/test_ping_serve'
- /usr/local/bin/gmake -C test_blk virtio
- gmake[2]: Entering directory '/home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/tests/test_blk'
- /home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/ukvm/ukvm-configure /home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/ukvm blk
- ukvm-configure: error: Unsupported compiler target: x86_64-unknown-freebsd14.0
- gmake[2]: Nothing to be done for 'virtio'.
- gmake[2]: Leaving directory '/home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/tests/test_blk'
- /usr/local/bin/gmake -C test_exception virtio
- gmake[2]: Entering directory '/home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/tests/test_exception'
- /home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/ukvm/ukvm-configure /home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/ukvm
- ukvm-configure: error: Unsupported compiler target: x86_64-unknown-freebsd14.0
- gmake[2]: Nothing to be done for 'virtio'.
- gmake[2]: Leaving directory '/home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/tests/test_exception'
- /usr/local/bin/gmake -C test_abort virtio
- gmake[2]: Entering directory '/home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/tests/test_abort'
- /home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/ukvm/ukvm-configure /home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/ukvm dumpcore
- ukvm-configure: error: Unsupported compiler target: x86_64-unknown-freebsd14.0
- gmake[2]: Nothing to be done for 'virtio'.
- gmake[2]: Leaving directory '/home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/tests/test_abort'
- /usr/local/bin/gmake -C test_fpu virtio
- gmake[2]: Entering directory '/home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/tests/test_fpu'
- /home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/ukvm/ukvm-configure /home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/ukvm
- ukvm-configure: error: Unsupported compiler target: x86_64-unknown-freebsd14.0
- gmake[2]: Nothing to be done for 'virtio'.
- gmake[2]: Leaving directory '/home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/tests/test_fpu'
- /usr/local/bin/gmake -C test_time virtio
- gmake[2]: Entering directory '/home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/tests/test_time'
- /home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/ukvm/ukvm-configure /home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/ukvm
- ukvm-configure: error: Unsupported compiler target: x86_64-unknown-freebsd14.0
- gmake[2]: Nothing to be done for 'virtio'.
- gmake[2]: Leaving directory '/home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/tests/test_time'
- /usr/local/bin/gmake -C test_quiet virtio
- gmake[2]: Entering directory '/home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/tests/test_quiet'
- /home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/ukvm/ukvm-configure /home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/ukvm
- ukvm-configure: error: Unsupported compiler target: x86_64-unknown-freebsd14.0
- gmake[2]: Nothing to be done for 'virtio'.
- gmake[2]: Leaving directory '/home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/tests/test_quiet'
- gmake[1]: Leaving directory '/home/opam/.opam/5.2.0/.opam-switch/build/solo5-kernel-virtio.0.3.1/tests'
- mkdir -p /home/opam/.opam/5.2.0/include/solo5-kernel-virtio/include /home/opam/.opam/5.2.0/lib/solo5-kernel-virtio
- cp kernel/solo5.h /home/opam/.opam/5.2.0/include/solo5-kernel-virtio/include/solo5.h
- mkdir -p /home/opam/.opam/5.2.0/include/solo5-kernel-virtio/include/host
- cp -R include-host/. /home/opam/.opam/5.2.0/include/solo5-kernel-virtio/include/host
- cp kernel/virtio/solo5.o kernel/virtio/solo5.lds /home/opam/.opam/5.2.0/lib/solo5-kernel-virtio
- mkdir -p /home/opam/.opam/5.2.0/bin
- mkdir -p /home/opam/.opam/5.2.0/lib/pkgconfig
- cp solo5-kernel-virtio.pc /home/opam/.opam/5.2.0/lib/pkgconfig
- cp tools/mkimage/solo5-mkimage.sh /home/opam/.opam/5.2.0/bin/solo5-mkimage
- cp tools/run/solo5-run-virtio.sh /home/opam/.opam/5.2.0/bin/solo5-run-virtio
-> installed solo5-kernel-virtio.0.3.1
Done.
<><> solo5-kernel-virtio.0.3.1 installed successfully <><><><><><><><><><><><><>
=> Note: This package is deprecated.
# Run eval $(opam env) to update the current shell environment
2024-09-08 00:29.15 ---> saved as "080a3572e38ebad54cf3ecd264d9d81a647353fb83ed6386358c64f00566997d"
Job succeeded
Home|Differences with the last checks|Previous runs