search

mirage / mirage-entropy

Entropy driver for MirageOS -- this has been imported into https://github.com/mirage/mirage-crypto
http://openmirage.org/
BSD 2-Clause "Simplified" License
12 stars 11 forks source link

move to topkg #28

Closed hannesm closed 8 years ago

hannesm commented 8 years ago

I tested this on a Xen machine, and the C flags passed to compile the stub library seem to be ok: 

ocamlfind ocamlc -ccopt -Wpedantic -ccopt -Wall -ccopt '-std=c99' -ccopt -O3 -ccopt -mrdseed -ccopt -mrdrnd -ccopt '-isystem/home/hannes/.opam/canopy/lib/pkgconfig/../../include/minios-xen -isystem/home/hannes/.opam/canopy/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.8/include -U__linux__ -U__FreeBSD__ -U__sun__ -U__linux -D__MINIOS__ -I/home/hannes/.opam/canopy/lib/pkgconfig/../../include/mirage-xen/include -I/home/hannes/.opam/canopy/lib/pkgconfig/../../include/mirage-xen-ocaml/include -I/home/hannes/.opam/canopy/lib/pkgconfig/../../include/mirage-xen-posix/include -I/home/hannes/.opam/canopy/include  ' -c lib/entropy_cpu_xen_stubs.c
mv entropy_cpu_xen_stubs.o lib/entropy_cpu_xen_stubs.o

any opinion on this PR? @samoht maybe? My claim is that it preserves semantics (and will make it easier to add the solo5 stuff)

hannesm commented 8 years ago

tested on xen. objdump of libmirage-entropy-xen_stubs.a does not differ at all, minor differences in mirage-entropy-xen.a