[PPL-devel] Re: [SWIPL] Is the functor `main' special? Is Cygwin special?

[Roberto Bagnara]

Jan Wielemaker wrote:
> There is a library(main) which defines main/0, setup a sensible runtime 
> environment, picks the arguments and calls main/1 with the provided 
> arguments.  This should not bother you if you nicely define main/0 
> yourself, but if it somehow picks up this definition, you loose.

Thanks Jan, and thanks also to Tom and Djame'.

Now I am less confused, but I still have a problem.
So, I succeed obtaining pl_clpq.exe using this command,
which seems to complete without error:

plld -cc gcc -c++ g++ -ld g++ -pl-options,-g,main -o pl_clpq.exe ppl_swiprolog.o pl_clpq.o \
         ../../../../ppl-0.7pre10/interfaces/Prolog/SWI/pl_clpq.pl \
         ../../../../ppl-0.7pre10/interfaces/Prolog/SWI/../tests/clpq.pl \
	-L../../../src/.libs -lppl \
	-L../../../Watchdog/.libs -lpwl \
	 -lm -lgmpxx -lgmp
Info: resolving Parma_Polyhedra_Library::abandon_expensive_computations        by linking to __imp___ZN23Parma_Polyhedra_Library30abandon_expensive_computationsE (auto-import)
Info: resolving Parma_Polyhedra_Library::Coefficient_free_list_first        by linking to __imp___ZN23Parma_Polyhedra_Library27Coefficient_free_list_firstE (auto-import)
% ../../../../ppl-0.7pre10/interfaces/Prolog/SWI/pl_clpq.pl compiled 0.00 sec, 3,056 bytes
% ../../../../ppl-0.7pre10/interfaces/Prolog/SWI/../tests/clpq.pl compiled 0.01 sec, 34,424 bytes
% /usr/local/lib/pl-5.4.5/library/listing compiled into prolog_listing 0.01 sec, 14,356 bytes
% /usr/local/lib/pl-5.4.5/library/edinburgh compiled into edinburgh 0.00 sec, 1,880 bytes
% halt

And I am pretty sure the file `pl_clpq.pl' contains a definition for
main/0 that is seen and works perfectly under GNU/Linux.
Any idea why this seems to be not the case under Cygwin?
Cheers,

     Roberto

-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it