September 2024 - PPL-devel - BUGSENG Mailman

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 64-bit MinGW.
by Abramo Bagnara 11 Sep '24

11 Sep '24

Module: ppl/ppl Branch: devel Commit: bcedca2d38d714ff88f01b3bfa16269effa4807a Author: Abramo Bagnara <abramo.bagnara(a)bugseng.com> Date: Wed Sep 11 16:27:43 2024 +0200 __attribute__((weak)) does not work on 64-bit MinGW. --- src/assertions.hh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/assertions.hh b/src/assertions.hh index 477947b3c..8b205506f 100644 --- a/src/assertions.hh +++ b/src/assertions.hh @@ -100,8 +100,9 @@ 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. #if PPL_CXX_SUPPORTS_ATTRIBUTE_WEAK \ - && !(defined(__CYGWIN__) && defined(__x86_64__)) + && !((defined(__CYGWIN__) || defined(__MINGW32__))&& defined(__x86_64__)) #define PPL_WEAK_NORETURN __attribute__((weak, noreturn)) #else #define PPL_WEAK_NORETURN __attribute__((noreturn))

1 0

[GIT] ppl/ppl(devel): Updated by autoreconf -f -i.
by Abramo Bagnara 10 Sep '24

10 Sep '24

Module: ppl/ppl Branch: devel Commit: f4681d015263da9f5413f16a6b21d95af3f5b4a7 Author: Abramo Bagnara <abramo.bagnara(a)bugseng.com> Date: Tue Sep 10 06:56:43 2024 +0200 Updated by autoreconf -f -i. --- compile | 6 +- config.guess | 1236 ++++++++++++++++++++++++++++++--------------------------- config.sub | 94 +++-- depcomp | 2 +- ltmain.sh | 4 +- m4/libtool.m4 | 4 +- missing | 2 +- mkinstalldirs | 22 +- test-driver | 19 +- 9 files changed, 739 insertions(+), 650 deletions(-)

1 0