/// <summary>
/// Initializes a new instance of the VSSolutionVerb class.
/// </summary>
/// <param name="solutionFile">Solution file to build.</param>
/// <param name="optionalDafnyInput">Optional dafny-derived-CSharp dependency.</param>
public VSSolutionVerb(SourcePath solutionFile, SourcePath optionalDafnyInput = null, bool releaseBuild = false)
{
this.solutionFile = solutionFile;
this.abstractId = new AbstractId(this.GetType().Name, VSSolutionVerb.Version, this.solutionFile.ToString());
this.releaseBuild = releaseBuild;
// Parse the solution file (and project files contained in the solution).
this.solutionParser = new VSSolutionParser(this.solutionFile);
this.outputPathSuffix = Path.Combine(BuildEngine.theEngine.getObjRoot(), this.solutionFile.getDirPath());
if (optionalDafnyInput != null)
{
this.dafnyCompileOneVerb = new DafnyCompileOneVerb(optionalDafnyInput);
}
}
/// <summary>
/// Initializes a new instance of the VSSolutionVerb class.
/// </summary>
/// <param name="solutionFile">Solution file to build.</param>
/// <param name="optionalDafnyInput">Optional dafny-derived-CSharp dependency.</param>
public VSSolutionVerb(SourcePath solutionFile, SourcePath optionalDafnyInput = null, bool releaseBuild = false)
{
this.solutionFile = solutionFile;
this.abstractId = new AbstractId(this.GetType().Name, VSSolutionVerb.Version, this.solutionFile.ToString());
this.releaseBuild = releaseBuild;
// Parse the solution file (and project files contained in the solution).
this.solutionParser = new VSSolutionParser(this.solutionFile);
this.outputPathSuffix = Path.Combine(BuildEngine.theEngine.getObjRoot(), this.solutionFile.getDirPath());
if (optionalDafnyInput != null)
{
this.dafnyCompileOneVerb = new DafnyCompileOneVerb(optionalDafnyInput);
}
}
