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 <[email protected]> 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/polyml<https://polyml.svn.sourceforge.net/svnroot/polyml/fixes-5.5/polyml>polyml-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 > [email protected] > http://lists.inf.ed.ac.uk/**mailman/listinfo/polyml<http://lists.inf.ed.ac.uk/mailman/listinfo/polyml> >
_______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
