Hi Thomas, Reinstalling mirage-xen-minios did the trick. Thank you very much.
- Jyotsna On Tue, Jun 2, 2015 at 12:04 PM, Thomas Leonard <[email protected]> wrote: > On 2 June 2015 at 18:56, Jyotsna Prakash <[email protected]> > wrote: > > 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 > > Hi Jyotsna, > > You might need to reinstall "mirage-xen-minios", if the compiler you > originally built it with is no longer available. > > It would be nice if it handled this automatically, but gcc doesn't > seem to include a pkg-config file, so it would mean putting the > detection logic in every package, I think. > > > -- > Dr Thomas Leonard http://roscidus.com/blog/ > GPG: DA98 25AE CAD0 8975 7CDA BD8E 0713 3F96 CA74 D8BA >
_______________________________________________ MirageOS-devel mailing list [email protected] http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel
