I would recommend git/github over svn. Much easier to manage contributions: branches give food flexibility, and git has better merging than svn also. On Mar 31, 2015 3:28 PM, "Michael Norrish" <[email protected]> wrote:
> Thanks for the update. > > Like the others, I think git is probably a better system than Subversion. > But I don’t expect your choice will have much impact on me (this error is > the first I’ve seen when building straight from svn), so I’m sure I will be > happy with whatever you choose. :-) > > Michael > > > > On 31 Mar 2015, at 22:53, David Matthews <[email protected]> > wrote: > > > > This was a problem with the SVN version of Poly/ML. I've fixed it now > so it should build. > > > > This has raised, though, a question I've been wondering about: whether > to switch from sourceforge SVN to git and github. It's very convenient to > be able to commit works-in-progress at various stages even if they're not > complete. It makes it much easier to track down bugs by bisection if each > commit is not too large. The disadvantage with SVN is that it's not clear > to anyone using the repository whether it is meant to be in a stable state > and meant for beta testing or whether it is unstable and perhaps not even > alpha tested. It's much easier with a multi-stage source management system > such as git or mercurial to have a "private" repository and only push to > the "main" repository when the set of commits are complete. > > > > Does anyone have any thoughts on this? > > > > David > > > > On 31/03/2015 09:56, Michael Norrish wrote: > >> My Travis CI builds of HOL using a Subversion checkout of Poly (as > >> opposed to the released version, which I also check), are failing to > >> build Poly with the error below. (See also > >> https://travis-ci.org/HOL-Theorem-Prover/HOL/jobs/56529081). > >> > >> Is this expected, or some quirk of the Travis setup? > >> > >> Michael > >> > >> -- > >> > >> > >> Error- in './basis/FinalPolyML.sml', line 1607. Value or constructor > >> (decodeBinary) has not been declared Error- in > >> './basis/FinalPolyML.sml', line 1608. Value or constructor > >> (encodeBinary) has not been declared Exception trace for exception - > >> Fail raised in mlsource/MLCompiler/MAKE_.ML line 423 > >> MAKE_().useIntoEnv(2) <top level> CODETREE().genCode(3)(1) > >> COMPILER_BODY().baseCompiler(3)executeCode(1) End of trace Exception > >> trace for exception - Fail raised in mlsource/MLCompiler/MAKE_.ML > >> line 423 MAKE_().useIntoEnv(2) <top level> CODETREE().genCode(3)(1) > >> COMPILER_BODY().baseCompiler(3)executeCode(1) End of trace > > _______________________________________________ > > polyml mailing list > > [email protected] > > http://lists.inf.ed.ac.uk/mailman/listinfo/polyml > > > ________________________________ > > The information in this e-mail may be confidential and subject to legal > professional privilege and/or copyright. National ICT Australia Limited > accepts no liability for any damage caused by this email or its attachments. > _______________________________________________ > polyml mailing list > [email protected] > http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
_______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
