novaBBS - comp.os.msdos.djgpp - ANNOUNCE: DJGPP port of isl library 0.24 uploaded.

ANNOUNCE: DJGPP port of isl library 0.24 uploaded.

<202111181933.1AIJXo9S019474@delorie.com>

https://www.novabbs.com/devel/article-flat.php?id=118&group=comp.os.msdos.djgpp#118

copy link Newsgroups: comp.os.msdos.djgpp

Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.misty.com!border2.nntp.dca1.giganews.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!buffer1.nntp.dca1.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Thu, 18 Nov 2021 13:34:20 -0600
X-Authentication-Warning: delorie.com: mail set sender to djgpp-bounces using -f
Message-Id: <202111181933.1AIJXo9S019474@delorie.com>
Date: Thu, 18 Nov 2021 20:27:13 +0100
From: djgpp-an...@delorie.com (Juan Manuel Guerrero (juan.guerrero@gmx.de) [via djgpp-announce@delorie.com])
To: djgpp-announce@delorie.com
Subject: ANNOUNCE: DJGPP port of isl library 0.24 uploaded.
Content-Type: text/plain; charset=ISO-8859-15; format=flowed
X-Mailing-List: djgpp-announce@delorie.com
X-Unsubscribes-To: listserv@delorie.com
Precedence: bulk
Reply-To: djgpp@delorie.com
Errors-To: nobody@delorie.com
X-Mailing-List: djgpp@delorie.com
X-Unsubscribes-To: listserv@delorie.com
Precedence: bulk
Newsgroups: comp.os.msdos.djgpp
Organization: None provided
DJ-Gateway: from mailing list djgpp@delorie.com
Lines: 82
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-BiN7e90LA/8KixZTmNl7UV+z4tYZpv+W/Li7qOeubsa7S1UyZiJsRKItBIYFRB4DMMXWc6BZ+28PWAx!/WSA+Gojeyg0q1oXTKaW5Dpfi3hvPh+/0kDoUKZfujXa/8KPb8NjxgPkB1y0Exlz4oI=
X-Complaints-To: abuse@giganews.com
X-DMCA-Notifications: http://www.giganews.com/info/dmca.html
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly
X-Postfilter: 1.3.40
X-Original-Bytes: 4346

by: Juan Manuel Guerrero - Thu, 18 Nov 2021 19:27 UTC

This is a port of isl library 0.24 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 "0build" 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.23) to this one:

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

version: 0.24
date: Sun 25 Apr 2021 03:56:37 PM CEST
changes:
- improved (C++) bindings (inherit methods, renamed exports)
- initial templated C++ bindings
- detect bounds on constant polynomials as tight
---

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

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

isl library 0.24 headers and library:
ftp://ftp.delorie.com/pub/djgpp/current/v2tk/isl024b.zip

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

isl library 0.24 source:
ftp://ftp.delorie.com/pub/djgpp/current/v2tk/isl024s.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@delorie.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.guerrero@gmx.de>

I wish you humans would leave me alone.

devel / comp.os.msdos.djgpp / ANNOUNCE: DJGPP port of isl library 0.24 uploaded.

Subject	Author
ANNOUNCE: DJGPP port of isl library 0.24 uploaded.	Juan Manuel Guerrero (juan.guerrero@gmx.de) [via djgpp-announce@delorie.com]