mirage / checkseum

MIT License

15 stars 13 forks source link

Fix META #41

Closed dinosaure closed 4 years ago

dinosaure commented 4 years ago

39 put a malformed information on the META file. This PR wants to solve that and add a test to see the existence of artifacts needed by MirageOS 3.7 (and follow the same process than `mirage` to get static libraries according the given target).

The test is a bit noisy but it can help to us to test at least, installation of artifacts and if information into the META file are correct - I spend to much time about this kind of error.

hannesm commented 4 years ago

oops, sorry. this PR indeed seems to work:

# tail -2 ~/.opam/.../lib/checksuem/META
xen_linkopts = "-l:laolao/xen/liblaolao_xen_stubs.a"
freestanding_linkopts = "-l:laolao/freestanding/liblaolao_freestanding_stubs.a"

mirage / checkseum

Fix META #41

39 put a malformed information on the META file. This PR wants to solve that and add a test to see the existence of artifacts needed by MirageOS 3.7 (and follow the same process than mirage to get static libraries according the given target).

39 put a malformed information on the META file. This PR wants to solve that and add a test to see the existence of artifacts needed by MirageOS 3.7 (and follow the same process than `mirage` to get static libraries according the given target).