October 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

ppl/src Row.cc Row.inlines.hh
by Roberto Bagnara 30 Oct '04

30 Oct '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-10-30 12:20:27 Modified files: src : Row.cc Row.inlines.hh Log message: Fixed a bug in Row::shrink() that could bite (but not with the current code) when using compilers not supporting flexible arrays. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.cc.diff?cvsroot=ppl&r… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.inlines.hh.diff?cvsro…

1 0

ppl configure.ac
by Roberto Bagnara 30 Oct '04

30 Oct '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-10-30 12:18:53 Modified files: . : configure.ac Log message: Check for endianness. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

w3ppl/htdocs ppl.raw
by Roberto Bagnara 30 Oct '04

30 Oct '04

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2004-10-30 09:42:56 Modified files: htdocs : ppl.raw Log message: Little improvement. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/ppl.raw.diff?cvsroot…

1 0

Summary Panel for Tree: PPL-HEAD
by Roberto Bagnara 30 Oct '04

30 Oct '04

This is how it should be, all green: <http://www.cs.unipr.it/~tinderbox/all_trees.panel.html> Cheers, 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/tests Makefile.am maxspacedim1.cc
by Roberto Bagnara 29 Oct '04

29 Oct '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-10-29 19:55:28 Modified files: tests : Makefile.am Added files: tests : maxspacedim1.cc Log message: Test the *::max_space_dimension() methods. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/maxspacedim1.cc?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/src checked_mpq.inlines.hh checked_mpz.inl ...
by Roberto Bagnara 29 Oct '04

29 Oct '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-10-29 18:32:40 Modified files: src : checked_mpq.inlines.hh checked_mpz.inlines.hh Log message: Spurious semicolons removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_mpq.inlines.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_mpz.inlines.hh.di…

1 0

ppl/src Linear_System.inlines.hh
by Roberto Bagnara 29 Oct '04

29 Oct '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-10-29 18:32:21 Modified files: src : Linear_System.inlines.hh Log message: Make sure Linear_System::is_sorted() and Linear_System::set_sorted() are defined before being used. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_System.inlines.hh.…

1 0

ppl/src LinExpression.defs.hh
by Roberto Bagnara 29 Oct '04

29 Oct '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-10-29 18:26:47 Modified files: src : LinExpression.defs.hh Log message: Meaningless type qualifier removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LinExpression.defs.hh.dif…

1 0

ppl Watchdog/Makefile.am demos/ppl_lcdd/Makefi ...
by Roberto Bagnara 29 Oct '04

29 Oct '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-10-29 17:50:55 Modified files: Watchdog : Makefile.am demos/ppl_lcdd : Makefile.am demos/ppl_lpsol: Makefile.am interfaces/Prolog/Ciao: Makefile.am interfaces/Prolog/GNU: Makefile.am interfaces/Prolog/SICStus: Makefile.am interfaces/Prolog/XSB: Makefile.am interfaces/Prolog/YAP: Makefile.am tests : Makefile.am Log message: Always specify the condition which is closed by an Automake's `end', Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Makefile.am.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/Makefile.am.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/Makefile.am.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/Makefi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/Mak… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0