* RFU: ocaml-3.12.1-1
@ 2011-12-15 17:23 Damien Doligez
2011-12-15 19:21 ` Corinna Vinschen
2011-12-21 15:26 ` RFU: ocaml-3.12.1-2 Damien Doligez
0 siblings, 2 replies; 28+ messages in thread
From: Damien Doligez @ 2011-12-15 17:23 UTC (permalink / raw)
To: cygwin-apps
Please upload:
wget -x -nH --cut-dirs=2 \
http://gallium.inria.fr/~doligez/cygwin/ocaml/emacs-ocaml/emacs-ocaml-3.12.1-1.tar.bz2 \
http://gallium.inria.fr/~doligez/cygwin/ocaml/ocaml-3.12.1-1-src.tar.bz2 \
http://gallium.inria.fr/~doligez/cygwin/ocaml/ocaml-3.12.1-1.tar.bz2 \
http://gallium.inria.fr/~doligez/cygwin/ocaml/ocaml-base/ocaml-base-3.12.1-1.tar.bz2 \
http://gallium.inria.fr/~doligez/cygwin/ocaml/ocaml-camlp4/ocaml-camlp4-3.12.1-1.tar.bz2 \
http://gallium.inria.fr/~doligez/cygwin/ocaml/ocaml-compiler-libs/ocaml-compiler-libs-3.12.1-1.tar.bz2
Keep 3.12.0-4 as the old version and delete all others.
Note: the setup.hint files have changed, but only in the text descriptions:
the language was renamed from Objective Caml to OCaml. I can upload them
if needed.
Thanks,
-- Damien
^ permalink raw reply [flat|nested] 28+ messages in thread
* Re: RFU: ocaml-3.12.1-1
2011-12-15 17:23 RFU: ocaml-3.12.1-1 Damien Doligez
@ 2011-12-15 19:21 ` Corinna Vinschen
2011-12-15 19:26 ` Corinna Vinschen
2011-12-15 22:24 ` Damien Doligez
2011-12-21 15:26 ` RFU: ocaml-3.12.1-2 Damien Doligez
1 sibling, 2 replies; 28+ messages in thread
From: Corinna Vinschen @ 2011-12-15 19:21 UTC (permalink / raw)
To: cygwin-apps
On Dec 15 18:23, Damien Doligez wrote:
> Please upload:
>
> wget -x -nH --cut-dirs=2 \
> http://gallium.inria.fr/~doligez/cygwin/ocaml/emacs-ocaml/emacs-ocaml-3.12.1-1.tar.bz2 \
> http://gallium.inria.fr/~doligez/cygwin/ocaml/ocaml-3.12.1-1-src.tar.bz2 \
> http://gallium.inria.fr/~doligez/cygwin/ocaml/ocaml-3.12.1-1.tar.bz2 \
> http://gallium.inria.fr/~doligez/cygwin/ocaml/ocaml-base/ocaml-base-3.12.1-1.tar.bz2 \
> http://gallium.inria.fr/~doligez/cygwin/ocaml/ocaml-camlp4/ocaml-camlp4-3.12.1-1.tar.bz2 \
> http://gallium.inria.fr/~doligez/cygwin/ocaml/ocaml-compiler-libs/ocaml-compiler-libs-3.12.1-1.tar.bz2
>
> Keep 3.12.0-4 as the old version and delete all others.
>
> Note: the setup.hint files have changed, but only in the text descriptions:
> the language was renamed from Objective Caml to OCaml. I can upload them
> if needed.
If you want them to show up in the changed form, you should make them
available for upload.
Corinna
--
Corinna Vinschen Please, send mails regarding Cygwin to
Cygwin Project Co-Leader cygwin AT cygwin DOT com
Red Hat
^ permalink raw reply [flat|nested] 28+ messages in thread
* Re: RFU: ocaml-3.12.1-1
2011-12-15 19:21 ` Corinna Vinschen
@ 2011-12-15 19:26 ` Corinna Vinschen
2011-12-15 22:24 ` Damien Doligez
1 sibling, 0 replies; 28+ messages in thread
From: Corinna Vinschen @ 2011-12-15 19:26 UTC (permalink / raw)
To: cygwin-apps
On Dec 15 20:21, Corinna Vinschen wrote:
> On Dec 15 18:23, Damien Doligez wrote:
> > Please upload:
> >
> > wget -x -nH --cut-dirs=2 \
> > http://gallium.inria.fr/~doligez/cygwin/ocaml/emacs-ocaml/emacs-ocaml-3.12.1-1.tar.bz2 \
> > http://gallium.inria.fr/~doligez/cygwin/ocaml/ocaml-3.12.1-1-src.tar.bz2 \
> > http://gallium.inria.fr/~doligez/cygwin/ocaml/ocaml-3.12.1-1.tar.bz2 \
> > http://gallium.inria.fr/~doligez/cygwin/ocaml/ocaml-base/ocaml-base-3.12.1-1.tar.bz2 \
> > http://gallium.inria.fr/~doligez/cygwin/ocaml/ocaml-camlp4/ocaml-camlp4-3.12.1-1.tar.bz2 \
> > http://gallium.inria.fr/~doligez/cygwin/ocaml/ocaml-compiler-libs/ocaml-compiler-libs-3.12.1-1.tar.bz2
> >
> > Keep 3.12.0-4 as the old version and delete all others.
> >
> > Note: the setup.hint files have changed, but only in the text descriptions:
> > the language was renamed from Objective Caml to OCaml. I can upload them
> > if needed.
>
> If you want them to show up in the changed form, you should make them
> available for upload.
Other than that, I uploaded the above packages and removed 3.08.1-1.
Thanks,
Corinna
--
Corinna Vinschen Please, send mails regarding Cygwin to
Cygwin Project Co-Leader cygwin AT cygwin DOT com
Red Hat
^ permalink raw reply [flat|nested] 28+ messages in thread
* Re: RFU: ocaml-3.12.1-1
2011-12-15 19:21 ` Corinna Vinschen
2011-12-15 19:26 ` Corinna Vinschen
@ 2011-12-15 22:24 ` Damien Doligez
2011-12-16 10:01 ` Corinna Vinschen
2011-12-19 16:05 ` Corinna Vinschen
1 sibling, 2 replies; 28+ messages in thread
From: Damien Doligez @ 2011-12-15 22:24 UTC (permalink / raw)
To: cygwin-apps
On 2011-12-15, at 20:21, Corinna Vinschen wrote:
> If you want them to show up in the changed form, you should make them
> available for upload.
Here they are:
wget -x -nH --cut-dirs=2 \
http://gallium.inria.fr/~doligez/cygwin/ocaml/emacs-ocaml/setup.hint \
http://gallium.inria.fr/~doligez/cygwin/ocaml/ocaml-base/setup.hint \
http://gallium.inria.fr/~doligez/cygwin/ocaml/ocaml-camlp4/setup.hint \
http://gallium.inria.fr/~doligez/cygwin/ocaml/ocaml-compiler-libs/setup.hint \
http://gallium.inria.fr/~doligez/cygwin/ocaml/setup.hint
Or the whole lot together, if that's more convenient for you:
wget -x -nH --cut-dirs=2 \
http://gallium.inria.fr/~doligez/cygwin/ocaml/emacs-ocaml/emacs-ocaml-3.12.1-1.tar.bz2 \
http://gallium.inria.fr/~doligez/cygwin/ocaml/emacs-ocaml/setup.hint \
http://gallium.inria.fr/~doligez/cygwin/ocaml/ocaml-3.12.1-1-src.tar.bz2 \
http://gallium.inria.fr/~doligez/cygwin/ocaml/ocaml-3.12.1-1.tar.bz2 \
http://gallium.inria.fr/~doligez/cygwin/ocaml/ocaml-base/ocaml-base-3.12.1-1.tar.bz2 \
http://gallium.inria.fr/~doligez/cygwin/ocaml/ocaml-base/setup.hint \
http://gallium.inria.fr/~doligez/cygwin/ocaml/ocaml-camlp4/ocaml-camlp4-3.12.1-1.tar.bz2 \
http://gallium.inria.fr/~doligez/cygwin/ocaml/ocaml-camlp4/setup.hint \
http://gallium.inria.fr/~doligez/cygwin/ocaml/ocaml-compiler-libs/ocaml-compiler-libs-3.12.1-1.tar.bz2 \
http://gallium.inria.fr/~doligez/cygwin/ocaml/ocaml-compiler-libs/setup.hint \
http://gallium.inria.fr/~doligez/cygwin/ocaml/setup.hint
Thanks,
-- Damien
^ permalink raw reply [flat|nested] 28+ messages in thread
* Re: RFU: ocaml-3.12.1-1
2011-12-15 22:24 ` Damien Doligez
@ 2011-12-16 10:01 ` Corinna Vinschen
2011-12-19 16:05 ` Corinna Vinschen
1 sibling, 0 replies; 28+ messages in thread
From: Corinna Vinschen @ 2011-12-16 10:01 UTC (permalink / raw)
To: cygwin-apps
On Dec 15 23:23, Damien Doligez wrote:
>
> On 2011-12-15, at 20:21, Corinna Vinschen wrote:
>
> > If you want them to show up in the changed form, you should make them
> > available for upload.
>
> Here they are:
>
> wget -x -nH --cut-dirs=2 \
> http://gallium.inria.fr/~doligez/cygwin/ocaml/emacs-ocaml/setup.hint \
> http://gallium.inria.fr/~doligez/cygwin/ocaml/ocaml-base/setup.hint \
> http://gallium.inria.fr/~doligez/cygwin/ocaml/ocaml-camlp4/setup.hint \
> http://gallium.inria.fr/~doligez/cygwin/ocaml/ocaml-compiler-libs/setup.hint \
> http://gallium.inria.fr/~doligez/cygwin/ocaml/setup.hint
Did you see Yaakov's mail on the cygwin list:
http://cygwin.com/ml/cygwin/2011-12/msg00350.html
I guess i'd prefer to pull the packages and wait for new ones,
together with the new hint files.
Thanks,
Corinna
--
Corinna Vinschen Please, send mails regarding Cygwin to
Cygwin Project Co-Leader cygwin AT cygwin DOT com
Red Hat
^ permalink raw reply [flat|nested] 28+ messages in thread
* Re: RFU: ocaml-3.12.1-1
2011-12-15 22:24 ` Damien Doligez
2011-12-16 10:01 ` Corinna Vinschen
@ 2011-12-19 16:05 ` Corinna Vinschen
2011-12-20 22:21 ` Damien Doligez
1 sibling, 1 reply; 28+ messages in thread
From: Corinna Vinschen @ 2011-12-19 16:05 UTC (permalink / raw)
To: cygwin-apps
Damien? Ping?
On Dec 15 23:23, Damien Doligez wrote:
>
> On 2011-12-15, at 20:21, Corinna Vinschen wrote:
>
> > If you want them to show up in the changed form, you should make them
> > available for upload.
>
> Here they are:
>
> wget -x -nH --cut-dirs=2 \
> http://gallium.inria.fr/~doligez/cygwin/ocaml/emacs-ocaml/setup.hint \
> http://gallium.inria.fr/~doligez/cygwin/ocaml/ocaml-base/setup.hint \
> http://gallium.inria.fr/~doligez/cygwin/ocaml/ocaml-camlp4/setup.hint \
> http://gallium.inria.fr/~doligez/cygwin/ocaml/ocaml-compiler-libs/setup.hint \
> http://gallium.inria.fr/~doligez/cygwin/ocaml/setup.hint
Did you see Yaakov's mail on the cygwin list:
http://cygwin.com/ml/cygwin/2011-12/msg00350.html
I guess i'd prefer to pull the packages and wait for new ones,
together with the new hint files.
Thanks,
Corinna
--
Corinna Vinschen Please, send mails regarding Cygwin to
Cygwin Project Co-Leader cygwin AT cygwin DOT com
Red Hat
^ permalink raw reply [flat|nested] 28+ messages in thread
* Re: RFU: ocaml-3.12.1-1
2011-12-19 16:05 ` Corinna Vinschen
@ 2011-12-20 22:21 ` Damien Doligez
2011-12-21 3:21 ` Yaakov (Cygwin/X)
0 siblings, 1 reply; 28+ messages in thread
From: Damien Doligez @ 2011-12-20 22:21 UTC (permalink / raw)
To: cygwin-apps
On 2011-12-19, at 17:04, Corinna Vinschen wrote:
> Did you see Yaakov's mail on the cygwin list:
> http://cygwin.com/ml/cygwin/2011-12/msg00350.html
>
> I guess i'd prefer to pull the packages and wait for new ones,
> together with the new hint files.
Yes. I'm almost done debugging this problem. The configuration was
wrong because (apparently) the configure script behaves randomly :-(
I'll also add the changes suggested by Yaakov. I'll upload a new
version within 2 days.
-- Damien
^ permalink raw reply [flat|nested] 28+ messages in thread
* Re: RFU: ocaml-3.12.1-1
2011-12-20 22:21 ` Damien Doligez
@ 2011-12-21 3:21 ` Yaakov (Cygwin/X)
2011-12-21 10:38 ` Damien Doligez
0 siblings, 1 reply; 28+ messages in thread
From: Yaakov (Cygwin/X) @ 2011-12-21 3:21 UTC (permalink / raw)
To: cygwin-apps
On Tue, 2011-12-20 at 23:20 +0100, Damien Doligez wrote:
> On 2011-12-19, at 17:04, Corinna Vinschen wrote:
>
> > Did you see Yaakov's mail on the cygwin list:
> > http://cygwin.com/ml/cygwin/2011-12/msg00350.html
> >
> > I guess i'd prefer to pull the packages and wait for new ones,
> > together with the new hint files.
>
> Yes. I'm almost done debugging this problem. The configuration was
> wrong because (apparently) the configure script behaves randomly :-(
> I'll also add the changes suggested by Yaakov. I'll upload a new
> version within 2 days.
Did you see my follow-up on the main list?
http://cygwin.com/ml/cygwin/2011-12/msg00397.html
Yaakov
^ permalink raw reply [flat|nested] 28+ messages in thread
* Re: RFU: ocaml-3.12.1-1
2011-12-21 3:21 ` Yaakov (Cygwin/X)
@ 2011-12-21 10:38 ` Damien Doligez
0 siblings, 0 replies; 28+ messages in thread
From: Damien Doligez @ 2011-12-21 10:38 UTC (permalink / raw)
To: cygwin-apps
On 2011-12-21, at 04:20, Yaakov (Cygwin/X) wrote:
> On Tue, 2011-12-20 at 23:20 +0100, Damien Doligez wrote:
>> On 2011-12-19, at 17:04, Corinna Vinschen wrote:
>>
>>> Did you see Yaakov's mail on the cygwin list:
>>> http://cygwin.com/ml/cygwin/2011-12/msg00350.html
>>>
>>> I guess i'd prefer to pull the packages and wait for new ones,
>>> together with the new hint files.
>>
>> Yes. I'm almost done debugging this problem. The configuration was
>> wrong because (apparently) the configure script behaves randomly :-(
>> I'll also add the changes suggested by Yaakov. I'll upload a new
>> version within 2 days.
>
> Did you see my follow-up on the main list?
>
> http://cygwin.com/ml/cygwin/2011-12/msg00397.html
Yes, yes. We're down to one change now.
-- Damien
^ permalink raw reply [flat|nested] 28+ messages in thread
* RFU: ocaml-3.12.1-2
2011-12-15 17:23 RFU: ocaml-3.12.1-1 Damien Doligez
2011-12-15 19:21 ` Corinna Vinschen
@ 2011-12-21 15:26 ` Damien Doligez
2011-12-21 15:50 ` Corinna Vinschen
2013-06-07 12:31 ` [RFU] ocaml-4.00.1-1 Damien Doligez
1 sibling, 2 replies; 28+ messages in thread
From: Damien Doligez @ 2011-12-21 15:26 UTC (permalink / raw)
To: cygwin-apps
Please upload:
wget -x -nH --cut-dirs=2 \
http://gallium.inria.fr/~doligez/cygwin/ocaml/emacs-ocaml/emacs-ocaml-3.12.1-2.tar.bz2 \
http://gallium.inria.fr/~doligez/cygwin/ocaml/emacs-ocaml/setup.hint \
http://gallium.inria.fr/~doligez/cygwin/ocaml/ocaml-3.12.1-2-src.tar.bz2 \
http://gallium.inria.fr/~doligez/cygwin/ocaml/ocaml-3.12.1-2.tar.bz2 \
http://gallium.inria.fr/~doligez/cygwin/ocaml/ocaml-base/ocaml-base-3.12.1-2.tar.bz2 \
http://gallium.inria.fr/~doligez/cygwin/ocaml/ocaml-base/setup.hint \
http://gallium.inria.fr/~doligez/cygwin/ocaml/ocaml-camlp4/ocaml-camlp4-3.12.1-2.tar.bz2 \
http://gallium.inria.fr/~doligez/cygwin/ocaml/ocaml-camlp4/setup.hint \
http://gallium.inria.fr/~doligez/cygwin/ocaml/ocaml-compiler-libs/ocaml-compiler-libs-3.12.1-2.tar.bz2 \
http://gallium.inria.fr/~doligez/cygwin/ocaml/ocaml-compiler-libs/setup.hint \
http://gallium.inria.fr/~doligez/cygwin/ocaml/setup.hint
Keep 3.12.0-4 as the old version and delete 3.12.1-1
This version has Yaakov's patch included and is correctly configured (I hope!)
Thanks,
-- Damien
^ permalink raw reply [flat|nested] 28+ messages in thread
* Re: RFU: ocaml-3.12.1-2
2011-12-21 15:26 ` RFU: ocaml-3.12.1-2 Damien Doligez
@ 2011-12-21 15:50 ` Corinna Vinschen
2013-06-07 12:31 ` [RFU] ocaml-4.00.1-1 Damien Doligez
1 sibling, 0 replies; 28+ messages in thread
From: Corinna Vinschen @ 2011-12-21 15:50 UTC (permalink / raw)
To: cygwin-apps
On Dec 21 16:26, Damien Doligez wrote:
> Please upload:
>
> wget -x -nH --cut-dirs=2 \
> http://gallium.inria.fr/~doligez/cygwin/ocaml/emacs-ocaml/emacs-ocaml-3.12.1-2.tar.bz2 \
> http://gallium.inria.fr/~doligez/cygwin/ocaml/emacs-ocaml/setup.hint \
> http://gallium.inria.fr/~doligez/cygwin/ocaml/ocaml-3.12.1-2-src.tar.bz2 \
> http://gallium.inria.fr/~doligez/cygwin/ocaml/ocaml-3.12.1-2.tar.bz2 \
> http://gallium.inria.fr/~doligez/cygwin/ocaml/ocaml-base/ocaml-base-3.12.1-2.tar.bz2 \
> http://gallium.inria.fr/~doligez/cygwin/ocaml/ocaml-base/setup.hint \
> http://gallium.inria.fr/~doligez/cygwin/ocaml/ocaml-camlp4/ocaml-camlp4-3.12.1-2.tar.bz2 \
> http://gallium.inria.fr/~doligez/cygwin/ocaml/ocaml-camlp4/setup.hint \
> http://gallium.inria.fr/~doligez/cygwin/ocaml/ocaml-compiler-libs/ocaml-compiler-libs-3.12.1-2.tar.bz2 \
> http://gallium.inria.fr/~doligez/cygwin/ocaml/ocaml-compiler-libs/setup.hint \
> http://gallium.inria.fr/~doligez/cygwin/ocaml/setup.hint
>
> Keep 3.12.0-4 as the old version and delete 3.12.1-1
Done.
Thanks,
Corinna
--
Corinna Vinschen Please, send mails regarding Cygwin to
Cygwin Project Co-Leader cygwin AT cygwin DOT com
Red Hat
^ permalink raw reply [flat|nested] 28+ messages in thread
* [RFU] ocaml-4.00.1-1
2011-12-21 15:26 ` RFU: ocaml-3.12.1-2 Damien Doligez
2011-12-21 15:50 ` Corinna Vinschen
@ 2013-06-07 12:31 ` Damien Doligez
2013-06-07 14:19 ` Corinna Vinschen
2013-06-07 18:01 ` Yaakov (Cygwin/X)
1 sibling, 2 replies; 28+ messages in thread
From: Damien Doligez @ 2013-06-07 12:31 UTC (permalink / raw)
To: cygapps
Please upload:
D=http://gallium.inria.fr/~doligez/cygwin
wget -x -nH --cut-dirs=2 \
$D/ocaml/emacs-ocaml/emacs-ocaml-4.00.1-1.tar.bz2 \
$D/ocaml/emacs-ocaml/setup.hint \
$D/ocaml/ocaml-4.00.1-1-src.tar.bz2 \
$D/ocaml/ocaml-4.00.1-1.tar.bz2 \
$D/ocaml/ocaml-base/ocaml-base-4.00.1-1.tar.bz2 \
$D/ocaml/ocaml-base/setup.hint \
$D/ocaml/ocaml-camlp4/ocaml-camlp4-4.00.1-1.tar.bz2 \
$D/ocaml/ocaml-camlp4/setup.hint \
$D/ocaml/ocaml-compiler-libs/ocaml-compiler-libs-4.00.1-1.tar.bz2 \
$D/ocaml/ocaml-compiler-libs/setup.hint \
$D/ocaml/setup.hint
Keep 3.12.1-2 as the previous version.
Thanks,
-- Damien
^ permalink raw reply [flat|nested] 28+ messages in thread
* Re: [RFU] ocaml-4.00.1-1
2013-06-07 12:31 ` [RFU] ocaml-4.00.1-1 Damien Doligez
@ 2013-06-07 14:19 ` Corinna Vinschen
2013-06-09 14:42 ` Damien Doligez
2013-06-07 18:01 ` Yaakov (Cygwin/X)
1 sibling, 1 reply; 28+ messages in thread
From: Corinna Vinschen @ 2013-06-07 14:19 UTC (permalink / raw)
To: cygwin-apps
On Jun 7 14:31, Damien Doligez wrote:
> Please upload:
>
> D=http://gallium.inria.fr/~doligez/cygwin
> wget -x -nH --cut-dirs=2 \
> $D/ocaml/emacs-ocaml/emacs-ocaml-4.00.1-1.tar.bz2 \
> $D/ocaml/emacs-ocaml/setup.hint \
> $D/ocaml/ocaml-4.00.1-1-src.tar.bz2 \
> $D/ocaml/ocaml-4.00.1-1.tar.bz2 \
> $D/ocaml/ocaml-base/ocaml-base-4.00.1-1.tar.bz2 \
> $D/ocaml/ocaml-base/setup.hint \
> $D/ocaml/ocaml-camlp4/ocaml-camlp4-4.00.1-1.tar.bz2 \
> $D/ocaml/ocaml-camlp4/setup.hint \
> $D/ocaml/ocaml-compiler-libs/ocaml-compiler-libs-4.00.1-1.tar.bz2 \
> $D/ocaml/ocaml-compiler-libs/setup.hint \
> $D/ocaml/setup.hint
>
> Keep 3.12.1-2 as the previous version.
Done. Any chance to try building a 64 bit version of ocaml, Damien?
Thanks,
Corinna
--
Corinna Vinschen Please, send mails regarding Cygwin to
Cygwin Maintainer cygwin AT cygwin DOT com
Red Hat
^ permalink raw reply [flat|nested] 28+ messages in thread
* Re: [RFU] ocaml-4.00.1-1
2013-06-07 12:31 ` [RFU] ocaml-4.00.1-1 Damien Doligez
2013-06-07 14:19 ` Corinna Vinschen
@ 2013-06-07 18:01 ` Yaakov (Cygwin/X)
2013-10-25 9:25 ` new version of ocaml package (4.01.0-1) Damien Doligez
1 sibling, 1 reply; 28+ messages in thread
From: Yaakov (Cygwin/X) @ 2013-06-07 18:01 UTC (permalink / raw)
To: cygwin-apps
On 2013-06-07 07:31, Damien Doligez wrote:
> D=http://gallium.inria.fr/~doligez/cygwin
> wget -x -nH --cut-dirs=2 \
> $D/ocaml/emacs-ocaml/emacs-ocaml-4.00.1-1.tar.bz2 \
> $D/ocaml/emacs-ocaml/setup.hint \
> $D/ocaml/ocaml-4.00.1-1-src.tar.bz2 \
> $D/ocaml/ocaml-4.00.1-1.tar.bz2 \
> $D/ocaml/ocaml-base/ocaml-base-4.00.1-1.tar.bz2 \
> $D/ocaml/ocaml-base/setup.hint \
> $D/ocaml/ocaml-camlp4/ocaml-camlp4-4.00.1-1.tar.bz2 \
> $D/ocaml/ocaml-camlp4/setup.hint \
> $D/ocaml/ocaml-compiler-libs/ocaml-compiler-libs-4.00.1-1.tar.bz2 \
> $D/ocaml/ocaml-compiler-libs/setup.hint \
> $D/ocaml/setup.hint
Ouch. Because of the fickle nature of OCaml's ABI, all OCaml libraries
have to be rebuilt for every version bump. While there not be much
OCaml code in the distro, I have dozens of libraries in Ports which need
to be rebuilt. Next time, could you please give me some rebuild time
before stabilizing a new version of OCaml?
Also, could you enable labltk? I haven't tried 4.00 yet, but 3.12
required this patch:
http://cygwin-ports.git.sourceforge.net/git/gitweb.cgi?p=cygwin-ports/ocaml;a=blob_plain;f=3.12.0-labltk.patch;h=f99bb84;hb=HEAD
TIA,
Yaakov
^ permalink raw reply [flat|nested] 28+ messages in thread
* Re: [RFU] ocaml-4.00.1-1
2013-06-07 14:19 ` Corinna Vinschen
@ 2013-06-09 14:42 ` Damien Doligez
2013-06-10 8:27 ` Corinna Vinschen
2013-06-14 0:42 ` Florent Monnier
0 siblings, 2 replies; 28+ messages in thread
From: Damien Doligez @ 2013-06-09 14:42 UTC (permalink / raw)
To: cygwin-apps
On 2013-06-07, at 16:19, Corinna Vinschen wrote:
> Done. Any chance to try building a 64 bit version of ocaml, Damien?
I'll be working on that, yes.
On 2013-06-07, at 20:00, Yaakov (Cygwin/X) wrote:
> Ouch. Because of the fickle nature of OCaml's ABI, all OCaml libraries have to be rebuilt for every version bump. While there not be much OCaml code in the distro, I have dozens of libraries in Ports which need to be rebuilt. Next time, could you please give me some rebuild time before stabilizing a new version of OCaml?
Ah, sorry. I didn't realize there would be so many dependencies. Next time I'll warn you in advance.
> Also, could you enable labltk? I haven't tried 4.00 yet, but 3.12 required this patch:
>
> http://cygwin-ports.git.sourceforge.net/git/gitweb.cgi?p=cygwin-ports/ocaml;a=blob_plain;f=3.12.0-labltk.patch;h=f99bb84;hb=HEAD
I don't think the patch is needed anymore. Let me look at this and try to make a -2 version of the package.
Thanks,
-- Damien
^ permalink raw reply [flat|nested] 28+ messages in thread
* Re: [RFU] ocaml-4.00.1-1
2013-06-09 14:42 ` Damien Doligez
@ 2013-06-10 8:27 ` Corinna Vinschen
2013-06-11 15:37 ` Damien Doligez
2013-06-14 0:42 ` Florent Monnier
1 sibling, 1 reply; 28+ messages in thread
From: Corinna Vinschen @ 2013-06-10 8:27 UTC (permalink / raw)
To: cygwin-apps
Hi Damien,
On Jun 9 16:42, Damien Doligez wrote:
> On 2013-06-07, at 16:19, Corinna Vinschen wrote:
>
> > Done. Any chance to try building a 64 bit version of ocaml, Damien?
>
> I'll be working on that, yes.
>
>
> On 2013-06-07, at 20:00, Yaakov (Cygwin/X) wrote:
>
> > Ouch. Because of the fickle nature of OCaml's ABI, all OCaml libraries have to be rebuilt for every version bump. While there not be much OCaml code in the distro, I have dozens of libraries in Ports which need to be rebuilt. Next time, could you please give me some rebuild time before stabilizing a new version of OCaml?
>
> Ah, sorry. I didn't realize there would be so many dependencies. Next time I'll warn you in advance.
Did you see http://cygwin.com/ml/cygwin/2013-06/msg00160.html ?
Given what Yaakov said, wouldn't it make sense to provide the former
ocaml libs and start using a versioned runtime lib approach?
Thanks,
Corinna
--
Corinna Vinschen Please, send mails regarding Cygwin to
Cygwin Maintainer cygwin AT cygwin DOT com
Red Hat
^ permalink raw reply [flat|nested] 28+ messages in thread
* Re: [RFU] ocaml-4.00.1-1
2013-06-10 8:27 ` Corinna Vinschen
@ 2013-06-11 15:37 ` Damien Doligez
2013-06-13 18:31 ` Yaakov (Cygwin/X)
0 siblings, 1 reply; 28+ messages in thread
From: Damien Doligez @ 2013-06-11 15:37 UTC (permalink / raw)
To: cygwin-apps
Hi Corinna,
> Given what Yaakov said, wouldn't it make sense to provide the former
> ocaml libs and start using a versioned runtime lib approach?
I'm not sure I understand exactly what you mean, but providing several
versions of the libraries is not going to work because they are strongly
tied to the compiler version. If we want different versions of the
libraries to coexist, I think the only simple solution is to use a new
package name for each release of OCaml. That would probably force
every library to follow the same pattern, leading to a confusing
proliferation of packages.
The strong typing of OCaml gives strong guarantees to the users and
imposes strong constraints on linking. Stronger than can be handled
by "normal" package managers. This problem has been studied and solved
for the Debian package manager [1] but the solution is heavy-weight.
Nowadays, the preferred solution among OCaml developers is to use
OPAM, a dedicated package manager for OCaml programs and libraries.
-- Damien
[1] http://jfla.inria.fr/2010/actes/PDF/dogguy.pdf
^ permalink raw reply [flat|nested] 28+ messages in thread
* Re: [RFU] ocaml-4.00.1-1
2013-06-11 15:37 ` Damien Doligez
@ 2013-06-13 18:31 ` Yaakov (Cygwin/X)
0 siblings, 0 replies; 28+ messages in thread
From: Yaakov (Cygwin/X) @ 2013-06-13 18:31 UTC (permalink / raw)
To: cygwin-apps
On 2013-06-11 10:37, Damien Doligez wrote:
>> Given what Yaakov said, wouldn't it make sense to provide the former
>> ocaml libs and start using a versioned runtime lib approach?
>
> I'm not sure I understand exactly what you mean, but providing several
> versions of the libraries is not going to work because they are strongly
> tied to the compiler version. If we want different versions of the
> libraries to coexist, I think the only simple solution is to use a new
> package name for each release of OCaml. That would probably force
> every library to follow the same pattern, leading to a confusing
> proliferation of packages.
Agreed.
> The strong typing of OCaml gives strong guarantees to the users and
> imposes strong constraints on linking. Stronger than can be handled
> by "normal" package managers. This problem has been studied and solved
> for the Debian package manager [1] but the solution is heavy-weight.
> Nowadays, the preferred solution among OCaml developers is to use
> OPAM, a dedicated package manager for OCaml programs and libraries.
That's not necessarily practical for a software distribution. Given the
nature of OCaml, we'll just need to have mass rebuilds for each point
release.
Yaakov
^ permalink raw reply [flat|nested] 28+ messages in thread
* Re: [RFU] ocaml-4.00.1-1
2013-06-09 14:42 ` Damien Doligez
2013-06-10 8:27 ` Corinna Vinschen
@ 2013-06-14 0:42 ` Florent Monnier
2013-06-18 23:09 ` Yaakov (Cygwin/X)
1 sibling, 1 reply; 28+ messages in thread
From: Florent Monnier @ 2013-06-14 0:42 UTC (permalink / raw)
To: cygwin-apps; +Cc: Damien Doligez
2013/06/09, Damien Doligez wrote:
> On 2013-06-07, at 16:19, Corinna Vinschen wrote:
>
>> Done. Any chance to try building a 64 bit version of ocaml, Damien?
>
> I'll be working on that, yes.
If I'm not mistaken cygwin also provides some libs for mingw's toolchain.
Any chance to get a mingw compiled ocaml in cygwin?
(so that we're not bound to the GPL)
--
^ permalink raw reply [flat|nested] 28+ messages in thread
* Re: [RFU] ocaml-4.00.1-1
2013-06-14 0:42 ` Florent Monnier
@ 2013-06-18 23:09 ` Yaakov (Cygwin/X)
0 siblings, 0 replies; 28+ messages in thread
From: Yaakov (Cygwin/X) @ 2013-06-18 23:09 UTC (permalink / raw)
To: cygwin-apps
On 2013-06-13 19:42, Florent Monnier wrote:
> If I'm not mistaken cygwin also provides some libs for mingw's toolchain.
> Any chance to get a mingw compiled ocaml in cygwin?
Perhaps OT, but that is NOT as easy as it sounds.
Yaakov
^ permalink raw reply [flat|nested] 28+ messages in thread
* new version of ocaml package (4.01.0-1)
2013-06-07 18:01 ` Yaakov (Cygwin/X)
@ 2013-10-25 9:25 ` Damien Doligez
2013-10-25 17:39 ` Yaakov (Cygwin/X)
` (2 more replies)
0 siblings, 3 replies; 28+ messages in thread
From: Damien Doligez @ 2013-10-25 9:25 UTC (permalink / raw)
To: cygapps
Last time I updated the OCaml package, Yaakov (Cygwin/X) wrote:
> Ouch. Because of the fickle nature of OCaml's ABI, all OCaml libraries have to be rebuilt for every version bump. While there not be much OCaml code in the distro, I have dozens of libraries in Ports which need to be rebuilt. Next time, could you please give me some rebuild time before stabilizing a new version of OCaml?
So, here it is: I have a new version of the OCaml package (4.01.0-1), both for 32 and 64 bits. I have uploaded the files to cygwin.com, but I haven't put the !ready files yet.
Both packages are marked as "test":
- For 32 bits, because I don't want to hurt you again. I'm guessing that a "test" version of the package will let you recompile the libraries in Ports, and then when you tell me you're ready, I'll make a "curr" version.
- For 64 bits, because we don't have Flexdll yet, so dynlink is not supported, which means that many OCaml programs won't work. I've already prodded the Flexdll upstream. I'm publishing this because it's the best we can have on 64-bit for the moment.
> Also, could you enable labltk?
Both packages include labltk.
How do we proceed? Should I send these !ready files?
-- Damien
^ permalink raw reply [flat|nested] 28+ messages in thread
* Re: new version of ocaml package (4.01.0-1)
2013-10-25 9:25 ` new version of ocaml package (4.01.0-1) Damien Doligez
@ 2013-10-25 17:39 ` Yaakov (Cygwin/X)
2013-10-28 20:17 ` Yaakov (Cygwin/X)
2013-10-31 2:13 ` Yaakov (Cygwin/X)
2 siblings, 0 replies; 28+ messages in thread
From: Yaakov (Cygwin/X) @ 2013-10-25 17:39 UTC (permalink / raw)
To: cygwin-apps
On 2013-10-25 04:25, Damien Doligez wrote:
> How do we proceed? Should I send these !ready files?
Yes, please; I'll try to work on this from my end next week.
Yaakov
^ permalink raw reply [flat|nested] 28+ messages in thread
* Re: new version of ocaml package (4.01.0-1)
2013-10-25 9:25 ` new version of ocaml package (4.01.0-1) Damien Doligez
2013-10-25 17:39 ` Yaakov (Cygwin/X)
@ 2013-10-28 20:17 ` Yaakov (Cygwin/X)
2013-10-29 9:14 ` Corinna Vinschen
2013-10-31 2:13 ` Yaakov (Cygwin/X)
2 siblings, 1 reply; 28+ messages in thread
From: Yaakov (Cygwin/X) @ 2013-10-28 20:17 UTC (permalink / raw)
To: cygwin-apps
On 2013-10-25 04:25, Damien Doligez wrote:
> So, here it is: I have a new version of the OCaml package (4.01.0-1),
> both for 32 and 64 bits. I have uploaded the files to cygwin.com,
> but I haven't put the !ready files yet.
>
> Both packages are marked as "test":
>
> - For 32 bits, because I don't want to hurt you again. I'm guessing
> that a "test" version of the package will let you recompile the
> libraries in Ports, and then when you tell me you're ready, I'll make
> a "curr" version.
Ack, I'll let you know when I'm finished the rebuild (but see below).
> - For 64 bits, because we don't have Flexdll yet, so dynlink is not
> supported, which means that many OCaml programs won't work. I've
> already prodded the Flexdll upstream. I'm publishing this because
> it's the best we can have on 64-bit for the moment.
I started working on porting flexdll-0.31, but the testsuite is failing
with "cannot relocate, target is too far" errors; IIUC the issue has to
do with our use of the medium code model. In the meantime, the primary
use of OCaml on supported platforms is native code compilation, so I
suggest we make this stable on x86_64.
> Both packages include labltk.
Are you sure? AFAICS it's only in the x86_64 package.
Because of the extra dependencies, for the next release, I suggest
making a separate ocaml-labltk package with usr/bin/labltk and
usr/lib/ocaml/labltk/ (and usr/lib/ocaml/stublibs/dlllabltk.so on x86),
along with adding --exclude=*labltk* to ocaml_base_CONTENTS. We do a
similar thing with Python and Ruby's Tcl/Tk support.
Yaakov
^ permalink raw reply [flat|nested] 28+ messages in thread
* Re: new version of ocaml package (4.01.0-1)
2013-10-28 20:17 ` Yaakov (Cygwin/X)
@ 2013-10-29 9:14 ` Corinna Vinschen
2013-10-29 17:30 ` Yaakov (Cygwin/X)
0 siblings, 1 reply; 28+ messages in thread
From: Corinna Vinschen @ 2013-10-29 9:14 UTC (permalink / raw)
To: cygwin-apps
[-- Attachment #1: Type: text/plain, Size: 1452 bytes --]
On Oct 28 15:17, Yaakov (Cygwin/X) wrote:
> On 2013-10-25 04:25, Damien Doligez wrote:
> >So, here it is: I have a new version of the OCaml package (4.01.0-1),
> >both for 32 and 64 bits. I have uploaded the files to cygwin.com,
> >but I haven't put the !ready files yet.
> >
> >Both packages are marked as "test":
> >
> >- For 32 bits, because I don't want to hurt you again. I'm guessing
> >that a "test" version of the package will let you recompile the
> >libraries in Ports, and then when you tell me you're ready, I'll make
> >a "curr" version.
>
> Ack, I'll let you know when I'm finished the rebuild (but see below).
>
> >- For 64 bits, because we don't have Flexdll yet, so dynlink is not
> >supported, which means that many OCaml programs won't work. I've
> >already prodded the Flexdll upstream. I'm publishing this because
> >it's the best we can have on 64-bit for the moment.
>
> I started working on porting flexdll-0.31, but the testsuite is
> failing with "cannot relocate, target is too far" errors; IIUC the
> issue has to do with our use of the medium code model. In the
In theory, the usage of the medium code model was supposed to *fix*
the issue. Can the testsuite problem be reduced into a STC which we
can have a look at?
Thanks,
Corinna
--
Corinna Vinschen Please, send mails regarding Cygwin to
Cygwin Maintainer cygwin AT cygwin DOT com
Red Hat
[-- Attachment #2: Type: application/pgp-signature, Size: 836 bytes --]
^ permalink raw reply [flat|nested] 28+ messages in thread
* Re: new version of ocaml package (4.01.0-1)
2013-10-29 9:14 ` Corinna Vinschen
@ 2013-10-29 17:30 ` Yaakov (Cygwin/X)
2013-10-29 17:54 ` Corinna Vinschen
0 siblings, 1 reply; 28+ messages in thread
From: Yaakov (Cygwin/X) @ 2013-10-29 17:30 UTC (permalink / raw)
To: cygwin-apps
On 2013-10-29 04:14, Corinna Vinschen wrote:
> On Oct 28 15:17, Yaakov (Cygwin/X) wrote:
>> I started working on porting flexdll-0.31, but the testsuite is
>> failing with "cannot relocate, target is too far" errors; IIUC the
>> issue has to do with our use of the medium code model. In the
>
> In theory, the usage of the medium code model was supposed to *fix*
> the issue. Can the testsuite problem be reduced into a STC which we
> can have a look at?
I was referring to a FlexDLL error message, not a Cygwin one. The
former only supports relocs within the lower 32-bit range (even with
64-bit binaries), so this will need to be fixed upstream first.
Yaakov
^ permalink raw reply [flat|nested] 28+ messages in thread
* Re: new version of ocaml package (4.01.0-1)
2013-10-29 17:30 ` Yaakov (Cygwin/X)
@ 2013-10-29 17:54 ` Corinna Vinschen
0 siblings, 0 replies; 28+ messages in thread
From: Corinna Vinschen @ 2013-10-29 17:54 UTC (permalink / raw)
To: cygwin-apps
[-- Attachment #1: Type: text/plain, Size: 905 bytes --]
On Oct 29 12:30, Yaakov (Cygwin/X) wrote:
> On 2013-10-29 04:14, Corinna Vinschen wrote:
> >On Oct 28 15:17, Yaakov (Cygwin/X) wrote:
> >>I started working on porting flexdll-0.31, but the testsuite is
> >>failing with "cannot relocate, target is too far" errors; IIUC the
> >>issue has to do with our use of the medium code model. In the
> >
> >In theory, the usage of the medium code model was supposed to *fix*
> >the issue. Can the testsuite problem be reduced into a STC which we
> >can have a look at?
>
> I was referring to a FlexDLL error message, not a Cygwin one. The
> former only supports relocs within the lower 32-bit range (even with
> 64-bit binaries), so this will need to be fixed upstream first.
Ouch.
Corinna
--
Corinna Vinschen Please, send mails regarding Cygwin to
Cygwin Maintainer cygwin AT cygwin DOT com
Red Hat
[-- Attachment #2: Type: application/pgp-signature, Size: 836 bytes --]
^ permalink raw reply [flat|nested] 28+ messages in thread
* Re: new version of ocaml package (4.01.0-1)
2013-10-25 9:25 ` new version of ocaml package (4.01.0-1) Damien Doligez
2013-10-25 17:39 ` Yaakov (Cygwin/X)
2013-10-28 20:17 ` Yaakov (Cygwin/X)
@ 2013-10-31 2:13 ` Yaakov (Cygwin/X)
2013-11-01 10:28 ` Damien Doligez
2 siblings, 1 reply; 28+ messages in thread
From: Yaakov (Cygwin/X) @ 2013-10-31 2:13 UTC (permalink / raw)
To: cygwin-apps
On 2013-10-25 04:25, Damien Doligez wrote:
> So, here it is: I have a new version of the OCaml package (4.01.0-1),
> both for 32 and 64 bits. Both packages are marked as "test":
I have successfully finished my OCaml rebuild for both arches, so I made
these stable. It would still be helpful to have ocaml-labltk for x86,
and please keep me posted with any developments wrt FlexDLL.
Thanks,
Yaakov
^ permalink raw reply [flat|nested] 28+ messages in thread
* Re: new version of ocaml package (4.01.0-1)
2013-10-31 2:13 ` Yaakov (Cygwin/X)
@ 2013-11-01 10:28 ` Damien Doligez
0 siblings, 0 replies; 28+ messages in thread
From: Damien Doligez @ 2013-11-01 10:28 UTC (permalink / raw)
To: cygapps
On 2013-10-31, at 03:13, Yaakov (Cygwin/X) wrote:
> On 2013-10-25 04:25, Damien Doligez wrote:
>> So, here it is: I have a new version of the OCaml package (4.01.0-1),
>> both for 32 and 64 bits. Both packages are marked as "test":
>
> I have successfully finished my OCaml rebuild for both arches, so I made these stable.
So I will soon (in a few days) publish both packages as "curr"
instead of "test".
> It would still be helpful to have ocaml-labltk for x86,
Do you really want it for this release? The next major upstream
release (4.02.0) will spin off labltk as a separate project
(and probably also camlp4, ocamlbuild, and a few others). This is
scheduled for next year. This is not a lot of work, so if you insist
I'll do it.
> and please keep me posted with any developments wrt FlexDLL.
You might want to contact Alain Frisch directly: he started working
on it, and you can probably help him understand better what's going
on with those relocations.
-- Damien
^ permalink raw reply [flat|nested] 28+ messages in thread
end of thread, other threads:[~2013-11-01 10:28 UTC | newest]
Thread overview: 28+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2011-12-15 17:23 RFU: ocaml-3.12.1-1 Damien Doligez
2011-12-15 19:21 ` Corinna Vinschen
2011-12-15 19:26 ` Corinna Vinschen
2011-12-15 22:24 ` Damien Doligez
2011-12-16 10:01 ` Corinna Vinschen
2011-12-19 16:05 ` Corinna Vinschen
2011-12-20 22:21 ` Damien Doligez
2011-12-21 3:21 ` Yaakov (Cygwin/X)
2011-12-21 10:38 ` Damien Doligez
2011-12-21 15:26 ` RFU: ocaml-3.12.1-2 Damien Doligez
2011-12-21 15:50 ` Corinna Vinschen
2013-06-07 12:31 ` [RFU] ocaml-4.00.1-1 Damien Doligez
2013-06-07 14:19 ` Corinna Vinschen
2013-06-09 14:42 ` Damien Doligez
2013-06-10 8:27 ` Corinna Vinschen
2013-06-11 15:37 ` Damien Doligez
2013-06-13 18:31 ` Yaakov (Cygwin/X)
2013-06-14 0:42 ` Florent Monnier
2013-06-18 23:09 ` Yaakov (Cygwin/X)
2013-06-07 18:01 ` Yaakov (Cygwin/X)
2013-10-25 9:25 ` new version of ocaml package (4.01.0-1) Damien Doligez
2013-10-25 17:39 ` Yaakov (Cygwin/X)
2013-10-28 20:17 ` Yaakov (Cygwin/X)
2013-10-29 9:14 ` Corinna Vinschen
2013-10-29 17:30 ` Yaakov (Cygwin/X)
2013-10-29 17:54 ` Corinna Vinschen
2013-10-31 2:13 ` Yaakov (Cygwin/X)
2013-11-01 10:28 ` Damien Doligez
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).