OCamllabs icon Home|Differences with the last checks|Previous runs


Building on x86-bm-11.ocamllabs.io

(from ocurrent/opam:debian-unstable)
WARNING: Error loading config file: .dockercfg: $HOME is not defined
2021-07-04 03:34.24 ---> using "ec5d5faa8619574bfe663422158251f52f4b465bd9d157e348e692194b4f4a2a" from cache

/: (user (uid 1000) (gid 1000))

/: (env OPAMPRECISETRACKING 1)

/: (env OPAMDEPEXTYES 1)

/: (env OPAMUTF8 never)

/: (run (network host)
        (shell  "\
               \n        set -e\
               \n        git clone -q git://github.com/kit-ty-kate/opam.git /tmp/opam\
               \n        git -C /tmp/opam checkout -q '72695bfac80dbcd1d2f10287b2626d18d4acc9f2'\
               \n        opam remote set-url default git://github.com/ocaml/opam-repository.git\
               \n        opam pin add -yn /tmp/opam > /dev/null\
               \n        opam install -y opam-devel opam-0install-cudf 'ocamlfind>=1.9'\
               \n        sudo mv \"$(opam var opam-devel:lib)/opam\" /usr/bin/opam\
               \n        rm -rf /tmp/opam /tmp/depext.txt ~/.opam\
               \n        if ! test -d ~/opam-repository; then\
               \n          git clone -q git://github.com/ocaml/opam-repository.git ~/opam-repository\
               \n        else\
               \n          git -C ~/opam-repository pull -q origin master\
               \n        fi\
               \n        git -C ~/opam-repository checkout -q '9c3fe9d253394788e95360e5c2bcb22722fae6f5'\
               \n      "))
[default] Initialised

<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>
[opam-devel.2.1.0~beta4] no changes from git+file:///tmp/opam#HEAD

The following actions will be performed:
  - install ocamlfind          1.9.1
  - install seq                base         [required by re]
  - install cmdliner           1.0.4        [required by opam-devel]
  - install dune               2.9.0        [required by opam-0install-cudf, opam-devel]
  - install ocamlbuild         0.14.0       [required by cudf]
  - install base-bytes         base         [required by extlib]
  - install stdlib-shims       0.3.0        [required by ocamlgraph]
  - install re                 1.9.0        [required by opam-client]
  - install opam-file-format   2.1.3        [required by opam-format]
  - install cppo               1.6.7        [required by extlib]
  - install 0install-solver    2.17         [required by opam-0install-cudf]
  - install ocamlgraph         2.0.0        [required by dose3]
  - install extlib             1.7.7-1      [required by cudf, opam-client]
  - install opam-core          2.1.0~beta4* [required by opam-format]
  - install cudf               0.9-1        [required by opam-0install-cudf]
  - install opam-format        2.1.0~beta4* [required by opam-repository, opam-solver]
  - install opam-0install-cudf 0.4.2
  - install mccs               1.1+13       [required by opam-solver]
  - install dose3              5.0.1-1      [required by opam-solver]
  - install opam-repository    2.1.0~beta4* [required by opam-client]
  - install opam-solver        2.1.0~beta4* [required by opam-client]
  - install opam-state         2.1.0~beta4* [required by opam-client]
  - install opam-client        2.1.0~beta4* [required by opam-devel]
  - install opam-devel         2.1.0~beta4*
===== 24 to install =====

