Building on laodoke.caelum.ci.dev
(from ocaml/opam:debian-unstable)
Unable to find image 'ocaml/opam:debian-unstable' locally
debian-unstable: Pulling from ocaml/opam
27312a70d934: Pulling fs layer
27312a70d934: Verifying Checksum
27312a70d934: Download complete
27312a70d934: Pull complete
Digest: sha256:d03f1d3d5516a04cb238c890ee24c265c842b392ad1d3f7f1213ae180926dfc1
Status: Downloaded newer image for ocaml/opam:debian-unstable
2025-11-12 10:02.05 ---> using "0acd5aeaa8f7bc314514d9795d14a7f12ec72a6a5b11c5904350189734c6859b" from cache
/: (user (uid 1000) (gid 1000))
/: (env OPAMPRECISETRACKING 1)
/: (env OPAMUTF8 never)
/: (env OPAMEXTERNALSOLVER builtin-0install)
/: (env OPAMCRITERIA +removed)
/: (env CI true)
/: (env OPAM_HEALTH_CHECK_CI true)
/: (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
2025-11-12 10:02.05 ---> using "40df4fa4cdfc68a5fa7a326047e82a7adc5df52b8059d4a7b745bdd50aad56e7" 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 e4e631bfa1de346c5c18d3bb460fd03366bcb0e6"))
2025-11-12 10:02.05 ---> using "6f889e36a277629f9f71a80b27336fd916593b91f2202cf84b843c76010b5a11" from cache
/: (run (shell "rm -rf ~/.opam && opam init -ya --bare --config ~/.opamrc-sandbox ~/opam-repository"))
Configuring from /home/opam/.opamrc-sandbox, then /home/opam/.opamrc, and finally from built-in defaults.
Checking for available remotes: rsync and local, git.
- you won't be able to use mercurial repositories unless you install the hg command on your system.
- you won't be able to use darcs repositories unless you install the darcs command on your system.
<><> Fetching repository information ><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
User configuration:
~/.profile is already up-to-date.
2025-11-12 10:02.05 ---> using "3be048844c6cb51df1a68819dc1bbb8ff1c831955fd05a423fa4629bd3de1bfc" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "sudo apt update && sudo apt install autoconf -y"))
WARNING: apt does not have a stable CLI interface. Use with caution in scripts.
Get:1 http://deb.debian.org/debian unstable InRelease [176 kB]
Get:2 http://deb.debian.org/debian unstable/main amd64 Packages.diff/Index [63.6 kB]
Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2025-11-12-0810.48-F-2025-11-08-0809.16.pdiff [267 kB]
Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2025-11-12-0810.48-F-2025-11-08-0809.16.pdiff [267 kB]
Fetched 507 kB in 3s (194 kB/s)
Reading package lists...
Building dependency tree...
Reading state information...
25 packages can be upgraded. Run 'apt list --upgradable' to see them.
WARNING: apt does not have a stable CLI interface. Use with caution in scripts.
Reading package lists...
Building dependency tree...
Reading state information...
Solving dependencies...
Installing:
autoconf
Installing dependencies:
automake autotools-dev m4
Suggested packages:
autoconf-archive gnu-standards autoconf-doc libtool gettext m4-doc
Summary:
Upgrading: 0, Installing: 4, Removing: 0, Not Upgrading: 25
Download size: 1756 kB
Space needed: 5330 kB / 130 GB available
Get:1 http://deb.debian.org/debian unstable/main amd64 m4 amd64 1.4.20-2 [325 kB]
Get:2 http://deb.debian.org/debian unstable/main amd64 autoconf all 2.72-3.1 [494 kB]
Get:3 http://deb.debian.org/debian unstable/main amd64 autotools-dev all 20240727.1 [60.2 kB]
Get:4 http://deb.debian.org/debian unstable/main amd64 automake all 1:1.18.1-2 [877 kB]
Fetched 1756 kB in 0s (12.2 MB/s)
Selecting previously unselected package m4.
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 20804 files and directories currently installed.)
Preparing to unpack .../archives/m4_1.4.20-2_amd64.deb ...
Unpacking m4 (1.4.20-2) ...
Selecting previously unselected package autoconf.
Preparing to unpack .../autoconf_2.72-3.1_all.deb ...
Unpacking autoconf (2.72-3.1) ...
Selecting previously unselected package autotools-dev.
Preparing to unpack .../autotools-dev_20240727.1_all.deb ...
Unpacking autotools-dev (20240727.1) ...
Selecting previously unselected package automake.
Preparing to unpack .../automake_1%3a1.18.1-2_all.deb ...
Unpacking automake (1:1.18.1-2) ...
Setting up m4 (1.4.20-2) ...
Setting up autotools-dev (20240727.1) ...
Setting up autoconf (2.72-3.1) ...
Setting up automake (1:1.18.1-2) ...
update-alternatives: using /usr/bin/automake-1.18 to provide /usr/bin/automake (automake) in auto mode
2025-11-12 10:02.05 ---> using "277cadd498f2625ca878ea86beeb913872ebbd6dbbd1f07c19512639b6583a69" from cache
/: (run (network host)
(shell "git clone -q 'https://github.com/oxcaml/opam-repository' ~/'oxcaml' && git -C ~/'oxcaml' checkout -q a1ea0d33dd5662b89183f751c3fec566d7860b75"))
2025-11-12 10:02.05 ---> using "fce964cfbb8ec4ed6cd042c743e2bef38f67d1eaccc111bc2a12054d7401efc5" from cache
/: (run (shell "opam repository add --dont-select 'oxcaml' ~/'oxcaml'"))
[oxcaml] Initialised
2025-11-12 10:02.05 ---> using "4c32f7f36d2d8f67a0d818f157e94ab14e93aaf7ca1338ed5b22bd45f911bb06" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam switch create --repositories=oxcaml,default '5.2.0+flambda2' '5.2.0+ox'"))
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-variants" {= "5.2.0+ox"}]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved ocaml-config.3 (cached)
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> installed ocaml-options-vanilla.1
-> installed conf-autoconf.0.2
-> installed conf-which.1
-> retrieved ocaml-variants.5.2.0+ox (https://github.com/oxcaml/oxcaml/archive/refs/tags/5.2.0minus-19-opam.tar.gz)
-> installed ocaml-variants.5.2.0+ox
-> installed ocaml-config.3
-> installed ocaml.5.2.0
-> installed base-domains.base
-> installed base-nnp.base
Done.
# To update the current shell environment, run: eval $(opam env --switch=5.2.0+flambda2)
2025-11-12 10:02.05 ---> using "319d64188ef8cdaf1e291ebb44a207e538b905beeb42b3b71a316988736a398b" from cache
/: (run (network host)
(shell "opam update --depexts"))
+ /usr/bin/sudo "apt-get" "update"
- Hit:1 http://deb.debian.org/debian unstable InRelease
- Reading package lists...
2025-11-12 10:02.05 ---> using "31a34e465cdc98ad3ea9bb85e99555ab13c78e4ac54f0da9ca97aaaee955511b" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam remove -y minios-xen.0.9\
\nopam install -vy minios-xen.0.9\
\nres=$?\
\nif [ $res = 31 ]; then\
\n if opam show -f x-ci-accept-failures: minios-xen.0.9 | grep -q 'debian-unstable'; 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"))
[NOTE] minios-xen.0.9 is not installed.
Nothing to do.
The following actions will be performed:
=== install 3 packages
- install conf-findutils 1 [required by minios-xen]
- install conf-perl 2 [required by minios-xen]
- install minios-xen 0.9
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 3/9: [minios-xen.0.9: http]
Processing 4/9: [minios-xen.0.9: http] [conf-findutils: sh find . -name .]
Processing 5/9: [minios-xen.0.9: http] [conf-findutils: sh find . -name .] [conf-perl: perl]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "sh" "-exc" "find . -name ." (CWD=/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/conf-findutils.1)
- + find . -name .
- .
-> compiled conf-findutils.1
Processing 5/9: [minios-xen.0.9: http] [conf-perl: perl]
-> installed conf-findutils.1
Processing 6/9: [minios-xen.0.9: http] [conf-perl: perl]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "perl" "--version" (CWD=/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/conf-perl.2)
-
- This is perl 5, version 40, subversion 1 (v5.40.1) built for x86_64-linux-gnu-thread-multi
- (with 48 registered patches, see perl -V for more detail)
-
- Copyright 1987-2025, Larry Wall
-
- Perl may be copied only under the terms of either the Artistic License or the
- GNU General Public License, which may be found in the Perl 5 source kit.
-
- Complete documentation for Perl, including FAQ lists, should be found on
- this system using "man perl" or "perldoc perl". If you have access to the
- Internet, point your browser at https://www.perl.org/, the Perl Home Page.
-
-> compiled conf-perl.2
Processing 6/9: [minios-xen.0.9: http]
-> installed conf-perl.2
Processing 7/9: [minios-xen.0.9: http]
Processing 7/9: [minios-xen.0.9: extract]
Processing 7/9: [minios-xen.0.9/build-opam.sh: dl]
-> retrieved minios-xen.0.9 (https://github.com/talex5/mini-os/archive/v0.9.tar.gz)
Processing 8/9: [minios-xen: sh]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "sh" "-ex" "./build-opam.sh" (CWD=/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9)
- + unset EXTRA_DEPS
- + make debug=n CONFIG_VERBOSE_BOOT=n
- perl include/minios-external/bsd-sys-queue-h-seddery include/minios-external/bsd-sys-queue.h --prefix=minios >include/list.h.new
- if ! cmp -s include/list.h.new include/list.h; then mv -f include/list.h.new include/list.h; else rm -f include/list.h.new; fi
- ln -sf . include/mini-os
- ln -sf . arch/x86/include/mini-os
- gcc -DCONFIG_START_NETWORK -DCONFIG_SPARSE_BSS -DCONFIG_BLKFRONT -DCONFIG_NETFRONT -DCONFIG_KBDFRONT -DCONFIG_FBFRONT -DCONFIG_CONSFRONT -DCONFIG_XENBUS -nostdinc -isystem /usr/lib/gcc/x86_64-linux-gnu/15/include -fno-builtin -Wall -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-stack-protector -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/include -D__MINIOS__ -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/include -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/include/x86_64 -c blkfront.c -o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/blkfront.o
- gcc -DCONFIG_START_NETWORK -DCONFIG_SPARSE_BSS -DCONFIG_BLKFRONT -DCONFIG_NETFRONT -DCONFIG_KBDFRONT -DCONFIG_FBFRONT -DCONFIG_CONSFRONT -DCONFIG_XENBUS -nostdinc -isystem /usr/lib/gcc/x86_64-linux-gnu/15/include -fno-builtin -Wall -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-stack-protector -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/include -D__MINIOS__ -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/include -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/include/x86_64 -c events.c -o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/events.o
- gcc -DCONFIG_START_NETWORK -DCONFIG_SPARSE_BSS -DCONFIG_BLKFRONT -DCONFIG_NETFRONT -DCONFIG_KBDFRONT -DCONFIG_FBFRONT -DCONFIG_CONSFRONT -DCONFIG_XENBUS -nostdinc -isystem /usr/lib/gcc/x86_64-linux-gnu/15/include -fno-builtin -Wall -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-stack-protector -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/include -D__MINIOS__ -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/include -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/include/x86_64 -c fbfront.c -o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/fbfront.o
- gcc -DCONFIG_START_NETWORK -DCONFIG_SPARSE_BSS -DCONFIG_BLKFRONT -DCONFIG_NETFRONT -DCONFIG_KBDFRONT -DCONFIG_FBFRONT -DCONFIG_CONSFRONT -DCONFIG_XENBUS -nostdinc -isystem /usr/lib/gcc/x86_64-linux-gnu/15/include -fno-builtin -Wall -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-stack-protector -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/include -D__MINIOS__ -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/include -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/include/x86_64 -c gntmap.c -o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/gntmap.o
- gcc -DCONFIG_START_NETWORK -DCONFIG_SPARSE_BSS -DCONFIG_BLKFRONT -DCONFIG_NETFRONT -DCONFIG_KBDFRONT -DCONFIG_FBFRONT -DCONFIG_CONSFRONT -DCONFIG_XENBUS -nostdinc -isystem /usr/lib/gcc/x86_64-linux-gnu/15/include -fno-builtin -Wall -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-stack-protector -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/include -D__MINIOS__ -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/include -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/include/x86_64 -c gnttab.c -o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/gnttab.o
- gcc -DCONFIG_START_NETWORK -DCONFIG_SPARSE_BSS -DCONFIG_BLKFRONT -DCONFIG_NETFRONT -DCONFIG_KBDFRONT -DCONFIG_FBFRONT -DCONFIG_CONSFRONT -DCONFIG_XENBUS -nostdinc -isystem /usr/lib/gcc/x86_64-linux-gnu/15/include -fno-builtin -Wall -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-stack-protector -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/include -D__MINIOS__ -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/include -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/include/x86_64 -c hypervisor.c -o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/hypervisor.o
- gcc -DCONFIG_START_NETWORK -DCONFIG_SPARSE_BSS -DCONFIG_BLKFRONT -DCONFIG_NETFRONT -DCONFIG_KBDFRONT -DCONFIG_FBFRONT -DCONFIG_CONSFRONT -DCONFIG_XENBUS -nostdinc -isystem /usr/lib/gcc/x86_64-linux-gnu/15/include -fno-builtin -Wall -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-stack-protector -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/include -D__MINIOS__ -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/include -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/include/x86_64 -c kernel.c -o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/kernel.o
- gcc -DCONFIG_START_NETWORK -DCONFIG_SPARSE_BSS -DCONFIG_BLKFRONT -DCONFIG_NETFRONT -DCONFIG_KBDFRONT -DCONFIG_FBFRONT -DCONFIG_CONSFRONT -DCONFIG_XENBUS -nostdinc -isystem /usr/lib/gcc/x86_64-linux-gnu/15/include -fno-builtin -Wall -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-stack-protector -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/include -D__MINIOS__ -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/include -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/include/x86_64 -c lock.c -o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/lock.o
- gcc -DCONFIG_START_NETWORK -DCONFIG_SPARSE_BSS -DCONFIG_BLKFRONT -DCONFIG_NETFRONT -DCONFIG_KBDFRONT -DCONFIG_FBFRONT -DCONFIG_CONSFRONT -DCONFIG_XENBUS -nostdinc -isystem /usr/lib/gcc/x86_64-linux-gnu/15/include -fno-builtin -Wall -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-stack-protector -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/include -D__MINIOS__ -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/include -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/include/x86_64 -c main.c -o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/main.o
- gcc -DCONFIG_START_NETWORK -DCONFIG_SPARSE_BSS -DCONFIG_BLKFRONT -DCONFIG_NETFRONT -DCONFIG_KBDFRONT -DCONFIG_FBFRONT -DCONFIG_CONSFRONT -DCONFIG_XENBUS -nostdinc -isystem /usr/lib/gcc/x86_64-linux-gnu/15/include -fno-builtin -Wall -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-stack-protector -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/include -D__MINIOS__ -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/include -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/include/x86_64 -c mm.c -o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/mm.o
- gcc -DCONFIG_START_NETWORK -DCONFIG_SPARSE_BSS -DCONFIG_BLKFRONT -DCONFIG_NETFRONT -DCONFIG_KBDFRONT -DCONFIG_FBFRONT -DCONFIG_CONSFRONT -DCONFIG_XENBUS -nostdinc -isystem /usr/lib/gcc/x86_64-linux-gnu/15/include -fno-builtin -Wall -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-stack-protector -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/include -D__MINIOS__ -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/include -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/include/x86_64 -c netfront.c -o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/netfront.o
- gcc -DCONFIG_START_NETWORK -DCONFIG_SPARSE_BSS -DCONFIG_BLKFRONT -DCONFIG_NETFRONT -DCONFIG_KBDFRONT -DCONFIG_FBFRONT -DCONFIG_CONSFRONT -DCONFIG_XENBUS -nostdinc -isystem /usr/lib/gcc/x86_64-linux-gnu/15/include -fno-builtin -Wall -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-stack-protector -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/include -D__MINIOS__ -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/include -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/include/x86_64 -c sched.c -o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/sched.o
- gcc -DCONFIG_START_NETWORK -DCONFIG_SPARSE_BSS -DCONFIG_BLKFRONT -DCONFIG_NETFRONT -DCONFIG_KBDFRONT -DCONFIG_FBFRONT -DCONFIG_CONSFRONT -DCONFIG_XENBUS -nostdinc -isystem /usr/lib/gcc/x86_64-linux-gnu/15/include -fno-builtin -Wall -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-stack-protector -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/include -D__MINIOS__ -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/include -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/include/x86_64 -c lib/ctype.c -o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/lib/ctype.o
- gcc -DCONFIG_START_NETWORK -DCONFIG_SPARSE_BSS -DCONFIG_BLKFRONT -DCONFIG_NETFRONT -DCONFIG_KBDFRONT -DCONFIG_FBFRONT -DCONFIG_CONSFRONT -DCONFIG_XENBUS -nostdinc -isystem /usr/lib/gcc/x86_64-linux-gnu/15/include -fno-builtin -Wall -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-stack-protector -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/include -D__MINIOS__ -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/include -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/include/x86_64 -c lib/math.c -o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/lib/math.o
- gcc -DCONFIG_START_NETWORK -DCONFIG_SPARSE_BSS -DCONFIG_BLKFRONT -DCONFIG_NETFRONT -DCONFIG_KBDFRONT -DCONFIG_FBFRONT -DCONFIG_CONSFRONT -DCONFIG_XENBUS -nostdinc -isystem /usr/lib/gcc/x86_64-linux-gnu/15/include -fno-builtin -Wall -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-stack-protector -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/include -D__MINIOS__ -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/include -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/include/x86_64 -c lib/printf.c -o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/lib/printf.o
- gcc -DCONFIG_START_NETWORK -DCONFIG_SPARSE_BSS -DCONFIG_BLKFRONT -DCONFIG_NETFRONT -DCONFIG_KBDFRONT -DCONFIG_FBFRONT -DCONFIG_CONSFRONT -DCONFIG_XENBUS -nostdinc -isystem /usr/lib/gcc/x86_64-linux-gnu/15/include -fno-builtin -Wall -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-stack-protector -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/include -D__MINIOS__ -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/include -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/include/x86_64 -c lib/stack_chk_fail.c -o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/lib/stack_chk_fail.o
- gcc -DCONFIG_START_NETWORK -DCONFIG_SPARSE_BSS -DCONFIG_BLKFRONT -DCONFIG_NETFRONT -DCONFIG_KBDFRONT -DCONFIG_FBFRONT -DCONFIG_CONSFRONT -DCONFIG_XENBUS -nostdinc -isystem /usr/lib/gcc/x86_64-linux-gnu/15/include -fno-builtin -Wall -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-stack-protector -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/include -D__MINIOS__ -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/include -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/include/x86_64 -c lib/string.c -o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/lib/string.o
- gcc -DCONFIG_START_NETWORK -DCONFIG_SPARSE_BSS -DCONFIG_BLKFRONT -DCONFIG_NETFRONT -DCONFIG_KBDFRONT -DCONFIG_FBFRONT -DCONFIG_CONSFRONT -DCONFIG_XENBUS -nostdinc -isystem /usr/lib/gcc/x86_64-linux-gnu/15/include -fno-builtin -Wall -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-stack-protector -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/include -D__MINIOS__ -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/include -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/include/x86_64 -c lib/memmove.c -o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/lib/memmove.o
- gcc -DCONFIG_START_NETWORK -DCONFIG_SPARSE_BSS -DCONFIG_BLKFRONT -DCONFIG_NETFRONT -DCONFIG_KBDFRONT -DCONFIG_FBFRONT -DCONFIG_CONSFRONT -DCONFIG_XENBUS -nostdinc -isystem /usr/lib/gcc/x86_64-linux-gnu/15/include -fno-builtin -Wall -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-stack-protector -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/include -D__MINIOS__ -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/include -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/include/x86_64 -c lib/sys.c -o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/lib/sys.o
- gcc -DCONFIG_START_NETWORK -DCONFIG_SPARSE_BSS -DCONFIG_BLKFRONT -DCONFIG_NETFRONT -DCONFIG_KBDFRONT -DCONFIG_FBFRONT -DCONFIG_CONSFRONT -DCONFIG_XENBUS -nostdinc -isystem /usr/lib/gcc/x86_64-linux-gnu/15/include -fno-builtin -Wall -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-stack-protector -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/include -D__MINIOS__ -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/include -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/include/x86_64 -c lib/assert.c -o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/lib/assert.o
- gcc -DCONFIG_START_NETWORK -DCONFIG_SPARSE_BSS -DCONFIG_BLKFRONT -DCONFIG_NETFRONT -DCONFIG_KBDFRONT -DCONFIG_FBFRONT -DCONFIG_CONSFRONT -DCONFIG_XENBUS -nostdinc -isystem /usr/lib/gcc/x86_64-linux-gnu/15/include -fno-builtin -Wall -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-stack-protector -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/include -D__MINIOS__ -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/include -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/include/x86_64 -c lib/xmalloc.c -o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/lib/xmalloc.o
- gcc -DCONFIG_START_NETWORK -DCONFIG_SPARSE_BSS -DCONFIG_BLKFRONT -DCONFIG_NETFRONT -DCONFIG_KBDFRONT -DCONFIG_FBFRONT -DCONFIG_CONSFRONT -DCONFIG_XENBUS -nostdinc -isystem /usr/lib/gcc/x86_64-linux-gnu/15/include -fno-builtin -Wall -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-stack-protector -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/include -D__MINIOS__ -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/include -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/include/x86_64 -c lib/xs.c -o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/lib/xs.o
- gcc -DCONFIG_START_NETWORK -DCONFIG_SPARSE_BSS -DCONFIG_BLKFRONT -DCONFIG_NETFRONT -DCONFIG_KBDFRONT -DCONFIG_FBFRONT -DCONFIG_CONSFRONT -DCONFIG_XENBUS -nostdinc -isystem /usr/lib/gcc/x86_64-linux-gnu/15/include -fno-builtin -Wall -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-stack-protector -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/include -D__MINIOS__ -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/include -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/include/x86_64 -c xenbus/xenbus.c -o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/xenbus/xenbus.o
- gcc -DCONFIG_START_NETWORK -DCONFIG_SPARSE_BSS -DCONFIG_BLKFRONT -DCONFIG_NETFRONT -DCONFIG_KBDFRONT -DCONFIG_FBFRONT -DCONFIG_CONSFRONT -DCONFIG_XENBUS -nostdinc -isystem /usr/lib/gcc/x86_64-linux-gnu/15/include -fno-builtin -Wall -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-stack-protector -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/include -D__MINIOS__ -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/include -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/include/x86_64 -c console/console.c -o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/console/console.o
- gcc -DCONFIG_START_NETWORK -DCONFIG_SPARSE_BSS -DCONFIG_BLKFRONT -DCONFIG_NETFRONT -DCONFIG_KBDFRONT -DCONFIG_FBFRONT -DCONFIG_CONSFRONT -DCONFIG_XENBUS -nostdinc -isystem /usr/lib/gcc/x86_64-linux-gnu/15/include -fno-builtin -Wall -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-stack-protector -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/include -D__MINIOS__ -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/include -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/include/x86_64 -c console/xencons_ring.c -o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/console/xencons_ring.o
- gcc -DCONFIG_START_NETWORK -DCONFIG_SPARSE_BSS -DCONFIG_BLKFRONT -DCONFIG_NETFRONT -DCONFIG_KBDFRONT -DCONFIG_FBFRONT -DCONFIG_CONSFRONT -DCONFIG_XENBUS -nostdinc -isystem /usr/lib/gcc/x86_64-linux-gnu/15/include -fno-builtin -Wall -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-stack-protector -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/include -D__MINIOS__ -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/include -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/include/x86_64 -c console/xenbus.c -o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/console/xenbus.o
- make --directory=arch/x86 OBJ_DIR=/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86 CONFIG_VERBOSE_BOOT=n || exit 1;
- make[1]: Entering directory '/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86'
- cc -nostdinc -isystem /usr/lib/gcc/x86_64-linux-gnu/15/include -fno-builtin -Wall -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-stack-protector -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/../../include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/../../arch/x86/include -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/../../arch/x86/include/x86_64 -c events.c -o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/events.o
- cc -nostdinc -isystem /usr/lib/gcc/x86_64-linux-gnu/15/include -fno-builtin -Wall -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-stack-protector -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/../../include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/../../arch/x86/include -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/../../arch/x86/include/x86_64 -c ioremap.c -o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/ioremap.o
- cc -nostdinc -isystem /usr/lib/gcc/x86_64-linux-gnu/15/include -fno-builtin -Wall -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-stack-protector -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/../../include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/../../arch/x86/include -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/../../arch/x86/include/x86_64 -c iorw.c -o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/iorw.o
- cc -nostdinc -isystem /usr/lib/gcc/x86_64-linux-gnu/15/include -fno-builtin -Wall -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-stack-protector -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/../../include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/../../arch/x86/include -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/../../arch/x86/include/x86_64 -c mm.c -o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/mm.o
- cc -nostdinc -isystem /usr/lib/gcc/x86_64-linux-gnu/15/include -fno-builtin -Wall -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-stack-protector -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/../../include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/../../arch/x86/include -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/../../arch/x86/include/x86_64 -c sched.c -o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/sched.o
- cc -nostdinc -isystem /usr/lib/gcc/x86_64-linux-gnu/15/include -fno-builtin -Wall -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-stack-protector -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/../../include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/../../arch/x86/include -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/../../arch/x86/include/x86_64 -c setup.c -o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/setup.o
- cc -nostdinc -isystem /usr/lib/gcc/x86_64-linux-gnu/15/include -fno-builtin -Wall -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-stack-protector -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/../../include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/../../arch/x86/include -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/../../arch/x86/include/x86_64 -c time.c -o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/time.o
- cc -nostdinc -isystem /usr/lib/gcc/x86_64-linux-gnu/15/include -fno-builtin -Wall -Wredundant-decls -Wno-format -Wno-redundant-decls -Wformat -fno-stack-protector -fgnu89-inline -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -O3 -fno-tree-loop-distribute-patterns -D__INSIDE_MINIOS__ -m64 -mno-red-zone -fno-reorder-blocks -fno-stack-protector -fno-asynchronous-unwind-tables -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/../../include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/../../arch/x86/include -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/../../arch/x86/include/x86_64 -c traps.c -o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/traps.o
- cc -D__ASSEMBLY__ -m64 -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/../../include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205 -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/../../arch/x86/include -isystem /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/../../arch/x86/include/x86_64 -c x86_64.S -o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/x86_64.o
- ar rv /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/libx86_64.a /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/events.o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/ioremap.o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/iorw.o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/mm.o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/sched.o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/setup.o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/time.o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/traps.o
- ar: creating /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/libx86_64.a
- a - /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/events.o
- a - /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/ioremap.o
- a - /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/iorw.o
- a - /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/mm.o
- a - /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/sched.o
- a - /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/setup.o
- a - /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/time.o
- a - /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/traps.o
- make[1]: Leaving directory '/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86'
- ld -r -m elf_x86_64 -lx86_64 -Larch/x86 /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/x86_64.o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/blkfront.o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/events.o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/fbfront.o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/gntmap.o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/gnttab.o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/hypervisor.o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/kernel.o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/lock.o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/main.o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/mm.o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/netfront.o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/sched.o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/lib/ctype.o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/lib/math.o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/lib/printf.o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/lib/stack_chk_fail.o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/lib/string.o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/lib/memmove.o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/lib/sys.o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/lib/assert.o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/lib/xmalloc.o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/lib/xs.o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/xenbus/xenbus.o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/console/console.o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/console/xencons_ring.o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/console/xenbus.o -L/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86 -lx86_64 -o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/mini-os.o
- objcopy -w -G xenos_* -G _start /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/mini-os.o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/mini-os.o
- ld -m elf_x86_64 -lx86_64 -Larch/x86 -T arch/x86/minios-x86_64.lds /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/mini-os.o -o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/mini-os
- gzip -f -9 -c /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/mini-os >/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/mini-os.gz
-> compiled minios-xen.0.9
Processing 9/9: [minios-xen: make install]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "install" "LIBDIR=/home/opam/.opam/5.2.0+flambda2/lib" "INCLUDEDIR=/home/opam/.opam/5.2.0+flambda2/include" (CWD=/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9)
- make --directory=arch/x86 OBJ_DIR=/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86 CONFIG_VERBOSE_BOOT=y || exit 1;
- make[1]: Entering directory '/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86'
- make[1]: Nothing to be done for 'all'.
- make[1]: Leaving directory '/home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86'
- rm -f libminios.a
- ar rcs libminios.a /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/blkfront.o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/events.o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/fbfront.o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/gntmap.o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/gnttab.o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/hypervisor.o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/kernel.o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/lock.o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/main.o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/mm.o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/netfront.o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/sched.o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/lib/ctype.o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/lib/math.o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/lib/printf.o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/lib/stack_chk_fail.o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/lib/string.o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/lib/memmove.o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/lib/sys.o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/lib/assert.o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/lib/xmalloc.o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/lib/xs.o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/xenbus/xenbus.o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/console/console.o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/console/xencons_ring.o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/console/xenbus.o /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/*.o
- sed \
- -e 's/@ARCH_LDFLAGS@/-m elf_x86_64 -lx86_64/g' \
- -e 's/@ARCH_CFLAGS@/-m64 -mno-red-zone -fno-reorder-blocks -fno-stack-protector -fno-asynchronous-unwind-tables/g' \
- -e 's!@GCC_INSTALL@!/usr/lib/gcc/x86_64-linux-gnu/15/!g' \
- libminios-xen.pc.in > libminios-xen.pc
- install -d -m0755 -p /home/opam/.opam/5.2.0+flambda2/lib/minios-xen
- install -d -m0755 -p /home/opam/.opam/5.2.0+flambda2/lib/pkgconfig
- install -d -m0755 -p /home/opam/.opam/5.2.0+flambda2/include
- install -d -m0755 -p /home/opam/.opam/5.2.0+flambda2/include/minios-xen
- install -m0644 -p libminios.a /home/opam/.opam/5.2.0+flambda2/lib/minios-xen
- install -m0644 -p /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/libx86_64.a /home/opam/.opam/5.2.0+flambda2/lib/minios-xen
- install -m0644 -p arch/x86/minios-x86_64.lds /home/opam/.opam/5.2.0+flambda2/lib/minios-xen/libminios.lds
- (cd include && find -H . -type d | xargs -I {} install -d -m0755 -p /home/opam/.opam/5.2.0+flambda2/include/minios-xen/{})
- (cd include && find -H . -type f | xargs -I {} install -m0644 -p {} /home/opam/.opam/5.2.0+flambda2/include/minios-xen/{})
- (cd include/xen && find -H . -type d | xargs -I {} install -d -m0755 -p /home/opam/.opam/5.2.0+flambda2/include/minios-xen/xen/{})
- (cd include/xen && find -H . -type f | xargs -I {} install -m0644 -p {} /home/opam/.opam/5.2.0+flambda2/include/minios-xen/xen/{})
- [ -L /home/opam/.opam/5.2.0+flambda2/include/minios-xen/mini-os ] || ln -s . /home/opam/.opam/5.2.0+flambda2/include/minios-xen/mini-os
- install -m0644 -p /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/include/arch_endian.h /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/include/arch_limits.h /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/include/arch_mm.h /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/include/arch_sched.h /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/include/arch_spinlock.h /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/include/os.h /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/include/traps.h /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/include/x86_64/arch_wordsize.h /home/opam/.opam/5.2.0+flambda2/.opam-switch/build/minios-xen.0.9/arch/x86/include/x86_64/hypercall-x86_64.h /home/opam/.opam/5.2.0+flambda2/include/minios-xen/
- install -m0644 -p libminios-xen.pc /home/opam/.opam/5.2.0+flambda2/lib/pkgconfig
-> installed minios-xen.0.9
Done.
# To update the current shell environment, run: eval $(opam env)
2025-11-12 10:02.36 ---> saved as "f9d214f672115fb6bb0527706e0cc41f491e56cf98bac80595499dc458283eef"
Job succeeded
Home|Differences with the last checks|Previous runs