Building on spring
(from freebsd)
2024-04-07 15:41.03 ---> 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-04-07 15:41.03 ---> 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 c516155a4b0ab20ef48da6477bcd2546d2a2bed9"))
2024-04-07 15:41.04 ---> using "e0620c03dd3494696be550b7f4f51c5f75989fd30a28524a01d0480f6c534899" 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
User configuration:
~/.profile is already up-to-date.
[NOTE] Make sure that ~/.profile is well sourced in your ~/.bashrc.
2024-04-07 15:41.04 ---> using "eadb121bdf9df37f08cef028ecb6c05c6577e9fc77a4ac077d5183ac995cd757" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam switch create --repositories=default '4.14.1' 'ocaml-base-compiler.4.14.1'"))
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "4.14.1"}]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> installed ocaml-options-vanilla.1
-> retrieved ocaml-base-compiler.4.14.1 (cached)
-> installed ocaml-base-compiler.4.14.1
-> installed ocaml-config.2
-> installed ocaml.4.14.1
Done.
# Run eval $(opam env --switch=4.14.1) to update the current shell environment
2024-04-07 15:41.05 ---> using "6d9015af0b9cf495c486d6a27c9e9fc6dbbbc55c37b3aba9ef2a2a4487aae64a" from cache
/: (run (network host)
(shell "opam update --depexts"))
[WARNING] Unknown update command for bsd, skipping system update
2024-04-07 15:41.05 ---> using "5eea043eb96d56206c97e7568290e88201b2d0f41624d4db92a4b6467a483d03" 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:
Processing 3/6: [conf-pkg-config: pkg-config]
-> retrieved solo5-kernel-virtio.0.3.1 (cached)
+ /usr/local/bin/pkg-config "--help" (CWD=/home/opam/.opam/4.14.1/.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
- --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 4/6: [conf-pkg-config: mkdir]
+ /bin/mkdir "-p" "/home/opam/.opam/4.14.1/lib/pkgconfig" (CWD=/home/opam/.opam/4.14.1/.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/4.14.1/.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/4.14.1/.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/4.14.1/.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/4.14.1/.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/4.14.1/.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/4.14.1/.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/4.14.1/.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/4.14.1/.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/4.14.1/.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/4.14.1/.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/4.14.1/.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/4.14.1/.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/4.14.1/.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/4.14.1/.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/4.14.1/.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/4.14.1/.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/4.14.1/.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/4.14.1/.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/4.14.1/.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/4.14.1/.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/4.14.1/.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/4.14.1/.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/4.14.1/.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/4.14.1/.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/4.14.1/.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/4.14.1/.opam-switch/build/solo5-kernel-virtio.0.3.1/kernel'
- /usr/local/bin/gmake -C tests virtio
- gmake[1]: Entering directory '/home/opam/.opam/4.14.1/.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/4.14.1/.opam-switch/build/solo5-kernel-virtio.0.3.1/tests/test_hello'
- /home/opam/.opam/4.14.1/.opam-switch/build/solo5-kernel-virtio.0.3.1/ukvm/ukvm-configure /home/opam/.opam/4.14.1/.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/4.14.1/.opam-switch/build/solo5-kernel-virtio.0.3.1/include-host -std=gnu99 -Wall -Wextra -Werror -O2 -g -I/home/opam/.opam/4.14.1/.opam-switch/build/solo5-kernel-virtio.0.3.1/kernel -c test_hello.c -o test_hello.o
- ld -T /home/opam/.opam/4.14.1/.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/4.14.1/.opam-switch/build/solo5-kernel-virtio.0.3.1/kernel/virtio/solo5.o test_hello.o
- gmake[2]: Leaving directory '/home/opam/.opam/4.14.1/.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/4.14.1/.opam-switch/build/solo5-kernel-virtio.0.3.1/tests/test_globals'
- /home/opam/.opam/4.14.1/.opam-switch/build/solo5-kernel-virtio.0.3.1/ukvm/ukvm-configure /home/opam/.opam/4.14.1/.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/4.14.1/.opam-switch/build/solo5-kernel-virtio.0.3.1/include-host -std=gnu99 -Wall -Wextra -Werror -O2 -g -I/home/opam/.opam/4.14.1/.opam-switch/build/solo5-kernel-virtio.0.3.1/kernel -c test_globals.c -o test_globals.o
- ld -T /home/opam/.opam/4.14.1/.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/4.14.1/.opam-switch/build/solo5-kernel-virtio.0.3.1/kernel/virtio/solo5.o test_globals.o
- gmake[2]: Leaving directory '/home/opam/.opam/4.14.1/.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/4.14.1/.opam-switch/build/solo5-kernel-virtio.0.3.1/tests/test_ping_serve'
- /home/opam/.opam/4.14.1/.opam-switch/build/solo5-kernel-virtio.0.3.1/ukvm/ukvm-configure /home/opam/.opam/4.14.1/.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/4.14.1/.opam-switch/build/solo5-kernel-virtio.0.3.1/include-host -std=gnu99 -Wall -Wextra -Werror -O2 -g -I/home/opam/.opam/4.14.1/.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/4.14.1/.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/4.14.1/.opam-switch/build/solo5-kernel-virtio.0.3.1/kernel/virtio/solo5.o test_ping_serve.o
- gmake[2]: Leaving directory '/home/opam/.opam/4.14.1/.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/4.14.1/.opam-switch/build/solo5-kernel-virtio.0.3.1/tests/test_blk'
- /home/opam/.opam/4.14.1/.opam-switch/build/solo5-kernel-virtio.0.3.1/ukvm/ukvm-configure /home/opam/.opam/4.14.1/.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/4.14.1/.opam-switch/build/solo5-kernel-virtio.0.3.1/include-host -std=gnu99 -Wall -Wextra -Werror -O2 -g -I/home/opam/.opam/4.14.1/.opam-switch/build/solo5-kernel-virtio.0.3.1/kernel -c test_blk.c -o test_blk.o
- ld -T /home/opam/.opam/4.14.1/.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/4.14.1/.opam-switch/build/solo5-kernel-virtio.0.3.1/kernel/virtio/solo5.o test_blk.o
- gmake[2]: Leaving directory '/home/opam/.opam/4.14.1/.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/4.14.1/.opam-switch/build/solo5-kernel-virtio.0.3.1/tests/test_exception'
- /home/opam/.opam/4.14.1/.opam-switch/build/solo5-kernel-virtio.0.3.1/ukvm/ukvm-configure /home/opam/.opam/4.14.1/.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/4.14.1/.opam-switch/build/solo5-kernel-virtio.0.3.1/include-host -std=gnu99 -Wall -Wextra -Werror -O2 -g -I/home/opam/.opam/4.14.1/.opam-switch/build/solo5-kernel-virtio.0.3.1/kernel -c test_exception.c -o test_exception.o
- ld -T /home/opam/.opam/4.14.1/.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/4.14.1/.opam-switch/build/solo5-kernel-virtio.0.3.1/kernel/virtio/solo5.o test_exception.o
- gmake[2]: Leaving directory '/home/opam/.opam/4.14.1/.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/4.14.1/.opam-switch/build/solo5-kernel-virtio.0.3.1/tests/test_abort'
- /home/opam/.opam/4.14.1/.opam-switch/build/solo5-kernel-virtio.0.3.1/ukvm/ukvm-configure /home/opam/.opam/4.14.1/.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/4.14.1/.opam-switch/build/solo5-kernel-virtio.0.3.1/include-host -std=gnu99 -Wall -Wextra -Werror -O2 -g -I/home/opam/.opam/4.14.1/.opam-switch/build/solo5-kernel-virtio.0.3.1/kernel -c test_abort.c -o test_abort.o
- ld -T /home/opam/.opam/4.14.1/.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/4.14.1/.opam-switch/build/solo5-kernel-virtio.0.3.1/kernel/virtio/solo5.o test_abort.o
- gmake[2]: Leaving directory '/home/opam/.opam/4.14.1/.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/4.14.1/.opam-switch/build/solo5-kernel-virtio.0.3.1/tests/test_fpu'
- /home/opam/.opam/4.14.1/.opam-switch/build/solo5-kernel-virtio.0.3.1/ukvm/ukvm-configure /home/opam/.opam/4.14.1/.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/4.14.1/.opam-switch/build/solo5-kernel-virtio.0.3.1/include-host -std=gnu99 -Wall -Wextra -Werror -O2 -g -I/home/opam/.opam/4.14.1/.opam-switch/build/solo5-kernel-virtio.0.3.1/kernel -c test_fpu.c -o test_fpu.o
- ld -T /home/opam/.opam/4.14.1/.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/4.14.1/.opam-switch/build/solo5-kernel-virtio.0.3.1/kernel/virtio/solo5.o test_fpu.o
- gmake[2]: Leaving directory '/home/opam/.opam/4.14.1/.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/4.14.1/.opam-switch/build/solo5-kernel-virtio.0.3.1/tests/test_time'
- /home/opam/.opam/4.14.1/.opam-switch/build/solo5-kernel-virtio.0.3.1/ukvm/ukvm-configure /home/opam/.opam/4.14.1/.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/4.14.1/.opam-switch/build/solo5-kernel-virtio.0.3.1/include-host -std=gnu99 -Wall -Wextra -Werror -O2 -g -I/home/opam/.opam/4.14.1/.opam-switch/build/solo5-kernel-virtio.0.3.1/kernel -c test_time.c -o test_time.o
- ld -T /home/opam/.opam/4.14.1/.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/4.14.1/.opam-switch/build/solo5-kernel-virtio.0.3.1/kernel/virtio/solo5.o test_time.o
- gmake[2]: Leaving directory '/home/opam/.opam/4.14.1/.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/4.14.1/.opam-switch/build/solo5-kernel-virtio.0.3.1/tests/test_quiet'
- /home/opam/.opam/4.14.1/.opam-switch/build/solo5-kernel-virtio.0.3.1/ukvm/ukvm-configure /home/opam/.opam/4.14.1/.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/4.14.1/.opam-switch/build/solo5-kernel-virtio.0.3.1/include-host -std=gnu99 -Wall -Wextra -Werror -O2 -g -I/home/opam/.opam/4.14.1/.opam-switch/build/solo5-kernel-virtio.0.3.1/kernel -c test_quiet.c -o test_quiet.o
- ld -T /home/opam/.opam/4.14.1/.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/4.14.1/.opam-switch/build/solo5-kernel-virtio.0.3.1/kernel/virtio/solo5.o test_quiet.o
- gmake[2]: Leaving directory '/home/opam/.opam/4.14.1/.opam-switch/build/solo5-kernel-virtio.0.3.1/tests/test_quiet'
- gmake[1]: Leaving directory '/home/opam/.opam/4.14.1/.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/4.14.1" (CWD=/home/opam/.opam/4.14.1/.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/4.14.1/.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/4.14.1/.opam-switch/build/solo5-kernel-virtio.0.3.1/kernel'
- /usr/local/bin/gmake -C tests virtio
- gmake[1]: Entering directory '/home/opam/.opam/4.14.1/.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/4.14.1/.opam-switch/build/solo5-kernel-virtio.0.3.1/tests/test_hello'
- /home/opam/.opam/4.14.1/.opam-switch/build/solo5-kernel-virtio.0.3.1/ukvm/ukvm-configure /home/opam/.opam/4.14.1/.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/4.14.1/.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/4.14.1/.opam-switch/build/solo5-kernel-virtio.0.3.1/tests/test_globals'
- /home/opam/.opam/4.14.1/.opam-switch/build/solo5-kernel-virtio.0.3.1/ukvm/ukvm-configure /home/opam/.opam/4.14.1/.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/4.14.1/.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/4.14.1/.opam-switch/build/solo5-kernel-virtio.0.3.1/tests/test_ping_serve'
- /home/opam/.opam/4.14.1/.opam-switch/build/solo5-kernel-virtio.0.3.1/ukvm/ukvm-configure /home/opam/.opam/4.14.1/.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/4.14.1/.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/4.14.1/.opam-switch/build/solo5-kernel-virtio.0.3.1/tests/test_blk'
- /home/opam/.opam/4.14.1/.opam-switch/build/solo5-kernel-virtio.0.3.1/ukvm/ukvm-configure /home/opam/.opam/4.14.1/.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/4.14.1/.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/4.14.1/.opam-switch/build/solo5-kernel-virtio.0.3.1/tests/test_exception'
- /home/opam/.opam/4.14.1/.opam-switch/build/solo5-kernel-virtio.0.3.1/ukvm/ukvm-configure /home/opam/.opam/4.14.1/.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/4.14.1/.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/4.14.1/.opam-switch/build/solo5-kernel-virtio.0.3.1/tests/test_abort'
- /home/opam/.opam/4.14.1/.opam-switch/build/solo5-kernel-virtio.0.3.1/ukvm/ukvm-configure /home/opam/.opam/4.14.1/.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/4.14.1/.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/4.14.1/.opam-switch/build/solo5-kernel-virtio.0.3.1/tests/test_fpu'
- /home/opam/.opam/4.14.1/.opam-switch/build/solo5-kernel-virtio.0.3.1/ukvm/ukvm-configure /home/opam/.opam/4.14.1/.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/4.14.1/.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/4.14.1/.opam-switch/build/solo5-kernel-virtio.0.3.1/tests/test_time'
- /home/opam/.opam/4.14.1/.opam-switch/build/solo5-kernel-virtio.0.3.1/ukvm/ukvm-configure /home/opam/.opam/4.14.1/.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/4.14.1/.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/4.14.1/.opam-switch/build/solo5-kernel-virtio.0.3.1/tests/test_quiet'
- /home/opam/.opam/4.14.1/.opam-switch/build/solo5-kernel-virtio.0.3.1/ukvm/ukvm-configure /home/opam/.opam/4.14.1/.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/4.14.1/.opam-switch/build/solo5-kernel-virtio.0.3.1/tests/test_quiet'
- gmake[1]: Leaving directory '/home/opam/.opam/4.14.1/.opam-switch/build/solo5-kernel-virtio.0.3.1/tests'
- mkdir -p /home/opam/.opam/4.14.1/include/solo5-kernel-virtio/include /home/opam/.opam/4.14.1/lib/solo5-kernel-virtio
- cp kernel/solo5.h /home/opam/.opam/4.14.1/include/solo5-kernel-virtio/include/solo5.h
- mkdir -p /home/opam/.opam/4.14.1/include/solo5-kernel-virtio/include/host
- cp -R include-host/. /home/opam/.opam/4.14.1/include/solo5-kernel-virtio/include/host
- cp kernel/virtio/solo5.o kernel/virtio/solo5.lds /home/opam/.opam/4.14.1/lib/solo5-kernel-virtio
- mkdir -p /home/opam/.opam/4.14.1/bin
- mkdir -p /home/opam/.opam/4.14.1/lib/pkgconfig
- cp solo5-kernel-virtio.pc /home/opam/.opam/4.14.1/lib/pkgconfig
- cp tools/mkimage/solo5-mkimage.sh /home/opam/.opam/4.14.1/bin/solo5-mkimage
- cp tools/run/solo5-run-virtio.sh /home/opam/.opam/4.14.1/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-04-07 15:41.38 ---> saved as "19f67ad3a7a2bc77453d521b2aeb53d323424011456b6ece14866b03537455b3"
Job succeeded
Home|Differences with the last checks|Previous runs