PPL-devel

Download

ppl-devel@bugseng.com

October 2024

1 participants
2 discussions

Cannot download zip file
by Jaime ARIAS 24 Jan '25

24 Jan '25

Dear PPL developers, I’m trying to download the zip file from your website (https://www.bugseng.com/products/ppl/download/ftp/releases/1.2/ppl-1.2.zip) However, I was not unable to download it :’( Could you please help me. Thank you in advance, Sincerely, Jaime -------------------------------------------------------------- Jaime Arias https://lipn.univ-paris13.fr/~arias CNRS Research Engineer (LoVe Team) LIPN, CNRS UMR 7030 Institut Galilée - Université Sorbonne Paris Nord 99 Avenue Jean-Baptiste Clément, F-93430 Villetaneuse, France tel: [+33] 01 49 40 40 67 --------------------------------------------------------------

3 3

[GIT] ppl/ppl(devel): __attribute__((weak)) does not work on MinGW, neither 32-bit nor 64-bit.
by Abramo Bagnara 08 Oct '24

08 Oct '24

Module: ppl/ppl Branch: devel Commit: c97ab86a3632ce7a0510586e3b426b588b70e800 Author: Abramo Bagnara <abramo.bagnara(a)bugseng.com> Date: Tue Oct 8 23:24:01 2024 +0200 __attribute__((weak)) does not work on MinGW, neither 32-bit nor 64-bit. --- src/assertions.hh | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/src/assertions.hh b/src/assertions.hh index 8b205506f..b87ddb56b 100644 --- a/src/assertions.hh +++ b/src/assertions.hh @@ -100,9 +100,10 @@ namespace Parma_Polyhedra_Library { // Note: __attribute__((weak)) does not work on 64-bit Cygwin. // See https://trac.sagemath.org/ticket/16152 and links therein. -// It also does not work on 64-bit MinGW. +// It also does not work on MinGW. #if PPL_CXX_SUPPORTS_ATTRIBUTE_WEAK \ - && !((defined(__CYGWIN__) || defined(__MINGW32__))&& defined(__x86_64__)) + && !(defined(__CYGWIN__) && defined(__x86_64__)) \ + && !defined(__MINGW32__) #define PPL_WEAK_NORETURN __attribute__((weak, noreturn)) #else #define PPL_WEAK_NORETURN __attribute__((noreturn))

1 0