Module: ppl/w3ppl
Branch: master
Commit: 3fa6b28222ae56e1fc46f1c2c3eab35586c4f2f2
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=3fa6b28222…
Author: Enea Zaffanella <zaffanella(a)cs.unipr.it>
Date: Sat Mar 14 15:04:20 2009 +0100
Corrected anchor name.
---
htdocs/Download/Git.raw | 2 +-
1 files changed, 1 insertions(+), 1 deletions(-)
diff --git a/htdocs/Download/Git.raw b/htdocs/Download/Git.raw
index e0509ed..81c7f77 100644
--- a/htdocs/Download/Git.raw
+++ b/htdocs/Download/Git.raw
@@ -40,7 +40,7 @@ their own copy with the development sources.
<P>
Git is a powerful and complex system:
see below for some
-<A HREF="#using-Git">Git tips and pointers to further reading</A>.
+<A HREF="#using-git">Git tips and pointers to further reading</A>.
</P>
HI Everyone,
I did compile gmp-4.2.4 with the option -enable-cxx.
appending configuration tag "CXX" to libtool
checking for ld used by g++... /usr/bin/ld
checking if the linker (/usr/bin/ld) is GNU ld... yes
checking whether the g++ linker (/usr/bin/ld) supports shared libraries... yes
checking for g++ option to produce PIC... -fPIC
checking if g++ PIC flag -fPIC works... yes
checking if g++ static flag -static works... yes
checking if g++ supports -c -o file.o... yes
checking whether the g++ linker (/usr/bin/ld) supports shared libraries... yes
Make check passed with flying colors.
After install I'll do the configure in ppl-0.10
It keeps complaining about g++ seemingly:
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.
GMP is the GNU Multi-Precision library:
see http://www.swox.com/gmp/ for more information.
When compiling the GMP library, do not forget to enable the C++ interface:
add --enable-cxx to the configuration options.
Is this a bug or am I doing something wrong here?
Kind Regards,
Reinoud.
Bastian Blank wrote:
> Package: ppl
> Version: 0.10-4
> Severity: serious
>
> The build of ppl needs 7 CPU-hours on a fast machine, including a long
> documentation run.
This is probably due to `make check', which is something you can disable
if you are prepared to accept the risk of miscompilation of the library
(something that has just happened on Debian/Alpha).
You should take into account that we use the PPL to validate
mission-critical software. Consequently, our `make check' is very
thorough. For PPL 0.11 we will probably add a `make quick-check'
feature, but we will certainly not use it ourselves (because we know
no single test in `make check' is truly superfluous).
Concerning the documentation, we use Doxygen to build the library's
documentation. I don't know which subset of the available manuals
the Debian package builds. In the past it was building also the
developer's reference manual, something we advised against. Moreover,
the instantiation-independent documentation is shipped with the
library and there is no need to rebuild it.
Anyway, if it really takes 7 hours perhaps there is some other problem
or I would not call the machine "a fast machine". Configuring the PPL
with --enable-interfaces"c c++" (which is what I believe Debian does)
`make check' takes less than 3 hours on our main server (`make -j 8 check'
takes less than 34 minutes).
> Also I saw at least 4 runs of the same test set.
You probably saw 4 completely different tests with the same name running.
The PPL provides several template classes, whose behavior is completely
different depending on the template specialization considered: the
`make check' procedure tests with a subset of instantiations that allows
to establish some confidence that the library has not been miscompiled.
In other words, what you saw where 4 runs of different test sets,
each set using the same source files, but compiled with different
-DMACRO=DEFN options.
>> Automatic build of ppl_0.10-4 on lxdebian.bfinv.de by sbuild/s390 98
> [...]
>> Build needed 06:58:18, 1434876k disk space
I see. Please let us know whether/how we can help.
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
