[isabelle-dev] Remaining uses of 32bit Linux?
makarius at sketis.net
Sat Sep 30 13:38:52 CEST 2017
Are there remaining uses of a strictly 32bit Linux?
Giving that up means we no longer need to provide both x86_64-linux and
x86-linux for Isabelle tools. It also shrinks the Linux JDK component
Of course, the important x86-linux Poly/ML will still be there (although
it should be principle possible to re-implement that as native
x86_64-linux and still use short 32bit addresses for ML).
Note that with Ubuntu 17.10, Canonical slowly starts to phase out 32bit
hardware support. This is not immediately relevant for us, but it shows
that things are changing.
More information about the isabelle-dev