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.
David,
On Friday 30 Sep 2005 3:38 pm, David Matthews wrote:
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. ...
Great! Is the PPC version for Mac OS X Panther (10.3.x) or Tiger (10.4.x) or both?
Regards,
Rob.
Rob Arthan wrote:
Great! Is the PPC version for Mac OS X Panther (10.3.x) or Tiger (10.4.x) or both?
I actually built the database on 10.2 but it should be operating system independent and should work equally on Linux PPC. I haven't tested the run-time system on any other version of Mac OS X.
David.
Hi, congratulations to this new release candidate!
While testing this release, I recognised that the the interpreted (CPU independent) version of PolyML and and the readport program do not compile. Also, there is no portable database available for that release. Nevertheless I tried to fix the compile errors. Attached to this e-mail you will find a small patch which hopefully fixes this. This patch should apply cleanly to the PolyML 4.1.1 sources (from sf.net).
I tested my patch with the following configurations: - GNU/Linux on a i386. The interpreted version can be build after disabling the i386 check in the configure script. Also readport builds without problems. I could successfully convert the old portDB (from www.polyml.org) with readport and run the interpreter. - GNU/Linux on a XScale/StrongArm. Both, readport and the interpreter can be built without problems. Also converting the portDB from the old release and running the interpreter works.
I also started to eliminate all the warning that occur during compiling the driver (trying to fix the byte/char and unsigned/signed pointer assignments). If you like, I can probably send you a patch for this in the next days.
Achim
Achim, Thank you for sending those patches. I've modified them a bit and applied them in CVS. I had a go at building the portable version myself with the latest version (4.1.4) of the driver and actually found some problems which I've now fixed in CVS. I hadn't considered building an interpreted database for the latest version since I wasn't aware that anyone was using it. portDB.txt on www.polyml.org was built with version 4.0 and I'd assumed that the interpreted version was only going to be used as a porting aid. The code-generator for the portable version will need to be modified to allow it to build version 4.1.4. I'll have a look at this but until I do I won''t know how much work is involved. Are there many people using the interpreted version?
David.
Achim D. Brucker wrote:
Hi, congratulations to this new release candidate!
While testing this release, I recognised that the the interpreted (CPU independent) version of PolyML and and the readport program do not compile. Also, there is no portable database available for that release. Nevertheless I tried to fix the compile errors. Attached to this e-mail you will find a small patch which hopefully fixes this. This patch should apply cleanly to the PolyML 4.1.1 sources (from sf.net).
I tested my patch with the following configurations:
- GNU/Linux on a i386. The interpreted version can be build after disabling the i386 check in the configure script. Also readport builds without problems. I could successfully convert the old portDB (from www.polyml.org) with readport and run the interpreter.
- GNU/Linux on a XScale/StrongArm. Both, readport and the interpreter can be built without problems. Also converting the portDB from the old release and running the interpreter works.
I also started to eliminate all the warning that occur during compiling the driver (trying to fix the byte/char and unsigned/signed pointer assignments). If you like, I can probably send you a patch for this in the next days.
Achim