Re: [MirageOS-devel] [opam-devel] 'provides' field design proposal

[Dave Scott <Dave.Scott@xxxxxxxxxx>]

> On 6 Jan 2015, at 15:49, Thomas Gazagnaire <thomas@xxxxxxxxxxxxxx> wrote:
> 
> Thanks Louis for the great summary!
> 
>> - The forking and providing replacements would be really useful for Mirage,
>> where we're having an active discussion about how to provide Xen-specific
>> versions of certain packages such as Zarith.  Thomas (with any surname),
>> opinions on this? 
> 
> My opinion: I was very keen to have this feature on the bug tracker, but with 
> all the designs details in mind I'm much less keen now. It introduces a lot 
> of complexity with pinning so would be nice to see what we can simplify. For 
> instance, maybe we could forbid virtual packages - and pin only to real 
> packages. Need to think a bit more about that.
> 
> a more meta comments: if we put design files in the repo (I'm not very fond 
> of that, but why not), could we have a header specifying the status of the 
> document (ie. draft, partially implemented, deprecated, etc...) and the 
> target opam versions. And keep that up-to-date please.

FYI over in the xapi-project weâve been experimenting with putting design docs 
in a central github repo and having github render them nicely e.g.

http://xapi-project.github.io/design-docs/index.html

We stick a header on top like

---
title: thin LVHD storage
layout: default
design_doc: true
revision: 1
status: proposed
â

and have a design doc index template

https://github.com/xapi-project/xapi-project.github.io/blob/master/_layouts/design_docs_list.html

So far itâs working quite well for us.

Cheers,
Dave

> 
> Thanks,
> Thomas 
> 
> 
>> 
>> - How much damage will this do to the internal solver heuristics?
>> 
>> -anil
>> 
>>> On 5 Jan 2015, at 08:36, Louis Gesbert <louis.gesbert@xxxxxxxxxxxx> wrote:
>>> 
>>> Hi all, and happy new year !
>>> 
>>> I just added to opam a design proposal to open discussion on the 
>>> implementation of the 'provides' field and its use-cases.
>>> 
>>> It's at https://github.com/ocaml/opam/blob/master/doc/design/provides.md
>>> 
>>> Cheers,
>>> Louis
>>> _______________________________________________
>>> opam-devel mailing list
>>> opam-devel@xxxxxxxxxxxxxxx
>>> http://lists.ocaml.org/listinfo/opam-devel
>>> 
>> 
>> 
>> _______________________________________________
>> MirageOS-devel mailing list
>> MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
>> http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel
> 
> 
> _______________________________________________
> MirageOS-devel mailing list
> MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
> http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel

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