Module: ppl/ppl Branch: master Commit: 9d1ca57b0e7f43b9017f6335b77e8ba2fe1ec11e URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9d1ca57b0e7f4...

Author: Roberto Bagnara roberto.bagnara@bugseng.com Date: Sat Sep 27 19:22:06 2014 +0200

Default definition of ppl_set_GMP_memory_allocation_functions() moved. Having it in its own file solves all problems with the MinGW compiler. (Thanks to Keith Clifford.)

---

src/Init.cc | 4 ---- src/Makefile.am | 1 + src/set_GMP_memory_alloc_funcs.cc | 36 ++++++++++++++++++++++++++++++++++++ 3 files changed, 37 insertions(+), 4 deletions(-)

diff --git a/src/Init.cc b/src/Init.cc index b5f37f7..0daaab0 100644 --- a/src/Init.cc +++ b/src/Init.cc @@ -51,10 +51,6 @@ extern "C" void ppl_set_GMP_memory_allocation_functions(void) #if PPL_CXX_SUPPORTS_ATTRIBUTE_WEAK __attribute__((weak)); - -void -ppl_set_GMP_memory_allocation_functions(void) { -} #else ; #endif diff --git a/src/Makefile.am b/src/Makefile.am index 31044f4..6112a00 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -533,6 +533,7 @@ Variable.cc \ Variables_Set.cc \ Grid_conversion.cc \ Grid_simplify.cc \ +set_GMP_memory_alloc_funcs.cc \ stdiobuf.cc \ c_streambuf.cc \ globals.cc \ diff --git a/src/set_GMP_memory_alloc_funcs.cc b/src/set_GMP_memory_alloc_funcs.cc new file mode 100644 index 0000000..5e696a1 --- /dev/null +++ b/src/set_GMP_memory_alloc_funcs.cc @@ -0,0 +1,36 @@ +/* Default definition of ppl_set_GMP_memory_allocation_functions(). + Copyright (C) 2001-2010 Roberto Bagnara bagnara@cs.unipr.it + Copyright (C) 2010-2014 BUGSENG srl (http://bugseng.com) + +This file is part of the Parma Polyhedra Library (PPL). + +The PPL is free software; you can redistribute it and/or modify it +under the terms of the GNU General Public License as published by the +Free Software Foundation; either version 3 of the License, or (at your +option) any later version. + +The PPL is distributed in the hope that it will be useful, but WITHOUT +ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or +FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License +for more details. + +You should have received a copy of the GNU General Public License +along with this program; if not, write to the Free Software Foundation, +Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA. + +For the most up-to-date information see the Parma Polyhedra Library +site: http://bugseng.com/products/ppl/ . */ + +#include "ppl-config.h" + +extern "C" void +ppl_set_GMP_memory_allocation_functions(void) +#if PPL_CXX_SUPPORTS_ATTRIBUTE_WEAK + __attribute__((weak)); + +void +ppl_set_GMP_memory_allocation_functions(void) { +} +#else + ; +#endif