Building on summer
(from freebsd)
2024-02-21 09:48.55 ---> 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-02-21 09:48.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 55225ede92751fbc1bc34328c453e95a06a6cec6"))
2024-02-21 09:48.55 ---> using "a069a76616429ed28480983b79ddb194b0bd4146bf4cfacae8c06c3f5cd620a4" 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.
2024-02-21 09:48.56 ---> using "38b6cac216c8a4c861aad44a633cd46109dfc8a63a651dc02afd1d3d2b07ae37" from cache
/: (run (cache (opam-archives (target /usr/home/opam/.opam/download-cache)))
(network host)
(shell "opam switch create --repositories=default '5.1.0' 'ocaml-base-compiler.5.1.0'"))
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "5.1.0"}]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> installed ocaml-options-vanilla.1
-> retrieved ocaml-base-compiler.5.1.0 (https://github.com/ocaml/ocaml/archive/5.1.0.tar.gz)
-> installed ocaml-base-compiler.5.1.0
-> installed ocaml-config.3
-> installed ocaml.5.1.0
-> installed base-domains.base
-> installed base-nnp.base
Done.
# Run eval $(opam env --switch=5.1.0) to update the current shell environment
2024-02-21 09:48.56 ---> using "5e20d5dbdf8576913885467cf32415f5bcc41930a0aa72d4cbf9f9c0e1d3a0e3" from cache
/: (run (network host)
(shell "opam update --depexts"))
[WARNING] Unknown update command for bsd, skipping system update
2024-02-21 09:48.56 ---> using "b4964b955bf3c2118200093673dce884eca659cdeb0b8ad247df9e0b2eb1e3bc" from cache
/: (env OCAMLPARAM warn-error=+8,_)
/: (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 2 packages
- install conf-pkg-config 2 [required by solo5-kernel-muen]
- install solo5-kernel-muen 0.3.1 (deprecated)
<><> 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]
+ /usr/local/bin/pkg-config "--help" (CWD=/usr/home/opam/.opam/5.1.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
- --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-muen.0.3.1: http]
Processing 4/6: [solo5-kernel-muen.0.3.1: http] [conf-pkg-config: mkdir]
Processing 4/6: [conf-pkg-config: mkdir]
+ /bin/mkdir "-p" "/usr/home/opam/.opam/5.1.0/lib/pkgconfig" (CWD=/usr/home/opam/.opam/5.1.0/.opam-switch/build/conf-pkg-config.2)
-> installed conf-pkg-config.2
Processing 4/6:
-> retrieved solo5-kernel-muen.0.3.1 (https://github.com/Solo5/solo5/archive/v0.3.1.tar.gz)
Processing 5/6: [solo5-kernel-muen: gmake muen]
+ /usr/local/bin/gmake "muen" (CWD=/usr/home/opam/.opam/5.1.0/.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/5.1.0/.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/5.1.0/.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/5.1.0/.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/5.1.0/.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/5.1.0/.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/5.1.0/.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/5.1.0/.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/5.1.0/.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/5.1.0/.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/5.1.0/.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/5.1.0/.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/5.1.0/.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/5.1.0/.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/5.1.0/.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/5.1.0/.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/5.1.0/.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/5.1.0/.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/5.1.0/.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/5.1.0/.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/5.1.0/.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/5.1.0/.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/5.1.0/.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/5.1.0/.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/5.1.0/.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/5.1.0/.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/5.1.0/.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/5.1.0/.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/5.1.0/.opam-switch/build/solo5-kernel-muen.0.3.1/tests/test_hello'
- /usr/home/opam/.opam/5.1.0/.opam-switch/build/solo5-kernel-muen.0.3.1/ukvm/ukvm-configure /usr/home/opam/.opam/5.1.0/.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/5.1.0/.opam-switch/build/solo5-kernel-muen.0.3.1/include-host -std=gnu99 -Wall -Wextra -Werror -O2 -g -I/usr/home/opam/.opam/5.1.0/.opam-switch/build/solo5-kernel-muen.0.3.1/kernel -c test_hello.c -o test_hello.o
- ld -T /usr/home/opam/.opam/5.1.0/.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/5.1.0/.opam-switch/build/solo5-kernel-muen.0.3.1/kernel/muen/solo5.o test_hello.o
- gmake[2]: Leaving directory '/usr/home/opam/.opam/5.1.0/.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/5.1.0/.opam-switch/build/solo5-kernel-muen.0.3.1/tests/test_globals'
- /usr/home/opam/.opam/5.1.0/.opam-switch/build/solo5-kernel-muen.0.3.1/ukvm/ukvm-configure /usr/home/opam/.opam/5.1.0/.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/5.1.0/.opam-switch/build/solo5-kernel-muen.0.3.1/include-host -std=gnu99 -Wall -Wextra -Werror -O2 -g -I/usr/home/opam/.opam/5.1.0/.opam-switch/build/solo5-kernel-muen.0.3.1/kernel -c test_globals.c -o test_globals.o
- ld -T /usr/home/opam/.opam/5.1.0/.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/5.1.0/.opam-switch/build/solo5-kernel-muen.0.3.1/kernel/muen/solo5.o test_globals.o
- gmake[2]: Leaving directory '/usr/home/opam/.opam/5.1.0/.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/5.1.0/.opam-switch/build/solo5-kernel-muen.0.3.1/tests/test_ping_serve'
- /usr/home/opam/.opam/5.1.0/.opam-switch/build/solo5-kernel-muen.0.3.1/ukvm/ukvm-configure /usr/home/opam/.opam/5.1.0/.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/5.1.0/.opam-switch/build/solo5-kernel-muen.0.3.1/include-host -std=gnu99 -Wall -Wextra -Werror -O2 -g -I/usr/home/opam/.opam/5.1.0/.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/5.1.0/.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/5.1.0/.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/5.1.0/.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/5.1.0/.opam-switch/build/solo5-kernel-muen.0.3.1/tests/test_blk'
- /usr/home/opam/.opam/5.1.0/.opam-switch/build/solo5-kernel-muen.0.3.1/ukvm/ukvm-configure /usr/home/opam/.opam/5.1.0/.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/5.1.0/.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/5.1.0/.opam-switch/build/solo5-kernel-muen.0.3.1/tests/test_exception'
- /usr/home/opam/.opam/5.1.0/.opam-switch/build/solo5-kernel-muen.0.3.1/ukvm/ukvm-configure /usr/home/opam/.opam/5.1.0/.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/5.1.0/.opam-switch/build/solo5-kernel-muen.0.3.1/include-host -std=gnu99 -Wall -Wextra -Werror -O2 -g -I/usr/home/opam/.opam/5.1.0/.opam-switch/build/solo5-kernel-muen.0.3.1/kernel -c test_exception.c -o test_exception.o
- ld -T /usr/home/opam/.opam/5.1.0/.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/5.1.0/.opam-switch/build/solo5-kernel-muen.0.3.1/kernel/muen/solo5.o test_exception.o
- gmake[2]: Leaving directory '/usr/home/opam/.opam/5.1.0/.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/5.1.0/.opam-switch/build/solo5-kernel-muen.0.3.1/tests/test_abort'
- /usr/home/opam/.opam/5.1.0/.opam-switch/build/solo5-kernel-muen.0.3.1/ukvm/ukvm-configure /usr/home/opam/.opam/5.1.0/.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/5.1.0/.opam-switch/build/solo5-kernel-muen.0.3.1/include-host -std=gnu99 -Wall -Wextra -Werror -O2 -g -I/usr/home/opam/.opam/5.1.0/.opam-switch/build/solo5-kernel-muen.0.3.1/kernel -c test_abort.c -o test_abort.o
- ld -T /usr/home/opam/.opam/5.1.0/.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/5.1.0/.opam-switch/build/solo5-kernel-muen.0.3.1/kernel/muen/solo5.o test_abort.o
- gmake[2]: Leaving directory '/usr/home/opam/.opam/5.1.0/.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/5.1.0/.opam-switch/build/solo5-kernel-muen.0.3.1/tests/test_fpu'
- /usr/home/opam/.opam/5.1.0/.opam-switch/build/solo5-kernel-muen.0.3.1/ukvm/ukvm-configure /usr/home/opam/.opam/5.1.0/.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/5.1.0/.opam-switch/build/solo5-kernel-muen.0.3.1/include-host -std=gnu99 -Wall -Wextra -Werror -O2 -g -I/usr/home/opam/.opam/5.1.0/.opam-switch/build/solo5-kernel-muen.0.3.1/kernel -c test_fpu.c -o test_fpu.o
- ld -T /usr/home/opam/.opam/5.1.0/.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/5.1.0/.opam-switch/build/solo5-kernel-muen.0.3.1/kernel/muen/solo5.o test_fpu.o
- gmake[2]: Leaving directory '/usr/home/opam/.opam/5.1.0/.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/5.1.0/.opam-switch/build/solo5-kernel-muen.0.3.1/tests/test_time'
- /usr/home/opam/.opam/5.1.0/.opam-switch/build/solo5-kernel-muen.0.3.1/ukvm/ukvm-configure /usr/home/opam/.opam/5.1.0/.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/5.1.0/.opam-switch/build/solo5-kernel-muen.0.3.1/include-host -std=gnu99 -Wall -Wextra -Werror -O2 -g -I/usr/home/opam/.opam/5.1.0/.opam-switch/build/solo5-kernel-muen.0.3.1/kernel -c test_time.c -o test_time.o
- ld -T /usr/home/opam/.opam/5.1.0/.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/5.1.0/.opam-switch/build/solo5-kernel-muen.0.3.1/kernel/muen/solo5.o test_time.o
- gmake[2]: Leaving directory '/usr/home/opam/.opam/5.1.0/.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/5.1.0/.opam-switch/build/solo5-kernel-muen.0.3.1/tests/test_quiet'
- /usr/home/opam/.opam/5.1.0/.opam-switch/build/solo5-kernel-muen.0.3.1/ukvm/ukvm-configure /usr/home/opam/.opam/5.1.0/.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/5.1.0/.opam-switch/build/solo5-kernel-muen.0.3.1/include-host -std=gnu99 -Wall -Wextra -Werror -O2 -g -I/usr/home/opam/.opam/5.1.0/.opam-switch/build/solo5-kernel-muen.0.3.1/kernel -c test_quiet.c -o test_quiet.o
- ld -T /usr/home/opam/.opam/5.1.0/.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/5.1.0/.opam-switch/build/solo5-kernel-muen.0.3.1/kernel/muen/solo5.o test_quiet.o
- gmake[2]: Leaving directory '/usr/home/opam/.opam/5.1.0/.opam-switch/build/solo5-kernel-muen.0.3.1/tests/test_quiet'
- gmake[1]: Leaving directory '/usr/home/opam/.opam/5.1.0/.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/5.1.0" (CWD=/usr/home/opam/.opam/5.1.0/.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/5.1.0/.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/5.1.0/.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/5.1.0/.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/5.1.0/.opam-switch/build/solo5-kernel-muen.0.3.1/tests/test_hello'
- /usr/home/opam/.opam/5.1.0/.opam-switch/build/solo5-kernel-muen.0.3.1/ukvm/ukvm-configure /usr/home/opam/.opam/5.1.0/.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/5.1.0/.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/5.1.0/.opam-switch/build/solo5-kernel-muen.0.3.1/tests/test_globals'
- /usr/home/opam/.opam/5.1.0/.opam-switch/build/solo5-kernel-muen.0.3.1/ukvm/ukvm-configure /usr/home/opam/.opam/5.1.0/.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/5.1.0/.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/5.1.0/.opam-switch/build/solo5-kernel-muen.0.3.1/tests/test_ping_serve'
- /usr/home/opam/.opam/5.1.0/.opam-switch/build/solo5-kernel-muen.0.3.1/ukvm/ukvm-configure /usr/home/opam/.opam/5.1.0/.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/5.1.0/.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/5.1.0/.opam-switch/build/solo5-kernel-muen.0.3.1/tests/test_blk'
- /usr/home/opam/.opam/5.1.0/.opam-switch/build/solo5-kernel-muen.0.3.1/ukvm/ukvm-configure /usr/home/opam/.opam/5.1.0/.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/5.1.0/.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/5.1.0/.opam-switch/build/solo5-kernel-muen.0.3.1/tests/test_exception'
- /usr/home/opam/.opam/5.1.0/.opam-switch/build/solo5-kernel-muen.0.3.1/ukvm/ukvm-configure /usr/home/opam/.opam/5.1.0/.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/5.1.0/.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/5.1.0/.opam-switch/build/solo5-kernel-muen.0.3.1/tests/test_abort'
- /usr/home/opam/.opam/5.1.0/.opam-switch/build/solo5-kernel-muen.0.3.1/ukvm/ukvm-configure /usr/home/opam/.opam/5.1.0/.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/5.1.0/.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/5.1.0/.opam-switch/build/solo5-kernel-muen.0.3.1/tests/test_fpu'
- /usr/home/opam/.opam/5.1.0/.opam-switch/build/solo5-kernel-muen.0.3.1/ukvm/ukvm-configure /usr/home/opam/.opam/5.1.0/.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/5.1.0/.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/5.1.0/.opam-switch/build/solo5-kernel-muen.0.3.1/tests/test_time'
- /usr/home/opam/.opam/5.1.0/.opam-switch/build/solo5-kernel-muen.0.3.1/ukvm/ukvm-configure /usr/home/opam/.opam/5.1.0/.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/5.1.0/.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/5.1.0/.opam-switch/build/solo5-kernel-muen.0.3.1/tests/test_quiet'
- /usr/home/opam/.opam/5.1.0/.opam-switch/build/solo5-kernel-muen.0.3.1/ukvm/ukvm-configure /usr/home/opam/.opam/5.1.0/.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/5.1.0/.opam-switch/build/solo5-kernel-muen.0.3.1/tests/test_quiet'
- gmake[1]: Leaving directory '/usr/home/opam/.opam/5.1.0/.opam-switch/build/solo5-kernel-muen.0.3.1/tests'
- mkdir -p /usr/home/opam/.opam/5.1.0/include/solo5-kernel-muen/include /usr/home/opam/.opam/5.1.0/lib/solo5-kernel-muen
- cp kernel/solo5.h /usr/home/opam/.opam/5.1.0/include/solo5-kernel-muen/include/solo5.h
- mkdir -p /usr/home/opam/.opam/5.1.0/include/solo5-kernel-muen/include/host
- cp -R include-host/. /usr/home/opam/.opam/5.1.0/include/solo5-kernel-muen/include/host
- cp kernel/muen/solo5.o kernel/ukvm/solo5.lds /usr/home/opam/.opam/5.1.0/lib/solo5-kernel-muen
- mkdir -p /usr/home/opam/.opam/5.1.0/lib/solo5-kernel-muen/src
- mkdir -p /usr/home/opam/.opam/5.1.0/lib/pkgconfig
- cp solo5-kernel-muen.pc /usr/home/opam/.opam/5.1.0/lib/pkgconfig
-> installed solo5-kernel-muen.0.3.1
Done.
<><> solo5-kernel-muen.0.3.1 installed successfully <><><><><><><><><><><><><><>
=> Note: This package is deprecated.
2024-02-21 09:49.12 ---> saved as "d80674f1dece8e205abbe02dbf1eb71bb1889790a7bf9b4998d72b01c69323f0"
Job succeeded
Home|Differences with the last checks|Previous runs