December 2004 - PPL-devel - BUGSENG Mailman

ppl ./README src/Checked_Number.defs.hh src/Co ...
by Enea Zaffanella 23 Dec '04

23 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-12-23 21:19:24 Modified files: . : README src : Checked_Number.defs.hh Coefficient.types.hh GMP_Integer.defs.hh GMP_Integer.types.hh Makefile.am Native_Integer.defs.hh Native_Integer.types.hh Log message: Drafted the doxygen documentation for Coefficient, GMP_Integer, Checked_Number and Native_Integer, as well as corresponding traits. Corrected a minor error in the README file. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/README.diff?cvsroot=ppl&r1=1.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.defs.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Coefficient.types.hh.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GMP_Integer.defs.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GMP_Integer.types.hh.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Native_Integer.defs.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Native_Integer.types.hh.d…

1 0

Is the functor `main' special? Is Cygwin special?
by Roberto Bagnara 23 Dec '04

23 Dec '04

Hi there, I am confused. Everything started when I tried to do un Cygwin what I usually do under GNU/Linux. I have a makefile rule that builds a stand-alone application as follows: pl_clpq$(EXEEXT): ppl_swiprolog.o pl_clpq.o pl_clpq.pl ../tests/clpq.pl plld -cc $(CC) -c++ $(CXX) -ld $(CXX) -pl-options,-g,main., -o $@ $+ \ -L$(top_builddir)/src/.libs -lppl \ -L$(top_builddir)/Watchdog/.libs -lpwl \ @extra_libraries@ Notice the option `-pl-options,-g,main.,', which, unless I am mistaken, means that main/0 is the goal to be executed at startup. (I am not sure the final dot and comma should be there, by the way.) While the application built that way runs happily under GNU/Linux, under Cygwin it dies because, while main/0 it is defined, main/1 is not. However, accorting to the `-pl-options' above, main/0 should be called, not main/1: I don't understand who is looking for main/1 and why. So I made a couple of experiment on GNU/Linux and the result is confusing: $ pl -g main ERROR: Undefined procedure: main/1 ERROR: However, there are definitions for: ERROR: main/0 $ pl -g main. ERROR: Undefined procedure: main/1 ERROR: However, there are definitions for: ERROR: main/0 $ pl -g foo ERROR: Prolog initialisation failed: ERROR: Undefined procedure: foo/0 $ pl -g foo. ERROR: Prolog initialisation failed: ERROR: Undefined procedure: foo/0 What is going on? 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

2 2

ppl doc/Makefile.am interfaces/Prolog/SWI/Make ...
by Roberto Bagnara 23 Dec '04

23 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-12-23 16:16:00 Modified files: doc : Makefile.am interfaces/Prolog/SWI: Makefile.am src : globals.defs.hh Log message: Redundant inline declarations removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/Makefile.am.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.defs.hh.diff?cvsr…

1 0

ppl/interfaces/Prolog/SWI Makefile.am
by Roberto Bagnara 23 Dec '04

23 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-12-23 14:19:47 Modified files: interfaces/Prolog/SWI: Makefile.am Log message: Let `plld' use the C++ compiler to perform linking. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/Makefil…

1 0

ppl ./ppl.spec.in doc/README.doc doc/README
by Roberto Bagnara 23 Dec '04

23 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-12-23 12:20:55 Modified files: . : ppl.spec.in Added files: doc : README.doc Removed files: doc : README Log message: The file doc/README has been renamed README.doc so as not to conflict with the library's main README file. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ppl.spec.in.diff?cvsroot=ppl&… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/README.doc?cvsroot=ppl&re… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/README.diff?cvsroot=ppl&r…

1 0

ppl ppl.spec.in
by Roberto Bagnara 23 Dec '04

23 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-12-23 11:50:05 Modified files: . : ppl.spec.in Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ppl.spec.in.diff?cvsroot=ppl&…

1 0

ppl ./configure.ac src/Makefile.am
by Roberto Bagnara 23 Dec '04

23 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-12-23 11:46:20 Modified files: . : configure.ac src : Makefile.am Log message: Allow the creation of a PPL DLL under Cygwin. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=…

1 0

ppl README.configure
by Patricia Hill 23 Dec '04

23 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2004-12-23 11:28:22 Modified files: . : README.configure Log message: Small improvement. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/README.configure.diff?cvsroot…

1 0

ppl README.configure
by Roberto Bagnara 23 Dec '04

23 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-12-23 10:24:46 Modified files: . : README.configure Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/README.configure.diff?cvsroot…

1 0

ppl/src Polyhedra_Powerset.inlines.hh
by Roberto Bagnara 23 Dec '04

23 Dec '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-12-23 10:23:51 Modified files: src : Polyhedra_Powerset.inlines.hh Log message: Make sure Polyhedra_Powerset<PH>::space_dimension() is defined before being used. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_Powerset.inline…

1 0