<><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
[cmdliner.1.0.4] downloaded from http://erratique.ch/software/cmdliner/releases/cmdliner-1.0.4.tbz
[0install-solver.2.17] downloaded from https://github.com/0install/0install/releases/download/v2.17/0install-v2.17.tbz
[cppo.1.6.7] downloaded from https://github.com/ocaml-community/cppo/releases/download/v1.6.7/cppo-v1.6.7.tbz
[cudf.0.9-1] downloaded from https://gforge.inria.fr/frs/download.php/36602/cudf-0.9.tar.gz
[dose3.5.0.1-1] downloaded from https://gforge.inria.fr/frs/download.php/file/36063/dose3-5.0.1.tar.gz
[dune.2.9.0] downloaded from https://github.com/ocaml/dune/releases/download/2.9.0/dune-2.9.0.tbz
[extlib.1.7.7-1] downloaded from https://ygrek.org/p/release/ocaml-extlib/extlib-1.7.7.tar.gz
[mccs.1.1+13] downloaded from https://github.com/AltGr/ocaml-mccs/archive/1.1+13.tar.gz
[ocamlbuild.0.14.0] downloaded from https://github.com/ocaml/ocamlbuild/archive/0.14.0.tar.gz
[ocamlfind.1.9.1] downloaded from http://download.camlcity.org/download/findlib-1.9.1.tar.gz
[ocamlgraph.2.0.0] downloaded from https://github.com/backtracking/ocamlgraph/releases/download/2.0.0/ocamlgraph-2.0.0.tbz
[opam-0install-cudf.0.4.2] downloaded from https://github.com/ocaml-opam/opam-0install-solver/releases/download/v0.4.2/opam-0install-cudf-v0.4.2.tbz
[opam-file-format.2.1.3] downloaded from https://github.com/ocaml/opam-file-format/archive/2.1.3.tar.gz
[re.1.9.0] downloaded from https://github.com/ocaml/ocaml-re/releases/download/1.9.0/re-1.9.0.tbz
[stdlib-shims.0.3.0] downloaded from https://github.com/ocaml/stdlib-shims/releases/download/0.3.0/stdlib-shims-0.3.0.tbz

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed seq.base
-> installed cmdliner.1.0.4
-> installed ocamlfind.1.9.1
-> installed base-bytes.base
-> installed ocamlbuild.0.14.0
-> installed dune.2.9.0
-> installed stdlib-shims.0.3.0
-> installed 0install-solver.2.17
-> installed cppo.1.6.7
-> installed opam-file-format.2.1.3
-> installed re.1.9.0
-> installed ocamlgraph.2.0.0
-> installed extlib.1.7.7-1
-> installed opam-core.2.1.0~beta4
-> installed cudf.0.9-1
-> installed opam-0install-cudf.0.4.2
-> installed mccs.1.1+13
-> installed opam-format.2.1.0~beta4
-> installed opam-repository.2.1.0~beta4
-> installed dose3.5.0.1-1
-> installed opam-solver.2.1.0~beta4
-> installed opam-state.2.1.0~beta4
-> installed opam-client.2.1.0~beta4
-> installed opam-devel.2.1.0~beta4
Done.

<><> opam-devel.2.1.0~beta4 installed successfully ><><><><><><><><><><><><><><>
=> The development version of opam has been successfully compiled into /home/opam/.opam/4.11/lib/opam-devel. You should not run it from there, please install the binaries to your PATH, e.g. with
       sudo cp /home/opam/.opam/4.11/lib/opam-devel/opam /usr/local/bin

   If you just want to give it a try without altering your current installation, you could use instead:
       alias opam2="OPAMROOT=~/.opam2 /home/opam/.opam/4.11/lib/opam-devel/opam"
# Run eval $(opam env) to update the current shell environment
Updating files:  97% (11933/12211)
Updating files:  98% (11967/12211)
Updating files:  99% (12089/12211)
Updating files: 100% (12211/12211)
Updating files: 100% (12211/12211), done.
2021-07-04 03:34.24 ---> using "307be9aa5cdafafceded4bdc6f1d2d6cc6421661c3851f395cf39dd0065265a9" from cache

/: (env OPAMEXTERNALSOLVER builtin-0install)

/: (env OPAMCRITERIA +removed)

