August 2004 - PPL-devel - BUGSENG Mailman

Re: [PPL-devel] PROBLEM with installation
by Roberto Bagnara 23 Nov '04

23 Nov '04

Joycee Mekie wrote: > I have configured gmp-4.1.2 using the following cmd. > configure --enable-cxx > make > > For configuring ppl-0.5 i use the following cmd > > configure --with-gmp-includes=../gmp-4.1.2/ > --with-gmp-dir=../gmp-4.1.2/.libs/ > > for which i get the below listed error. > > I have written test program in C which includes gmp.h and > it works fine. So, GMP has been properly installed. Dear Joycee, you should try a C++ program that includes gmpxx.h. This is the right test to check whether GMP _and_ its C++ interface have been properly installed. > Could you kindly let me know what options need > to be specified with configure for ppl. > > I am attaching the tar.gz files of gmp and ppl for your perusal. > > Waiting for your reply. Usually the problem is due to the fact that the dynamic linker has not been instructed about the location where you have installed your version of GMP. Assuming that you have installed gmp-4.1.2 in /some/directory/gmp-4.1.2 the directory `/some/directory/gmp-4.1.2/lib' will contain some files called `libgmpxx.so*'. If so, you should do two things: 1) Add the directory `/some/directory/gmp-4.1.2/lib' to the environment variable `LD_LIBRARY_PATH'. If your are using the bash shell, you can add the line export LD_LIBRARY_PATH=/some/directory/gmp-4.1.2/lib:$LD_LIBRARY_PATH to your $HOME/.bash_profile and, at your next login, everything should work as expected. 2) Configure the PPL with a command like configure --with-gmp-includes=/some/directory/gmp-4.1.2/include \ --with-gmp-dir=/some/directory/gmp-4.1.2/lib (i.e., avoid relative paths and forget about the .libs directory), and If your problem persist, please come back to us and include the file `config.log' that is generated by PPL's configure script (do not include other files). 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

w3ppl/htdocs/Documentation ppl_citations.bib
by Roberto Bagnara 31 Aug '04

31 Aug '04

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2004-08-31 22:03:56 Modified files: htdocs/Documentation: ppl_citations.bib Log message: Make sure `I/O' is not touched by BibTeX. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl_ci…

1 0

w3ppl/htdocs/Documentation ppl_citations.bib
by Roberto Bagnara 31 Aug '04

31 Aug '04

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2004-08-31 21:56:37 Modified files: htdocs/Documentation: ppl_citations.bib Log message: Missing comma added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl_ci…

1 0

w3ppl/htdocs/Documentation ppl_citations.bib
by Roberto Bagnara 31 Aug '04

31 Aug '04

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2004-08-31 21:45:45 Modified files: htdocs/Documentation: ppl_citations.bib Log message: Added a first draft for FrehseHK04. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl_ci…

1 0

w3ppl/htdocs/Documentation ppl_citations.bib
by Roberto Bagnara 31 Aug '04

31 Aug '04

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2004-08-31 21:23:13 Modified files: htdocs/Documentation: ppl_citations.bib Log message: Added a first draft for Frehse04. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl_ci…

1 0

w3ppl/htdocs/Documentation ppl_citations.bib
by Roberto Bagnara 31 Aug '04

31 Aug '04

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2004-08-31 20:42:48 Modified files: htdocs/Documentation: ppl_citations.bib Log message: Added HalbwachsMP-V03. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl_ci…

1 0

w3ppl/htdocs/Documentation .cvsignore Document ...
by Roberto Bagnara 31 Aug '04

31 Aug '04

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2004-08-31 19:28:16 Modified files: htdocs/Documentation: .cvsignore Documentation.raw Makefile Added files: htdocs/Documentation: citations.head ppl_citations.bib Log message: New page and bibliography for citations. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/citati… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl_ci… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/.cvsig… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/Docume… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/Makefi…

1 0

ppl/tests Makefile.am
by Roberto Bagnara 31 Aug '04

31 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-08-31 16:24:49 Modified files: tests : Makefile.am Log message: Search for header files also in the `utils' directory. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl ./Makefile.am ./configure.ac demos/ppl_lcd ...
by Roberto Bagnara 31 Aug '04

31 Aug '04

1 0

ppl/utils
by Roberto Bagnara 31 Aug '04

31 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-08-31 15:59:51 ppl/utils Update of /cvs/ppl/ppl/utils In directory spartacus.cs.unipr.it:/tmp/cvs-serv19835/utils Log Message: Directory /cvs/ppl/ppl/utils added to the repository

1 0