Building on fall
(from freebsd-ocaml-4.14)
2023-08-29 10:52.08 ---> using "57eeeabfec88366322a66f228a693df277d348dc99f1cc2a63749102c5e1e405" 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-2.1 /usr/local/bin/opam"))
2023-08-29 10:52.08 ---> using "c7a3b8a79e4580fd5e468d5c28badd9ec07439a60faac9d106d1bceb471fee5f" 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 cc7acce8a53547ea15a80a427fd7b5bc24b8dfbe"))
2023-08-29 10:52.08 ---> using "7f1e55003515778409723f79848191c0702eaa6efac34a9a243ab96060b45f02" 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:
/usr/home/opam/.profile is already up-to-date.
[NOTE] Make sure that /usr/home/opam/.profile is well sourced in your ~/.bashrc.
2023-08-29 10:52.09 ---> using "ed18bfc10c7a2f6e57cb47a995b4f27ad5d9a8f84ce9c993025c2baf08f93f5c" from cache
/: (run (cache (opam-archives (target /usr/home/opam/.opam/download-cache)))
(network host)
(shell "opam switch create --repositories=default 'default' '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 (https://github.com/ocaml/ocaml/archive/4.14.1.tar.gz)
-> installed ocaml-base-compiler.4.14.1
-> installed ocaml-config.2
-> installed ocaml.4.14.1
Done.
# Run eval $(opam env --switch=default) to update the current shell environment
2023-08-29 10:52.09 ---> using "e1aadb5e86a196246aaaeda46523b059e93855e1115bbd4fa3eb24c9d81d80cf" from cache
/: (run (network host)
(shell "opam update --depexts"))
[WARNING] Unknown update command for bsd, skipping system update
2023-08-29 10:52.09 ---> using "c57f28f27ce4100774ebc2ba4b99498213623c9512b1cb8c314fdbf89a62a60e" from cache
/: (run (cache (opam-archives (target /usr/home/opam/.opam/download-cache)))
(network host)
(shell "\
\nopam remove -y \"solo5-kernel-muen.0.3.1\"\
\nopam install -vy \"solo5-kernel-muen.0.3.1\"\
\nres=$?\
\nif [ $res = 31 ]; then\
\n if opam show -f x-ci-accept-failures: \"solo5-kernel-muen.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-muen.0.3.1 is not installed.
Nothing to do.
The following actions will be performed:
- install conf-pkg-config 2 [required by solo5-kernel-muen]
- install solo5-kernel-muen 0.3.1
===== 2 to install =====
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 2/6: [solo5-kernel-muen.0.3.1: http]
Processing 3/6: [solo5-kernel-muen.0.3.1: http] [conf-pkg-config: pkg-config]
Processing 3/6: [conf-pkg-config: pkg-config]
- 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
- --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
-
- 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:
Processing 4/6: [conf-pkg-config: mkdir]
-> retrieved solo5-kernel-muen.0.3.1 (https://github.com/Solo5/solo5/archive/v0.3.1.tar.gz)
+ /bin/mkdir "-p" "/usr/home/opam/.opam/default/lib/pkgconfig" (CWD=/usr/home/opam/.opam/default/.opam-switch/build/conf-pkg-config.2)
-> installed conf-pkg-config.2
Processing 5/6: [solo5-kernel-muen: gmake muen]
+ /usr/local/bin/gmake "muen" (CWD=/usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1)
- ./configure.sh
- /usr/local/bin/gmake -C kernel muen
- gmake[1]: Entering directory '/usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/kernel'
- cc -nostdlibinc -ffreestanding -mno-red-zone -mno-sse -mno-mmx -mno-aes -mno-avx -isystem /usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/include-host -std=gnu99 -Wall -Wextra -Werror -O2 -g -D__SOLO5_KERNEL__ -c ukvm/kernel.c -o ukvm/kernel.o
- cc -nostdlibinc -ffreestanding -mno-red-zone -mno-sse -mno-mmx -mno-aes -mno-avx -isystem /usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/include-host -std=gnu99 -Wall -Wextra -Werror -O2 -g -D__SOLO5_KERNEL__ -c ukvm/platform.c -o ukvm/platform.o
- cc -nostdlibinc -ffreestanding -mno-red-zone -mno-sse -mno-mmx -mno-aes -mno-avx -isystem /usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/include-host -std=gnu99 -Wall -Wextra -Werror -O2 -g -D__SOLO5_KERNEL__ -c ukvm/platform_intr.c -o ukvm/platform_intr.o
- cc -nostdlibinc -ffreestanding -mno-red-zone -mno-sse -mno-mmx -mno-aes -mno-avx -isystem /usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/include-host -std=gnu99 -Wall -Wextra -Werror -O2 -g -D__SOLO5_KERNEL__ -c ukvm/time.c -o ukvm/time.o
- cc -nostdlibinc -ffreestanding -mno-red-zone -mno-sse -mno-mmx -mno-aes -mno-avx -isystem /usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/include-host -std=gnu99 -Wall -Wextra -Werror -O2 -g -D__SOLO5_KERNEL__ -c muen/channel.c -o muen/channel.o
- cc -nostdlibinc -ffreestanding -mno-red-zone -mno-sse -mno-mmx -mno-aes -mno-avx -isystem /usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/include-host -std=gnu99 -Wall -Wextra -Werror -O2 -g -D__SOLO5_KERNEL__ -c muen/reader.c -o muen/reader.o
- cc -nostdlibinc -ffreestanding -mno-red-zone -mno-sse -mno-mmx -mno-aes -mno-avx -isystem /usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/include-host -std=gnu99 -Wall -Wextra -Werror -O2 -g -D__SOLO5_KERNEL__ -c muen/writer.c -o muen/writer.o
- cc -nostdlibinc -ffreestanding -mno-red-zone -mno-sse -mno-mmx -mno-aes -mno-avx -isystem /usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/include-host -std=gnu99 -Wall -Wextra -Werror -O2 -g -D__SOLO5_KERNEL__ -c muen/muen-block.c -o muen/muen-block.o
- cc -nostdlibinc -ffreestanding -mno-red-zone -mno-sse -mno-mmx -mno-aes -mno-avx -isystem /usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/include-host -std=gnu99 -Wall -Wextra -Werror -O2 -g -D__SOLO5_KERNEL__ -c muen/muen-clock.c -o muen/muen-clock.o
- cc -nostdlibinc -ffreestanding -mno-red-zone -mno-sse -mno-mmx -mno-aes -mno-avx -isystem /usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/include-host -std=gnu99 -Wall -Wextra -Werror -O2 -g -D__SOLO5_KERNEL__ -c muen/muen-console.c -o muen/muen-console.o
- cc -nostdlibinc -ffreestanding -mno-red-zone -mno-sse -mno-mmx -mno-aes -mno-avx -isystem /usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/include-host -std=gnu99 -Wall -Wextra -Werror -O2 -g -D__SOLO5_KERNEL__ -c muen/muen-net.c -o muen/muen-net.o
- cc -nostdlibinc -ffreestanding -mno-red-zone -mno-sse -mno-mmx -mno-aes -mno-avx -isystem /usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/include-host -std=gnu99 -Wall -Wextra -Werror -O2 -g -D__SOLO5_KERNEL__ -c muen/muen-platform_lifecycle.c -o muen/muen-platform_lifecycle.o
- cc -nostdlibinc -ffreestanding -mno-red-zone -mno-sse -mno-mmx -mno-aes -mno-avx -isystem /usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/include-host -std=gnu99 -Wall -Wextra -Werror -O2 -g -D__SOLO5_KERNEL__ -c muen/muen-yield.c -o muen/muen-yield.o
- cc -nostdlibinc -ffreestanding -mno-red-zone -mno-sse -mno-mmx -mno-aes -mno-avx -isystem /usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/include-host -std=gnu99 -Wall -Wextra -Werror -O2 -g -D__SOLO5_KERNEL__ -c muen/muen-sinfo.c -o muen/muen-sinfo.o
- cc -nostdlibinc -ffreestanding -mno-red-zone -mno-sse -mno-mmx -mno-aes -mno-avx -isystem /usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.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 /usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.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 /usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.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 /usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.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 /usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.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 /usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.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 /usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.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 /usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.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 /usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.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 /usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.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 muen/solo5.o ukvm/kernel.o ukvm/platform.o ukvm/platform_intr.o ukvm/time.o muen/channel.o muen/reader.o muen/writer.o muen/muen-block.o muen/muen-clock.o muen/muen-console.o muen/muen-net.o muen/muen-platform_lifecycle.o muen/muen-yield.o muen/muen-sinfo.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\* muen/solo5.o muen/solo5.o
- gmake[1]: Leaving directory '/usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/kernel'
- /usr/local/bin/gmake -C tests muen
- gmake[1]: Entering directory '/usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/tests'
- /usr/local/bin/gmake -C test_hello muen
- gmake[2]: Entering directory '/usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/tests/test_hello'
- /usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/ukvm/ukvm-configure /usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/ukvm gdb
- ukvm-configure: error: Unsupported compiler target: x86_64-unknown-freebsd13.2
- cc -nostdlibinc -ffreestanding -mno-red-zone -isystem /usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/include-host -std=gnu99 -Wall -Wextra -Werror -O2 -g -I/usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/kernel -c test_hello.c -o test_hello.o
- ld -T /usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/kernel/ukvm/solo5.lds \
- -nostdlib -z max-page-size=0x1000 -static -o test_hello.muen /usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/kernel/muen/solo5.o test_hello.o
- gmake[2]: Leaving directory '/usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/tests/test_hello'
- /usr/local/bin/gmake -C test_globals muen
- gmake[2]: Entering directory '/usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/tests/test_globals'
- /usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/ukvm/ukvm-configure /usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/ukvm
- ukvm-configure: error: Unsupported compiler target: x86_64-unknown-freebsd13.2
- cc -nostdlibinc -ffreestanding -mno-red-zone -isystem /usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/include-host -std=gnu99 -Wall -Wextra -Werror -O2 -g -I/usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/kernel -c test_globals.c -o test_globals.o
- ld -T /usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/kernel/ukvm/solo5.lds \
- -nostdlib -z max-page-size=0x1000 -static -o test_globals.muen /usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/kernel/muen/solo5.o test_globals.o
- gmake[2]: Leaving directory '/usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/tests/test_globals'
- /usr/local/bin/gmake -C test_ping_serve muen
- gmake[2]: Entering directory '/usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/tests/test_ping_serve'
- /usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/ukvm/ukvm-configure /usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/ukvm net
- ukvm-configure: error: Unsupported compiler target: x86_64-unknown-freebsd13.2
- cc -nostdlibinc -ffreestanding -mno-red-zone -isystem /usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/include-host -std=gnu99 -Wall -Wextra -Werror -O2 -g -I/usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/kernel -c test_ping_serve.c -o test_ping_serve.o
- ld -T /usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/kernel/ukvm/solo5.lds \
- -nostdlib -z max-page-size=0x1000 -static -o test_ping_serve.muen /usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/kernel/muen/solo5.o test_ping_serve.o
- gmake[2]: Leaving directory '/usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/tests/test_ping_serve'
- /usr/local/bin/gmake -C test_blk muen
- gmake[2]: Entering directory '/usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/tests/test_blk'
- /usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/ukvm/ukvm-configure /usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/ukvm blk
- ukvm-configure: error: Unsupported compiler target: x86_64-unknown-freebsd13.2
- gmake[2]: Nothing to be done for 'muen'.
- gmake[2]: Leaving directory '/usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/tests/test_blk'
- /usr/local/bin/gmake -C test_exception muen
- gmake[2]: Entering directory '/usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/tests/test_exception'
- /usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/ukvm/ukvm-configure /usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/ukvm
- ukvm-configure: error: Unsupported compiler target: x86_64-unknown-freebsd13.2
- cc -nostdlibinc -ffreestanding -mno-red-zone -isystem /usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/include-host -std=gnu99 -Wall -Wextra -Werror -O2 -g -I/usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/kernel -c test_exception.c -o test_exception.o
- ld -T /usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/kernel/ukvm/solo5.lds \
- -nostdlib -z max-page-size=0x1000 -static -o test_exception.muen /usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/kernel/muen/solo5.o test_exception.o
- gmake[2]: Leaving directory '/usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/tests/test_exception'
- /usr/local/bin/gmake -C test_abort muen
- gmake[2]: Entering directory '/usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/tests/test_abort'
- /usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/ukvm/ukvm-configure /usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/ukvm dumpcore
- ukvm-configure: error: Unsupported compiler target: x86_64-unknown-freebsd13.2
- cc -nostdlibinc -ffreestanding -mno-red-zone -isystem /usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/include-host -std=gnu99 -Wall -Wextra -Werror -O2 -g -I/usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/kernel -c test_abort.c -o test_abort.o
- ld -T /usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/kernel/ukvm/solo5.lds \
- -nostdlib -z max-page-size=0x1000 -static -o test_abort.muen /usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/kernel/muen/solo5.o test_abort.o
- gmake[2]: Leaving directory '/usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/tests/test_abort'
- /usr/local/bin/gmake -C test_fpu muen
- gmake[2]: Entering directory '/usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/tests/test_fpu'
- /usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/ukvm/ukvm-configure /usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/ukvm
- ukvm-configure: error: Unsupported compiler target: x86_64-unknown-freebsd13.2
- cc -nostdlibinc -ffreestanding -mno-red-zone -isystem /usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/include-host -std=gnu99 -Wall -Wextra -Werror -O2 -g -I/usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/kernel -c test_fpu.c -o test_fpu.o
- ld -T /usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/kernel/ukvm/solo5.lds \
- -nostdlib -z max-page-size=0x1000 -static -o test_fpu.muen /usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/kernel/muen/solo5.o test_fpu.o
- gmake[2]: Leaving directory '/usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/tests/test_fpu'
- /usr/local/bin/gmake -C test_time muen
- gmake[2]: Entering directory '/usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/tests/test_time'
- /usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/ukvm/ukvm-configure /usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/ukvm
- ukvm-configure: error: Unsupported compiler target: x86_64-unknown-freebsd13.2
- cc -nostdlibinc -ffreestanding -mno-red-zone -isystem /usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/include-host -std=gnu99 -Wall -Wextra -Werror -O2 -g -I/usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/kernel -c test_time.c -o test_time.o
- ld -T /usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/kernel/ukvm/solo5.lds \
- -nostdlib -z max-page-size=0x1000 -static -o test_time.muen /usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/kernel/muen/solo5.o test_time.o
- gmake[2]: Leaving directory '/usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/tests/test_time'
- /usr/local/bin/gmake -C test_quiet muen
- gmake[2]: Entering directory '/usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/tests/test_quiet'
- /usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/ukvm/ukvm-configure /usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/ukvm
- ukvm-configure: error: Unsupported compiler target: x86_64-unknown-freebsd13.2
- cc -nostdlibinc -ffreestanding -mno-red-zone -isystem /usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/include-host -std=gnu99 -Wall -Wextra -Werror -O2 -g -I/usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/kernel -c test_quiet.c -o test_quiet.o
- ld -T /usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/kernel/ukvm/solo5.lds \
- -nostdlib -z max-page-size=0x1000 -static -o test_quiet.muen /usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/kernel/muen/solo5.o test_quiet.o
- gmake[2]: Leaving directory '/usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/tests/test_quiet'
- gmake[1]: Leaving directory '/usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/tests'
-> compiled solo5-kernel-muen.0.3.1
Processing 6/6: [solo5-kernel-muen: gmake opam-muen-install]
+ /usr/local/bin/gmake "opam-muen-install" "PREFIX=/usr/home/opam/.opam/default" (CWD=/usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1)
- sed <solo5-kernel-muen.pc.in > solo5-kernel-muen.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 muen
- gmake[1]: Entering directory '/usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/kernel'
- gmake[1]: Nothing to be done for 'muen'.
- gmake[1]: Leaving directory '/usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/kernel'
- /usr/local/bin/gmake -C tests muen
- gmake[1]: Entering directory '/usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/tests'
- /usr/local/bin/gmake -C test_hello muen
- gmake[2]: Entering directory '/usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/tests/test_hello'
- /usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/ukvm/ukvm-configure /usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/ukvm gdb
- ukvm-configure: error: Unsupported compiler target: x86_64-unknown-freebsd13.2
- gmake[2]: Nothing to be done for 'muen'.
- gmake[2]: Leaving directory '/usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/tests/test_hello'
- /usr/local/bin/gmake -C test_globals muen
- gmake[2]: Entering directory '/usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/tests/test_globals'
- /usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/ukvm/ukvm-configure /usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/ukvm
- ukvm-configure: error: Unsupported compiler target: x86_64-unknown-freebsd13.2
- gmake[2]: Nothing to be done for 'muen'.
- gmake[2]: Leaving directory '/usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/tests/test_globals'
- /usr/local/bin/gmake -C test_ping_serve muen
- gmake[2]: Entering directory '/usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/tests/test_ping_serve'
- /usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/ukvm/ukvm-configure /usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/ukvm net
- ukvm-configure: error: Unsupported compiler target: x86_64-unknown-freebsd13.2
- gmake[2]: Nothing to be done for 'muen'.
- gmake[2]: Leaving directory '/usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/tests/test_ping_serve'
- /usr/local/bin/gmake -C test_blk muen
- gmake[2]: Entering directory '/usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/tests/test_blk'
- /usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/ukvm/ukvm-configure /usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/ukvm blk
- ukvm-configure: error: Unsupported compiler target: x86_64-unknown-freebsd13.2
- gmake[2]: Nothing to be done for 'muen'.
- gmake[2]: Leaving directory '/usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/tests/test_blk'
- /usr/local/bin/gmake -C test_exception muen
- gmake[2]: Entering directory '/usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/tests/test_exception'
- /usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/ukvm/ukvm-configure /usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/ukvm
- ukvm-configure: error: Unsupported compiler target: x86_64-unknown-freebsd13.2
- gmake[2]: Nothing to be done for 'muen'.
- gmake[2]: Leaving directory '/usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/tests/test_exception'
- /usr/local/bin/gmake -C test_abort muen
- gmake[2]: Entering directory '/usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/tests/test_abort'
- /usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/ukvm/ukvm-configure /usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/ukvm dumpcore
- ukvm-configure: error: Unsupported compiler target: x86_64-unknown-freebsd13.2
- gmake[2]: Nothing to be done for 'muen'.
- gmake[2]: Leaving directory '/usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/tests/test_abort'
- /usr/local/bin/gmake -C test_fpu muen
- gmake[2]: Entering directory '/usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/tests/test_fpu'
- /usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/ukvm/ukvm-configure /usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/ukvm
- ukvm-configure: error: Unsupported compiler target: x86_64-unknown-freebsd13.2
- gmake[2]: Nothing to be done for 'muen'.
- gmake[2]: Leaving directory '/usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/tests/test_fpu'
- /usr/local/bin/gmake -C test_time muen
- gmake[2]: Entering directory '/usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/tests/test_time'
- /usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/ukvm/ukvm-configure /usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/ukvm
- ukvm-configure: error: Unsupported compiler target: x86_64-unknown-freebsd13.2
- gmake[2]: Nothing to be done for 'muen'.
- gmake[2]: Leaving directory '/usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/tests/test_time'
- /usr/local/bin/gmake -C test_quiet muen
- gmake[2]: Entering directory '/usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/tests/test_quiet'
- /usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/ukvm/ukvm-configure /usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/ukvm
- ukvm-configure: error: Unsupported compiler target: x86_64-unknown-freebsd13.2
- gmake[2]: Nothing to be done for 'muen'.
- gmake[2]: Leaving directory '/usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/tests/test_quiet'
- gmake[1]: Leaving directory '/usr/home/opam/.opam/default/.opam-switch/build/solo5-kernel-muen.0.3.1/tests'
- mkdir -p /usr/home/opam/.opam/default/include/solo5-kernel-muen/include /usr/home/opam/.opam/default/lib/solo5-kernel-muen
- cp kernel/solo5.h /usr/home/opam/.opam/default/include/solo5-kernel-muen/include/solo5.h
- mkdir -p /usr/home/opam/.opam/default/include/solo5-kernel-muen/include/host
- cp -R include-host/. /usr/home/opam/.opam/default/include/solo5-kernel-muen/include/host
- cp kernel/muen/solo5.o kernel/ukvm/solo5.lds /usr/home/opam/.opam/default/lib/solo5-kernel-muen
- mkdir -p /usr/home/opam/.opam/default/lib/solo5-kernel-muen/src
- mkdir -p /usr/home/opam/.opam/default/lib/pkgconfig
- cp solo5-kernel-muen.pc /usr/home/opam/.opam/default/lib/pkgconfig
-> installed solo5-kernel-muen.0.3.1
Done.
# Run eval $(opam env) to update the current shell environment
2023-08-29 10:59.12 ---> saved as "fc4c19a5a4d7bd32858fb88569b6e9a8f9b47feb89e705b97f2c33ff617dea7a"
Job succeeded
Home|Differences with the last checks|Previous runs