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
significantly.
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.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
