1. Forum
  2. Usenet
  3. COMP.OS.MSDOS.DJGPP

  • ANNOUNCE: DJGPP port of isl library 0.23 uploaded.

    From [via djgpp-announce@delorie.com]" <@21:1/5 to All on Fri Feb 26 20:28:34 2021
    This is a port of isl library 0.23 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 bnu2351b. 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/gmp620b.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.21) to this one:

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

    version: 0.23
    date: Sun 01 Nov 2020 02:41:20 PM CET
    changes:
    - minor improvements to coalescing
    - use build compiler to build extract_interface
    - add some convenience functions
    - ignore parameters in isl_union_* hash tables
    ---
    version: 0.22.1
    date: Sun Jan 12 10:48:18 CET 2020
    changes:
    - fix error handling
    ---
    version: 0.22
    date: Fri Nov 1 18:39:30 CET 2019
    changes:
    - require C++11 to generate bindings
    - improved bindings
    - scheduler fix involving fixed dimensions
    - accept ranges in tuples during parsing
    - add some convenience functions
    ---


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




    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 2021-01-16):


    isl library 0.23 headers and library:
    ftp://ftp.delorie.com/pub/djgpp/current/v2tk/isl023b.zip

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

    isl library 0.23 source:
    ftp://ftp.delorie.com/pub/djgpp/current/v2tk/isl023s.zip



    Send isl library specific bug reports to <http://grou