June 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

configure problem in ppl -problem persists
by root 15 Jun '04

15 Jun '04

Respected Sir, I have RedHat 9 i386 machine. I have GMP-4.1.3 installed with following command #CPPFLAGS=-fexceptions ./configure --enable-cxx --prefix=/pkgs/GMP-4.1.3 --exec-prefix=/pkgs/GMP-4.1.3 #make #make install after that for installing ppl-0.5 i ran #./configure --with-gmp-includes=/pkgs/GMP-4.1.3/include --with-gmp-dir=/pkgs/GMP-4.1.3/lib --prefix=/pkgs/PPL --exec-prefix=/pkgs/PPL > config.log and it gives the same error stating GMP not found. Attaching config1.log With GMP installed at default directories. ( no prefix or exec-prefix given for GMP installation) configure for ppl generates config2.log ( Attached) Any help would be greatly appreciated. Thanks and Regards, saurabh

2 1

PROBLEM with installation
by Joycee Mekie 15 Jun '04

15 Jun '04

checking for a BSD-compatible install... /usr/bin/install -c checking whether build environment is sane... yes checking for gawk... gawk checking whether make sets $(MAKE)... yes checking build system type... i686-pc-linux-gnu checking host system type... i686-pc-linux-gnu checking for style of include used by make... GNU checking for gcc... gcc checking for C compiler default output... a.out checking whether the C compiler works... yes checking whether we are cross compiling... no checking for suffix of executables... checking for suffix of object files... o checking whether we are using the GNU C compiler... yes checking whether gcc accepts -g... yes checking for gcc option to accept ANSI C... none needed checking dependency style of gcc... gcc3 checking for an ANSI C-conforming const... yes checking for inline... inline checking for gcc... (cached) gcc checking whether we are using the GNU C compiler... (cached) yes checking whether gcc accepts -g... (cached) yes checking for gcc option to accept ANSI C... (cached) none needed checking dependency style of gcc... (cached) gcc3 checking for g++... g++ checking whether we are using the GNU C++ compiler... yes checking whether g++ accepts -g... yes checking dependency style of g++... gcc3 checking how to run the C++ preprocessor... g++ -E checking whether make sets $(MAKE)... (cached) yes checking for a BSD-compatible install... /usr/bin/install -c checking for the GMP library... no configure: error: Cannot find GMP version 4.1.2 or higher. GMP is the GNU Multi-Precision library: see http://www.swox.com/gmp/ for more information. Do not forget to enable the C++ interface: add --enable-cxx to the configuration options.

2 1

Re: configure problem in ppl
by Roberto Bagnara 15 Jun '04

15 Jun '04

root wrote: > Respected Sir, > I have RedHat 9 , i386 system with GMP-4.1.3 configured with > --enable-cxx installed. > > When i run the following command to configure ppl-0.5. I get the > message stating GMP not found. Could you please help us out in this > regard? > > Thanks and Regards > --saurabh Dear Saurabh, usually this means that your installation of GMP, if any, has not been compiled with the C++ interface enabled. So the first questions I have to ask are: 1) Do you have GMP installed on your system? 2) If so, was it compiled with the --enable-cxx option? > [root@maple ppl-0.5]# ./configure --enable-cxx > --with-gmp-include=/pkgs/GMP-4.1.3/include > --with-gmp-dir=/pkgs/GMP-4.1.3/lib --prefix=/pkgs/PPL > --exec-prefix=/pkgs/PPL This seems to suggest there has been a misunderstanding: `--enable-cxx' is not an option of PPL's configure script; it is an option of GMP's configure script. Once you have installed the right version of GMP (with the C++ interface enabled), if the problem persists, please write us back (ppl-devel(a)cs.unipr.it) and include the file `config.log' that is generated by PPL's configure script. 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

CVSROOT users
by Roberto Bagnara 12 Jun '04

12 Jun '04

CVSROOT: /cvs/ppl Module name: CVSROOT Changes by: roberto(a)cs.unipr.it 2004-06-12 09:15:52 Modified files: . : users Log message: Old (and probably no longer working) email addresses of past contributors removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/CVSROOT/users.diff?cvsroot=ppl&r1…

1 0