checking compilation with  -I/tmp/cirrus-ci-build/mirage/_build/default/duniverse/Zarith/../../../install/default/lib/gmp/: working
include caml/mlvalues.h: found
library dynlink.cmxa: found
binary ocamlfind: found in /.opam/4.14.2/bin
OCaml's word size is 64
package gmp: found
OCaml supports -bin-annot to produce documentation

detected configuration:

  native-code:          yes
  dynamic linking:      yes
  defines:              -DHAS_GMP 
  includes:             -I/.opam/4.14.2/lib/ocaml -I/tmp/cirrus-ci-build/mirage/_build/default/duniverse/Zarith/../../../install/default/lib/gmp/ -I/usr/local/include
  libraries:             -L/usr/local/lib -lgmp
  linker options:       -L/tmp/cirrus-ci-build/mirage/_build/default/duniverse/Zarith/../../../install/default/lib/gmp/
  C options:            -I/tmp/cirrus-ci-build/mirage/_build/default/duniverse/Zarith/../../../install/default/lib/gmp/
  installation path:    /.opam/4.14.2/lib
  installation method   findlib

configuration successful!
now type "make" to build
then type "make install" or "sudo make install" to install
(cd _build/solo5/duniverse/ca-certs-nss/lib && ../../../../install/default/bin/extract-from-certdata certdata.txt --output trust_anchor.ml)
extract-from-certdata: [WARNING] Untrusted certificate "Explicitly Distrust DigiNotar Root CA" (serial 02100fffffffffffffffffffffffffffffff)
(cd _build/solo5 && /.opam/4.14.2/solo5-sysroot/bin/ocamlc -w -40 -g -bin-annot -I .main.eobjs/byte -I duniverse/Zarith/.zarith.objs/byte -I duniverse/angstrom/lib/.angstrom.objs/byte -I duniverse/arp/mirage/.arp_mirage.objs/byte -I duniverse/arp/src/.arp.objs/byte -I duniverse/bheap/.binary_heap.objs/byte -I duniverse/bigstringaf/lib/.bigstringaf.objs/byte -I duniverse/ca-certs-nss/lib/.ca_certs_nss.objs/byte -I duniverse/charrua/lib/.dhcp_wire.objs/byte -I duniverse/charrua/server/.dhcp_server.objs/public_cmi -I duniverse/cmdliner-stdlib/lib/.cmdliner_stdlib.objs/byte -I duniverse/cmdliner/src/.cmdliner.objs/byte -I duniverse/digestif/src-c/.digestif_c.objs/public_cmi -I duniverse/dnsvizor/src/.dnsvizor.objs/byte -I duniverse/domain-name/.domain_name.objs/byte -I duniverse/duration/.duration.objs/byte -I duniverse/eqaf/lib/.eqaf.objs/byte -I duniverse/ethernet/src/.ethernet.objs/byte -I duniverse/fmt/src/.fmt.objs/byte -I duniverse/gmap/.gmap.objs/byte -I duniverse/happy-eyeballs/mirage/.happy_eyeballs_mirage.objs/byte -I duniverse/happy-eyeballs/src/.happy_eyeballs.objs/byte -I duniverse/kdf/hkdf/.hkdf.objs/byte -I duniverse/kdf/pbkdf/.pbkdf.objs/byte -I duniverse/logs/src/.logs.objs/byte -I duniverse/logs/src/.logs_fmt.objs/byte -I duniverse/lru/src/.lru.objs/byte -I duniverse/lwt-dllist/src/.lwt_dllist.objs/byte -I duniverse/lwt/src/core/.lwt.objs/byte -I duniverse/metrics/src/core/.metrics.objs/byte -I duniverse/metrics/src/lwt/.metrics_lwt.objs/byte -I duniverse/mirage-bootvar/lib/.mirage_bootvar.objs/byte -I duniverse/mirage-bootvar/parse_argv/.mirage_bootvar_parse_argv.objs/byte -I duniverse/mirage-bootvar/solo5/.mirage_bootvar_solo5.objs/byte -I duniverse/mirage-clock/solo5/.mirage_clock_solo5.objs/byte -I duniverse/mirage-clock/src/.mirage_clock.objs/byte -I duniverse/mirage-crypto/ec/.mirage_crypto_ec.objs/byte -I duniverse/mirage-crypto/pk/.mirage_crypto_pk.objs/public_cmi -I duniverse/mirage-crypto/rng/.mirage_crypto_rng.objs/public_cmi -I duniverse/mirage-crypto/rng/mirage/.mirage_crypto_rng_mirage.objs/byte -I duniverse/mirage-crypto/src/.mirage_crypto.objs/public_cmi -I duniverse/mirage-flow/src/.mirage_flow.objs/byte -I duniverse/mirage-kv/src/.mirage_kv.objs/byte -I duniverse/mirage-logs/src/.mirage_logs.objs/byte -I duniverse/mirage-net-solo5/src/.netif.objs/byte -I duniverse/mirage-net/src/.mirage_net.objs/byte -I duniverse/mirage-solo5/lib/.solo5_os.objs/public_cmi -I duniverse/mirage-tcpip/src/core/.tcpip.objs/byte -I duniverse/mirage-tcpip/src/icmp/.tcpip_icmpv4.objs/byte -I duniverse/mirage-tcpip/src/ipv4/.tcpip_ipv4.objs/byte -I duniverse/mirage-tcpip/src/ipv6/.tcpip_ipv6.objs/byte -I duniverse/mirage-tcpip/src/stack-direct/.tcpip_stack_direct.objs/byte -I duniverse/mirage-tcpip/src/tcp/.tcp.objs/byte -I duniverse/mirage-tcpip/src/tcpip_checksum/.tcpip_checksum.objs/byte -I duniverse/mirage-tcpip/src/udp/.tcpip_udpv4.objs/byte -I duniverse/mirage-time/src/.mirage_time.objs/byte -I duniverse/mirage/lib_runtime/.mirage_runtime.objs/byte -I duniverse/mirage/lib_runtime/.mirage_runtime_network.objs/byte -I duniverse/mirage/lib_runtime/functoria/.functoria_runtime.objs/byte -I duniverse/ocaml-asn1-combinators/src/.asn1_combinators.objs/public_cmi -I duniverse/ocaml-base64/src/.base64.objs/byte -I duniverse/ocaml-cstruct/lib/.cstruct.objs/byte -I duniverse/ocaml-dns/cache/.dns_cache.objs/byte -I duniverse/ocaml-dns/client/.dns_client.objs/byte -I duniverse/ocaml-dns/dnssec/.dnssec.objs/byte -I duniverse/ocaml-dns/mirage/.dns_mirage.objs/byte -I duniverse/ocaml-dns/mirage/client/.dns_client_mirage.objs/byte -I duniverse/ocaml-dns/mirage/resolver/.dns_resolver_mirage.objs/byte -I duniverse/ocaml-dns/mirage/stub/.dns_stub_mirage.objs/byte -I duniverse/ocaml-dns/resolver/.dns_resolver.objs/byte -I duniverse/ocaml-dns/server/.dns_server.objs/byte -I duniverse/ocaml-dns/src/.dns.objs/byte -I duniverse/ocaml-dns/tsig/.dns_tsig.objs/byte -I duniverse/ocaml-ipaddr/lib/.ipaddr.objs/byte -I duniverse/ocaml-ipaddr/lib/.ipaddr_cstruct.objs/byte -I duniverse/ocaml-ipaddr/lib/.ipaddr_sexp.objs/byte -I duniverse/ocaml-ipaddr/lib/.macaddr.objs/byte -I duniverse/ocaml-ipaddr/lib/.macaddr_cstruct.objs/byte -I duniverse/ocaml-ipaddr/lib/.macaddr_sexp.objs/byte -I duniverse/ocaml-tls/lib/.tls.objs/byte -I duniverse/ocaml-tls/mirage/.tls_mirage.objs/byte -I duniverse/ocaml-x509/lib/.x509.objs/public_cmi -I duniverse/ohex/.ohex.objs/byte -I duniverse/optint/src/.optint.objs/byte -I duniverse/parsexp/src/.parsexp.objs/byte -I duniverse/ppx_sexp_conv/runtime-lib/.ppx_sexp_conv_lib.objs/byte -I duniverse/psq/src/.psq.objs/byte -I duniverse/ptime/src/.ptime.objs/byte -I duniverse/randomconv/.randomconv.objs/byte -I duniverse/seq/src/.seq.objs/byte -I duniverse/sexplib/src/.sexplib.objs/byte -I duniverse/sexplib0/src/.sexplib0.objs/byte -no-alias-deps -open Dune__exe -o .main.eobjs/byte/dune__exe__Unikernel.cmo -c -impl unikernel.ml)
File "unikernel.ml", line 49, characters 48-77:
49 |       Arg.info ~doc:"Enable DHCP server." ~docv:Config_parser.dhcp_range_docv
                                                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Error: Unbound value Config_parser.dhcp_range_docv
