Re: [PPL-devel] Sample examples of use of PPL

newer
[GIT] ppl/ppl(pip): Removed...

older
[GIT] ppl/ppl(pip): Fixed a...

Étienne André

10 Nov 2009 10 Nov '09

4:03 p.m.

Dear PPL developers,

I'm facing problems while interfacing OCaml with PPL.

I did the following steps, following the instructions read in various installation files: - I installed the last version of OCaml - I installed GMP in /home/{me}/Prog/local/lib - I installed MPFR in /home/{me}/Prog/local/lib - I then installed MLGMP in /home/{me}/Prog/local/lib/gmp/ - I finally installed PPL using the following command: ./configure --prefix=/home/{me}/Prog/local --with-libgmp-prefix=/home/{me}/Prog/local --with-libgmpxx-prefix=/home/{me}/Prog/local --with-mlgmp=/home/{me}/Prog/local/lib/gmp

All installations finished successfully.

However, if I execute "make check" in ~/Prog/PPL/ppl-0.10.2.toto/interfaces/OCaml/tests, I get the following error:

g++ -DHAVE_CONFIG_H -I. -I../.. -I/usr/lib/ocaml -I../../interfaces -I../../src -I../../src -I../../Watchdog/src -I/home/{me}/Prog/local/include -g -O2 -frounding-math -W -Wall -MT ppl_ocaml_Polyhedron.o -MD -MP -MF .deps/ppl_ocaml_Polyhedron.Tpo -c -o ppl_ocaml_Polyhedron.o ppl_ocaml_Polyhedron.cc g++: ppl_ocaml_Polyhedron.cc: Aucun fichier ou dossier de ce type g++: no input files

Do you have any idea what could have been wrong in the different tools and libraries I installed?

Thank you very much for any advice. Best wishes

Étienne

2009/11/10 Roberto Bagnara bagnara@cs.unipr.it

...

Hi Étienne,

ppl-devel@cs.unipr.it is the first mailing list you should refer to, providing full details about what the problems are. If that fails, then you could try on caml-list@yquem.inria.fr Cheers,

Roberto

Attachments:

attachment.html (text/html — 2.1 KB)

Show replies by date

Roberto Bagnara

10 Nov 10 Nov

5:21 p.m.

New subject: Sample examples of use of PPL

Étienne André wrote:

...

I'm facing problems while interfacing OCaml with PPL.

I did the following steps, following the instructions read in various installation files:

I installed the last version of OCaml

I installed GMP in /home/{me}/Prog/local/lib

I installed MPFR in /home/{me}/Prog/local/lib

I then installed MLGMP in /home/{me}/Prog/local/lib/gmp/

I finally installed PPL using the following command:

./configure --prefix=/home/{me}/Prog/local --with-libgmp-prefix=/home/{me}/Prog/local --with-libgmpxx-prefix=/home/{me}/Prog/local --with-mlgmp=/home/{me}/Prog/local/lib/gmp

All installations finished successfully.

However, if I execute "make check" in ~/Prog/PPL/ppl-0.10.2.toto/interfaces/OCaml/tests, I get the following error:

g++ -DHAVE_CONFIG_H -I. -I../.. -I/usr/lib/ocaml -I../../interfaces -I../../src -I../../src -I../../Watchdog/src -I/home/{me}/Prog/local/include -g -O2 -frounding-math -W -Wall -MT ppl_ocaml_Polyhedron.o -MD -MP -MF .deps/ppl_ocaml_Polyhedron.Tpo -c -o ppl_ocaml_Polyhedron.o ppl_ocaml_Polyhedron.cc g++: ppl_ocaml_Polyhedron.cc: Aucun fichier ou dossier de ce type g++: no input files

Hi Étienne,

if you mean that you did

$ cd ~/Prog/PPL/ppl-0.10.2.toto/interfaces/OCaml/tests $ make check

then this is not supposed to work. The best thing to do is to run `make check' from the PPL's build root directory. If that is not an option for you (e.g., because you have a slow machine or a full disk), then you can do

$ cd ~/Prog/PPL/ppl-0.10.2.toto/interfaces $ make check

...

Do you have any idea what could have been wrong in the different tools and libraries I installed?

If the above fails, please send us the config.log file generated by configure. Cheers,

Roberto

-- Prof. Roberto Bagnara Applied Formal Methods Laboratory Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

Étienne André

11:22 p.m.

New subject: Sample examples of use of PPL

2009/11/10 Roberto Bagnara bagnara@cs.unipr.it

...

then this is not supposed to work. The best thing to do is to run `make check' from the PPL's build root directory.

