Am 22.08.2012 20:52:10 schrieb(en) Sebastien Mondet:
Hi
The godi-zip package could (easily?) add Gerd's
backwards-compatible
solution ?
(i.e. a second findlib directory called "zip" with a META file
containing
one line
directory="/path/to/the/other/one"
)
I've been testing it, everything is perfect with it.
If somebody wants to change godi-zip, please go on, and install the
second META file. (I can do it too but not before the weekend.)
Gerd
Cheers
Seb
On Wed, Aug 22, 2012 at 2:40 PM, Ashish Agarwal
<agarwal1...@gmail.com>wrote:
> So it seems most people agree that the findlib name should be
"zip". How
> should make this fix? If we change the godi package, software
expecting the
> name "camlzip" will break. Is there a good solution within godi to
support
> both names, while marking "camlzip" as deprecated?
>
>
> On Mon, Aug 13, 2012 at 3:48 PM, Christophe TROESTLER <
> christophe.troest...@umons.ac.be> wrote:
>
>> On Mon, 13 Aug 2012 12:46:26 -0400, Ashish Agarwal wrote:
>> >
>> > [...] Thus, we could go with what we consider to be more correct,
>> > which I think is "zip".
>> >
>> > On Mon, Aug 13, 2012 at 12:35 PM, Hezekiah M. Carty <h...@0ok.org>
>> wrote:
>> >
>> > > If "zip" is the name in the official repository then it
>> > > probably makes sense to stick with that.
>>
>> I concur ― we should respect upstream decisions...
>>
>> Best,
>> C.
>>
>
>
------Zitierte Anlage------
_______________________________________________
Godi-list mailing list
Godi-list@ocaml-programming.de
https://godirepo.camlcity.org/mailman/listinfo/godi-list
--
------------------------------------------------------------
Gerd Stolpmann, Darmstadt, Germany g...@gerd-stolpmann.de
Creator of GODI and camlcity.org.
Contact details: http://www.camlcity.org/contact.html
Company homepage: http://www.gerd-stolpmann.de
------------------------------------------------------------
_______________________________________________
Godi-list mailing list
Godi-list@ocaml-programming.de
https://godirepo.camlcity.org/mailman/listinfo/godi-list
