Re: Deleting old versions of packages
Hi, On 2013-10-28, at 20:34, Christopher Faylor wrote: The problem with this method is that it forces you to use a setup.hint file to delete packages. For instance, I just had a case where I wanted make-4.0-2 to be curr and make-3.82.90-1 to be prev. I really don't want to have to change setup.hint to enforce that because that's error prone. If that's exactly what people were trying to warn me about then I apologize for being dense. Maybe I'm too naive or too late, but it seems to me that you could use the same procedure we used when uploading was done manually: you'd upload the new version and send a message to the maintainers saying upload 4.0-2, keep 3.82.90-1 as prev, and delete all other versions. With the automatic system, this could take the form of a file (for example !keep) that lists all the versions (other than the uploaded one) that should be kept, with all other versions to be archived and removed. This is almost the same as changing setup.hint, but much less error-prone because it's outside the package. You should also do a few sanity checks: that all the versions mentioned in !keep are present, and that all the versions mentioned in setup.hint are also in !keep. If one of these conditions is false, you don't remove anything. -- Damien
Re: new version of ocaml package (4.01.0-1)
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
new version of ocaml package (4.01.0-1)
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
SSH key for upload access
Name: Damien Doligez Package: ocaml SSHkey: ssh-rsa B3NzaC1yc2EBIwAAAIEAuXDyTaeiftmUEFCtY7gRrAAlwp4EJkEsvHnBHmNXNJV5V6p1EEsymjgtLh/jfTHcBHYbHZSOwBo3LmsQ9eSkHGHU7ya52013yEvVVCY+BLebE/PtUwrlx5yvWp8y+bQDVPBZnFYo4iQ6qdwCWIgwKYGyaQbEArO1ThHhobrUG4c= doligez
Re: remaining missing packages in 64-bit release
On 2013-07-14, at 03:44, Andrew Schulman wrote: There are of course other packages that could be called missing because they haven't been ported to x86_64 yet, and other packages that depend on them can't be released until they are. There are two that I'm waiting on: ocaml - for orpie and unison rgb - for sng About OCaml, I've tried to compile it, and the bytecode version seems to work OK, but the native compiler will need some porting and I'm quite busy now with the next release of OCaml, so I figured I would resume working on it after the release (sometime in August). Is this really a blocking point? -- Damien
Re: [RFU] ocaml-4.00.1-1
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
Re: [RFU] ocaml-4.00.1-1
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
[RFU] ocaml-4.00.1-1
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
Re: RFU: ocaml-3.12.1-1
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
RFU: ocaml-3.12.1-2
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
Re: RFU: ocaml-3.12.1-1
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
RFU: ocaml-3.12.1-1
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
Re: RFU: ocaml-3.12.1-1
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
please update flexdll from 0.25 to 0.26
Hello, There is a problem with flexdll version 0.25 under (at least) Windows 7 : the OCaml debugger fails as soon as it tries to run the program (with fork() being unable to remap a shared lib). I don't have the problem with the latest upstream version (flexdll 0.26), so it would be great if Yaakov could update to the new version. Thanks, -- Damien
Re: PING MAINTAINERS of ccache, distcc, ocaml: [was Re: [1.7] gcc-3.4.4-3 gets reinstalled every time I run setup]
On 2010-11-03, at 21:36, Yaakov (Cygwin/X) wrote: On Wed, 2010-11-03 at 21:23 +0100, Lapo Luchini wrote: Dave Korn wrote: In the meantime, I think that ocaml, ccache and distcc should remove gcc from their setup.hint lines, and perhaps replace it by gcc-core. BTW: both 'ccache' and 'distcc' are depending on 'gcc' in latest setup.ini (I'm trying to avoid gcc-3 on my fresh install). Then shouldn't that be 'gcc4-core'? I never received Dave's message, so I'm missing some context here, but the latest ocaml (3.12.0-4) actually depends on gcc4-core, not on any flavor of gcc 3. I don't think it's possible to make a binary of OCaml that can work indifferently with gcc3 or gcc4. -- Damien
Re: [RFU] ocaml 3.12.0-4
On 2010-10-15, at 19:14, Yaakov (Cygwin/X) wrote: When creating a package containing one or more subpackages, it is required that a particular directory layout be used. cygport automatically creates this during the packaging stage, e.g. ocaml-3.12.0-4/dist/ocaml/. It is this directory layout that should be copied exactly for upload. I see. Sorry for increasing your workload. I have one remark about cygport: When stripping executables, you grep 'Caml1999X008' to determine if a given executable is an OCaml byte-code file. You should be aware that this magic number can get incremented from time to time when the format of byte-code changes. So at the next change it will become 'Caml1999X009' and your test will get false negatives and start stripping byte-code executables. I suggest using 'Caml1999X0' instead, which should give (almost) no additional false positives, but will be much more forward-compatible. Better yet (but slightly more work), you could use 'tail -c 12' to get the last 12 bytes of the file and see if they match /Caml1999X[0-9][0-9][0-9]/. That way, you would be future-proof while getting rid of all false positives. I'm attaching a patch against src_postinst.cygpart (cygport version 0.10.0). -- Damien cygport.patch Description: Binary data
[RFU] ocaml 3.12.0-4
This is the new OCaml, with Yaakov's fixes and suggestions. Please upload, and delete 3.12.0-3, keeping 3.08.1-1 as previous. Thanks -- Damien wget -x -nH --cut-dirs=1 \ http://planar.free.fr/cygwin/ocaml/ocaml-3.12.0-4-src.tar.bz2 \ http://planar.free.fr/cygwin/ocaml/ocaml-3.12.0-4.tar.bz2 \ http://planar.free.fr/cygwin/ocaml/ocaml-base-3.12.0-4.tar.bz2 \ http://planar.free.fr/cygwin/ocaml/ocaml-camlp4-3.12.0-4.tar.bz2 \ http://planar.free.fr/cygwin/ocaml/ocaml-compiler-libs-3.12.0-4.tar.bz2 \ http://planar.free.fr/cygwin/ocaml/emacs-ocaml-3.12.0-4.tar.bz2 \ http://planar.free.fr/cygwin/ocaml/setup.hint \ http://planar.free.fr/cygwin/ocaml/base.hint \ http://planar.free.fr/cygwin/ocaml/camlp4.hint \ http://planar.free.fr/cygwin/ocaml/compiler-libs.hint \ http://planar.free.fr/cygwin/ocaml/emacs.hint
[RFU] ocaml 3.12.0-3
Here is the new OCaml, configured with dynamic linking using FlexDLL. Please delete 3.12.0-2, keeping 3.08.1-1 as previous. Thanks -- Damien wget -x -nH --cut-dirs=1 \ http://planar.free.fr/cygwin/ocaml/ocaml-3.12.0-3-src.tar.bz2 \ http://planar.free.fr/cygwin/ocaml/ocaml-3.12.0-3.tar.bz2 \ http://planar.free.fr/cygwin/ocaml/setup.hint
Re: [ITA] ocaml 3.12.0
On 2010-09-13, at 06:12, Yaakov (Cygwin/X) wrote: gcc3 is deprecated; distro packages should be built with gcc4, and all Ports packages for Cygwin 1.7 are built with gcc4. So OCaml definitely builds with gcc4. I checked and yes it works. How soon can you rebuild ocaml with gcc4 and flexdll-0.25-1? I'm having personal problems right now, so it will likely be two or three weeks. Sorry. -- Damien
Re: [ITA] ocaml 3.12.0
On 2010-09-09, at 21:07, Andrew Schulman wrote: Auto gold star awarded: http://cygwin.com/goldstars/#DD. Ooooh, shiny! Thanks! And a thanks from me - the OCaml package was way out of date, but I tried once to build it for Cygwin and couldn't make it work. But I'm cheating: I have insider information. -- Damien
Re: [ITA] ocaml 3.12.0
On 2010-09-08, at 11:31, Corinna Vinschen wrote: Cool, thanks. Your packaging looks good, so this package is ok for upload. I was just wondering if you would like me to upload the package as is for now, or if I should wait for the FlexDLL-enabled version? I think you should upload this version for the moment because I have two potential problems with Yaakov's FlexDLL package that I need to investigate: 1. It's based on an old version of FlexDLL, and IIRC OCaml needs some of the recent changes. 2. It mentions gcc4 in the dependencies, but OCaml is compiled with gcc3. I need to determine whether OCaml now works with gcc4 and if not, whether it needs a FlexDLL based on gcc3. -- Damien
Re: [ITP] flexdll
On 2010-09-08, at 02:16, Christopher Faylor wrote: I think it can go in transitively if OCaml needs it. OCaml can be compiled in degraded mode without FlexDLL, but many OCaml programs need dynamic linking and will not work in that case. If I had a vote, I'd be in favor, obviously :-) -- Damien
Re: [ITA] ocaml 3.12.0
On 2010-09-08, at 10:00, Corinna Vinschen wrote: wget http://yquem.inria.fr/~doligez/cygwin/ocaml-3.12.0-2-src.tar.bz2 wget http://yquem.inria.fr/~doligez/cygwin/ocaml-3.12.0-2.tar.bz2 Do you also have an URL to the new setup.hint file? wget http://yquem.inria.fr/~doligez/cygwin/setup.hint Oh, btw., since Yaakov has now ITPed FlexDLL, are you going to rebuild ocaml with FlexDLL support? Yes, of course. -- Damien
Re: [ITA] ocaml 3.12.0
On 2010-09-06, at 16:43, Charles Wilson wrote: Are you sure that your new version requires libncurses7? The only current libncurses-dev package will cause you to link against libncurses10... Try cygcheck /usr/bin/name-of-ocaml-exe and see what DLLs it actually uses... Also, new policy is NOT to list 'cygwin' in the requires... You're absolutely right. I have fixed both problems and updated some stale information in the README file. The new version is here: wget http://yquem.inria.fr/~doligez/cygwin/ocaml-3.12.0-2-src.tar.bz2 wget http://yquem.inria.fr/~doligez/cygwin/ocaml-3.12.0-2.tar.bz2 -- Damien
[ITA] ocaml 3.12.0
Dear Cygwin packagers, It looks like the ocaml package is abandoned: the current version (OCaml 3.08.1) dates back to 2006, and the listed maintainer is Igor Pechtchanski (from before he changed his name). Unless it is by design that OCaml is held back to an obsolete version, I would like to volunteer to take over maintainership. I'm one of the main developers of OCaml, and I've been a cygwin user for a few years now. I'm getting tired of reinstalling OCaml by hand on every new cygwin I install... I have read through the Cygwin Package Contributor's Guide (twice). This is the contents of my setup.hint file for the updated package, mostly unchanged from Igor's version: -- sdesc: The Objective Caml compiler and runtime ldesc: Objective Caml is a fast modern type-inferring functional programming language descended from the ML (Meta Language) family. The OCaml compiler is developed at INRIA's project-team Gallium requires: cygwin libncurses7 category: Interpreters Devel -- -- Damien