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
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