[PPL-devel] Fwd: ppl-0.11.2 requested test failure report

[Roberto Bagnara]

On 17 May 2011 09:58, Charles ELSAESSER WebmailOrange wrote:
> ====================================
> 1 of 1 test failed
> Please report to bagnara at cs.unipr.it
> ====================================
>
> bonjour,
> comme demande par le journal de compilation/tests/installation, je vous prie de trouver ci joint le journal complet.
> peut-etre vous sera-ce utile?
>
> uname -a
> Linux amd64-3000.alphanet 2.6.32-71.24.1.el6.i686 #1 SMP Fri Apr 8 01:07:04 CDT 2011 i686 i686 i386 GNU/Linux
>
> build=host=target=i386-pc-linux-gnu
>
> pour votre information:
> les logiciels sont installes sur une partition, privee
>
> prefix=/slackware-data/usr/local/arch-independent/i386-pc-linux-gnu/Linux_amd64-3000.alphanet_2.6.32-71.24.1.el6.i686
>
> exec_prefix=/slackware-data/usr/local/arch-dependent/Linux_amd64-3000.alphanet_2.6.32-71.24.1.el6.i686/pc/amd64/athlon64/i386-pc-linux-gnu/
>
> par different systemes linux,
> /slackware-data
> n'etant que le nom du point de montage de la partition,
> qui par ailleurs a ete creee pour linux-slackware-13.0
>
> ici le systeme qui a construit ppl-0.11.2 est Scientific-Linux-6.0
> http://ftp1.scientificlinux.org/linux/scientific/6/i386/iso/SL-60-i386-2011-03-03-Everything-DVD1.iso
> http://ftp1.scientificlinux.org/linux/scientific/6/i386/iso/SL-60-i386-2011-03-03-Everything-DVD2.iso
>
> merci pour votre logiciel

Bonjour Charles.

Si je interprète bien le journal, la commande de configuration contiens, entre autre,

   --enable-debugging=yes  --enable-profiling=yes  --enable-coverage=yes  --enable-assertions=yes
   --enable-optimization=yes  --enable-valgrind-tests=yes

ce qui constitue une combinaison un peu étonnante.  C'est quoi l'objectif de cette
configuration ?

De toute façon, j'ai essayé la même configuration sous Ubuntu 11.04 et tout s'est
bien passé.

Est-ce que vous pouvez re-essayer sans l'option

   --enable-valgrind-tests=yes

?

Merci,

    Roberto

P.S. RSVP à ppl-devel at cs.unipr.it

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