Email Gateway (Aug 17 2022 at 13:26): Email Gateway (Aug 17 2022 at 13:26):From: Si Fraser <mail@sifraser.com>
When executing the command isatool usedir ZF abc_pob_0' using a java
system' command, I get the following error.
Running ZF-abc_pob_0 ...
/usr/local/isabelle/Isabelle/bin/../lib/scripts/run-polyml: line 118:
8110 Segmentation fault "$POLY" $ML_OPTIONS "$DB"
ZF-abc_pob_0 FAILED
I presume this is something to do with the environment, but have played
around with the scripts and can't figure out what. I can use the same
command from the command line without any problem.
I don't know whether this is relevant, but this problem has only
occurred since switching OS from Mandrake 10.1 to Fedora Core 4.
Thanks in advance for any comments,
Simon
Email Gateway (Aug 17 2022 at 13:26):From: Florian Haftmann <florian.haftmann@informatik.tu-muenchen.de>
When executing the command
isatool usedir ZF abc_pob_0' using a javasystem' command, I get the following error.
Which java library method are you using exactly? I know e. g. that
Runtime.exec becomes very painfully if the process writes more than one
line to stdout (!).
Florian
signature.asc
Last updated: May 03 2024 at 04:19 UTC