Email Gateway (Nov 19 2025 at 21:47): Email Gateway (Nov 19 2025 at 21:47):From: Makarius <makarius@sketis.net>
On 19/11/2025 20:46, Makarius wrote:
a consolidated release candidate of Isabelle2025-1 (December 2025) is
available from https://isabelle.in.tum.de/website-Isabelle2025-1-RC2
Testing that on macOS, I now see we have a new record in application bundle
size: 3.56 GiB. Thus we are slowly approaching the 6 GiB of MacTeX.
This continued inflation has two reasons:
(1) more ambitious bundling of add-on components, e.g. VSCodium with its
Electron and Node.js framework, or pre-built browser_info and Find_Facts data,
(2) native ARM64 binaries for the majority of Isabelle tools and
frameworks, in addition to old Intel binaries.
Presently we still demand Apple's Rosetta2 to run old x86_64-darwin
executables on the spot, like the initial app launcher
Isabelle2025-1-RC2.app/Isabelle2025-1-RC2 --- that startup-wrapper ensures
that Rosetta2 is already present when external ATPs and SMTs are run later on.
Within the next 1-2 years, I would like to see native arm64-darwin executables
for all Isabelle add-on tools, and make x86_64-darwin optional. Then we will
no longer demand Rosetta2 --- it will be discontinued by Apple after macOS 26.
That might pose a challenge for some old tools: We will need to work on that.
A bit later we could phase out x86_64-darwin altogether, and thus get back to
the subject of this mail: reduce the bulk of the app bundle again, having
just one copy of jdk, vscodium, cvc5, vampire etc.
This also poses the question if Intel-Mac users still exist: We do have our
own test machines as existence proof for that platform, to build and test
executables, but is there anybody else still out there?
Makarius
Email Gateway (Nov 19 2025 at 22:13):From: Makarius <makarius@sketis.net>
On 19/11/2025 22:47, Makarius wrote:
On 19/11/2025 20:46, Makarius wrote:
a consolidated release candidate of Isabelle2025-1 (December 2025) is
available from https://isabelle.in.tum.de/website-Isabelle2025-1-RC2
Testing that on macOS, I now see we have a new record in application bundle
size: 3.56 GiB. Thus we are slowly approaching the 6 GiB of MacTeX.
To be more precise, the situation is as follows:
Isabelle2025-1-RC2_macos.tar.gz 1.7G
Isabelle2025-1-RC2.app/ 3.6G
MacTeX.pkg 5.9G
MacTeX installed 9.7G
So we have a little headroom left, before we need to call it "as bulky as MacTeX".
Makarius
Email Gateway (Nov 19 2025 at 22:36):From: Lawrence Paulson <lp15@cam.ac.uk>
The 2019 iMacs offered attractive performance and I imagine there could be many floating around, but they don’t support Tahoe.
On 19 Nov 2025, at 21:47, Makarius <makarius@sketis.net> wrote:
This also poses the question if Intel-Mac users still exist: We do have our own test machines as existence proof for that platform, to build and test executables, but is there anybody else still out there?
Email Gateway (Nov 19 2025 at 22:44):From: Makarius <makarius@sketis.net>
On 19/11/2025 23:36, Lawrence Paulson wrote:
On 19 Nov 2025, at 21:47, Makarius <makarius@sketis.net> wrote:
This also poses the question if Intel-Mac users still exist: We do have our own test machines as existence proof for that platform, to build and test executables, but is there anybody else still out there?
The 2019 iMacs offered attractive performance and I imagine there could be
many floating around, but they don’t support Tahoe.
Yes, Intel Macs will get stuck on macOS 26. It will continue to work for a few
years, and then be discontinued by Apple.
Presently, I would like to get an idea about the timespan we should continue
to support Intel Macs --- meaning that we need keep some of the hardware
around in some basement (even buy new ones).
Makarius
Email Gateway (Nov 20 2025 at 11:33):From: Lawrence Paulson <lp15@cam.ac.uk>
Almost the entire Apple product line had moved to ARM chips by April 2021. The exception is the Mac Pro, and I imagine nobody has one of those.
You could always announce "I propose to drop Mac Intel support starting with Isabelle2026", and count how many object. I'd like my Intel iMac but I have to admit, it is getting old.
Larry
On 19 Nov 2025, at 22:43, Makarius <makarius@sketis.net> wrote:
Presently, I would like to get an idea about the timespan we should continue to support Intel Macs --- meaning that we need keep some of the hardware around in some basement (even buy new ones).
Last updated: Dec 02 2025 at 16:32 UTC