bug-prolog
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

GNU Prolog bug report: `gplc' ignores the `--c-compiler' option


From: Roberto Bagnara
Subject: GNU Prolog bug report: `gplc' ignores the `--c-compiler' option
Date: Wed, 22 Dec 2004 18:22:22 +0100
User-agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.7.3) Gecko/20040914


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:address@hidden


$ 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






reply via email to

[Prev in Thread] Current Thread [Next in Thread]