I just did this, and the tests related to the OCaml interface failed. The errors are the following:

… make check-TESTS make[6]: entrant dans le répertoire « /home/andre/Prog/PPL/ppl-0.10.2.toto/interfaces/OCaml/tests » ./test1: error while loading shared libraries: libgmpxx.so.4: cannot open shared object file: No such file or directory FAIL: test1 ./ppl_ocaml_generated_test: error while loading shared libraries: libgmpxx.so.4: cannot open shared object file: No such file or directory FAIL: ppl_ocaml_generated_test ./test1_opt: error while loading shared libraries: libgmpxx.so.4: cannot open shared object file: No such file or directory FAIL: test1_opt ./ppl_ocaml_generated_test_opt: error while loading shared libraries: libgmpxx.so.4: cannot open shared object file: No such file or directory FAIL: ppl_ocaml_generated_test_opt ====================================== 4 of 4 tests failed Please report to ppl-devel@cs.unipr.it ======================================

I don't really understand this error, since there is a file named "libgmpxx.so.4" in /home/andre/Prog/local/lib. I had actually performed this "make check" a few days ago in a former installation (with no interface to OCaml), and I got no problem.

I join you the ./configure log.

Étienne

Étienne André

17 Nov 17 Nov

2:32 p.m.

New subject: Sample examples of use of PPL

I checked the ./configure log, and several software (or libraries) are missing (including java, javac…). However, the ./configure finishes successfully, so do you think there anything wrong in this configure step?

Thanks for any advice or suggestion.

Étienne

2009/11/11 Étienne André Etienne.Andre@lsv.ens-cachan.fr

...

2009/11/10 Roberto Bagnara bagnara@cs.unipr.it

