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 -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it