[isabelle-dev] download-components

Makarius makarius at sketis.net
Wed Aug 8 11:22:52 CEST 2012

On Wed, 8 Aug 2012, Christian Sternagel wrote:

> How about also providing a variable (as TMP for the download directory)

One could also use "wget -O- ... | tar xvzf -" and avoid the TMP file.

Anyway, wget is one of these portability issues.  Mac OS lacks it by 
default, and has curl instead.

Other portability issues are too aggresive bash features, like shopt and 
exception handlers.  (Here it happens to work on Mac OS, but a recent 
script for pandoc with lots of more such options failed.)

For non-trivial Isabelle tools I am now moving towards using 
Isabelle/Scala.  The shell wrapper only provides the traditional getopt 
parsing and usage model of Isabelle tools.

In this particular situation it would pose a bootstrap problem, though, 
since jdk and scala components are required first, and their versions can 
also change over time in Admin/components.


More information about the isabelle-dev mailing list