Poly/ML September 2005

polyml@lists.polyml.org

2 participants
2 discussions

Poly/ML 4.1.4 Release
by David.Matthews＠prolingua.co.uk 03 Oct '05

03 Oct '05

I have built a new release for Poly/ML and installed it on the sourceforge site at http://sourceforge.net/projects/polyml . There is a database for each of the i386, PPC and Sparc architectures and sources for the driver, compiler and Basis library. As before, you need the driver plus the appropriate database. This version has fixes for various bugs including the Linux segmentation fault which was fixed in the development sources. It also turns off optimisation in the C compiler which seems to cause problems. The main change, though, is that the Basis Library now conforms to Gansner and Reppy's book. This contains a few changes which are incompatible with the old version, notably the use of array and vector slices. Please try out this version and let me know if there are any significant problems. If I don't hear anything in the next week or so I will update the web site to point to this as the current official release. If I've failed to include a fix/suggestion you sent me I apologise. I'll try and make sure these get into the CVS. I have not built any packages at the moment. If anyone has experience of building packages for particular operating systems and distributions it might be better if they could do it. If you do and want to include it on the sourceforge site let me know. Now that Poly/ML is licensed under LGPL it should be possible to include it in the operating system distributions. I will make a Windows package and upload that shortly. I know it's been a long time since the last Poly/ML distribution but I think on the whole it's better not to produce them unless there is a significant reason. David.

3 4

Sourceforge project
by David.Matthews＠prolingua.co.uk 23 Sep '05

23 Sep '05

I have set up a SourceForge project for Poly/ML which I am intending to use for Poly/ML downloads in future. It can be found at http://sourceforge.net/projects/polyml . It currently has the latest development sources in CVS. If anyone would like to become a project developer please contact me. David.

1 0

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

Poly/ML September 2005