June 2002 - PPL-devel - BUGSENG Mailman

Re: [SWIPL] A question on install() and uninstall() in foreign modules
by Jan Wielemaker 12 Jun '02

12 Jun '02

Roberto, > I understand from the documentation that the install() function > returns an object of type install_t. However, install_t seems > to be defined as void in SWI-Prolog.h. In other words, > code like > > install_t install() { > ppl_initialize(); > PL_register_extensions(predicates); > } > > would seem to miss a return statement, but adding a return statement > would be an error. > So, what is the purpose of install_t? Provide whatever is needed to make it visible from the outside world such as DLL-export statements. If I would have to design in again, I would have used an integer return value, so the install function can signal success/failure. For now I'll not make any changes until there is a standard to move toward. > And why there is not something similar for uninstall()? > Thanks in advance Also install_t: install_t uninstall() { ppl_remove(); /* or whatever; the predicates are removed */ } /* automatically */ Cheers --- Jan

1 0

A question on install() and uninstall() in foreign modules
by Roberto Bagnara 12 Jun '02

12 Jun '02

Hi there, I understand from the documentation that the install() function returns an object of type install_t. However, install_t seems to be defined as void in SWI-Prolog.h. In other words, code like install_t install() { ppl_initialize(); PL_register_extensions(predicates); } would seem to miss a return statement, but adding a return statement would be an error. So, what is the purpose of install_t? And why there is not something similar for uninstall()? Thanks in advance 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

1 0

ppl/interfaces/Prolog/SWI pl_clpq.cc ppl_pl.cc ...
by Roberto Bagnara 12 Jun '02

12 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-12 14:44:00 Modified files: interfaces/Prolog/SWI: pl_clpq.cc ppl_pl.cc ppl_swiprolog.cc Log message: Make sure the library is always uninstalled. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/pl_clpq… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/ppl_pl.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/ppl_swi…

1 0

Re: Raising Prolog exceptions from C code (2nd attempt)
by Roberto Bagnara 12 Jun '02

12 Jun '02

