Dear Roberto, that perfectly fixes the problem. Thank you very much for your patience. Let's move to the hardest part of the work !
Regards, Tristan Denmat
tristan Denmat wrote:
I hope it will be better...
Dear Tristan,
I got config.log also from the mailing list (so our Mailman configuration is OK).
Anyway, the problem is that the PPL does not know where to find the SICStus include file. While we look for a better solution, the quickest thing for you is:
check that you have the file /soft/sicstus/include/sicstus/sicstus.h (yes, there are 3 occurrences of "sicstus" in the above path);
if so, use the following command to configure the PPL:
CPPFLAGS=-I/soft/sicstus/include ./configure
--with-libgmp-prefix=/local/Gmp [plus all the other options you want]
Please, let us know if this fixes the problem for you. Best wishes,
Roberto