Re: [MirageOS-devel] [mirage-platform] Switched to dietlibc's generic libm (4abf42d)

[Richard Mortier <Richard.Mortier@xxxxxxxxxxxxxxxx>]

On 7 May 2014, at 15:12, Thomas Leonard <talex5@xxxxxxxxx> wrote:

> By the way, what's the best way to install mirage-platform from a local Git 
> checkout so that opam can see it?

perhaps

$ opam pin <path-to-local-checkout>
$ opam install mirage-platform

?

(ie., let opam do the build+install from a local pinned copy)

-- 
Cheers,

R.

Attachment: signature.asc
Description: Message signed with OpenPGP using GPGMail

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