Hint: Did you mean dhcp_range_c?
(cd _build/default/duniverse/menhir/src/stage2 && .bin/menhir --exn-carries-state --no-pager --require-aliases --strict parser.mly --compare-errors parserMessages.auto.messages --compare-errors parserMessages.messages) > _build/default/duniverse/menhir/src/stage2/parserMessages.check
Read 99 sample input sentences and 99 error messages.
Read 99 sample input sentences and 47 error messages.
(cd _build/default && duniverse/menhir/src/stage2/.bin/menhir --exn-carries-state --no-pager --require-aliases --strict -lg 1 -la 1 -lc 1 -v duniverse/menhir/src/stage2/parser.mly --base duniverse/menhir/src/stage2/parser --infer-read-reply duniverse/menhir/src/stage2/parser__mock.mli.inferred)
Grammar has 56 nonterminal symbols, among which 1 start symbols.
Grammar has 37 terminal symbols.
Grammar has 129 productions.
Built an LR(0) automaton with 199 states.
The grammar is not SLR(1) -- 7 states have a conflict.
The construction mode is no-pager.
Built an LR(1) automaton with 308 states.
One shift/reduce conflict was silently solved.
Extra reductions on error were added in 50 states.
Priority played a role in 0 of these states.
156 out of 308 states have a default reduction.
108 out of 308 states are represented.
44 out of 96 symbols keep track of their start position.
39 out of 96 symbols keep track of their end position.
The StackLang code contains 4113 instructions in 277 blocks.
The StackLang code comprises 5 mutually recursive groups.
(cd _build/default/duniverse/menhir/src/stage2 && .bin/menhir --exn-carries-state --no-pager --require-aliases --strict parser.mly --compile-errors parserMessages.messages) > _build/default/duniverse/menhir/src/stage2/parserMessages.ml
Read 99 sample input sentences and 47 error messages.
gmake: *** [Makefile:56: build] Error 1

Exit status: 2