September 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 TODO
by Roberto Bagnara 30 Sep '04

30 Sep '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-09-30 18:26:38 Modified files: . : TODO Log message: Added another thing not to be forgotten. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.10…

1 0

ppl TODO
by Roberto Bagnara 30 Sep '04

30 Sep '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-09-30 17:56:15 Modified files: . : TODO Log message: Added another item not to be forgotten. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.99…

1 0

ppl/tests addgenerators11.cc Makefile.am
by Patricia Hill 30 Sep '04

30 Sep '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2004-09-30 17:44:55 Modified files: tests : addgenerators11.cc Makefile.am Log message: Restored previous version of test as that change wrongly destroyed the intention of the test. Added this test to the XFAIL_TESTS list in Makefile.am. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addgenerators11.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/interfaces/Prolog/GNU ppl_gprolog_sd.cc
by Abramo Bagnara 30 Sep '04

30 Sep '04

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abramo(a)cs.unipr.it 2004-09-30 13:30:22 Modified files: interfaces/Prolog/GNU: ppl_gprolog_sd.cc Log message: Added needed #include's. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/ppl_gpr…

1 0

ppl/interfaces/Prolog/SWI ppl_swiprolog.cc
by Abramo Bagnara 30 Sep '04

30 Sep '04

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abramo(a)cs.unipr.it 2004-09-30 13:23:32 Modified files: interfaces/Prolog/SWI: ppl_swiprolog.cc Log message: Include only the needed file. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/ppl_swi…

1 0

ppl/src Checked_Number.defs.hh Checked_Number. ...
by Abramo Bagnara 30 Sep '04

30 Sep '04

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abramo(a)cs.unipr.it 2004-09-30 09:09:06 Modified files: src : Checked_Number.defs.hh Checked_Number.inlines.hh Log message: Removed test #define. Patches: 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/Checked_Number.inlines.hh…

1 0

ppl/interfaces/Prolog/GNU ppl_gprolog_sd.cc
by Abramo Bagnara 30 Sep '04

30 Sep '04

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abramo(a)cs.unipr.it 2004-09-30 09:07:34 Modified files: interfaces/Prolog/GNU: ppl_gprolog_sd.cc Log message: Fixes for generalized Integers. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/ppl_gpr…

1 0

ppl/interfaces/Prolog/Ciao ppl_ciao.cc
by Abramo Bagnara 29 Sep '04

29 Sep '04

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abramo(a)cs.unipr.it 2004-09-29 21:46:53 Modified files: interfaces/Prolog/Ciao: ppl_ciao.cc Log message: Fixed compilation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ppl_ci…

1 0

ppl demos/ppl_lcdd/ppl_lcdd.cc src/Checked_Num ...
by Abramo Bagnara 29 Sep '04

29 Sep '04

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abramo(a)cs.unipr.it 2004-09-29 14:00:16 Modified files: demos/ppl_lcdd : ppl_lcdd.cc src : Checked_Number.defs.hh checked.defs.hh Log message: Fixed compilation for GMP Integers. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/ppl_lcdd.cc.di… 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/checked.defs.hh.diff?cvsr…

1 0