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

On Sun, 28 Nov 2010, Joachim Breitner wrote:

* It's a lot easier to "apt-get install isabelle" than it is to find
  where to download it, download it, work out how to install it (even if
  that does turn out to be "just untar it"), add it to my path, etc

may I amend this point with something relevant especially to Isabelle:
Isabelle is an research tool and consequently will appear in university
courses (this is where I learned about it). For that it has to be
installed on computer pool computers, and the admins of these pools will
be very happy to just add the name of a package to a configuration file
than having to write scripts that download tarballs, extracts them etc.

In fact, our tar.gz bundles are exactly made for this situation, where you have the typical mixture of several different architectures and operating system versions sharing one file space. The platform identifiers within the Isabelle directory structure make this very convenient.

Here the distribution-specific packaging would get in the way, unless you assume a Debian only universe.


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