Skip to content

use mirage-no-xen for nocrypto as well#74

Merged
samoht merged 2 commits intomirage:masterfrom
hannesm:nocrypto-no-xen
May 5, 2015
Merged

use mirage-no-xen for nocrypto as well#74
samoht merged 2 commits intomirage:masterfrom
hannesm:nocrypto-no-xen

Conversation

@hannesm
Copy link
Copy Markdown
Member

@hannesm hannesm commented May 5, 2015

No description provided.

@hannesm hannesm mentioned this pull request May 5, 2015
14 tasks
@samoht
Copy link
Copy Markdown
Member

samoht commented May 5, 2015

Hum, need to add the magic invocations for compiling entropy-xen:

#=== ERROR while installing mirage-entropy-xen.0.3.0 ==========================#
# opam-version 1.2.1
# os           linux
# command      make
# path         /home/travis/.opam/system/build/mirage-entropy-xen.0.3.0
# compiler     system (4.01.0)
# exit-code    2
# env-file     /home/travis/.opam/system/build/mirage-entropy-xen.0.3.0/mirage-entropy-xen-7225-110000.env
# stdout-file  /home/travis/.opam/system/build/mirage-entropy-xen.0.3.0/mirage-entropy-xen-7225-110000.out
# stderr-file  /home/travis/.opam/system/build/mirage-entropy-xen.0.3.0/mirage-entropy-xen-7225-110000.err
### stdout ###
# ocaml setup.ml -build 
# ocamlfind ocamlopt unix.cmxa -I /usr/lib/ocaml/ocamlbuild /usr/lib/ocaml/ocamlbuild/ocamlbuildlib.cmxa -linkpkg myocamlbuild.ml /usr/lib/ocaml/ocamlbuild/ocamlbuild.cmx -o myocamlbuild
# /home/travis/.opam/system/bin/ocamlfind ocamlc -ccopt -O3 -ccopt '-std=c99' -ccopt -Wall -ccopt -Wpedantic -ccopt '-isystem/home/travis/.opam/system/lib/pkgconfig/../../include/minios-xen -isystem/home/travis/.opam/system/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-linux-gnu/4.6/include -U__linux__ -U__FreeBSD__ -U__sun__ -U__linux -D__MINIOS__ -I/home/travis/.opam/system/lib/pkgconfig/../../include/mirage-xen/include -I/home/travis/.opam/system/lib/pkgconfig/../../include/mirage-xen-ocaml/include -I/home/travis/.opam/system/lib/pkgconfig/../../include/mirage-xen-posix/include -I/home/travis/.opam/system/include  ' -ccopt -mrdrnd -ccopt -mrdseed -c lib/entropy_cpu_xen_stubs.c
# + /home/travis/.opam/system/bin/ocamlfind ocamlc -ccopt -O3 -ccopt '-std=c99' -ccopt -Wall -ccopt -Wpedantic -ccopt '-isystem/home/travis/.opam/system/lib/pkgconfig/../../include/minios-xen -isystem/home/travis/.opam/system/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-linux-gnu/4.6/include -U__linux__ -U__FreeBSD__ -U__sun__ -U__linux -D__MINIOS__ -I/home/travis/.opam/system/lib/pkgconfig/../../include/mirage-xen/include -I/home/travis/.opam/system/lib/pkgconfig/../../include/mirage-xen-ocaml/include -I/home/travis/.opam/system/lib/pkgconfig/../../include/mirage-xen-posix/include -I/home/travis/.opam/system/include  ' -ccopt -mrdrnd -ccopt -mrdseed -c lib/entropy_cpu_xen_stubs.c
# cc1: error: unrecognized command line option ‘-mrdseed’
# cc1: error: unrecognized command line option ‘-Wpedantic’
# Command exited with code 2.
### stderr ###
# E: Failure("Command ''/usr/bin/ocamlbuild' lib/libmirage-entropy-xen_stubs.a lib/dllmirage-entropy-xen_stubs.so lib/mirage-entropy-xen.cma lib/mirage-entropy-xen.cmxa lib/mirage-entropy-xen.a lib/mirage-entropy-xen.cmxs -use-ocamlfind -tag debug' terminated with error code 10")
# make: *** [build] Error 1

@samoht
Copy link
Copy Markdown
Member

samoht commented May 5, 2015

The travis script should also probably try to compile mirage-skeleton both in unix and xen modes.

samoht added a commit that referenced this pull request May 5, 2015
use mirage-no-xen for nocrypto as well
@samoht samoht merged commit 27ab22f into mirage:master May 5, 2015
@samoht
Copy link
Copy Markdown
Member

samoht commented May 5, 2015

Thanks!

@hannesm hannesm deleted the nocrypto-no-xen branch May 6, 2015 07:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants