Dear all,
do you remember we had problems that could only be cured by inserting `GLOBALSTKSIZE=1000000' into the environment when running _some_ programs? If you don't remember, please read at http://www.cs.unipr.it/pipermail/ppl-devel/2003-April/003589.html
I have now tried to see whether the fixes of 1.10#5 make this kludge unnecessary. The answer is negative, even though the error message is now different.
Here is what I see:
$ GLOBALSTKSIZE=1000000 ciao_clpq <../../../../ppl/ppl/interfaces/Prolog/Ciao/../check_script {ERROR: dynlink/2: could not load library libppl_ciao.so: cannot open shared object file: No such file or directory)} {ERROR: No handle found for thrown error error(existence_error(procedure,/(ppl_ciao:ppl_initialize,0)),/(ppl_ciao:ppl_initialize,0))} [roberto@zoltan Ciao]$ GLOBALSTKSIZE=1000000 ../../../libtool --mode=execute -dlopen ../../../src/libppl.la -dlopen ../../../Watchdog/libpwl.la -dlopen libppl_ciao.la ciao_clpq <../../../../ppl/ppl/interfaces/Prolog/Ciao/../check_script Copyright (C) 2001-2004 Roberto Bagnara bagnara@cs.unipr.it this program is free software, covered by the GNU General Public License, and you are welcome to change it and/or distribute copies of it under certain conditions. Type "copying" to see the conditions. There is ABSOLUTELY NO WARRANTY for this program. Type "warranty" for details. PPL clpq ?- yes PPL clpq ?- Z = 5 more? yes PPL clpq ?- yes PPL clpq ?- X = 0 Y - Z = -1 more? yes PPL clpq ?- yes PPL clpq ?- Y = 102 more? yes PPL clpq ?- yes PPL clpq ?- Y = 8 more? yes PPL clpq ?- yes PPL clpq ?- Y =< 9 -E + Y >= 0 E >= 0 M = 1 E + D - Y = 0 E - N = 0 O = 0 S = 9 R = 0 more? yes PPL clpq ?- yes PPL clpq ?- X = 10 more? yes PPL clpq ?- $
Which is fine. But when I omit the `GLOBALSTKSIZE=1000000' I obtain
$ ../../../libtool --mode=execute -dlopen ../../../src/libppl.la -dlopen ../../../Watchdog/libpwl.la -dlopen libppl_ciao.la ciao_clpq <../../../../ppl/ppl/interfaces/Prolog/Ciao/../check_script Copyright (C) 2001-2004 Roberto Bagnara bagnara@cs.unipr.it this program is free software, covered by the GNU General Public License, and you are welcome to change it and/or distribute copies of it under certain conditions. Type "copying" to see the conditions. There is ABSOLUTELY NO WARRANTY for this program. Type "warranty" for details. PPL clpq ?- yes PPL clpq ?- Z = 5 more? yes PPL clpq ?- yes PPL clpq ?- X = 0 Y - Z = -1 more? yes PPL clpq ?- yes PPL clpq ?- Y = 102 more? yes PPL clpq ?- yes PPL clpq ?- % Malloc: Inappropriate ioctl for device {ERROR: Memory allocated out of addressable bounds!} $
Please, let me know what I can do to help you find what causes this behavior. All the best,
Roberto