/: (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.
[NOTE] Make sure that ~/.profile is well sourced in your ~/.bashrc.

2021-07-04 03:34.24 ---> using "f9d18559158c26cb0236b11f8c3f1aca1927d54f77b8b978800f7461ab605d60" from cache

/: (run (network host)
        (shell "git clone -q 'git://github.com/ocaml/ocaml-beta-repository.git' ~/'beta' && git -C ~/'beta' checkout -q 79aeeadd813bdae424ab53f882f08bee0a4e0b89"))
2021-07-04 03:34.24 ---> using "0123e084a7b7841fc01d674ea3cc62b640a19885601c401c0149be13108a5da4" from cache

/: (run (shell "opam repository add --dont-select 'beta' ~/'beta'"))
[beta] Initialised
2021-07-04 03:34.24 ---> using "4382217c65ee8c899c1e38e76fe879b949ffb708f73e6e0a95f0a3814d01dd54" from cache

/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
        (network host)
        (shell "opam switch create --repositories=beta,default 4.13.0+trunk"))

<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-variants" {= "4.13.0+trunk"}]

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> retrieved ocaml-variants.4.13.0+trunk  (https://github.com/ocaml/ocaml/archive/4.13.tar.gz)
-> installed ocaml-variants.4.13.0+trunk
-> installed ocaml-config.2
-> installed ocaml.4.13.0
Done.
# Run eval $(opam env --switch=4.13.0+trunk) to update the current shell environment
2021-07-04 03:34.24 ---> using "fb997f888fe949f951315626b9b99953f30da0e1ee5f3958816c999a85f28f8c" from cache

/: (run (network host)
        (shell "opam update --depexts"))
+ /usr/bin/sudo "apt-get" "update"
- Get:1 http://deb.debian.org/debian unstable InRelease [161 kB]
- Get:2 http://deb.debian.org/debian unstable/main amd64 Packages.diff/Index [63.6 kB]
- Ign:2 http://deb.debian.org/debian unstable/main amd64 Packages.diff/Index
- Get:3 http://deb.debian.org/debian unstable/main amd64 Packages [8640 kB]
- Fetched 8865 kB in 2s (4955 kB/s)
- Reading package lists...
- 
2021-07-04 03:34.24 ---> using "9aeebbbc20e6e9e4a2bbbfab3b9ebc9898081e708ec802b0eae25d96174a2cc8" from cache

/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
        (network host)
        (shell  "\
               \nopam remove -y \"minios-xen.0.7\"\
               \nopam install -vy \"minios-xen.0.7\"\
               \nres=$?\
               \nif [ $res = 31 ]; then\
               \n    if opam show -f x-ci-accept-failures: \"minios-xen.0.7\" | 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\
               \n"))
[NOTE] minios-xen.0.7 is not installed.

Nothing to do.
The following actions will be performed:
  - install conf-perl      1   [required by minios-xen]
  - install conf-findutils 1   [required by minios-xen]
  - install minios-xen     0.7
