Re: [isabelle] Packaging for distros? (Ubuntu/Debian/Fedora?)

On Sat, 27 Nov 2010, Lionel Elie Mamane wrote:

The Ubuntu/Debian package uses:

- automatically: the first it finds in the list:
  OpenJDK Java6 JRE
  Cacao JRE
  Sun/Oracle Java6 JRE
  (as long as they are installed in a way recognised by the
  java-wrappers mechanism, for example through the Ubuntu/Debian
- through manual override: any one (even not in this list, even one
  not installed through packages) manually specified through one of
  the JAVA_FLAVOR / JAVA_HOME / JAVA_BIN environment variables. See
  man page java-wrappers in section 7 for details.

True, if you install the "jedit" package on a system that has neither
OpenJDK6 JRE, nor Sun Java6 JRE, it will *by* *default* install
OpenJDK6 JRE. But if you install (or select for installation) Sun Java6
JRE first, then installing jedit will *not* install OpenJDK6 JRE.

That is a lot of complication introduced by the packaging. So what is the point of it?

Isabelle does not need "installation" nor "uninstallation". You just run it, or delete it if you are unsatisfied.


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.