X-Authentication-Warning:	delorie.com: mail set sender to djgpp-bounces using -f
Message-Id:	<201908182104.x7IL4P8O026590@delorie.com>
Date:	Sun, 18 Aug 2019 22:57:46 +0200
From:	"Juan Manuel Guerrero (juan DOT guerrero AT gmx DOT de) [via djgpp-announce AT delorie DOT com]" <djgpp-announce AT delorie DOT com>
To:	djgpp-announce AT delorie DOT com
Subject:	ANNOUNCE: DJGPP port of isl library 0.21 uploaded.
Reply-To:	djgpp AT delorie DOT com

This is a port of isl library 0.21 to MSDOS/DJGPP.


   isl is a thread-safe C library for manipulating sets and relations of
   integer points bounded by affine constraints.  The descriptions of the
   sets and relations may involve both parameters and existentially
   quantified variables.
   All computations are performed in exact integer arithmetic using GMP.




   DJGPP specific changes.
   =======================

   - There are no DJGPP specific changes.  The sources compile out-of-the-box.

   - The port has been configured and compiled on WinXP SP3 and Win98SE using
     gcc346b and bnu232b.  There is no guarantee that this may be possible
     with any other DOS-like OS.  Due to the massive use of long file names
     it will not be possible to configure and compile without LFN support.

   - To configure, compile and to use this library you must install the GMP
     library, available as:
       ftp://ftp.delorie.com/pub/djgpp/current/v2gnu/gmp612b.zip


   As usual, all djgpp specific files (diffs, README files, etc.) are stored
   in the "djgpp" directory.  The sources have been configured to be build in
   the "_build" directory.  If for some reason it does not work for you,
   delete its contents and configure from scratch again.

   For further information about isl library please read the info docs and
   NEWS file.



   Here is an extract of the ChangeLog file showing the user visible changes
   from the last port (isl library 0.20) to this one:

-------------------------------------------------------------------------------

version: 0.21
date: Sat Mar  9 15:25:29 CET 2019
changes:
 - preliminary C++ bindings
 - use incremental scheduler by default
 - introduce isl_size type
 - rename isl_ast_op_type to isl_ast_expr_op_type
 - fix coalescing bugs
 - use isl_bool to return extra boolean argument
---


-------------------------------------------------------------------------------




   The port consists of the usual three packages that have been produced using
   djdev205 (CVS repository code) and can be downloaded from ftp.delorie.com
   and mirrors as (time stamp 2019-07-27):

     isl library 0.21 headers and library:
     ftp://ftp.delorie.com/pub/djgpp/current/v2tk/isl021b.zip

     isl library 0.21 pdf format documentation:
     ftp://ftp.delorie.com/pub/djgpp/current/v2tk/isl021d.zip

     isl library 0.21 source:
     ftp://ftp.delorie.com/pub/djgpp/current/v2tk/isl021s.zip



   Send isl library specific bug reports to <http://groups.google.com/group/isl-development>.
   Send suggestions and bug reports concerning the DJGPP port to
   comp.os.msdos.djgpp or <djgpp AT delorie DOT com>.
   If you are not sure if the failure is really a isl failure
   or a djgpp specific failure, report it here and *not* to
   <http://groups.google.com/group/isl-development>.


Enjoy.

     Guerrero, Juan Manuel <juan DOT guerrero AT gmx DOT de>

- Raw text -