August 2003 - PPL-devel - BUGSENG Mailman

w3ppl/htdocs/Credits Credits.raw
by Roberto Bagnara 20 Aug '03

20 Aug '03

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2003-08-20 16:19:55 Modified files: htdocs/Credits : Credits.raw Log message: Added the ADELA project to the list of sponsors. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Credits/Credits.raw.…

1 0

w3ppl/htdocs/Bugs Bugs.raw patch_ppl-0-5_ppl-2 ...
by Roberto Bagnara 20 Aug '03

20 Aug '03

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2003-08-20 16:13:51 Modified files: htdocs/Bugs : Bugs.raw Added files: htdocs/Bugs : patch_ppl-0-5_ppl-20030820 Log message: Mantion the newly discovered bug in the C interface. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Bugs/patch_ppl-0-5_p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Bugs/Bugs.raw.diff?c…

1 0

w3ppl/htdocs/Bugs archive.raw
by Roberto Bagnara 20 Aug '03

20 Aug '03

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2003-08-20 16:12:43 Modified files: htdocs/Bugs : archive.raw Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Bugs/archive.raw.dif…

1 0

ppl/interfaces/C ppl_c.cc
by Roberto Bagnara 20 Aug '03

20 Aug '03

CVSROOT: /cvs/ppl Module name: ppl Branch: ppl-0_5-branch Changes by: roberto(a)cs.unipr.it 2003-08-20 16:12:17 Modified files: interfaces/C : ppl_c.cc Log message: Fixed constructor `PIFunc::PIFunc(dimension_type* v, size_t n)': it was not initializing the `empty' member. (Thanks to Axel Simon.) Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.cc.diff?cv…

1 0

w3ppl/htdocs/Credits Credits.raw
by Roberto Bagnara 20 Aug '03

20 Aug '03

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2003-08-20 15:27:32 Modified files: htdocs/Credits : Credits.raw Log message: Mention the dedication of our first PPL paper to the memory of Herve' Le Verge. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Credits/Credits.raw.…

1 0

w3ppl/htdocs/Credits Credits.raw
by Roberto Bagnara 20 Aug '03

20 Aug '03

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2003-08-20 15:22:34 Modified files: htdocs/Credits : Credits.raw Log message: Typo fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Credits/Credits.raw.…

1 0

w3ppl/htdocs/Credits Credits.raw
by Roberto Bagnara 20 Aug '03

20 Aug '03

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2003-08-20 15:20:14 Modified files: htdocs/Credits : Credits.raw Log message: Explained the connection between David Merchat and colleagues and the PPL. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Credits/Credits.raw.…

1 0

w3ppl/htdocs/Credits Credits.raw
by Roberto Bagnara 20 Aug '03

20 Aug '03

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2003-08-20 15:05:57 Modified files: htdocs/Credits : Credits.raw Log message: Axel Simon added to the list of people to be thanked. His work on the Haskell binding is also mentioned. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Credits/Credits.raw.…

1 0

Re: installation problem.
by nitinsk＠cfdvs.iitb.ac.in 20 Aug '03

20 Aug '03

