January 2009 - PPL-devel - BUGSENG Mailman

ppl-0.10 configuration problem
by Saurav Pathak 15 Jan '09

15 Jan '09

Hi, I am trying to configure ppl-0.10 and the configure script complains that the GMP version is wrong, even though it correctly identifies the GMP 4.2.4 library files. Is it possible that an older version of GMP, lying around is interfering with the configuration (I have an older version in /usr/lib64, whereas the newest one is installed in /usr/local). The script gives me the following message before exiting: checking how to link with libgmp... /usr/local/lib/libgmp.so -Wl,-rpath -Wl,/usr/local/lib checking how to link with libgmpxx... /usr/local/lib/libgmpxx.so /usr/local/lib/libgmp.so -Wl,-rpath -Wl,/usr/local/lib -Wl,-rpath -Wl,/usr/local/lib checking for the GMP library version 4.1.3 or above... no configure: error: Cannot find GMP version 4.1.3 or higher. My configure command is: ./configure --prefix=/home/saurav/local --with-libgmp-prefix=/usr/local --with-libgmpxx-prefix=/usr/local --with-gmp-dir=/usr/local/lib --with-gmp-includes=/usr/local/include --with-gmpxx-dir=/usr/local/lib --with-gmpxx-includes=/usr/local/include Any help will be much appreciated. Thanks, Saurav

2 3

ppl-0.10 : configure problem
by Saurav Pathak 15 Jan '09

15 Jan '09

Hi, I am trying to configure ppl-0.10 and the configure script complains that the GMP version is wrong, even though it correctly identifies the GMP 4.2.4 library files. Is it possible that an older version of GMP, lying around is interfering with the configuration (I have an older version in /usr/lib64, whereas the newest one is installed in /usr/local). The script gives me the following message before exiting: checking how to link with libgmp... /usr/local/lib/libgmp.so -Wl,-rpath -Wl,/usr/local/lib checking how to link with libgmpxx... /usr/local/lib/libgmpxx.so /usr/local/lib/libgmp.so -Wl,-rpath -Wl,/usr/local/lib -Wl,-rpath -Wl,/usr/local/lib checking for the GMP library version 4.1.3 or above... no configure: error: Cannot find GMP version 4.1.3 or higher. My configure command is: ./configure --prefix=/home/saurav/local --with-libgmp-prefix=/usr/local --with-libgmpxx-prefix=/usr/local --with-gmp-dir=/usr/local/lib --with-gmp-includes=/usr/local/include --with-gmpxx-dir=/usr/local/lib --with-gmpxx-includes=/usr/local/include Any help will be much appreciated. Thanks, Saurav

1 0

ppl/tests/BD_Shape upperboundifexact1.cc
by Enea Zaffanella 13 Jan '09

13 Jan '09

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2009-01-13 09:52:02 Modified files: tests/BD_Shape : upperboundifexact1.cc Log message: Test test09 no longer fails. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/upperboundifex…

1 0

ppl/src BD_Shape.templates.hh
by Enea Zaffanella 13 Jan '09

13 Jan '09

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2009-01-13 09:49:02 Modified files: src : BD_Shape.templates.hh Log message: Corrected implementation of BHZ09_upper_bound_assign_if_exact(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.dif…

1 0

ppl/tests/BD_Shape upperboundifexact1.cc
by Patricia Hill 12 Jan '09

12 Jan '09

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2009-01-12 09:50:12 Modified files: tests/BD_Shape : upperboundifexact1.cc Log message: Added a test showing a bug in the new algorithm. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/upperboundifex…

1 0

ppl/src BD_Shape.defs.hh BD_Shape.inlines.hh B ...
by Enea Zaffanella 08 Jan '09

08 Jan '09

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2009-01-08 15:47:34 Modified files: src : BD_Shape.defs.hh BD_Shape.inlines.hh BD_Shape.templates.hh Log message: Drafted an implementation for BHZ09_upper_bound_assign_if_exact(); the public method upper_bound_assign_if_exact() is now based on this new (private) method. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.dif…

1 0

PPL build fails
by Anton Lokhmotov 08 Jan '09

08 Jan '09

Hello, I'm trying to build the PPL (0.10 and a current CVS version) but the build fails with the message: > ! Could not open configuration file /usr/bin/spconfig-3.12.8: No such file or directory What's spconfig? The one I downloaded from here: http://linux.softpedia.com/progDownload/spConfig-Download-10787.html doesn't seem to be the one the PPL needs. I'm using Ubuntu 7.04 (my department's choice), and can provide other details if you wish. Many thanks in advance for your help! Anton. P.S. I'm not sure whether the previous copy of this email has been sent to you.

2 2

PPL 0.10 build fails
by Anton Lokhmotov 06 Jan '09

06 Jan '09

Hello, I'm trying to build the PPL 0.10 but the build fails with the message: > ! Could not open configuration file /usr/bin/spconfig-3.12.8: No such file or directory What's spconfig? The one I downloaded from here: http://linux.softpedia.com/progDownload/spConfig-Download-10787.html doesn't seem to be the one the PPL needs. I'm using Ubuntu 7.04 (my department's choice), and can provide other details if you wish. Many thanks in advance for your help! Anton.

1 0

ppl src/Partially_Reduced_Product.defs.hh src/ ...
by Patricia Hill 05 Jan '09

05 Jan '09

CVSROOT: /cvs/ppl Module name: ppl Branch: products Changes by: hill(a)cs.unipr.it 2009-01-05 14:54:39 Modified files: src : Partially_Reduced_Product.defs.hh Partially_Reduced_Product.inlines.hh Partially_Reduced_Product.templates.hh Partially_Reduced_Product.types.hh tests/Partially_Reduced_Product: Makefile.am directproduct6.cc partiallyreducedproduct2.cc partiallyreducedproduct3.cc Added files: tests/Partially_Reduced_Product: shrinkusingcongruences1.cc Log message: Added a reduction method Shrink_Using_Congruences_Reduction<> and the product Shrink_Using_Congruences_Product<> that assumes this reduction. Several "FIXME"s dealt with. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Partially_Reduced_Product… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Partially_Reduced_Product… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Partially_Reduced_Product… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Partially_Reduced_Product… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Partially_Reduced_Produ… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Partially_Reduced_Produ… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Partially_Reduced_Produ… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Partially_Reduced_Produ… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Partially_Reduced_Produ…

1 0