Message-Id: <201701012009.v01K9LKv022719@delorie.com> Date: Sun, 01 Jan 2017 20:55:02 +0100 From: "Juan Manuel Guerrero (juan DOT guerrero AT gmx DOT de) [via djgpp-announce AT delorie DOT com]" To: djgpp-announce AT delorie DOT com Subject: ANNOUNCE: DJGPP port of isl library 0.18 uploaded. Content-Type: text/plain; charset=ISO-8859-15; format=flowed Reply-To: djgpp AT delorie DOT com This is a port of isl library 0.18 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 bnu227b. 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. The port consists of the usual three packages produced using djdev205 that can be downloaded from ftp.delorie.com and mirrors as (time stamp 2016-12-31): isl 0.18 headers and library: ftp://ftp.delorie.com/pub/djgpp/current/v2tk/isl018b.zip isl 0.18 pdf format documentation: ftp://ftp.delorie.com/pub/djgpp/current/v2tk/isl018d.zip isl 0.18 source: ftp://ftp.delorie.com/pub/djgpp/current/v2tk/isl018s.zip Send isl specific bug reports to . Send suggestions and bug reports concerning the DJGPP port to comp.os.msdos.djgpp or . If you are not sure if the failure is really a isl failure or a djgpp specific failure, report it here and *not* to . Enjoy. Guerrero, Juan Manuel