* 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 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
* 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
* 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).