[MirageOS-devel] Error installing io-page

[Jyotsna Prakash <jyotsna.prakash@xxxxxxxxx>]

Hi all,

I'm trying to install mirage and getting this failure with io-page:

$ opam install mirage
The following actions will be performed:
Â- installÂÂ io-page.1.5.1ÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂ [required by mirage]
Â- installÂÂ mirage-types.2.3.0ÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂ [required by mirage]
Â- installÂÂ mirage.2.4.0

=-=- Installing packages =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
Building io-page.1.5.1:
 ./configure --prefix /home/moonlight/.opam/4.02.0 --enable-xen
 make
 make install
[ERROR] The compilation of io-page.1.5.1 failed.
Removing io-page.1.5.1.
 ocamlfind remove io-page


#=== ERROR while installing io-page.1.5.1 =====================================#
# opam-versionÂÂÂÂÂÂÂÂ 1.2.0 (cbe460bcb01aef4150084e627701bd16681bf7cb)
# osÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂ linux
# commandÂÂÂÂÂÂÂÂÂÂÂÂÂ make
# pathÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂ /home/moonlight/.opam/4.02.0/build/io-page.1.5.1
# compilerÂÂÂÂÂÂÂÂÂÂÂÂ 4.02.0
# exit-codeÂÂÂÂÂÂÂÂÂÂÂ 2
# env-fileÂÂÂÂÂÂÂÂÂÂÂÂ /home/moonlight/.opam/4.02.0/build/io-page.1.5.1/io-page-9747-c61e7b.env
# stdout-fileÂÂÂÂÂÂÂÂÂ /home/moonlight/.opam/4.02.0/build/io-page.1.5.1/io-page-9747-c61e7b.out
# stderr-fileÂÂÂÂÂÂÂÂÂ /home/moonlight/.opam/4.02.0/build/io-page.1.5.1/io-page-9747-c61e7b.err
### stdout ###
# ...[truncated]
# /home/moonlight/.opam/4.02.0/bin/ocamlfind ocamlopt -a -cclib -lio_page_unix_stubs lib/io_page_unix.cmx -o lib/io_page_unix.cmxa
# /home/moonlight/.opam/4.02.0/bin/ocamlfind ocamlopt -shared -I lib lib/io_page_unix.cmxa lib/io_page_unix.cmx -o lib/io_page_unix.cmxs
# /home/moonlight/.opam/4.02.0/bin/ocamlfind ocamlc -ccopt -O2 -ccopt '-isystem/home/moonlight/.opam/4.02.0/lib/pkgconfig/../../include/minios-xen -isystem/home/moonlight/.opam/4.02.0/lib/pkgconfig/../../include/minios-xen/posix -m64 -mno-red-zone -fno-reorder-blocks -fno-stack-protector -fno-asynchronous-unwind-tables -nostdinc -isystem /usr/lib/gcc/x86_64-unknown-linux-gnu/4.9.2/include -U__linux__ -U__FreeBSD__ -U__sun__ -U__linux -D__MINIOS__ -I/home/moonlight/.opam/4.02.0/lib/pkgconfig/../../include/mirage-xen-ocaml/include -I/home/moonlight/.opam/4.02.0/lib/pkgconfig/../../include/mirage-xen-posix/include -I/home/moonlight/.opam/4.02.0/include ' -c lib/stub_alloc_pages_xen.c
# + /home/moonlight/.opam/4.02.0/bin/ocamlfind ocamlc -ccopt -O2 -ccopt '-isystem/home/moonlight/.opam/4.02.0/lib/pkgconfig/../../include/minios-xen -isystem/home/moonlight/.opam/4.02.0/lib/pkgconfig/../../include/minios-xen/posix -m64 -mno-red-zone -fno-reorder-blocks -fno-stack-protector -fno-asynchronous-unwind-tables -nostdinc -isystem /usr/lib/gcc/x86_64-unknown-linux-gnu/4.9.2/include -U__linux__ -U__FreeBSD__ -U__sun__ -U__linux -D__MINIOS__ -I/home/moonlight/.opam/4.02.0/lib/pkgconfig/../../include/mirage-xen-ocaml/include -I/home/moonlight/.opam/4.02.0/lib/pkgconfig/../../include/mirage-xen-posix/include -I/home/moonlight/.opam/4.02.0/include ' -c lib/stub_alloc_pages_xen.c
# In file included from /home/moonlight/.opam/4.02.0/include/minios-xen/os.h:15:0,
#ÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂÂ from lib/stub_alloc_pages_xen.c:19:
# /home/moonlight/.opam/4.02.0/include/minios-xen/types.h:22:20: fatal error: stddef.h: No such file or directory
# compilation terminated.
# Command exited with code 2.
# Makefile:9: recipe for target 'build' failed
### stderr ###
# E: Failure("Command ''/home/moonlight/.opam/4.02.0/bin/ocamlbuild' lib/io_page.cma lib/io_page.cmxa lib/io_page.a lib/io_page.cmxs lib/libio_page_unix_stubs.a lib/dllio_page_unix_stubs.so lib/io_page_unix.cma lib/io_page_unix.cmxa lib/io_page_unix.a lib/io_page_unix.cmxs lib/libio_page_xen_stubs.a lib/dllio_page_xen_stubs.so lib/io_page_xen.cma lib/io_page_xen.cmxa lib/io_page_xen.a lib/io_page_xe...[truncated]
# make: *** [build] Error 1


Not sure if this is the issue, but I do not have this directory on my system:
/usr/lib/gcc/x86_64-unknown-linux-gnu/4.9.2/include

However I do have the file:
/usr/lib/gcc/x86_64-unknown-linux-gnu/5.1.0/include/stddef.h


I appreciate your help!

Thanks,
Jyotsna

_______________________________________________
MirageOS-devel mailing list
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel