Mon, 25 Mar 2024 21:04:26 +0100 | wenzelm | obsolete: base-line is macOS 11; | file | diff | annotate |
Mon, 25 Mar 2024 20:55:27 +0100 | wenzelm | more robust: always assume x86_64 (or its emulation on ARM); | file | diff | annotate |
Tue, 11 May 2021 16:30:24 +0200 | wenzelm | clarified platforms; | file | diff | annotate |
Wed, 06 Jan 2021 16:50:53 +0100 | wenzelm | detect arm64-darwin more reliably: uname could be in x86_64 mode, e.g. within app bundle; | file | diff | annotate |
Thu, 24 Dec 2020 14:03:15 +0100 | wenzelm | support ISABELLE_APPLE_PLATFORM64 (Apple Silicon); | file | diff | annotate |
Sat, 03 Oct 2020 19:56:02 +0200 | wenzelm | detect/guess arm32 platform (unsupported); | file | diff | annotate |
Wed, 30 Sep 2020 13:20:33 +0000 | wenzelm | detect arm64-linux platform; | file | diff | annotate |