Skip to content

Instantly share code, notes, and snippets.

@tomprince
Created April 7, 2011 00:42
Show Gist options
  • Save tomprince/906830 to your computer and use it in GitHub Desktop.
Save tomprince/906830 to your computer and use it in GitHub Desktop.
def BuildMathClasses():
f = factory.BuildFactory()
f.addStep(EnsureCoqVersion())
f.addStep(ExtractCoq())
f.addStep(Git(repourl=repo(rk_mathclasses_url), mode="update"))
f.addStep(GitClean())
f.addStep(Compile(workdir="build/src", command=['scons']))
return f
def BuildRippling():
f = factory.BuildFactory()
f.addStep(EnsureCoqVersion())
f.addStep(ExtractCoq())
f.addStep(Git(repourl=repo(tp_rippling_url), mode="update", branch="trunk"))
f.addStep(ShellCommand(command=['coq_makefile', '-f', 'Make', '-o', 'Makefile']))
f.addStep(Compile())
return f
def bEnsureCoqVersion():
f = factory.BuildFactory()
tarfile = WithProperties("../binaries/coq-%(revision:~latest)s.tar.gz")
f.addStep(SkipIfFileExists(file=tarfile))
f.addStep(Trigger(waitForFinish=True, schedulerNames=['build-coq-version']))
return f
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment