[isabelle-dev] Standard component setup (Re: NEWS)
makarius at sketis.net
Tue Jan 10 14:41:45 CET 2012
On Sun, 8 Jan 2012, Florian Haftmann wrote:
> d) add-ons not being formal components – at the moment ghc. I always
> considered re-packing or wrapping this as overkill.
As a rule of thumb, the bundled Isabelle components are the essential
things required for running the system in regular applications, packaged
in a multi-platform way without significant external dependencies (plain
libc/libg++ is fine). Building and maintaining such components also needs
to be reasonably easy. We have no formal process for that at the moment.
GHC might be not as essential on the one hand, and more complex on the
other hand, so one could ask users to refer to a suitable package provided
by their OS environment. Linux seems to provide it. For Mac OS I see it
on MacPorts, but we no longer ask regular users to have that installed.
For Windows/Cygwin Google reveals this page
with some further explanations.
(Windows/Cygwin is indeed the most strange GNU Linux system in existance,
but once we get a double-click installer for the whole stack of
JVM/Cygwin/Isabelle/PIDE this might easily become the platform of the
majority of users.)
More information about the isabelle-dev