===== 3 to install =====

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing  3/9:
Processing  4/9: [conf-findutils: sh find . -name .]
Processing  5/9: [conf-findutils: sh find . -name .] [conf-perl: perl]
-> retrieved minios-xen.0.7  (cached)
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "sh" "-exc" "find . -name ." (CWD=/home/opam/.opam/4.13.0+trunk/.opam-switch/build/conf-findutils.1)
- + find . -name .
- .
- + find . -name .
- .
-> compiled  conf-findutils.1
Processing  5/9: [conf-perl: perl]
-> installed conf-findutils.1
Processing  6/9: [conf-perl: perl]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "perl" "--version" (CWD=/home/opam/.opam/4.13.0+trunk/.opam-switch/build/conf-perl.1)
- 
- This is perl 5, version 30, subversion 3 (v5.30.3) built for x86_64-linux-gnu-thread-multi
- (with 50 registered patches, see perl -V for more detail)
- 
- Copyright 1987-2020, 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 http://www.perl.org/, the Perl Home Page.
- 
-> compiled  conf-perl.1
-> installed conf-perl.1
Processing  8/9: [minios-xen: make]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "debug=n" (CWD=/home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7)
- 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/10/include -fno-builtin -Wall -Werror -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/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/include -D__MINIOS__ -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205  -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/include -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/include/x86_64 -c blkfront.c -o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/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/10/include -fno-builtin -Wall -Werror -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/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/include -D__MINIOS__ -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205  -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/include -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/include/x86_64 -c events.c -o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/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/10/include -fno-builtin -Wall -Werror -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/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/include -D__MINIOS__ -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205  -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/include -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/include/x86_64 -c fbfront.c -o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/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/10/include -fno-builtin -Wall -Werror -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/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/include -D__MINIOS__ -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205  -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/include -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/include/x86_64 -c gntmap.c -o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/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/10/include -fno-builtin -Wall -Werror -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/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/include -D__MINIOS__ -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205  -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/include -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/include/x86_64 -c gnttab.c -o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/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/10/include -fno-builtin -Wall -Werror -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/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/include -D__MINIOS__ -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205  -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/include -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/include/x86_64 -c hypervisor.c -o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/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/10/include -fno-builtin -Wall -Werror -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/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/include -D__MINIOS__ -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205  -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/include -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/include/x86_64 -c kernel.c -o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/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/10/include -fno-builtin -Wall -Werror -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/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/include -D__MINIOS__ -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205  -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/include -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/include/x86_64 -c lock.c -o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/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/10/include -fno-builtin -Wall -Werror -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/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/include -D__MINIOS__ -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205  -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/include -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/include/x86_64 -c main.c -o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/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/10/include -fno-builtin -Wall -Werror -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/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/include -D__MINIOS__ -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205  -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/include -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/include/x86_64 -c mm.c -o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/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/10/include -fno-builtin -Wall -Werror -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/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/include -D__MINIOS__ -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205  -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/include -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/include/x86_64 -c netfront.c -o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/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/10/include -fno-builtin -Wall -Werror -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/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/include -D__MINIOS__ -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205  -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/include -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/include/x86_64 -c sched.c -o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/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/10/include -fno-builtin -Wall -Werror -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/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/include -D__MINIOS__ -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205  -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/include -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/include/x86_64 -c lib/ctype.c -o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/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/10/include -fno-builtin -Wall -Werror -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/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/include -D__MINIOS__ -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205  -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/include -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/include/x86_64 -c lib/math.c -o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/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/10/include -fno-builtin -Wall -Werror -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/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/include -D__MINIOS__ -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205  -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/include -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/include/x86_64 -c lib/printf.c -o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/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/10/include -fno-builtin -Wall -Werror -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/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/include -D__MINIOS__ -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205  -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/include -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/include/x86_64 -c lib/stack_chk_fail.c -o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/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/10/include -fno-builtin -Wall -Werror -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/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/include -D__MINIOS__ -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205  -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/include -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/include/x86_64 -c lib/string.c -o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/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/10/include -fno-builtin -Wall -Werror -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/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/include -D__MINIOS__ -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205  -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/include -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/include/x86_64 -c lib/memmove.c -o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/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/10/include -fno-builtin -Wall -Werror -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/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/include -D__MINIOS__ -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205  -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/include -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/include/x86_64 -c lib/sys.c -o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/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/10/include -fno-builtin -Wall -Werror -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/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/include -D__MINIOS__ -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205  -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/include -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/include/x86_64 -c lib/assert.c -o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/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/10/include -fno-builtin -Wall -Werror -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/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/include -D__MINIOS__ -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205  -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/include -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/include/x86_64 -c lib/xmalloc.c -o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/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/10/include -fno-builtin -Wall -Werror -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/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/include -D__MINIOS__ -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205  -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/include -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/include/x86_64 -c lib/xs.c -o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/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/10/include -fno-builtin -Wall -Werror -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/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/include -D__MINIOS__ -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205  -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/include -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/include/x86_64 -c xenbus/xenbus.c -o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/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/10/include -fno-builtin -Wall -Werror -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/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/include -D__MINIOS__ -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205  -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/include -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/include/x86_64 -c console/console.c -o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/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/10/include -fno-builtin -Wall -Werror -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/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/include -D__MINIOS__ -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205  -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/include -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/include/x86_64 -c console/xencons_ring.c -o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/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/10/include -fno-builtin -Wall -Werror -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/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/include -D__MINIOS__ -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205  -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/include -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/include/x86_64 -c console/xenbus.c -o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/console/xenbus.o
- make --directory=arch/x86 OBJ_DIR=/home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86 || exit 1;
- make[1]: Entering directory '/home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86'
- cc -nostdinc -isystem /usr/lib/gcc/x86_64-linux-gnu/10/include -fno-builtin -Wall -Werror -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/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/../../include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205  -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/../../arch/x86/include -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/../../arch/x86/include/x86_64 -c events.c -o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/events.o
- cc -nostdinc -isystem /usr/lib/gcc/x86_64-linux-gnu/10/include -fno-builtin -Wall -Werror -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/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/../../include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205  -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/../../arch/x86/include -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/../../arch/x86/include/x86_64 -c ioremap.c -o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/ioremap.o
- cc -nostdinc -isystem /usr/lib/gcc/x86_64-linux-gnu/10/include -fno-builtin -Wall -Werror -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/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/../../include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205  -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/../../arch/x86/include -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/../../arch/x86/include/x86_64 -c iorw.c -o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/iorw.o
- cc -nostdinc -isystem /usr/lib/gcc/x86_64-linux-gnu/10/include -fno-builtin -Wall -Werror -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/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/../../include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205  -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/../../arch/x86/include -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/../../arch/x86/include/x86_64 -c mm.c -o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/mm.o
- cc -nostdinc -isystem /usr/lib/gcc/x86_64-linux-gnu/10/include -fno-builtin -Wall -Werror -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/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/../../include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205  -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/../../arch/x86/include -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/../../arch/x86/include/x86_64 -c sched.c -o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/sched.o
- cc -nostdinc -isystem /usr/lib/gcc/x86_64-linux-gnu/10/include -fno-builtin -Wall -Werror -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/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/../../include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205  -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/../../arch/x86/include -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/../../arch/x86/include/x86_64 -c setup.c -o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/setup.o
- cc -nostdinc -isystem /usr/lib/gcc/x86_64-linux-gnu/10/include -fno-builtin -Wall -Werror -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/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/../../include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205  -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/../../arch/x86/include -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/../../arch/x86/include/x86_64 -c time.c -o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/time.o
- cc -nostdinc -isystem /usr/lib/gcc/x86_64-linux-gnu/10/include -fno-builtin -Wall -Werror -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/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/../../include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205  -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/../../arch/x86/include -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/../../arch/x86/include/x86_64 -c traps.c -o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/traps.o
- cc -D__ASSEMBLY__ -m64 -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/../../include -D__MINIOS__ -D__XEN_INTERFACE_VERSION__=0x00030205  -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/../../arch/x86/include -isystem /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/../../arch/x86/include/x86_64 -c x86_64.S -o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/x86_64.o
- ar rv /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/libx86_64.a /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/events.o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/ioremap.o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/iorw.o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/mm.o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/sched.o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/setup.o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/time.o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/traps.o
- ar: creating /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/libx86_64.a
- a - /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/events.o
- a - /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/ioremap.o
- a - /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/iorw.o
- a - /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/mm.o
- a - /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/sched.o
- a - /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/setup.o
- a - /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/time.o
- a - /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/traps.o
- make[1]: Leaving directory '/home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86'
- ld -r  -m elf_x86_64 -lx86_64 -Larch/x86 /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/x86_64.o  /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/blkfront.o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/events.o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/fbfront.o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/gntmap.o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/gnttab.o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/hypervisor.o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/kernel.o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/lock.o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/main.o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/mm.o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/netfront.o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/sched.o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/lib/ctype.o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/lib/math.o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/lib/printf.o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/lib/stack_chk_fail.o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/lib/string.o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/lib/memmove.o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/lib/sys.o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/lib/assert.o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/lib/xmalloc.o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/lib/xs.o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/xenbus/xenbus.o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/console/console.o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/console/xencons_ring.o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/console/xenbus.o -L/home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86 -lx86_64  -o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/mini-os.o
- objcopy -w -G xenos_* -G _start /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/mini-os.o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/mini-os.o
- ld  -m elf_x86_64 -lx86_64 -Larch/x86 -T arch/x86/minios-x86_64.lds /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/mini-os.o  -o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/mini-os
- gzip -f -9 -c /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/mini-os >/home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/mini-os.gz
-> compiled  minios-xen.0.7
Processing  9/9: [minios-xen: make install]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "install" "LIBDIR=/home/opam/.opam/4.13.0+trunk/lib" "INCLUDEDIR=/home/opam/.opam/4.13.0+trunk/include" (CWD=/home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7)
- make --directory=arch/x86 OBJ_DIR=/home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86 || exit 1;
- make[1]: Entering directory '/home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86'
- make[1]: Nothing to be done for 'all'.
- make[1]: Leaving directory '/home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86'
- rm -f libminios.a
- ar rcs libminios.a  /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/blkfront.o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/events.o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/fbfront.o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/gntmap.o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/gnttab.o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/hypervisor.o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/kernel.o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/lock.o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/main.o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/mm.o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/netfront.o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/sched.o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/lib/ctype.o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/lib/math.o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/lib/printf.o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/lib/stack_chk_fail.o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/lib/string.o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/lib/memmove.o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/lib/sys.o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/lib/assert.o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/lib/xmalloc.o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/lib/xs.o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/xenbus/xenbus.o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/console/console.o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/console/xencons_ring.o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/console/xenbus.o /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/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/10/!g' \
-   libminios-xen.pc.in > libminios-xen.pc
- install -d -m0755 -p /home/opam/.opam/4.13.0+trunk/lib/minios-xen
- install -d -m0755 -p /home/opam/.opam/4.13.0+trunk/lib/pkgconfig
- install -d -m0755 -p /home/opam/.opam/4.13.0+trunk/include
- install -d -m0755 -p /home/opam/.opam/4.13.0+trunk/include/minios-xen
- install -m0644 -p libminios.a /home/opam/.opam/4.13.0+trunk/lib/minios-xen
- install -m0644 -p /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/libx86_64.a /home/opam/.opam/4.13.0+trunk/lib/minios-xen
- install -m0644 -p arch/x86/minios-x86_64.lds /home/opam/.opam/4.13.0+trunk/lib/minios-xen/libminios.lds
- (cd include && find -H . -type d | xargs -I {} install -d -m0755 -p /home/opam/.opam/4.13.0+trunk/include/minios-xen/{})
- (cd include && find -H . -type f | xargs -I {} install -m0644 -p {} /home/opam/.opam/4.13.0+trunk/include/minios-xen/{})
- (cd include/xen && find -H . -type d | xargs -I {} install -d -m0755 -p /home/opam/.opam/4.13.0+trunk/include/minios-xen/xen/{})
- (cd include/xen && find -H . -type f | xargs -I {} install -m0644 -p {} /home/opam/.opam/4.13.0+trunk/include/minios-xen/xen/{})
- [ -L /home/opam/.opam/4.13.0+trunk/include/minios-xen/mini-os ] || ln -s . /home/opam/.opam/4.13.0+trunk/include/minios-xen/mini-os
- install -m0644 -p /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/include/arch_endian.h /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/include/arch_limits.h /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/include/arch_mm.h /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/include/arch_sched.h /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/include/arch_spinlock.h /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/include/os.h /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/include/traps.h /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/include/x86_64/arch_wordsize.h /home/opam/.opam/4.13.0+trunk/.opam-switch/build/minios-xen.0.7/arch/x86/include/x86_64/hypercall-x86_64.h /home/opam/.opam/4.13.0+trunk/include/minios-xen/
- install -m0644 -p libminios-xen.pc /home/opam/.opam/4.13.0+trunk/lib/pkgconfig
-> installed minios-xen.0.7
Done.
# Run eval $(opam env) to update the current shell environment
2021-07-04 03:35.04 ---> saved as "28bcfd85543b6c96c152c516202ed49c04c45f5888755c908e0bc4407a721360"
Job succeeded