Dear Roberto, good to hear from you again. i checked the contents of /usr/local/lib for gmp libraries and got to know that though the file names that you mentioned the names on my machine, their sizes did not match. let me print the sizes of the different files here. $ ls -l /usr/local/lib/libgmp* -rw-r--r-- 1 root root 2945824 Aug 18 04:29 /usr/local/lib/libgmp.a -rwxr-xr-x 1 root root 693 Aug 18 04:29 /usr/local/lib/libgmp.la lrwxrwxrwx 1 root root 15 Aug 18 04:29 /usr/local/lib/libgmp.so -> libgmp.so.3.3.2 lrwxrwxrwx 1 root root 15 Aug 18 04:29 /usr/local/lib/libgmp.so.3 -> libgmp.so.3.3.2 -rwxr-xr-x 1 root root 686921 Aug 18 04:29 /usr/local/lib/libgmp.so.3.3.2 -rw-r--r-- 1 root root 504116 Aug 18 04:29 /usr/local/lib/libgmpxx.a -rwxr-xr-x 1 root root 854 Aug 18 04:29 /usr/local/lib/libgmpxx.la lrwxrwxrwx 1 root root 17 Aug 18 04:29 /usr/local/lib/libgmpxx.so -> libgmpxx.so.3.0.4 lrwxrwxrwx 1 root root 17 Aug 18 04:29 /usr/local/lib/libgmpxx.so.3 -> libgmpxx.so.3.0.4 -rwxr-xr-x 1 root root 176177 Aug 18 04:29 /usr/local/lib/libgmpxx.so.3.0.4 the sizes of the header files in the /usr/local/include directory match those that you had mentioned. also the linker picks the correct libgmpxx.so (i.e from /usr/local/lib). i am attaching the output of this command with this mail. Best wishes, Nitin Kulkarni. On Mon, 18 Aug 2003, Roberto Bagnara wrote: > > Dear Nitin, > > we have had network problems during the last few days. > Having not heard from you, I wonder if you received my > message of August 14th and I am resending it just in case. > Please let us know how things go. > Cheers > > Roberto > > > nitinsk(a)cfdvs.iitb.ac.in wrote: > > following your instructions, i compiled the code snippet that you had > > sent. and as you had guessed, it did not compile. i am attaching a file > > containing the output of the compile command. > > Dear Nitin, > > the output you sent shows nothing wrong. I am now convinced that you > should have, in your system, a (old) version of GMP compiled with a > different (version of the) C++ compiler. If you installed GMP 4.1.2 > compiled with GCC 3.3 in /usr/local you should see something like the > following > > $ ls -l /usr/local/include/gmp* > -rw-r--r-- 1 root root 79571 Jun 30 15:32 /usr/local/include/gmp.h > -rw-r--r-- 1 root root 182330 Jun 30 15:32 /usr/local/include/gmpxx.h > $ ls -l /usr/local/lib/libgmp* > -rw-r--r-- 1 root root 2863428 Jun 30 15:32 /usr/local/lib/libgmp.a > -rwxr-xr-x 1 root root 693 Jun 30 15:32 /usr/local/lib/libgmp.la > lrwxrwxrwx 1 root root 15 Jun 30 15:32 /usr/local/lib/libgmp.so -> libgmp.so.3.3.2 > lrwxrwxrwx 1 root root 15 Jun 30 15:32 /usr/local/lib/libgmp.so.3 -> libgmp.so.3.3.2 > -rwxr-xr-x 1 root root 1409013 Jun 30 15:32 /usr/local/lib/libgmp.so.3.3.2 > -rw-r--r-- 1 root root 1337872 Jun 30 15:32 /usr/local/lib/libgmpxx.a > -rwxr-xr-x 1 root root 1161 Jun 30 15:32 /usr/local/lib/libgmpxx.la > lrwxrwxrwx 1 root root 17 Jun 30 15:32 /usr/local/lib/libgmpxx.so -> libgmpxx.so.3.0.4 > lrwxrwxrwx 1 root root 17 Jun 30 15:32 /usr/local/lib/libgmpxx.so.3 -> libgmpxx.so.3.0.4 > -rwxr-xr-x 1 root root 629220 Jun 30 15:32 /usr/local/lib/libgmpxx.so.3.0.4 > > And this should be the only version of GMP's libgmpxx.* files you have in > the system. If, for example, you have another instance of the GMP C++ > interface installed in a place that your compiler looks into _before_ > looking into /usr/local/lib, this may be the cause of your problem. > > Try passing the --verbose option to the linker, i.e., use the command > > g++ -v -I/usr/local/include tgmp.cc -L/usr/local/lib -lgmpxx -lgmp -Xlinker --verbose > > and check where the linker picks libgmpxx.so from. > For instance, here is what I see in the output of the above command: > > attempt to open /usr/local/lib/libgmpxx.so succeeded > -lgmpxx (/usr/local/lib/libgmpxx.so) > > This tells me that the linker is picking up the right version of the library. > Keep us informed. > 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 > > ----------------------------------------- Nitin Kulkarni Graduate Student Computer Science and Engineering Dept., IIT Bombay, Mumbai, India. -----------------------------------------

2 3

ppl/interfaces/C/lpenum lpenum.c
by Roberto Bagnara 20 Aug '03

20 Aug '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-08-20 12:08:29 Modified files: interfaces/C/lpenum: lpenum.c Log message: Indentation glitch fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/lpenum/lpenum.c.…

1 0