Please do not be scared by the long `gplc' command line after the signature. Just notice that 1) we pass the option `--c-compiler /usr/local/bin/c++' to `gplc'; 2) despite that, in the linking phase, `gplc' uses `gcc' to perform the job. If anyone has a patch for this, we would appreciate very much hearing about it. 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 $ gplc -v --c-compiler /usr/local/bin/c++ -o ppl_gprolog \ /home/roberto/ppl/altnum/old/ppl/interfaces/Prolog/GNU/ppl_gprolog.pl \ .libs/libppl_gprolog.a \ -L '-L../../../src/.libs -lppl -L../../../Watchdog/.libs -lpwl -lgmpxx -lgmp' Prolog compiler (GNU Prolog) 1.2.18 By Daniel Diaz Copyright (C) 1999-2004 Daniel Diaz GNU Prolog comes with ABSOLUTELY NO WARRANTY. You may redistribute copies of GNU Prolog under the terms of the GNU General Public License. For more information about these matters, see the files named COPYING. Path used: /usr/local/gprolog-1.2.18 *** Compiling --- file: /home/roberto/ppl/altnum/old/ppl/interfaces/Prolog/GNU/ppl_gprolog.pl pl2wam -o /tmp/gplcpuLnmb.wam /home/roberto/ppl/altnum/old/ppl/interfaces/Prolog/GNU/ppl_gprolog.pl wam2ma -o /tmp/gplcEOmByc.ma /tmp/gplcpuLnmb.wam delete /tmp/gplcpuLnmb.wam ma2asm -o /tmp/gplcT8XOKd.s /tmp/gplcEOmByc.ma delete /tmp/gplcEOmByc.ma as -o /tmp/gplc4gknga.o /tmp/gplcT8XOKd.s delete /tmp/gplcT8XOKd.s *** Linking gcc -o ppl_gprolog /usr/local/gprolog-1.2.18/lib/obj_begin.o /tmp/gplc4gknga.o .libs/libppl_gprolog.a -L../../../src/.libs -lppl -L../../../Watchdog/.libs -lpwl -lgmpxx -lgmp /usr/local/gprolog-1.2.18/lib/all_pl_bips.o /usr/local/gprolog-1.2.18/lib/all_fd_bips.o /usr/local/gprolog-1.2.18/lib/top_level.o /usr/local/gprolog-1.2.18/lib/debugger.o /usr/local/gprolog-1.2.18/lib/libbips_fd.a /usr/local/gprolog-1.2.18/lib/libengine_fd.a /usr/local/gprolog-1.2.18/lib/libbips_pl.a /usr/local/gprolog-1.2.18/lib/obj_end.o /usr/local/gprolog-1.2.18/lib/libengine_pl.a /usr/local/gprolog-1.2.18/lib/liblinedit.a -lm delete /tmp/gplc4gknga.o