Re: [MirageOS-devel] Mirage on Xen/ARM status

[Thomas Leonard <talex5@xxxxxxxxx>]

On 11 June 2014 17:30, Thomas Gazagnaire <thomas@xxxxxxxxxxxxxx> wrote:
>> 4. Pin mirage-platform
>>
>> git clone -b arm-preview https://github.com/talex5/mirage-platform.git
>> opam pin mirage-xen ./mirage-platform
>
> A quick remark, you can do directly:
>
> $ opam pin mirage-xen 
> https://github.com/talex5/mirage-platform.git#arm-preview

That's useful. Is it documented somwhere? This just says to use a local path:

https://opam.ocaml.org/doc/Advanced_Usage.html#h2-Versionpinning

What happens when I want to update? Does it do a git fetch for me?


-- 
Dr Thomas Leonard        http://0install.net/
GPG: 9242 9807 C985 3C07 44A6  8B9A AE07 8280 59A5 3CC1
GPG: DA98 25AE CAD0 8975 7CDA  BD8E 0713 3F96 CA74 D8BA

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