On Mon, Feb 21, 2011 at 01:32, Prof. Roberto Bagnara <bagn...@cs.unipr.it> wrote: > > We announce the availability of PPL 0.11.1, a new release of the Parma > Polyhedra Library. This release includes several important bug fixes > and performance improvements. > > The precise list of user-visible changes is available at > > http://www.cs.unipr.it/ppl/Download/ftp/releases/0.11.1/NEWS > > For more information, please come and visit the PPL web site at > > http://www.cs.unipr.it/ppl/ > > On behalf of all the past and present developers listed at > http://www.cs.unipr.it/ppl/Credits/ and in the file CREDITS, > > Abramo Bagnara Roberto Bagnara Patricia M. Hill Enea Zaffanella > > -- > Prof. Roberto Bagnara CEO & CTO > Applied Formal Methods Laboratory BUGSENG srl > Department of Mathematics Parco Area delle Scienze 53/A > University of Parma, Italy I-43124 Parma, Italy > http://www.cs.unipr.it/~bagnara/ http://bugseng.com/ > mailto:bagn...@cs.unipr.it mailto:roberto.bagn...@bugseng.com >
When I build on i686-w64-mingw32 target: libtool: compile: i686-w64-mingw32-g++ -DHAVE_CONFIG_H -I. -I/home/oracle/src/ppl-0.11.1/src -I.. -I.. -I/home/oracle/src/ppl-0.11.1/src -I/home/oracle/tmp/gcc-4.5-windows-obj/misc//include -g -O2 -frounding-math -march=x86-64 -O2 -flto -pipe -D_WIN32 -W -Wall -MT fpu-ia32.lo -MD -MP -MF .deps/fpu-ia32.Tpo -c /home/oracle/src/ppl-0.11.1/src/fpu-ia32.cc -DDLL_EXPORT -DPIC -o .libs/fpu-ia32.o /home/oracle/src/ppl-0.11.1/src/fpu-ia32.cc: In function 'void Parma_Polyhedra_Library::detect_sse_unit()': /home/oracle/src/ppl-0.11.1/src/fpu-ia32.cc:52:7: error: 'NULL' was not declared in this scope make[3]: *** [fpu-ia32.lo] Error 1 make[3]: Leaving directory `/tmp/x/src' make[2]: *** [all] Error 2 make[2]: Leaving directory `/tmp/x/src' make[1]: *** [all-recursive] Error 1 make[1]: Leaving directory `/tmp/x' make: *** [all] Error 2 Here is my patch: $ git diff src/fpu-ia32.cc diff --git a/src/fpu-ia32.cc b/src/fpu-ia32.cc index d361411..8a2a6a2 100644 --- a/src/fpu-ia32.cc +++ b/src/fpu-ia32.cc @@ -30,6 +30,7 @@ site: http://www.cs.unipr.it/ppl/ . */ #include "fpu.defs.hh" #include <csetjmp> #include <csignal> +#include <cstddef> namespace { And I'm doubt the assumption GMP does not support exception when cross compiling: $ git diff m4/ac_check_gmp.m4 diff --git a/m4/ac_check_gmp.m4 b/m4/ac_check_gmp.m4 index c5dd1c9..8c2af74 100644 --- a/m4/ac_check_gmp.m4 +++ b/m4/ac_check_gmp.m4 @@ -181,8 +181,8 @@ int main() { ac_cv_gmp_supports_exceptions=yes, AC_MSG_RESULT(no) ac_cv_gmp_supports_exceptions=no, - AC_MSG_RESULT([assuming not]) - ac_cv_gmp_supports_exceptions=no) + AC_MSG_RESULT([assuming yes]) + ac_cv_gmp_supports_exceptions=yes) gmp_supports_exceptions=${ac_cv_gmp_supports_exceptions} if test x"$gmp_supports_exceptions" = xyes -- Dongsheng
