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