gistfile1.txt

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