Stream: Coq Platform devs & users

Topic: Cygwin dropped 32 bit support


view this post on Zulip Michael Soegtrop (Nov 26 2022 at 13:23):

Apparently Cygwin last night did the step of dropping 32 bit support - it was announced a year ago and discussed back then. Here is the CI failure.

I wonder what we should do now? Drop it here and now? I guess I can put together 32 bit installers for 2022.09.1, but it will be hard to build from sources.

@Andrew Appel : FYI - afair you prefer the 32 bit version for memory consumption / speed reasons.

view this post on Zulip Michael Soegtrop (Nov 26 2022 at 13:27):

Here is the current announcement

view this post on Zulip Paolo Giarrusso (Nov 26 2022 at 15:04):

The announcement sounds like they'll stop developing 32bit Cygwin, not distributing it. How hard is it to stick to Cygwin 3.3?

view this post on Zulip Paolo Giarrusso (Nov 26 2022 at 15:06):

Ah, no instructions yet:

the Cygwin x86 package repository will be archived.

(Instructions on the special steps needed to install from that archive
will be forthcoming, once we've worked out what they are.)

view this post on Zulip Karl Palmskog (Nov 26 2022 at 15:07):

but then the Cygwin environment (including packages) will diverge between 32 bit and 64 bit. This is similar to supporting a whole new OS platform, and one that receives zero support or updates. Seems like a straightforward decision to drop.

view this post on Zulip Théo Zimmermann (Nov 26 2022 at 17:34):

I agree. We shouldn't get out of our way to support a platform which is abandoned.

view this post on Zulip Michael Soegtrop (Nov 26 2022 at 17:34):

I don't think we have much of a choice. My main question was if I should make an attempt to build a last 32 bit installer for 2022.09.1.

view this post on Zulip Michael Soegtrop (Nov 26 2022 at 17:35):

I think I can do this by working with my local cygwin cache.

view this post on Zulip Théo Zimmermann (Nov 27 2022 at 17:07):

I don't think it is worth.

view this post on Zulip Andrew Appel (Nov 28 2022 at 13:11):

Let's drop 32-bit support. It's only for a performance improvement, and not for any other functionality. Maybe it's time for me to abandon Windows in any case . . .

view this post on Zulip Michael Soegtrop (Nov 28 2022 at 13:14):

OK. I think it is little effort to do a last 2022.09.1 release (I wouldn't like to drop it on short notice). We then announce this, so that people have time.

view this post on Zulip Karl Palmskog (Nov 28 2022 at 13:15):

hmm, but isn't x32 still supported on Linux? https://github.com/ocaml/ocaml/issues/6722

My understanding was that it would give analogous performance benefits to 32-bit Windows. But maybe it has been thrown out in OCaml 5.0.

view this post on Zulip Michael Soegtrop (Nov 28 2022 at 13:20):

Didn't some distros also stop 32 bit? Ubuntu?

Anyway this discussion is about if we deliver a 32 bit Windows installer.


Last updated: Jan 30 2023 at 11:03 UTC