Joseph Benden wrote: > Hello, > > The Prolog exceptions that I am successfully raising from both C and C++ > code is based off of the Emit_Syntax_Error call. > > Example: > > Emit_Syntax_Error("SQL Error", 1, 1, "Some text that failed or another C > call returning a textual error message"); Hi Joseph, thanks for your message. Just to make another test (I have done a million anyway) I have tried replacing Pl_Exec_Continuation(a_throw, 1, &t); with Emit_Syntax_Error(...) in my application (http://www.cs.unipr.it/ppl/) and I observe exactly the same segmentation violations and illegal instructions. May it be because Pl_Exec_Continuation is implemented by means of setjmp/longjmp and I am doing something that is incompatible with them? What can it be? Thanks again 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

5 11

Re: [PPL-devel] Installing PPL
by Roberto Bagnara 12 Jun '02

12 Jun '02

Martin Rohde wrote: > I installed the new version, but it still doesn't work. GMP is installed > in /opt/gmp-4.1 and the PPL library will be installed in /tmp/ppl. For > configuring, I do > > ./configure --prefix=/tmp/ppl --with-gmp-includes=/opt/gmp-4.1/include > --with-gmp-dir=/opt/gmp-4.1/lib > > But still, the GMP library is not found. (GMP is installed with the > --enable-cxx option and CPPFLAGS=-fexceptions). > > I included the configure.log, maybe it will help. Hi Martin, in the config.log you have included there is configure:3692: g++ -o conftest -g -O2 -I/opt/gmp-4.1/include -fexceptions conftest.cc -L/opt/gmp-4.1/lib -lgmp -lgmpxx >&5 configure:3695: $? = 0 configure:3697: ./conftest ./conftest: error while loading shared libraries: libgmpxx.so.3: cannot load shared object file: No such file or directory This would seem to indicate that in /opt/gmp-4.1/lib there is no file named libgmpxx.so*: is that the case? This is strange if you have configured GMP with (among the others you mention) the option --prefix=/opt/gmp-4.1 and if you did not forget to run `make install' after `make'. Please come back to us if the problem persists. 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

1 0

ppl ppl.spec.in
by Roberto Bagnara 12 Jun '02

12 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-12 10:47:01 Modified files: . : ppl.spec.in Log message: Added file list for package gprolog. Updated file list for package swi. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ppl.spec.in.diff?cvsroot=ppl&…

1 0

ppl/interfaces/Prolog GNU/Makefile.am SWI/Make ...
by Roberto Bagnara 12 Jun '02

12 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-12 10:43:23 Modified files: interfaces/Prolog/GNU: Makefile.am Log message: Create dynamic libraries but link statically until we understand whether and if libtool can be made to interoperate with gplc. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/Makefil… Modified files: interfaces/Prolog/SWI: Makefile.am Log message: Create dynamic libraries but link statically until we understand whether and if libtool can be made to interoperate with plld. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/Makefil…

1 0

Question about compiling and running C-programs with PPL
by Martin Rohde 12 Jun '02

12 Jun '02

Hello, I'm trying to work with an older version (0.2) now (just to practice). I installed everything and "make check" confirmed that everything was OK. I took the inters1.cc file and replaced all include files with "ppl.hh". I also removed the print_constraints commands and namespace std. I tried to compile the code, but I get a huge amount of error messages saying 'undefined reference to...'. The compilation was started with gcc inters1.cc -L/opt/ppl-0.2/lib -I/opt/ppl-0.2/include -lgmp I think I do something stupid (as a beginner in using libraries), but I can't figure out what. Could you tell me how to use this library correctly in my code? Thank you! Martin Rohde Delft University of Technology Kramers Laboratorium voor Fysische Technologie Tel 0031 +152787084 Mail martin(a)klftfs01.tn.tudelft.nl

2 1

Re: [PPL-devel] Installing PPL
by Roberto Bagnara 12 Jun '02

12 Jun '02

Martin Rohde wrote: > Dear Roberto, > > thank you for your quick response. Here the information: > > I installed GMP 4.1 (the latest version from the gnu website) > > The prefix just points to a test directory, because it is not yet > installed officially on our lab. So I created the directory /tmp/gmp in > order to test the GMP library, together with PPL. But this should work > anyhow. I have the feeling that, though the --with-gmp* are used, PPL uses > the default GMP directory, where version 3 is installed. Our administrator > doesn't want to change to version 4 immediately, because of the links to > other applications... > > The output of g++ -v is > gcc version 2.96 20000731 (Red Hat Linux 7.1 2.96-81) > > The output of uname-a is > Linux klftdh07.tn.tudelft.nl 2.4.8-ac2 #4 Mon Aug 13 15:02:24 CEST 2001 > i686 unknown > > The config.log file can be found as an attachment in this mail. > > I hope you can help me, because the library looks very interesting and > powerful! Dear Martin, here is the diagnosis of the problem you are experiencing. GMP 4.0.1 had a misfeature that was hiding a bug in the configuration mechanism of PPL 0.3. This problem of GMP was reported in http://www.cs.unipr.it/pipermail/ppl-devel/2002-March/001417.html and then fixed in GMP 4.1. In summary, with GMP 4.1 the bug in PPL 0.3 becomes apparent and does not allow you to build the library. There are two possible solution: installing GMP 4.0.1 instead of GMP 4.1 and then install PPL 0.3 or, much better, wait a few hours so that we can prepare a snapshot of PPL 0.4 (due to be released very soon) for you. We warmly suggest the second solution. I will send you a mail when the snapshot is on our web site for you to download. 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

1 1

ppl/interfaces/Prolog Prolog_interface.dox
by Roberto Bagnara 12 Jun '02

12 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-12 08:45:43 Modified files: interfaces/Prolog: Prolog_interface.dox Log message: Started writing the documentation for the GNU Prolog interface. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…

1 0