[isabelle-dev] download-components

Florian Haftmann florian.haftmann at informatik.tu-muenchen.de
Wed Aug 8 20:37:33 CEST 2012

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

How is the situation with curl in cygwin?  Then I would be willing to
port it.  Otherwise a platform switch is inevitable.

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

I'm glad to sort it out, but I need more hints what fails and why – due
to the version of bash?

One might wonder about the considerable increase of bashisms in shell
stuff contributed by me in recent times;  the reason is that at the
moment I have to deal with shell scripts containing hundreds of lines
grown over years on a quite recent Debian environment, and so I'm lucky
for anything which strengthens the illusion that bash is something like
a programming language…

Btw. in older times we had an indication which bash version is minimum
on the installation page.  This has gone now – for which reason?

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

Sounds reasonable.

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

I still think we can get around using bash only here.



PGP available:

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 262 bytes
Desc: OpenPGP digital signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20120808/fc213c77/attachment.sig>

More information about the isabelle-dev mailing list