...
then this is not supposed to work. The best thing to do is to run `make check' from the PPL's build root directory.

I just did this, and the tests related to the OCaml interface failed. The errors are the following:

… make check-TESTS make[6]: entrant dans le répertoire « /home/andre/Prog/PPL/ppl-0.10.2.toto/interfaces/OCaml/tests » ./test1: error while loading shared libraries: libgmpxx.so.4: cannot open shared object file: No such file or directory FAIL: test1 ./ppl_ocaml_generated_test: error while loading shared libraries: libgmpxx.so.4: cannot open shared object file: No such file or directory FAIL: ppl_ocaml_generated_test ./test1_opt: error while loading shared libraries: libgmpxx.so.4: cannot open shared object file: No such file or directory FAIL: test1_opt ./ppl_ocaml_generated_test_opt: error while loading shared libraries: libgmpxx.so.4: cannot open shared object file: No such file or directory FAIL: ppl_ocaml_generated_test_opt ====================================== 4 of 4 tests failed Please report to ppl-devel@cs.unipr.it ======================================

I don't really understand this error, since there is a file named "libgmpxx.so.4" in /home/andre/Prog/local/lib. I had actually performed this "make check" a few days ago in a former installation (with no interface to OCaml), and I got no problem.

I join you the ./configure log.

Étienne

Roberto Bagnara

18 Nov 18 Nov

7:38 a.m.

New subject: Sample examples of use of PPL

Étienne André wrote:

...

I checked the ./configure log, and several software (or libraries) are missing (including java, javac…). However, the ./configure finishes successfully, so do you think there anything wrong in this configure step?

Thanks for any advice or suggestion.

Hi Étienne.

...

I don't really understand this error, since there is a file named
"libgmpxx.so.4" in /home/andre/Prog/local/lib.
I had actually performed this "make check" a few days ago in a
former installation (with no interface to OCaml), and I got no problem.

Did you instruct your loader about how to find the file named "libgmpxx.so.4" in /home/andre/Prog/local/lib? See the FAQ in http://www.cs.unipr.it/ppl/FAQ#GMP_Not_Found and read (at least) Section 2 of http://www.cs.unipr.it/ppl/Download/ftp/releases/LATEST/README.configure Please keep us posted of any progress. All the best,

Roberto

-- Prof. Roberto Bagnara Applied Formal Methods Laboratory Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

Étienne André

2:22 p.m.

New subject: Sample examples of use of PPL

2009/11/18 Roberto Bagnara bagnara@cs.unipr.it Dear Roberto,

Thank you for your answer.

Did you instruct your loader about how to find the file named

...

"libgmpxx.so.4" in /home/andre/Prog/local/lib? See the FAQ in http://www.cs.unipr.it/ppl/FAQ#GMP_Not_Found and read (at least) Section 2 of http://www.cs.unipr.it/ppl/Download/ftp/releases/LATEST/README.configure

I read those files, and did the following in order to say that my libs are in "/home/andre/Prog/local/lib": - I run the ./configure script using option --with-libgmp-prefix=/home/andre/Prog/local --with-libgmpxx-prefix=/home/andre/Prog/local --with-mlgmp=/home/andre/Prog/local/lib/gmp ; - my LD_LIBRARY_PATH variable is set to ":/home/andre/Prog/local/lib".

I join you the "config.log" file.

Thank you

Étienne

Étienne André

24 Nov 24 Nov

1:11 a.m.

New subject: Sample examples of use of PPL

Dear PPL developers,

Did you have any idea why my installation goes wrong? Should I install all the libraries (GMP, PPL, etc.) in a standard path (/usr/lib, etc.) rather than in my /home directory? I would be grateful for any help…

Étienne

2009/11/18 Étienne André Etienne.Andre@lsv.ens-cachan.fr

...

I read those files, and did the following in order to say that my libs are in "/home/andre/Prog/local/lib":

I run the ./configure script using option

--with-libgmp-prefix=/home/andre/Prog/local --with-libgmpxx-prefix=/home/andre/Prog/local --with-mlgmp=/home/andre/Prog/local/lib/gmp ;

my LD_LIBRARY_PATH variable is set to ":/home/andre/Prog/local/lib".

I join you the "config.log" file.

Thank you

Étienne

Roberto Bagnara

26 Nov 26 Nov

10:02 a.m.

New subject: Sample examples of use of PPL

Étienne André wrote:

...

Did you have any idea why my installation goes wrong? Should I install all the libraries (GMP, PPL, etc.) in a standard path (/usr/lib, etc.) rather than in my /home directory? I would be grateful for any help…

Hi Étienne,

I am sorry, but the problem you are encountering seems to have nothing PPL-specific. If the right libgmpxx.so.4 is in a place where the loader has been instructed to look at, then it has to be found. In the config.log you sent I did not spot anything wrong. I suggest looking at http://www.dwheeler.com/program-library/ Alternatively, if you can provide me with access to the machine where this happens, then I can investigate for you. I cannot imagine any other solution. All the best,

Roberto

...

2009/11/18 Étienne André <Etienne.Andre@lsv.ens-cachan.fr mailto:Etienne.Andre@lsv.ens-cachan.fr>
I read those files, and did the following in order to say that my
libs are in "/home/andre/Prog/local/lib":
- I run the ./configure script using option
--with-libgmp-prefix=/home/andre/Prog/local
--with-libgmpxx-prefix=/home/andre/Prog/local
--with-mlgmp=/home/andre/Prog/local/lib/gmp ;
- my LD_LIBRARY_PATH variable is set to ":/home/andre/Prog/local/lib".

I join you the "config.log" file.

Thank you

Étienne
PPL-devel mailing list PPL-devel@cs.unipr.it http://www.cs.unipr.it/mailman/listinfo/ppl-devel

-- Prof. Roberto Bagnara Applied Formal Methods Laboratory Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

Roberto Bagnara

18 Nov 18 Nov

7:34 a.m.

New subject: Sample examples of use of PPL

Étienne André wrote:

...

I join you the ./configure log.

Hi Étienne,

this is not the file I asked you. What I need is named `config.log' (not `configure.log') and is generated automatically at configuration time by the script named `configure'. All the best,

Roberto

-- Prof. Roberto Bagnara Applied Formal Methods Laboratory Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

5703

Age (days ago)

5719

Last active (days ago)

List overview

Download

8 comments

2 participants

tags (0)

participants (2)

Roberto Bagnara
Étienne André