2011/5/11 Roberto Bagnara <bagnara@cs.unipr.it>
the config.log you sent does not seem to match the file fail-build.log
you sent earlier.  The latter says:

I guess I used LD_LIBRARY_PATH setting, but didn't mentioned. Can't remember for sure, sorry. But what about the other config.log, which has results with LD_LIBRARY_APTH set? Libraries were pointing to /usr/lib32, which - in may little experience as lib32 packaging - should work fine.

I tried again and I'm sending the build log and config.log.. I hope it helps to debug.

Command line was:

  export CFLAGS="-m32 -mtune=generic -O2 -pipe"
  export CXXFLAGS="-m32 -mtune=generic -O2 -pipe"  

  ./configure --prefix=/usr --enable-interfaces="c,cxx" \
--libdir=/usr/lib32 --libexecdir=/usr/lib32

 
Please direct all messages to ppl-devel@cs.unipr.it.

 
Sorry, it was automatic. Sending to correct address now. 

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

Thanks

-- Rafael