I cleaned out my build directory and tried again; now I have 5.5.0 as expected. Thanks. (I don't deal with svn commands directly; I maintain https://aur.archlinux.org/packages.php?ID=28880 and the build scripts do the checkout under the hood.)
Building HOL4 with 5.5.0 seems to be very slow, compared to 5.4.1. I don't have numbers yet, just an impression. Any clues why this might be? Are the release notes online?
On Mon, Sep 17, 2012 at 11:58 AM, Alex Merry alex.merry@cs.ox.ac.uk wrote:
On 17/09/12 11:30, David Matthews wrote:
Are you sure you checked out the 5.5 branch? You need something like svn co https://polyml.svn.**sourceforge.net/svnroot/** polyml/fixes-5.5/polymlhttps://polyml.svn.sourceforge.net/svnroot/polyml/fixes-5.5/polymlpolyml-5.5fixes I don't think you can switch the 5.4 branch over but maybe there's some svn command to do it. It's probably simpler just to check out the correct branch.
"svn switch" is the command you want, for future reference...
-- Alexander Merry DPhil Computer Science Department of Computer Science University of Oxford
______________________________**_________________ polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/**mailman/listinfo/polymlhttp://lists.inf.ed.ac.uk/mailman/listinfo/polyml